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-4256083-1501629161/watcher-4256083-1501629161 -o /tmp/evaluation-result-4256083-1501629161/solver-4256083-1501629161 -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 860895363 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256083-1501629161.xml
pid=20436
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.85 1.99 1.86 2/180 20439
/proc/meminfo: memFree=31822164/32770624 swapFree=0/199816
[pid=20439] ppid=20436 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/20439/stat : 20439 (runsolver) D 20436 20439 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10731491 24240128 108 18446744073709551615 4194304 4338465 140726054989952 140726054987592 140406231184087 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 26845184 140726054994023 140726054994502 140726054994502 140726054997962 0
/proc/20439/statm: 5918 108 54 36 0 2156 0
[startup+0.100108 s]
/proc/loadavg: 1.85 1.99 1.86 2/180 20439
/proc/meminfo: memFree=31822164/32770624 swapFree=0/199816
[pid=20439] ppid=20436 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/20439/stat : 20439 (runsolver) D 20436 20439 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10731491 24240128 108 18446744073709551615 4194304 4338465 140726054989952 140726054987592 140406231184087 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 26845184 140726054994023 140726054994502 140726054994502 140726054997962 0
/proc/20439/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.20026 s]
/proc/loadavg: 1.85 1.99 1.86 2/180 20439
/proc/meminfo: memFree=31822164/32770624 swapFree=0/199816
[pid=20439] ppid=20436 vsize=13906484 CPUtime=0.05 cores=0,2,4,6
/proc/20439/stat : 20439 (java) S 20436 20439 5228 0 -1 1077944320 4713 0 0 0 4 1 0 0 20 0 14 0 10731491 14240239616 5260 18446744073709551615 4194304 4196468 140724267923856 140724267906400 139863365013239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
/proc/20439/statm: 3476621 5260 2552 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484
[startup+0.302024 s]
/proc/loadavg: 1.85 1.99 1.86 2/180 20439
/proc/meminfo: memFree=31822164/32770624 swapFree=0/199816
[pid=20439] ppid=20436 vsize=13976944 CPUtime=0.11 cores=0,2,4,6
/proc/20439/stat : 20439 (java) S 20436 20439 5228 0 -1 1077944320 8686 0 0 0 9 2 0 0 20 0 15 0 10731491 14312390656 8246 18446744073709551615 4194304 4196468 140724267923856 140724267906400 139863365013239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
/proc/20439/statm: 3494236 8246 3354 1 0 3483023 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13976944
[startup+0.709923 s]
/proc/loadavg: 1.85 1.99 1.86 2/180 20439
/proc/meminfo: memFree=31822164/32770624 swapFree=0/199816
[pid=20439] ppid=20436 vsize=13977988 CPUtime=0.84 cores=0,2,4,6
/proc/20439/stat : 20439 (java) S 20436 20439 5228 0 -1 1077944320 13522 0 0 0 79 5 0 0 20 0 15 0 10731491 14313459712 15768 18446744073709551615 4194304 4196468 140724267923856 140724267906400 139863365013239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
/proc/20439/statm: 3494497 15768 3707 1 0 3483279 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 13977988
[startup+1.50063 s]
/proc/loadavg: 1.85 1.99 1.86 7/214 20488
/proc/meminfo: memFree=31697064/32770624 swapFree=0/199836
[pid=20439] ppid=20436 vsize=13980036 CPUtime=2.96 cores=0,2,4,6
/proc/20439/stat : 20439 (java) S 20436 20439 5228 0 -1 1077944320 30250 0 0 0 285 11 0 0 20 0 15 0 10731491 14315556864 55724 18446744073709551615 4194304 4196468 140724267923856 140724267906400 139863365013239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
/proc/20439/statm: 3495009 55724 3763 1 0 3483791 0
[pid=20439/tid=20444] ppid=20436 vsize=13980036 CPUtime=1.25 cores=0,2,4,6
/proc/20439/task/20444/stat : 20444 (java) R 20436 20439 5228 0 -1 4202560 13791 0 0 0 118 7 0 0 20 0 15 0 10731502 14315556864 55724 18446744073709551615 4194304 4196468 140724267923856 139863369243296 139863005279057 0 4 1 16800974 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20445] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20445/stat : 20445 (java) S 20436 20439 5228 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 10731502 14315556864 55724 18446744073709551615 4194304 4196468 140724267923856 139863330294032 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20446] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20446/stat : 20446 (java) S 20436 20439 5228 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 10731502 14315556864 55724 18446744073709551615 4194304 4196468 140724267923856 139862963653008 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20447] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20447/stat : 20447 (java) S 20436 20439 5228 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 15 0 10731502 14315556864 55724 18446744073709551615 4194304 4196468 140724267923856 139862962600464 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20448] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20448/stat : 20448 (java) S 20436 20439 5228 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 10731502 14315556864 55724 18446744073709551615 4194304 4196468 140724267923856 139862961547920 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20449] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20449/stat : 20449 (java) S 20436 20439 5228 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 10731504 14315556864 55724 18446744073709551615 4194304 4196468 140724267923856 139862709570032 139863365024386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20450] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20450/stat : 20450 (java) S 20436 20439 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10731504 14315556864 55724 18446744073709551615 4194304 4196468 140724267923856 139862708516320 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20451] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20451/stat : 20451 (java) S 20436 20439 5228 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10731504 14315556864 55724 18446744073709551615 4194304 4196468 140724267923856 139862707463664 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20454] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20454/stat : 20454 (java) S 20436 20439 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10731507 14315556864 55724 18446744073709551615 4194304 4196468 140724267923856 139862706412240 139863365031835 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20455] ppid=20436 vsize=13980036 CPUtime=0.65 cores=0,2,4,6
/proc/20439/task/20455/stat : 20455 (java) R 20436 20439 5228 0 -1 4202560 4493 0 0 0 65 0 0 0 20 0 15 0 10731507 14315556864 55724 18446744073709551615 4194304 4196468 140724267923856 139862705339304 139863349403093 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20456] ppid=20436 vsize=13980036 CPUtime=0.59 cores=0,2,4,6
/proc/20439/task/20456/stat : 20456 (java) R 20436 20439 5228 0 -1 4202560 5936 0 0 0 59 0 0 0 20 0 15 0 10731507 14315556864 55724 18446744073709551615 4194304 4196468 140724267923856 139862704292312 139863344724901 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20457] ppid=20436 vsize=13980036 CPUtime=0.41 cores=0,2,4,6
/proc/20439/task/20457/stat : 20457 (java) S 20436 20439 5228 0 -1 1077944384 3713 0 0 0 40 1 0 0 20 0 15 0 10731507 14315556864 55724 18446744073709551615 4194304 4196468 140724267923856 139862703253744 139863365024386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20458] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20458/stat : 20458 (java) S 20436 20439 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10731507 14315556864 55724 18446744073709551615 4194304 4196468 140724267923856 139862702201440 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20459] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20459/stat : 20459 (java) S 20436 20439 5228 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 10731517 14315556864 55724 18446744073709551615 4194304 4196468 140724267923856 139862701148976 139863365024386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 13980036
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20439 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60088 s]
/proc/loadavg: 1.85 1.99 1.86 7/214 20488
/proc/meminfo: memFree=31697064/32770624 swapFree=0/199836
[pid=20439] ppid=20436 vsize=13980036 CPUtime=3.26 cores=0,2,4,6
/proc/20439/stat : 20439 (java) S 20436 20439 5228 0 -1 1077944320 30545 0 0 0 314 12 0 0 20 0 15 0 10731491 14315556864 55969 18446744073709551615 4194304 4196468 140724267923856 140724267906400 139863365013239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
/proc/20439/statm: 3495009 55969 3763 1 0 3483791 0
[pid=20439/tid=20444] ppid=20436 vsize=13980036 CPUtime=1.35 cores=0,2,4,6
/proc/20439/task/20444/stat : 20444 (java) R 20436 20439 5228 0 -1 4202560 13793 0 0 0 128 7 0 0 20 0 15 0 10731502 14315556864 55969 18446744073709551615 4194304 4196468 140724267923856 139863369243296 139863005175044 0 4 1 16800974 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20445] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20445/stat : 20445 (java) S 20436 20439 5228 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 10731502 14315556864 55969 18446744073709551615 4194304 4196468 140724267923856 139863330294032 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20446] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20446/stat : 20446 (java) S 20436 20439 5228 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 10731502 14315556864 55969 18446744073709551615 4194304 4196468 140724267923856 139862963653008 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20447] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20447/stat : 20447 (java) S 20436 20439 5228 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 15 0 10731502 14315556864 55969 18446744073709551615 4194304 4196468 140724267923856 139862962600464 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20448] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20448/stat : 20448 (java) S 20436 20439 5228 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 10731502 14315556864 55969 18446744073709551615 4194304 4196468 140724267923856 139862961547920 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20449] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20449/stat : 20449 (java) S 20436 20439 5228 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 10731504 14315556864 55969 18446744073709551615 4194304 4196468 140724267923856 139862709570032 139863365024386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20450] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20450/stat : 20450 (java) S 20436 20439 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10731504 14315556864 55969 18446744073709551615 4194304 4196468 140724267923856 139862708516320 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20451] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20451/stat : 20451 (java) S 20436 20439 5228 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10731504 14315556864 55969 18446744073709551615 4194304 4196468 140724267923856 139862707463664 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20454] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20454/stat : 20454 (java) S 20436 20439 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10731507 14315556864 55969 18446744073709551615 4194304 4196468 140724267923856 139862706412240 139863365031835 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20455] ppid=20436 vsize=13980036 CPUtime=0.75 cores=0,2,4,6
/proc/20439/task/20455/stat : 20455 (java) R 20436 20439 5228 0 -1 4202560 4725 0 0 0 74 1 0 0 20 0 15 0 10731507 14315556864 55969 18446744073709551615 4194304 4196468 140724267923856 139862705339304 139863351027620 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20456] ppid=20436 vsize=13980036 CPUtime=0.7 cores=0,2,4,6
/proc/20439/task/20456/stat : 20456 (java) R 20436 20439 5228 0 -1 4202560 5997 0 0 0 69 1 0 0 20 0 15 0 10731507 14315556864 55969 18446744073709551615 4194304 4196468 140724267923856 139862704292312 139863348539832 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20457] ppid=20436 vsize=13980036 CPUtime=0.41 cores=0,2,4,6
/proc/20439/task/20457/stat : 20457 (java) S 20436 20439 5228 0 -1 1077944384 3713 0 0 0 40 1 0 0 20 0 15 0 10731507 14315556864 55969 18446744073709551615 4194304 4196468 140724267923856 139862703253744 139863365024386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20458] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20458/stat : 20458 (java) S 20436 20439 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10731507 14315556864 55969 18446744073709551615 4194304 4196468 140724267923856 139862702201440 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20459] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20459/stat : 20459 (java) S 20436 20439 5228 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 10731517 14315556864 55969 18446744073709551615 4194304 4196468 140724267923856 139862701148976 139863365024386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 13980036
[startup+2.40057 s]
/proc/loadavg: 2.34 2.09 1.89 9/214 20488
/proc/meminfo: memFree=31389404/32770624 swapFree=0/199844
[pid=20439] ppid=20436 vsize=13980036 CPUtime=5.67 cores=0,2,4,6
/proc/20439/stat : 20439 (java) S 20436 20439 5228 0 -1 1077944320 33196 0 0 0 551 16 0 0 20 0 15 0 10731491 14315556864 57283 18446744073709551615 4194304 4196468 140724267923856 140724267906400 139863365013239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
/proc/20439/statm: 3495009 57283 3764 1 0 3483791 0
[pid=20439/tid=20444] ppid=20436 vsize=13980036 CPUtime=2.14 cores=0,2,4,6
/proc/20439/task/20444/stat : 20444 (java) R 20436 20439 5228 0 -1 4202560 13878 0 0 0 207 7 0 0 20 0 15 0 10731502 14315556864 57283 18446744073709551615 4194304 4196468 140724267923856 139863369243392 139863005293872 0 4 1 16800974 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20445] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20445/stat : 20445 (java) S 20436 20439 5228 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 10731502 14315556864 57283 18446744073709551615 4194304 4196468 140724267923856 139863330294032 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20446] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20446/stat : 20446 (java) S 20436 20439 5228 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 10731502 14315556864 57283 18446744073709551615 4194304 4196468 140724267923856 139862963653008 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20447] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20447/stat : 20447 (java) S 20436 20439 5228 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 15 0 10731502 14315556864 57283 18446744073709551615 4194304 4196468 140724267923856 139862962600464 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20448] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20448/stat : 20448 (java) S 20436 20439 5228 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 10731502 14315556864 57283 18446744073709551615 4194304 4196468 140724267923856 139862961547920 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20449] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20449/stat : 20449 (java) S 20436 20439 5228 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 10731504 14315556864 57283 18446744073709551615 4194304 4196468 140724267923856 139862709570032 139863365024386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20450] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20450/stat : 20450 (java) S 20436 20439 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10731504 14315556864 57283 18446744073709551615 4194304 4196468 140724267923856 139862708516320 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20451] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20451/stat : 20451 (java) S 20436 20439 5228 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10731504 14315556864 57283 18446744073709551615 4194304 4196468 140724267923856 139862707463664 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20454] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20454/stat : 20454 (java) S 20436 20439 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10731507 14315556864 57283 18446744073709551615 4194304 4196468 140724267923856 139862706412240 139863365031835 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20455] ppid=20436 vsize=13980036 CPUtime=1.54 cores=0,2,4,6
/proc/20439/task/20455/stat : 20455 (java) R 20436 20439 5228 0 -1 4202560 6145 0 0 0 149 5 0 0 20 0 15 0 10731507 14315556864 57283 18446744073709551615 4194304 4196468 140724267923856 139862705344856 139863349909032 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20456] ppid=20436 vsize=13980036 CPUtime=1.5 cores=0,2,4,6
/proc/20439/task/20456/stat : 20456 (java) R 20436 20439 5228 0 -1 4202560 7115 0 0 0 149 1 0 0 20 0 15 0 10731507 14315556864 57283 18446744073709551615 4194304 4196468 140724267923856 139862704295760 139863345714341 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20457] ppid=20436 vsize=13980036 CPUtime=0.42 cores=0,2,4,6
/proc/20439/task/20457/stat : 20457 (java) S 20436 20439 5228 0 -1 1077944384 3736 0 0 0 41 1 0 0 20 0 15 0 10731507 14315556864 57283 18446744073709551615 4194304 4196468 140724267923856 139862703253744 139863365024386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20458] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20458/stat : 20458 (java) S 20436 20439 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10731507 14315556864 57283 18446744073709551615 4194304 4196468 140724267923856 139862702201440 139863365023445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
[pid=20439/tid=20459] ppid=20436 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/20439/task/20459/stat : 20459 (java) S 20436 20439 5228 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 10731517 14315556864 57283 18446744073709551615 4194304 4196468 140724267923856 139862701148976 139863365024386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39514112 140724267930002 140724267930187 140724267930187 140724267933647 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 13980036
[startup+2.60066 s]
/proc/loadavg: 2.34 2.09 1.89 9/214 20488
/proc/meminfo: memFree=31389404/32770624 swapFree=0/199844
[pid=20439] ppid=20436 vsize=0 CPUtime=6.24 cores=0,2,4,6
/proc/20439/stat : 20439 (java) Z 20436 20439 5228 0 -1 4227084 34215 0 0 0 607 17 0 0 20 0 2 0 10731491 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 0 0 0 0 0 0 0 0
/proc/20439/statm: 0 0 0 0 0 0 0
[pid=20439/tid=20456] ppid=20436 vsize=0 CPUtime=1.69 cores=0,2,4,6
/proc/20439/task/20456/stat : 20456 (java) R 20436 20439 5228 0 -1 4203588 7144 0 0 0 168 1 0 0 20 0 2 0 10731507 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 2.60404
CPU time (s): 6.25563
CPU user time (s): 6.07283
CPU system time (s): 0.182807
CPU usage (%): 240.228
Max. virtual memory (cumulated for all children) (KiB): 13980036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.07283
system time used= 0.182807
maximum resident set size= 232172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34215
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= 2248
involuntary context switches= 45
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.016502 second user time and 0.02829 second system time
The end