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-4256069-1501635211/watcher-4256069-1501635211 -o /tmp/evaluation-result-4256069-1501635211/solver-4256069-1501635211 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15685 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1952563611 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256069-1501635211.xml
pid=25758
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: 1.65 1.42 1.42 3/199 25761
/proc/meminfo: memFree=31623408/32770624 swapFree=0/206192
[pid=25761] ppid=25758 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/25761/stat : 25761 (runsolver) D 25758 25761 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 11336395 24240128 106 18446744073709551615 4194304 4338465 140726404855376 140726404853016 140456959251159 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 26312704 140726404862054 140726404862534 140726404862534 140726404865994 0
/proc/25761/statm: 5918 106 53 36 0 2156 0
[startup+0.100104 s]
/proc/loadavg: 1.65 1.42 1.42 3/199 25761
/proc/meminfo: memFree=31623408/32770624 swapFree=0/206192
[pid=25761] ppid=25758 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/25761/stat : 25761 (runsolver) D 25758 25761 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 11336395 24240128 106 18446744073709551615 4194304 4338465 140726404855376 140726404853016 140456959251159 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 26312704 140726404862054 140726404862534 140726404862534 140726404865994 0
/proc/25761/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200288 s]
/proc/loadavg: 1.65 1.42 1.42 3/199 25761
/proc/meminfo: memFree=31623408/32770624 swapFree=0/206192
[pid=25761] ppid=25758 vsize=13973048 CPUtime=0.05 cores=0,2,4,6
/proc/25761/stat : 25761 (java) S 25758 25761 5228 0 -1 1077944320 5145 0 0 0 4 1 0 0 20 0 15 0 11336395 14308401152 6181 18446744073709551615 4194304 4196468 140720895478848 140720895461392 140407104388855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
/proc/25761/statm: 3493262 6181 2577 1 0 3482767 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13973048
[startup+0.301863 s]
/proc/loadavg: 1.65 1.42 1.42 3/199 25761
/proc/meminfo: memFree=31623408/32770624 swapFree=0/206192
[pid=25761] ppid=25758 vsize=13975920 CPUtime=0.22 cores=0,2,4,6
/proc/25761/stat : 25761 (java) S 25758 25761 5228 0 -1 1077944320 10125 0 0 0 19 3 0 0 20 0 15 0 11336395 14311342080 10462 18446744073709551615 4194304 4196468 140720895478848 140720895461392 140407104388855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
/proc/25761/statm: 3494236 10462 3476 1 0 3483023 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 13975920
[startup+0.700202 s]
/proc/loadavg: 1.65 1.42 1.42 3/199 25761
/proc/meminfo: memFree=31623408/32770624 swapFree=0/206192
[pid=25761] ppid=25758 vsize=13977988 CPUtime=0.95 cores=0,2,4,6
/proc/25761/stat : 25761 (java) S 25758 25761 5228 0 -1 1077944320 13790 0 0 0 89 6 0 0 20 0 15 0 11336395 14313459712 17588 18446744073709551615 4194304 4196468 140720895478848 140720895461392 140407104388855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
/proc/25761/statm: 3494497 17588 3709 1 0 3483279 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 13977988
[startup+1.50062 s]
/proc/loadavg: 1.65 1.42 1.42 5/214 25776
/proc/meminfo: memFree=31522880/32770624 swapFree=0/206200
[pid=25761] ppid=25758 vsize=13982084 CPUtime=3.05 cores=0,2,4,6
/proc/25761/stat : 25761 (java) S 25758 25761 5228 0 -1 1077944320 29323 0 0 0 295 10 0 0 20 0 15 0 11336395 14317654016 42271 18446744073709551615 4194304 4196468 140720895478848 140720895461392 140407104388855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
/proc/25761/statm: 3495521 42271 3747 1 0 3484303 0
[pid=25761/tid=25763] ppid=25758 vsize=13982084 CPUtime=1.34 cores=0,2,4,6
/proc/25761/task/25763/stat : 25763 (java) R 25758 25761 5228 0 -1 4202560 13581 0 0 0 127 7 0 0 20 0 15 0 11336406 14317654016 42271 18446744073709551615 4194304 4196468 140720895478848 140407108626992 140406730252096 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25764] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25764/stat : 25764 (java) S 25758 25761 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11336407 14317654016 42271 18446744073709551615 4194304 4196468 140720895478848 140407046335504 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25765] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25765/stat : 25765 (java) S 25758 25761 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11336407 14317654016 42271 18446744073709551615 4194304 4196468 140720895478848 140406703004816 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25766] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25766/stat : 25766 (java) S 25758 25761 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11336407 14317654016 42271 18446744073709551615 4194304 4196468 140720895478848 140406701951760 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25767] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25767/stat : 25767 (java) S 25758 25761 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11336407 14317654016 42271 18446744073709551615 4194304 4196468 140720895478848 140406700899216 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25768] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25768/stat : 25768 (java) S 25758 25761 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11336408 14317654016 42271 18446744073709551615 4194304 4196468 140720895478848 140406650878192 140407104400002 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25769] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25769/stat : 25769 (java) S 25758 25761 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11336409 14317654016 42271 18446744073709551615 4194304 4196468 140720895478848 140406649824416 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25770] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25770/stat : 25770 (java) S 25758 25761 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11336409 14317654016 42271 18446744073709551615 4194304 4196468 140720895478848 140406648771312 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25771] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25771/stat : 25771 (java) S 25758 25761 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11336412 14317654016 42271 18446744073709551615 4194304 4196468 140720895478848 140406647719888 140407104407451 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25772] ppid=25758 vsize=13982084 CPUtime=0.67 cores=0,2,4,6
/proc/25761/task/25772/stat : 25772 (java) R 25758 25761 5228 0 -1 4202560 6208 0 0 0 66 1 0 0 20 0 15 0 11336412 14317654016 42271 18446744073709551615 4194304 4196468 140720895478848 140406646654040 140407083607561 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25773] ppid=25758 vsize=13982084 CPUtime=0.59 cores=0,2,4,6
/proc/25761/task/25773/stat : 25773 (java) R 25758 25761 5228 0 -1 4202560 5741 0 0 0 58 1 0 0 20 0 15 0 11336412 14317654016 42271 18446744073709551615 4194304 4196468 140720895478848 140406645606800 140407085113350 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25774] ppid=25758 vsize=13982084 CPUtime=0.42 cores=0,2,4,6
/proc/25761/task/25774/stat : 25774 (java) S 25758 25761 5228 0 -1 1077944384 2414 0 0 0 42 0 0 0 20 0 15 0 11336412 14317654016 42271 18446744073709551615 4194304 4196468 140720895478848 140406644562416 140407104400002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25775] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25775/stat : 25775 (java) S 25758 25761 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11336412 14317654016 42271 18446744073709551615 4194304 4196468 140720895478848 140406643510112 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25776] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25776/stat : 25776 (java) S 25758 25761 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11336415 14317654016 42271 18446744073709551615 4194304 4196468 140720895478848 140406012766768 140407104400002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 13982084
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25761 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60081 s]
/proc/loadavg: 1.65 1.42 1.42 5/214 25776
/proc/meminfo: memFree=31522880/32770624 swapFree=0/206200
[pid=25761] ppid=25758 vsize=13982084 CPUtime=3.35 cores=0,2,4,6
/proc/25761/stat : 25761 (java) S 25758 25761 5228 0 -1 1077944320 29406 0 0 0 325 10 0 0 20 0 15 0 11336395 14317654016 44349 18446744073709551615 4194304 4196468 140720895478848 140720895461392 140407104388855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
/proc/25761/statm: 3495521 44349 3747 1 0 3484303 0
[pid=25761/tid=25763] ppid=25758 vsize=13982084 CPUtime=1.44 cores=0,2,4,6
/proc/25761/task/25763/stat : 25763 (java) R 25758 25761 5228 0 -1 4202560 13585 0 0 0 137 7 0 0 20 0 15 0 11336406 14317654016 44349 18446744073709551615 4194304 4196468 140720895478848 140407108626992 140406730677888 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25764] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25764/stat : 25764 (java) S 25758 25761 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11336407 14317654016 44349 18446744073709551615 4194304 4196468 140720895478848 140407046335504 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25765] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25765/stat : 25765 (java) S 25758 25761 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11336407 14317654016 44349 18446744073709551615 4194304 4196468 140720895478848 140406703004816 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25766] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25766/stat : 25766 (java) S 25758 25761 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11336407 14317654016 44349 18446744073709551615 4194304 4196468 140720895478848 140406701951760 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25767] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25767/stat : 25767 (java) S 25758 25761 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11336407 14317654016 44349 18446744073709551615 4194304 4196468 140720895478848 140406700899216 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25768] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25768/stat : 25768 (java) S 25758 25761 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11336408 14317654016 44349 18446744073709551615 4194304 4196468 140720895478848 140406650878192 140407104400002 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25769] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25769/stat : 25769 (java) S 25758 25761 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11336409 14317654016 44349 18446744073709551615 4194304 4196468 140720895478848 140406649824416 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25770] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25770/stat : 25770 (java) S 25758 25761 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11336409 14317654016 44349 18446744073709551615 4194304 4196468 140720895478848 140406648771312 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25771] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25771/stat : 25771 (java) S 25758 25761 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11336412 14317654016 44349 18446744073709551615 4194304 4196468 140720895478848 140406647719888 140407104407451 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25772] ppid=25758 vsize=13982084 CPUtime=0.77 cores=0,2,4,6
/proc/25761/task/25772/stat : 25772 (java) R 25758 25761 5228 0 -1 4202560 6220 0 0 0 76 1 0 0 20 0 15 0 11336412 14317654016 44349 18446744073709551615 4194304 4196468 140720895478848 140406646654040 140407081983606 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25773] ppid=25758 vsize=13982084 CPUtime=0.69 cores=0,2,4,6
/proc/25761/task/25773/stat : 25773 (java) R 25758 25761 5228 0 -1 4202560 5806 0 0 0 68 1 0 0 20 0 15 0 11336412 14317654016 44349 18446744073709551615 4194304 4196468 140720895478848 140406645606800 140407087851227 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25774] ppid=25758 vsize=13982084 CPUtime=0.42 cores=0,2,4,6
/proc/25761/task/25774/stat : 25774 (java) S 25758 25761 5228 0 -1 1077944384 2416 0 0 0 42 0 0 0 20 0 15 0 11336412 14317654016 44349 18446744073709551615 4194304 4196468 140720895478848 140406644562416 140407104400002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25775] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25775/stat : 25775 (java) S 25758 25761 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11336412 14317654016 44349 18446744073709551615 4194304 4196468 140720895478848 140406643510112 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25776] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25776/stat : 25776 (java) S 25758 25761 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11336415 14317654016 44349 18446744073709551615 4194304 4196468 140720895478848 140406012766768 140407104400002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
Current children cumulated CPU time (s) 3.35
Current children cumulated vsize (KiB) 13982084
[startup+1.80062 s]
/proc/loadavg: 1.65 1.42 1.42 5/214 25776
/proc/meminfo: memFree=31522880/32770624 swapFree=0/206200
[pid=25761] ppid=25758 vsize=13982084 CPUtime=3.96 cores=0,2,4,6
/proc/25761/stat : 25761 (java) S 25758 25761 5228 0 -1 1077944320 30474 0 0 0 385 11 0 0 20 0 15 0 11336395 14317654016 55182 18446744073709551615 4194304 4196468 140720895478848 140720895461392 140407104388855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
/proc/25761/statm: 3495521 55182 3751 1 0 3484303 0
[pid=25761/tid=25763] ppid=25758 vsize=13982084 CPUtime=1.63 cores=0,2,4,6
/proc/25761/task/25763/stat : 25763 (java) R 25758 25761 5228 0 -1 4202560 13629 0 0 0 155 8 0 0 20 0 15 0 11336406 14317654016 55182 18446744073709551615 4194304 4196468 140720895478848 140407108626504 140406730722316 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25764] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25764/stat : 25764 (java) S 25758 25761 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 11336407 14317654016 55182 18446744073709551615 4194304 4196468 140720895478848 140407046335504 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25765] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25765/stat : 25765 (java) S 25758 25761 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11336407 14317654016 55182 18446744073709551615 4194304 4196468 140720895478848 140406703004816 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25766] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25766/stat : 25766 (java) S 25758 25761 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 11336407 14317654016 55182 18446744073709551615 4194304 4196468 140720895478848 140406701951760 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25767] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25767/stat : 25767 (java) S 25758 25761 5228 0 -1 1077944384 391 0 0 0 0 0 0 0 20 0 15 0 11336407 14317654016 55182 18446744073709551615 4194304 4196468 140720895478848 140406700899216 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25768] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25768/stat : 25768 (java) S 25758 25761 5228 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 11336408 14317654016 55182 18446744073709551615 4194304 4196468 140720895478848 140406650878192 140407104400002 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25769] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25769/stat : 25769 (java) S 25758 25761 5228 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 11336409 14317654016 55182 18446744073709551615 4194304 4196468 140720895478848 140406649824416 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25770] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25770/stat : 25770 (java) S 25758 25761 5228 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 11336409 14317654016 55182 18446744073709551615 4194304 4196468 140720895478848 140406648771328 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25771] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25771/stat : 25771 (java) S 25758 25761 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11336412 14317654016 55182 18446744073709551615 4194304 4196468 140720895478848 140406647719888 140407104407451 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25772] ppid=25758 vsize=13982084 CPUtime=0.96 cores=0,2,4,6
/proc/25761/task/25772/stat : 25772 (java) R 25758 25761 5228 0 -1 4202560 6263 0 0 0 95 1 0 0 20 0 15 0 11336412 14317654016 55182 18446744073709551615 4194304 4196468 140720895478848 140406646654336 140407082242769 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25773] ppid=25758 vsize=13982084 CPUtime=0.88 cores=0,2,4,6
/proc/25761/task/25773/stat : 25773 (java) R 25758 25761 5228 0 -1 4202560 5839 0 0 0 87 1 0 0 20 0 15 0 11336412 14317654016 55182 18446744073709551615 4194304 4196468 140720895478848 140406645602320 140407088786004 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25774] ppid=25758 vsize=13982084 CPUtime=0.43 cores=0,2,4,6
/proc/25761/task/25774/stat : 25774 (java) S 25758 25761 5228 0 -1 1077944384 2804 0 0 0 43 0 0 0 20 0 15 0 11336412 14317654016 55182 18446744073709551615 4194304 4196468 140720895478848 140406644562416 140407104400002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25775] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25775/stat : 25775 (java) S 25758 25761 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11336412 14317654016 55182 18446744073709551615 4194304 4196468 140720895478848 140406643510112 140407104399061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
[pid=25761/tid=25776] ppid=25758 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/25761/task/25776/stat : 25776 (java) S 25758 25761 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11336415 14317654016 55182 18446744073709551615 4194304 4196468 140720895478848 140406012766768 140407104400002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35291136 140720895484305 140720895484491 140720895484491 140720895487951 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 13982084
Child status: 0
Real time (s): 1.84833
CPU time (s): 4.03221
CPU user time (s): 3.90748
CPU system time (s): 0.124728
CPU usage (%): 218.154
Max. virtual memory (cumulated for all children) (KiB): 13982084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.90748
system time used= 0.124728
maximum resident set size= 221088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30576
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= 2798
involuntary context switches= 11
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.010374 second user time and 0.012679 second system time
The end