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-4255986-1501651903/watcher-4255986-1501651903 -o /tmp/evaluation-result-4255986-1501651903/solver-4255986-1501651903 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15686 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1152420916 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255986-1501651903.xml
pid=8822
running on 4 cores: 1,3,5,7
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.53 1.91 1.97 3/199 8825
/proc/meminfo: memFree=31627848/32770624 swapFree=0/233496
[pid=8825] ppid=8822 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8825/stat : 8825 (runsolver) D 8822 8825 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13005604 24240128 107 18446744073709551615 4194304 4338465 140721758544960 140721758542600 139744657515223 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 28209152 140721758552166 140721758552646 140721758552646 140721758556106 0
/proc/8825/statm: 5918 107 54 36 0 2156 0
[startup+0.100171 s]
/proc/loadavg: 1.53 1.91 1.97 3/199 8825
/proc/meminfo: memFree=31627848/32770624 swapFree=0/233496
[pid=8825] ppid=8822 vsize=13358552 CPUtime=0 cores=1,3,5,7
/proc/8825/stat : 8825 (java) S 8822 8825 5228 0 -1 1077944320 3484 0 0 0 0 0 0 0 20 0 6 0 13005604 13679157248 3659 18446744073709551615 4194304 4196468 140733572937856 140733572920400 140554095132407 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
/proc/8825/statm: 3339638 3659 1902 1 0 3329143 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13358552
[startup+0.200323 s]
/proc/loadavg: 1.53 1.91 1.97 3/199 8825
/proc/meminfo: memFree=31627848/32770624 swapFree=0/233496
[pid=8825] ppid=8822 vsize=13975920 CPUtime=0.09 cores=1,3,5,7
/proc/8825/stat : 8825 (java) S 8822 8825 5228 0 -1 1077944320 6790 0 0 0 7 2 0 0 20 0 15 0 13005604 14311342080 7475 18446744073709551615 4194304 4196468 140733572937856 140733572920400 140554095132407 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
/proc/8825/statm: 3493980 7475 3337 1 0 3482767 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13975920
[startup+0.300287 s]
/proc/loadavg: 1.53 1.91 1.97 3/199 8825
/proc/meminfo: memFree=31627848/32770624 swapFree=0/233496
[pid=8825] ppid=8822 vsize=13975920 CPUtime=0.24 cores=1,3,5,7
/proc/8825/stat : 8825 (java) S 8822 8825 5228 0 -1 1077944320 10619 0 0 0 21 3 0 0 20 0 15 0 13005604 14311342080 9872 18446744073709551615 4194304 4196468 140733572937856 140733572920400 140554095132407 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
/proc/8825/statm: 3494236 9872 3497 1 0 3483023 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 13975920
[startup+0.70072 s]
/proc/loadavg: 1.53 1.91 1.97 3/199 8825
/proc/meminfo: memFree=31627848/32770624 swapFree=0/233496
[pid=8825] ppid=8822 vsize=13977988 CPUtime=1.09 cores=1,3,5,7
/proc/8825/stat : 8825 (java) S 8822 8825 5228 0 -1 1077944320 15005 0 0 0 105 4 0 0 20 0 15 0 13005604 14313459712 17790 18446744073709551615 4194304 4196468 140733572937856 140733572920400 140554095132407 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
/proc/8825/statm: 3494497 17790 3726 1 0 3483279 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 13977988
[startup+1.50072 s]
/proc/loadavg: 1.53 1.91 1.97 5/214 8840
/proc/meminfo: memFree=31493456/32770624 swapFree=0/233500
[pid=8825] ppid=8822 vsize=13980036 CPUtime=3.3 cores=1,3,5,7
/proc/8825/stat : 8825 (java) S 8822 8825 5228 0 -1 1077944320 27624 0 0 0 321 9 0 0 20 0 15 0 13005604 14315556864 49167 18446744073709551615 4194304 4196468 140733572937856 140733572920400 140554095132407 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
/proc/8825/statm: 3495009 49167 3747 1 0 3483791 0
[pid=8825/tid=8827] ppid=8822 vsize=13980036 CPUtime=1.36 cores=1,3,5,7
/proc/8825/task/8827/stat : 8827 (java) R 8822 8825 5228 0 -1 4202560 13928 0 0 0 129 7 0 0 20 0 15 0 13005612 14315556864 49167 18446744073709551615 4194304 4196468 140733572937856 140554099370544 140553698685496 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8828] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8828/stat : 8828 (java) S 8822 8825 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13005613 14315556864 49167 18446744073709551615 4194304 4196468 140733572937856 140554014546960 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8829] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8829/stat : 8829 (java) S 8822 8825 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13005613 14315556864 49167 18446744073709551615 4194304 4196468 140733572937856 140553693949072 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8830] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8830/stat : 8830 (java) S 8822 8825 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13005613 14315556864 49167 18446744073709551615 4194304 4196468 140733572937856 140553692896016 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8831] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8831/stat : 8831 (java) S 8822 8825 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13005613 14315556864 49167 18446744073709551615 4194304 4196468 140733572937856 140553691843472 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8832] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8832/stat : 8832 (java) S 8822 8825 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 13005614 14315556864 49167 18446744073709551615 4194304 4196468 140733572937856 140553573849328 140554095143554 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8833] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8833/stat : 8833 (java) S 8822 8825 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13005615 14315556864 49167 18446744073709551615 4194304 4196468 140733572937856 140553572795552 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8834] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8834/stat : 8834 (java) S 8822 8825 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13005615 14315556864 49167 18446744073709551615 4194304 4196468 140733572937856 140553571742448 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8835] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8835/stat : 8835 (java) S 8822 8825 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13005617 14315556864 49167 18446744073709551615 4194304 4196468 140733572937856 140553570691024 140554095151003 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8836] ppid=8822 vsize=13980036 CPUtime=0.7 cores=1,3,5,7
/proc/8825/task/8836/stat : 8836 (java) R 8822 8825 5228 0 -1 4202560 5070 0 0 0 70 0 0 0 20 0 15 0 13005617 14315556864 49167 18446744073709551615 4194304 4196468 140733572937856 140553569625176 140554076676992 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8837] ppid=8822 vsize=13980036 CPUtime=0.75 cores=1,3,5,7
/proc/8825/task/8837/stat : 8837 (java) R 8822 8825 5228 0 -1 4202560 4628 0 0 0 75 0 0 0 20 0 15 0 13005617 14315556864 49167 18446744073709551615 4194304 4196468 140733572937856 140553568574080 140554078632776 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8838] ppid=8822 vsize=13980036 CPUtime=0.45 cores=1,3,5,7
/proc/8825/task/8838/stat : 8838 (java) S 8822 8825 5228 0 -1 1077944384 2614 0 0 0 45 0 0 0 20 0 15 0 13005617 14315556864 49167 18446744073709551615 4194304 4196468 140733572937856 140553567533552 140554095143554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8839] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8839/stat : 8839 (java) S 8822 8825 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13005618 14315556864 49167 18446744073709551615 4194304 4196468 140733572937856 140553566481248 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8840] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8840/stat : 8840 (java) S 8822 8825 5228 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 13005621 14315556864 49167 18446744073709551615 4194304 4196468 140733572937856 140553565428272 140554095143554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 13980036
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8825 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60172 s]
/proc/loadavg: 1.53 1.91 1.97 5/214 8840
/proc/meminfo: memFree=31493456/32770624 swapFree=0/233500
[pid=8825] ppid=8822 vsize=13980036 CPUtime=3.61 cores=1,3,5,7
/proc/8825/stat : 8825 (java) S 8822 8825 5228 0 -1 1077944320 30076 0 0 0 351 10 0 0 20 0 15 0 13005604 14315556864 55498 18446744073709551615 4194304 4196468 140733572937856 140733572920400 140554095132407 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
/proc/8825/statm: 3495009 55498 3768 1 0 3483791 0
[pid=8825/tid=8827] ppid=8822 vsize=13980036 CPUtime=1.45 cores=1,3,5,7
/proc/8825/task/8827/stat : 8827 (java) R 8822 8825 5228 0 -1 4202560 13959 0 0 0 138 7 0 0 20 0 15 0 13005612 14315556864 55498 18446744073709551615 4194304 4196468 140733572937856 140554099369840 140553699231316 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8828] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8828/stat : 8828 (java) S 8822 8825 5228 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 13005613 14315556864 55498 18446744073709551615 4194304 4196468 140733572937856 140554014546960 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8829] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8829/stat : 8829 (java) S 8822 8825 5228 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 15 0 13005613 14315556864 55498 18446744073709551615 4194304 4196468 140733572937856 140553693949072 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8830] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8830/stat : 8830 (java) S 8822 8825 5228 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 15 0 13005613 14315556864 55498 18446744073709551615 4194304 4196468 140733572937856 140553692896016 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8831] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8831/stat : 8831 (java) S 8822 8825 5228 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 13005613 14315556864 55498 18446744073709551615 4194304 4196468 140733572937856 140553691843472 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8832] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8832/stat : 8832 (java) S 8822 8825 5228 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 15 0 13005614 14315556864 55498 18446744073709551615 4194304 4196468 140733572937856 140553573849328 140554095143554 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8833] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8833/stat : 8833 (java) S 8822 8825 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 13005615 14315556864 55498 18446744073709551615 4194304 4196468 140733572937856 140553572795552 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8834] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8834/stat : 8834 (java) S 8822 8825 5228 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 13005615 14315556864 55498 18446744073709551615 4194304 4196468 140733572937856 140553571742448 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8835] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8835/stat : 8835 (java) S 8822 8825 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13005617 14315556864 55498 18446744073709551615 4194304 4196468 140733572937856 140553570691024 140554095151003 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8836] ppid=8822 vsize=13980036 CPUtime=0.79 cores=1,3,5,7
/proc/8825/task/8836/stat : 8836 (java) R 8822 8825 5228 0 -1 4202560 5121 0 0 0 79 0 0 0 20 0 15 0 13005617 14315556864 55498 18446744073709551615 4194304 4196468 140733572937856 140553569622096 140554079532133 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8837] ppid=8822 vsize=13980036 CPUtime=0.84 cores=1,3,5,7
/proc/8825/task/8837/stat : 8837 (java) R 8822 8825 5228 0 -1 4202560 4703 0 0 0 84 0 0 0 20 0 15 0 13005617 14315556864 55498 18446744073709551615 4194304 4196468 140733572937856 140553568579096 140554078663890 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8838] ppid=8822 vsize=13980036 CPUtime=0.46 cores=1,3,5,7
/proc/8825/task/8838/stat : 8838 (java) S 8822 8825 5228 0 -1 1077944384 3640 0 0 0 46 0 0 0 20 0 15 0 13005617 14315556864 55498 18446744073709551615 4194304 4196468 140733572937856 140553567533552 140554095143554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8839] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8839/stat : 8839 (java) S 8822 8825 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13005618 14315556864 55498 18446744073709551615 4194304 4196468 140733572937856 140553566481248 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8840] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8840/stat : 8840 (java) S 8822 8825 5228 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 13005621 14315556864 55498 18446744073709551615 4194304 4196468 140733572937856 140553565428272 140554095143554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 13980036
[startup+2.00062 s]
/proc/loadavg: 1.53 1.91 1.97 5/214 8840
/proc/meminfo: memFree=31493456/32770624 swapFree=0/233500
[pid=8825] ppid=8822 vsize=13980036 CPUtime=4.48 cores=1,3,5,7
/proc/8825/stat : 8825 (java) S 8822 8825 5228 0 -1 1077944320 30326 0 0 0 438 10 0 0 20 0 15 0 13005604 14315556864 55622 18446744073709551615 4194304 4196468 140733572937856 140733572920400 140554095132407 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
/proc/8825/statm: 3495009 55622 3769 1 0 3483791 0
[pid=8825/tid=8827] ppid=8822 vsize=13980036 CPUtime=1.85 cores=1,3,5,7
/proc/8825/task/8827/stat : 8827 (java) R 8822 8825 5228 0 -1 4202560 13971 0 0 0 178 7 0 0 20 0 15 0 13005612 14315556864 55622 18446744073709551615 4194304 4196468 140733572937856 140554099368072 140553694089273 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8828] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8828/stat : 8828 (java) S 8822 8825 5228 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 13005613 14315556864 55622 18446744073709551615 4194304 4196468 140733572937856 140554014546960 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8829] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8829/stat : 8829 (java) S 8822 8825 5228 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 15 0 13005613 14315556864 55622 18446744073709551615 4194304 4196468 140733572937856 140553693949072 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8830] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8830/stat : 8830 (java) S 8822 8825 5228 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 15 0 13005613 14315556864 55622 18446744073709551615 4194304 4196468 140733572937856 140553692896016 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8831] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8831/stat : 8831 (java) S 8822 8825 5228 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 13005613 14315556864 55622 18446744073709551615 4194304 4196468 140733572937856 140553691843472 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8832] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8832/stat : 8832 (java) S 8822 8825 5228 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 15 0 13005614 14315556864 55622 18446744073709551615 4194304 4196468 140733572937856 140553573849328 140554095143554 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8833] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8833/stat : 8833 (java) S 8822 8825 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 13005615 14315556864 55622 18446744073709551615 4194304 4196468 140733572937856 140553572795552 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8834] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8834/stat : 8834 (java) S 8822 8825 5228 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 13005615 14315556864 55622 18446744073709551615 4194304 4196468 140733572937856 140553571742448 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8835] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8835/stat : 8835 (java) S 8822 8825 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13005617 14315556864 55622 18446744073709551615 4194304 4196468 140733572937856 140553570691024 140554095151003 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8836] ppid=8822 vsize=13980036 CPUtime=1.02 cores=1,3,5,7
/proc/8825/task/8836/stat : 8836 (java) S 8822 8825 5228 0 -1 1077944384 5202 0 0 0 102 0 0 0 20 0 15 0 13005617 14315556864 55622 18446744073709551615 4194304 4196468 140733572937856 140553569639152 140554095143554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8837] ppid=8822 vsize=13980036 CPUtime=1.08 cores=1,3,5,7
/proc/8825/task/8837/stat : 8837 (java) S 8822 8825 5228 0 -1 1077944384 4821 0 0 0 107 1 0 0 20 0 15 0 13005617 14315556864 55622 18446744073709551615 4194304 4196468 140733572937856 140553568586608 140554095143554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8838] ppid=8822 vsize=13980036 CPUtime=0.47 cores=1,3,5,7
/proc/8825/task/8838/stat : 8838 (java) S 8822 8825 5228 0 -1 1077944384 3679 0 0 0 47 0 0 0 20 0 15 0 13005617 14315556864 55622 18446744073709551615 4194304 4196468 140733572937856 140553567533552 140554095143554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8839] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8839/stat : 8839 (java) S 8822 8825 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13005618 14315556864 55622 18446744073709551615 4194304 4196468 140733572937856 140553566481248 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8840] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8840/stat : 8840 (java) S 8822 8825 5228 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 13005621 14315556864 55622 18446744073709551615 4194304 4196468 140733572937856 140553565428272 140554095143554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 13980036
[startup+2.40065 s]
/proc/loadavg: 1.53 1.91 1.97 3/214 8840
/proc/meminfo: memFree=31419192/32770624 swapFree=0/233500
[pid=8825] ppid=8822 vsize=13980036 CPUtime=5.09 cores=1,3,5,7
/proc/8825/stat : 8825 (java) S 8822 8825 5228 0 -1 1077944320 30735 0 0 0 498 11 0 0 20 0 15 0 13005604 14315556864 57702 18446744073709551615 4194304 4196468 140733572937856 140733572920400 140554095132407 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
/proc/8825/statm: 3495009 57702 3771 1 0 3483791 0
[pid=8825/tid=8827] ppid=8822 vsize=13980036 CPUtime=2.24 cores=1,3,5,7
/proc/8825/task/8827/stat : 8827 (java) R 8822 8825 5228 0 -1 4202560 14084 0 0 0 217 7 0 0 20 0 15 0 13005612 14315556864 57702 18446744073709551615 4194304 4196468 140733572937856 140554099370544 140553699147918 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8828] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8828/stat : 8828 (java) S 8822 8825 5228 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 13005613 14315556864 57702 18446744073709551615 4194304 4196468 140733572937856 140554014546960 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8829] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8829/stat : 8829 (java) S 8822 8825 5228 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 15 0 13005613 14315556864 57702 18446744073709551615 4194304 4196468 140733572937856 140553693949072 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8830] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8830/stat : 8830 (java) S 8822 8825 5228 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 15 0 13005613 14315556864 57702 18446744073709551615 4194304 4196468 140733572937856 140553692896016 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8831] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8831/stat : 8831 (java) S 8822 8825 5228 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 13005613 14315556864 57702 18446744073709551615 4194304 4196468 140733572937856 140553691843472 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8832] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8832/stat : 8832 (java) S 8822 8825 5228 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 15 0 13005614 14315556864 57702 18446744073709551615 4194304 4196468 140733572937856 140553573849328 140554095143554 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8833] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8833/stat : 8833 (java) S 8822 8825 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 13005615 14315556864 57702 18446744073709551615 4194304 4196468 140733572937856 140553572795616 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8834] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8834/stat : 8834 (java) S 8822 8825 5228 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 13005615 14315556864 57702 18446744073709551615 4194304 4196468 140733572937856 140553571742464 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8835] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8835/stat : 8835 (java) S 8822 8825 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13005617 14315556864 57702 18446744073709551615 4194304 4196468 140733572937856 140553570691024 140554095151003 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8836] ppid=8822 vsize=13980036 CPUtime=1.11 cores=1,3,5,7
/proc/8825/task/8836/stat : 8836 (java) S 8822 8825 5228 0 -1 1077944384 5292 0 0 0 111 0 0 0 20 0 15 0 13005617 14315556864 57702 18446744073709551615 4194304 4196468 140733572937856 140553569639152 140554095143554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8837] ppid=8822 vsize=13980036 CPUtime=1.18 cores=1,3,5,7
/proc/8825/task/8837/stat : 8837 (java) S 8822 8825 5228 0 -1 1077944384 4953 0 0 0 117 1 0 0 20 0 15 0 13005617 14315556864 57702 18446744073709551615 4194304 4196468 140733572937856 140553568586608 140554095143554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8838] ppid=8822 vsize=13980036 CPUtime=0.47 cores=1,3,5,7
/proc/8825/task/8838/stat : 8838 (java) S 8822 8825 5228 0 -1 1077944384 3695 0 0 0 47 0 0 0 20 0 15 0 13005617 14315556864 57702 18446744073709551615 4194304 4196468 140733572937856 140553567533552 140554095143554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8839] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8839/stat : 8839 (java) S 8822 8825 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13005618 14315556864 57702 18446744073709551615 4194304 4196468 140733572937856 140553566481248 140554095142613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
[pid=8825/tid=8840] ppid=8822 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/8825/task/8840/stat : 8840 (java) S 8822 8825 5228 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 13005621 14315556864 57702 18446744073709551615 4194304 4196468 140733572937856 140553565428272 140554095143554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8884224 140733572940177 140733572940363 140733572940363 140733572943823 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 13980036
Child status: 0
Real time (s): 2.4752
CPU time (s): 5.16951
CPU user time (s): 5.04657
CPU system time (s): 0.122938
CPU usage (%): 208.852
Max. virtual memory (cumulated for all children) (KiB): 13981060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.04657
system time used= 0.122938
maximum resident set size= 231328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31065
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= 2557
involuntary context switches= 22
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.012044 second user time and 0.021685 second system time
The end