runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258219-1501651085/watcher-4258219-1501651085 -o /tmp/evaluation-result-4258219-1501651085/solver-4258219-1501651085 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31104 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258219-1501651085.xml
pid=8146
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 5.22 5.16 3.91 2/195 8149
/proc/meminfo: memFree=29686884/32770624 swapFree=0/231460
[pid=8149] ppid=8146 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/8149/stat : 8149 (runsolver) D 8146 8149 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13731575 24240128 108 18446744073709551615 4194304 4338465 140726177586416 140726177584056 140294296818391 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 23961600 140726177591431 140726177591878 140726177591878 140726177595338 0
/proc/8149/statm: 5918 108 54 36 0 2156 0
[startup+0.100198 s]
/proc/loadavg: 5.22 5.16 3.91 2/195 8149
/proc/meminfo: memFree=29686884/32770624 swapFree=0/231460
[pid=8149] ppid=8146 vsize=10018544 CPUtime=0.01 cores=0,2,4,6
/proc/8149/stat : 8149 (java) S 8146 8149 5091 0 -1 1077944320 3625 0 0 0 1 0 0 0 20 0 7 0 13731575 10258989056 4821 18446744073709551615 4194304 4196468 140737364544944 140737364527488 140660825980663 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
/proc/8149/statm: 2504636 4821 1951 1 0 2494141 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10018544
[startup+0.200354 s]
/proc/loadavg: 5.22 5.16 3.91 2/195 8149
/proc/meminfo: memFree=29686884/32770624 swapFree=0/231460
[pid=8149] ppid=8146 vsize=10484492 CPUtime=0.05 cores=0,2,4,6
/proc/8149/stat : 8149 (java) S 8146 8149 5091 0 -1 1077944320 4667 0 0 0 4 1 0 0 20 0 14 0 13731575 10736119808 5707 18446744073709551615 4194304 4196468 140737364544944 140737364527488 140660825980663 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
/proc/8149/statm: 2621123 5707 2570 1 0 2610628 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10484492
[startup+0.300311 s]
/proc/loadavg: 5.22 5.16 3.91 2/195 8149
/proc/meminfo: memFree=29686884/32770624 swapFree=0/231460
[pid=8149] ppid=8146 vsize=10551156 CPUtime=0.19 cores=0,2,4,6
/proc/8149/stat : 8149 (java) S 8146 8149 5091 0 -1 1077944320 8068 0 0 0 17 2 0 0 20 0 15 0 13731575 10804383744 8335 18446744073709551615 4194304 4196468 140737364544944 140737364527488 140660825980663 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
/proc/8149/statm: 2637789 8335 2855 1 0 2627269 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10551156
[startup+0.705041 s]
/proc/loadavg: 5.22 5.16 3.91 2/195 8149
/proc/meminfo: memFree=29686884/32770624 swapFree=0/231460
[pid=8149] ppid=8146 vsize=10551232 CPUtime=1.22 cores=0,2,4,6
/proc/8149/stat : 8149 (java) S 8146 8149 5091 0 -1 1077944320 14345 0 0 0 116 6 0 0 20 0 15 0 13731575 10804461568 33023 18446744073709551615 4194304 4196468 140737364544944 140737364527488 140660825980663 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
/proc/8149/statm: 2637808 33023 3043 1 0 2627269 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 10551232
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8149 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801051 s]
/proc/loadavg: 5.22 5.16 3.91 2/195 8149
/proc/meminfo: memFree=29686884/32770624 swapFree=0/231460
[pid=8149] ppid=8146 vsize=10551232 CPUtime=1.52 cores=0,2,4,6
/proc/8149/stat : 8149 (java) S 8146 8149 5091 0 -1 1077944320 14877 0 0 0 143 9 0 0 20 0 15 0 13731575 10804461568 49861 18446744073709551615 4194304 4196468 140737364544944 140737364527488 140660825980663 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
/proc/8149/statm: 2637808 49861 3044 1 0 2627269 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 10551232
[startup+1.20709 s]
/proc/loadavg: 5.22 5.16 3.91 9/210 8164
/proc/meminfo: memFree=28649880/32770624 swapFree=0/231456
[pid=8149] ppid=8146 vsize=10551384 CPUtime=2.49 cores=0,2,4,6
/proc/8149/stat : 8149 (java) S 8146 8149 5091 0 -1 1077944320 15717 0 0 0 223 26 0 0 20 0 15 0 13731575 10804617216 82617 18446744073709551615 4194304 4196468 140737364544944 140737364527488 140660825980663 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
/proc/8149/statm: 2637846 82617 3077 1 0 2627269 0
[pid=8149/tid=8151] ppid=8146 vsize=10551384 CPUtime=0.85 cores=0,2,4,6
/proc/8149/task/8151/stat : 8151 (java) R 8146 8149 5091 0 -1 4202560 7934 0 0 0 81 4 0 0 20 0 15 0 13731583 10804617216 82617 18446744073709551615 4194304 4196468 140737364544944 140660830211168 140660826002589 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8152] ppid=8146 vsize=10551384 CPUtime=0.18 cores=0,2,4,6
/proc/8149/task/8152/stat : 8152 (java) S 8146 8149 5091 0 -1 1077944384 178 0 0 0 13 5 0 0 20 0 15 0 13731584 10804617216 82617 18446744073709551615 4194304 4196468 140737364544944 140660437604880 140660825990869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8153] ppid=8146 vsize=10551384 CPUtime=0.17 cores=0,2,4,6
/proc/8149/task/8153/stat : 8153 (java) S 8146 8149 5091 0 -1 1077944384 158 0 0 0 12 5 0 0 20 0 15 0 13731584 10804617216 82617 18446744073709551615 4194304 4196468 140737364544944 140660436552336 140660825990869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8154] ppid=8146 vsize=10551384 CPUtime=0.17 cores=0,2,4,6
/proc/8149/task/8154/stat : 8154 (java) S 8146 8149 5091 0 -1 1077944384 158 0 0 0 13 4 0 0 20 0 15 0 13731584 10804617216 82617 18446744073709551615 4194304 4196468 140737364544944 140660435499280 140660825990869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8155] ppid=8146 vsize=10551384 CPUtime=0.17 cores=0,2,4,6
/proc/8149/task/8155/stat : 8155 (java) S 8146 8149 5091 0 -1 1077944384 153 0 0 0 13 4 0 0 20 0 15 0 13731584 10804617216 82617 18446744073709551615 4194304 4196468 140737364544944 140660434446736 140660825990869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8156] ppid=8146 vsize=10551384 CPUtime=0 cores=0,2,4,6
/proc/8149/task/8156/stat : 8156 (java) S 8146 8149 5091 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 13731585 10804617216 82617 18446744073709551615 4194304 4196468 140737364544944 140660390173424 140660825991810 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8157] ppid=8146 vsize=10551384 CPUtime=0 cores=0,2,4,6
/proc/8149/task/8157/stat : 8157 (java) S 8146 8149 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 13731586 10804617216 82617 18446744073709551615 4194304 4196468 140737364544944 140660389119648 140660825990869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8158] ppid=8146 vsize=10551384 CPUtime=0 cores=0,2,4,6
/proc/8149/task/8158/stat : 8158 (java) S 8146 8149 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 13731586 10804617216 82617 18446744073709551615 4194304 4196468 140737364544944 140660388066544 140660825990869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8159] ppid=8146 vsize=10551384 CPUtime=0 cores=0,2,4,6
/proc/8149/task/8159/stat : 8159 (java) S 8146 8149 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13731588 10804617216 82617 18446744073709551615 4194304 4196468 140737364544944 140660387015120 140660825999259 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8160] ppid=8146 vsize=10551384 CPUtime=0.32 cores=0,2,4,6
/proc/8149/task/8160/stat : 8160 (java) S 8146 8149 5091 0 -1 1077944384 2215 0 0 0 32 0 0 0 20 0 15 0 13731588 10804617216 82617 18446744073709551615 4194304 4196468 140737364544944 140660385962224 140660825991810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8161] ppid=8146 vsize=10551384 CPUtime=0.33 cores=0,2,4,6
/proc/8149/task/8161/stat : 8161 (java) S 8146 8149 5091 0 -1 1077944384 2263 0 0 0 33 0 0 0 20 0 15 0 13731588 10804617216 82617 18446744073709551615 4194304 4196468 140737364544944 140660384909680 140660825991810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8162] ppid=8146 vsize=10551384 CPUtime=0.23 cores=0,2,4,6
/proc/8149/task/8162/stat : 8162 (java) S 8146 8149 5091 0 -1 1077944384 1218 0 0 0 23 0 0 0 20 0 15 0 13731588 10804617216 82617 18446744073709551615 4194304 4196468 140737364544944 140660383856624 140660825991810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8163] ppid=8146 vsize=10551384 CPUtime=0 cores=0,2,4,6
/proc/8149/task/8163/stat : 8163 (java) S 8146 8149 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13731588 10804617216 82617 18446744073709551615 4194304 4196468 140737364544944 140660382804320 140660825990869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8164] ppid=8146 vsize=10551384 CPUtime=0 cores=0,2,4,6
/proc/8149/task/8164/stat : 8164 (java) S 8146 8149 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13731596 10804617216 82617 18446744073709551615 4194304 4196468 140737364544944 140660381752368 140660825991810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 10551384
[startup+1.40065 s]
/proc/loadavg: 5.22 5.16 3.91 9/210 8164
/proc/meminfo: memFree=28649880/32770624 swapFree=0/231456
[pid=8149] ppid=8146 vsize=10684512 CPUtime=2.51 cores=0,2,4,6
/proc/8149/stat : 8149 (java) S 8146 8149 5091 0 -1 1077944320 16026 0 0 0 225 26 0 0 20 0 16 0 13731575 10940940288 82828 18446744073709551615 4194304 4196468 140737364544944 140737364527488 140660825980663 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
/proc/8149/statm: 2671128 82828 3122 1 0 2660551 0
[pid=8149/tid=8151] ppid=8146 vsize=10684512 CPUtime=0.87 cores=0,2,4,6
/proc/8149/task/8151/stat : 8151 (java) S 8146 8149 5091 0 -1 1077944384 8183 0 0 0 83 4 0 0 20 0 16 0 13731583 10940940288 82828 18446744073709551615 4194304 4196468 140737364544944 140660830221344 140660825990869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8152] ppid=8146 vsize=10684512 CPUtime=0.18 cores=0,2,4,6
/proc/8149/task/8152/stat : 8152 (java) S 8146 8149 5091 0 -1 1077944384 178 0 0 0 13 5 0 0 20 0 16 0 13731584 10940940288 82828 18446744073709551615 4194304 4196468 140737364544944 140660437604880 140660825990869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8153] ppid=8146 vsize=10684512 CPUtime=0.17 cores=0,2,4,6
/proc/8149/task/8153/stat : 8153 (java) S 8146 8149 5091 0 -1 1077944384 158 0 0 0 12 5 0 0 20 0 16 0 13731584 10940940288 82828 18446744073709551615 4194304 4196468 140737364544944 140660436552336 140660825990869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8154] ppid=8146 vsize=10684512 CPUtime=0.17 cores=0,2,4,6
/proc/8149/task/8154/stat : 8154 (java) S 8146 8149 5091 0 -1 1077944384 158 0 0 0 13 4 0 0 20 0 16 0 13731584 10940940288 82828 18446744073709551615 4194304 4196468 140737364544944 140660435499280 140660825990869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8155] ppid=8146 vsize=10684512 CPUtime=0.17 cores=0,2,4,6
/proc/8149/task/8155/stat : 8155 (java) S 8146 8149 5091 0 -1 1077944384 153 0 0 0 13 4 0 0 20 0 16 0 13731584 10940940288 82828 18446744073709551615 4194304 4196468 140737364544944 140660434446736 140660825990869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8156] ppid=8146 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/8149/task/8156/stat : 8156 (java) S 8146 8149 5091 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 13731585 10940940288 82828 18446744073709551615 4194304 4196468 140737364544944 140660390173424 140660825991810 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8157] ppid=8146 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/8149/task/8157/stat : 8157 (java) S 8146 8149 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 13731586 10940940288 82828 18446744073709551615 4194304 4196468 140737364544944 140660389119648 140660825990869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8158] ppid=8146 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/8149/task/8158/stat : 8158 (java) S 8146 8149 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13731586 10940940288 82828 18446744073709551615 4194304 4196468 140737364544944 140660388066544 140660825990869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8159] ppid=8146 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/8149/task/8159/stat : 8159 (java) S 8146 8149 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13731588 10940940288 82828 18446744073709551615 4194304 4196468 140737364544944 140660387015120 140660825999259 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8160] ppid=8146 vsize=10684512 CPUtime=0.32 cores=0,2,4,6
/proc/8149/task/8160/stat : 8160 (java) S 8146 8149 5091 0 -1 1077944384 2215 0 0 0 32 0 0 0 20 0 16 0 13731588 10940940288 82828 18446744073709551615 4194304 4196468 140737364544944 140660385962224 140660825991810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8161] ppid=8146 vsize=10684512 CPUtime=0.33 cores=0,2,4,6
/proc/8149/task/8161/stat : 8161 (java) S 8146 8149 5091 0 -1 1077944384 2263 0 0 0 33 0 0 0 20 0 16 0 13731588 10940940288 82828 18446744073709551615 4194304 4196468 140737364544944 140660384909680 140660825991810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8162] ppid=8146 vsize=10684512 CPUtime=0.23 cores=0,2,4,6
/proc/8149/task/8162/stat : 8162 (java) S 8146 8149 5091 0 -1 1077944384 1234 0 0 0 23 0 0 0 20 0 16 0 13731588 10940940288 82828 18446744073709551615 4194304 4196468 140737364544944 140660383856624 140660825991810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8163] ppid=8146 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/8149/task/8163/stat : 8163 (java) S 8146 8149 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13731588 10940940288 82828 18446744073709551615 4194304 4196468 140737364544944 140660382804320 140660825990869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
[pid=8149/tid=8164] ppid=8146 vsize=10684512 CPUtime=0 cores=0,2,4,6
/proc/8149/task/8164/stat : 8164 (java) S 8146 8149 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13731596 10940940288 82828 18446744073709551615 4194304 4196468 140737364544944 140660381752368 140660825991810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10063872 140737364545970 140737364546123 140737364546123 140737364549583 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 10684512
Child status: 0
Real time (s): 1.43053
CPU time (s): 2.52909
CPU user time (s): 2.26058
CPU system time (s): 0.268513
CPU usage (%): 176.794
Max. virtual memory (cumulated for all children) (KiB): 10684512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.26058
system time used= 0.268513
maximum resident set size= 332096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16053
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1416
involuntary context switches= 15
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.00805 second user time and 0.012076 second system time
The end