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-4264020-1502276848/watcher-4264020-1502276848 -o /tmp/evaluation-result-4264020-1502276848/solver-4264020-1502276848 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502258002-23061 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4264020-1502276848.xml
pid=27812
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 2.06 2.07 2.01 2/196 27815
/proc/meminfo: memFree=31264056/32770624 swapFree=0/449712
[pid=27815] ppid=27812 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/27815/stat : 27815 (runsolver) D 27812 27815 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 29878344 24240128 106 18446744073709551615 4194304 4338465 140720734746112 140720734743752 140038994539223 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 18268160 140720734752928 140720734753354 140720734753354 140720734756810 0
/proc/27815/statm: 5918 106 53 36 0 2156 0
[startup+0.100066 s]
/proc/loadavg: 2.06 2.07 2.01 2/196 27815
/proc/meminfo: memFree=31264056/32770624 swapFree=0/449712
[pid=27815] ppid=27812 vsize=356952 CPUtime=0 cores=0,2,4,6
/proc/27815/stat : 27815 (java) S 27812 27815 16590 0 -1 1077944320 1740 0 0 0 0 0 0 0 20 0 2 0 29878344 365518848 1900 18446744073709551615 4194304 4196468 140722428475456 140722428458000 140372223114999 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
/proc/27815/statm: 89238 1900 1053 1 0 79208 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 356952
[startup+0.200309 s]
/proc/loadavg: 2.06 2.07 2.01 2/196 27815
/proc/meminfo: memFree=31264056/32770624 swapFree=0/449712
[pid=27815] ppid=27812 vsize=10484492 CPUtime=0.05 cores=0,2,4,6
/proc/27815/stat : 27815 (java) S 27812 27815 16590 0 -1 1077944320 4539 0 0 0 4 1 0 0 20 0 14 0 29878344 10736119808 5581 18446744073709551615 4194304 4196468 140722428475456 140722428458000 140372223114999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
/proc/27815/statm: 2621123 5581 2583 1 0 2610620 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10484492
[startup+0.305816 s]
/proc/loadavg: 2.06 2.07 2.01 2/196 27815
/proc/meminfo: memFree=31264056/32770624 swapFree=0/449712
[pid=27815] ppid=27812 vsize=10551180 CPUtime=0.18 cores=0,2,4,6
/proc/27815/stat : 27815 (java) S 27812 27815 16590 0 -1 1077944320 5879 0 0 0 17 1 0 0 20 0 15 0 29878344 10804408320 7835 18446744073709551615 4194304 4196468 140722428475456 140722428458000 140372223114999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
/proc/27815/statm: 2637795 7835 2870 1 0 2627261 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10551180
[startup+0.700235 s]
/proc/loadavg: 2.06 2.07 2.01 2/196 27815
/proc/meminfo: memFree=31264056/32770624 swapFree=0/449712
[pid=27815] ppid=27812 vsize=10621952 CPUtime=0.98 cores=0,2,4,6
/proc/27815/stat : 27815 (java) S 27812 27815 16590 0 -1 1077944320 12476 0 0 0 94 4 0 0 20 0 16 0 29878344 10876878848 17576 18446744073709551615 4194304 4196468 140722428475456 140722428458000 140372223114999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
/proc/27815/statm: 2655488 17576 3067 1 0 2644414 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10621952
[startup+1.50067 s]
/proc/loadavg: 2.06 2.07 2.01 4/212 27832
/proc/meminfo: memFree=31175100/32770624 swapFree=0/449756
[pid=27815] ppid=27812 vsize=10624000 CPUtime=2.92 cores=0,2,4,6
/proc/27815/stat : 27815 (java) S 27812 27815 16590 0 -1 1077944320 19306 0 0 0 286 6 0 0 20 0 16 0 29878344 10878976000 26939 18446744073709551615 4194304 4196468 140722428475456 140722428458000 140372223114999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
/proc/27815/statm: 2656000 26939 3101 1 0 2644926 0
[pid=27815/tid=27817] ppid=27812 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/27815/task/27817/stat : 27817 (java) S 27812 27815 16590 0 -1 1077944384 5753 0 0 0 20 1 0 0 20 0 16 0 29878353 10878976000 26939 18446744073709551615 4194304 4196468 140722428475456 140372227357872 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27818] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27818/stat : 27818 (java) S 27812 27815 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 29878354 10878976000 26939 18446744073709551615 4194304 4196468 140722428475456 140372153534736 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27819] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27819/stat : 27819 (java) S 27812 27815 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 29878354 10878976000 26939 18446744073709551615 4194304 4196468 140722428475456 140372152482192 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27820] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27820/stat : 27820 (java) S 27812 27815 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 29878354 10878976000 26939 18446744073709551615 4194304 4196468 140722428475456 140372151429648 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27821] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27821/stat : 27821 (java) S 27812 27815 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 29878354 10878976000 26939 18446744073709551615 4194304 4196468 140722428475456 140372150377104 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27822] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27822/stat : 27822 (java) S 27812 27815 16590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 29878356 10878976000 26939 18446744073709551615 4194304 4196468 140722428475456 140371718924784 140372223126146 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27823] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27823/stat : 27823 (java) S 27812 27815 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 29878356 10878976000 26939 18446744073709551615 4194304 4196468 140722428475456 140371717871008 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27824] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27824/stat : 27824 (java) S 27812 27815 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 29878356 10878976000 26939 18446744073709551615 4194304 4196468 140722428475456 140371716818416 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27825] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27825/stat : 27825 (java) S 27812 27815 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 29878358 10878976000 26939 18446744073709551615 4194304 4196468 140722428475456 140371715766992 140372223133595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27826] ppid=27812 vsize=10624000 CPUtime=0.57 cores=0,2,4,6
/proc/27815/task/27826/stat : 27826 (java) S 27812 27815 16590 0 -1 1077944384 1766 0 0 0 57 0 0 0 20 0 16 0 29878359 10878976000 26939 18446744073709551615 4194304 4196468 140722428475456 140371714713584 140372223126146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27827] ppid=27812 vsize=10624000 CPUtime=0.59 cores=0,2,4,6
/proc/27815/task/27827/stat : 27827 (java) S 27812 27815 16590 0 -1 1077944384 1280 0 0 0 59 0 0 0 20 0 16 0 29878359 10878976000 26939 18446744073709551615 4194304 4196468 140722428475456 140371713661040 140372223126146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27828] ppid=27812 vsize=10624000 CPUtime=0.44 cores=0,2,4,6
/proc/27815/task/27828/stat : 27828 (java) S 27812 27815 16590 0 -1 1077944384 3211 0 0 0 44 0 0 0 20 0 16 0 29878359 10878976000 26939 18446744073709551615 4194304 4196468 140722428475456 140371712608496 140372223126146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27829] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27829/stat : 27829 (java) S 27812 27815 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 29878359 10878976000 26939 18446744073709551615 4194304 4196468 140722428475456 140371711556192 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27830] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27830/stat : 27830 (java) S 27812 27815 16590 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 29878367 10878976000 26939 18446744073709551615 4194304 4196468 140722428475456 140371710503728 140372223126146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27831] ppid=27812 vsize=10624000 CPUtime=1.09 cores=0,2,4,6
/proc/27815/task/27831/stat : 27831 (java) R 27812 27815 16590 0 -1 4202560 5918 0 0 0 106 3 0 0 20 0 16 0 29878384 10878976000 26939 18446744073709551615 4194304 4196468 140722428475456 140371707312776 140371833198238 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 10624000
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 27815 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60087 s]
/proc/loadavg: 2.06 2.07 2.01 4/212 27832
/proc/meminfo: memFree=31175100/32770624 swapFree=0/449756
[pid=27815] ppid=27812 vsize=10624000 CPUtime=3.03 cores=0,2,4,6
/proc/27815/stat : 27815 (java) S 27812 27815 16590 0 -1 1077944320 19454 0 0 0 297 6 0 0 20 0 16 0 29878344 10878976000 27456 18446744073709551615 4194304 4196468 140722428475456 140722428458000 140372223114999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
/proc/27815/statm: 2656000 27456 3101 1 0 2644926 0
[pid=27815/tid=27817] ppid=27812 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/27815/task/27817/stat : 27817 (java) S 27812 27815 16590 0 -1 1077944384 5753 0 0 0 20 1 0 0 20 0 16 0 29878353 10878976000 27456 18446744073709551615 4194304 4196468 140722428475456 140372227357872 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27818] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27818/stat : 27818 (java) S 27812 27815 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 29878354 10878976000 27456 18446744073709551615 4194304 4196468 140722428475456 140372153534736 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27819] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27819/stat : 27819 (java) S 27812 27815 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 29878354 10878976000 27456 18446744073709551615 4194304 4196468 140722428475456 140372152482192 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27820] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27820/stat : 27820 (java) S 27812 27815 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 29878354 10878976000 27456 18446744073709551615 4194304 4196468 140722428475456 140372151429648 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27821] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27821/stat : 27821 (java) S 27812 27815 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 29878354 10878976000 27456 18446744073709551615 4194304 4196468 140722428475456 140372150377104 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27822] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27822/stat : 27822 (java) S 27812 27815 16590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 29878356 10878976000 27456 18446744073709551615 4194304 4196468 140722428475456 140371718924784 140372223126146 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27823] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27823/stat : 27823 (java) S 27812 27815 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 29878356 10878976000 27456 18446744073709551615 4194304 4196468 140722428475456 140371717871008 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27824] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27824/stat : 27824 (java) S 27812 27815 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 29878356 10878976000 27456 18446744073709551615 4194304 4196468 140722428475456 140371716818416 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27825] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27825/stat : 27825 (java) S 27812 27815 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 29878358 10878976000 27456 18446744073709551615 4194304 4196468 140722428475456 140371715766992 140372223133595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27826] ppid=27812 vsize=10624000 CPUtime=0.57 cores=0,2,4,6
/proc/27815/task/27826/stat : 27826 (java) S 27812 27815 16590 0 -1 1077944384 1766 0 0 0 57 0 0 0 20 0 16 0 29878359 10878976000 27456 18446744073709551615 4194304 4196468 140722428475456 140371714713584 140372223126146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27827] ppid=27812 vsize=10624000 CPUtime=0.59 cores=0,2,4,6
/proc/27815/task/27827/stat : 27827 (java) S 27812 27815 16590 0 -1 1077944384 1292 0 0 0 59 0 0 0 20 0 16 0 29878359 10878976000 27456 18446744073709551615 4194304 4196468 140722428475456 140371713661040 140372223126146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27828] ppid=27812 vsize=10624000 CPUtime=0.44 cores=0,2,4,6
/proc/27815/task/27828/stat : 27828 (java) S 27812 27815 16590 0 -1 1077944384 3334 0 0 0 44 0 0 0 20 0 16 0 29878359 10878976000 27456 18446744073709551615 4194304 4196468 140722428475456 140371712608496 140372223126146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27829] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27829/stat : 27829 (java) S 27812 27815 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 29878359 10878976000 27456 18446744073709551615 4194304 4196468 140722428475456 140371711556192 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27830] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27830/stat : 27830 (java) S 27812 27815 16590 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 29878367 10878976000 27456 18446744073709551615 4194304 4196468 140722428475456 140371710503728 140372223126146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27831] ppid=27812 vsize=10624000 CPUtime=1.19 cores=0,2,4,6
/proc/27815/task/27831/stat : 27831 (java) R 27812 27815 16590 0 -1 4202560 5931 0 0 0 116 3 0 0 20 0 16 0 29878384 10878976000 27456 18446744073709551615 4194304 4196468 140722428475456 140371707312776 140371833243318 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 10624000
[startup+1.80071 s]
/proc/loadavg: 2.06 2.07 2.01 4/212 27832
/proc/meminfo: memFree=31175100/32770624 swapFree=0/449756
[pid=27815] ppid=27812 vsize=10624000 CPUtime=3.25 cores=0,2,4,6
/proc/27815/stat : 27815 (java) S 27812 27815 16590 0 -1 1077944320 20182 0 0 0 319 6 0 0 20 0 16 0 29878344 10878976000 27982 18446744073709551615 4194304 4196468 140722428475456 140722428458000 140372223114999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
/proc/27815/statm: 2656000 27982 3101 1 0 2644926 0
[pid=27815/tid=27817] ppid=27812 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/27815/task/27817/stat : 27817 (java) S 27812 27815 16590 0 -1 1077944384 5753 0 0 0 20 1 0 0 20 0 16 0 29878353 10878976000 27982 18446744073709551615 4194304 4196468 140722428475456 140372227357872 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27818] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27818/stat : 27818 (java) S 27812 27815 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 29878354 10878976000 27982 18446744073709551615 4194304 4196468 140722428475456 140372153534736 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27819] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27819/stat : 27819 (java) S 27812 27815 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 29878354 10878976000 27982 18446744073709551615 4194304 4196468 140722428475456 140372152482192 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27820] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27820/stat : 27820 (java) S 27812 27815 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 29878354 10878976000 27982 18446744073709551615 4194304 4196468 140722428475456 140372151429648 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27821] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27821/stat : 27821 (java) S 27812 27815 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 29878354 10878976000 27982 18446744073709551615 4194304 4196468 140722428475456 140372150377104 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27822] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27822/stat : 27822 (java) S 27812 27815 16590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 29878356 10878976000 27982 18446744073709551615 4194304 4196468 140722428475456 140371718924784 140372223126146 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27823] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27823/stat : 27823 (java) S 27812 27815 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 29878356 10878976000 27982 18446744073709551615 4194304 4196468 140722428475456 140371717871008 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27824] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27824/stat : 27824 (java) S 27812 27815 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 29878356 10878976000 27982 18446744073709551615 4194304 4196468 140722428475456 140371716818416 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27825] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27825/stat : 27825 (java) S 27812 27815 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 29878358 10878976000 27982 18446744073709551615 4194304 4196468 140722428475456 140371715766992 140372223133595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27826] ppid=27812 vsize=10624000 CPUtime=0.57 cores=0,2,4,6
/proc/27815/task/27826/stat : 27826 (java) S 27812 27815 16590 0 -1 1077944384 1781 0 0 0 57 0 0 0 20 0 16 0 29878359 10878976000 27982 18446744073709551615 4194304 4196468 140722428475456 140371714713584 140372223126146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27827] ppid=27812 vsize=10624000 CPUtime=0.6 cores=0,2,4,6
/proc/27815/task/27827/stat : 27827 (java) S 27812 27815 16590 0 -1 1077944384 1495 0 0 0 60 0 0 0 20 0 16 0 29878359 10878976000 27982 18446744073709551615 4194304 4196468 140722428475456 140371713661040 140372223126146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27828] ppid=27812 vsize=10624000 CPUtime=0.45 cores=0,2,4,6
/proc/27815/task/27828/stat : 27828 (java) S 27812 27815 16590 0 -1 1077944384 3839 0 0 0 45 0 0 0 20 0 16 0 29878359 10878976000 27982 18446744073709551615 4194304 4196468 140722428475456 140371712608496 140372223126146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27829] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27829/stat : 27829 (java) S 27812 27815 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 29878359 10878976000 27982 18446744073709551615 4194304 4196468 140722428475456 140371711556192 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27830] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27830/stat : 27830 (java) S 27812 27815 16590 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 29878367 10878976000 27982 18446744073709551615 4194304 4196468 140722428475456 140371710503728 140372223126146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27831] ppid=27812 vsize=10624000 CPUtime=1.39 cores=0,2,4,6
/proc/27815/task/27831/stat : 27831 (java) R 27812 27815 16590 0 -1 4202560 5936 0 0 0 136 3 0 0 20 0 16 0 29878384 10878976000 27982 18446744073709551615 4194304 4196468 140722428475456 140371707312776 140371833619485 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 10624000
[startup+1.90071 s]
/proc/loadavg: 2.06 2.07 2.01 4/212 27832
/proc/meminfo: memFree=31175100/32770624 swapFree=0/449756
[pid=27815] ppid=27812 vsize=10624000 CPUtime=3.36 cores=0,2,4,6
/proc/27815/stat : 27815 (java) S 27812 27815 16590 0 -1 1077944320 20265 0 0 0 329 7 0 0 20 0 16 0 29878344 10878976000 28499 18446744073709551615 4194304 4196468 140722428475456 140722428458000 140372223114999 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
/proc/27815/statm: 2656000 28499 3105 1 0 2644926 0
[pid=27815/tid=27817] ppid=27812 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/27815/task/27817/stat : 27817 (java) S 27812 27815 16590 0 -1 1077944384 5753 0 0 0 20 1 0 0 20 0 16 0 29878353 10878976000 28499 18446744073709551615 4194304 4196468 140722428475456 140372227357872 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27818] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27818/stat : 27818 (java) S 27812 27815 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 29878354 10878976000 28499 18446744073709551615 4194304 4196468 140722428475456 140372153534736 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27819] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27819/stat : 27819 (java) S 27812 27815 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 29878354 10878976000 28499 18446744073709551615 4194304 4196468 140722428475456 140372152482192 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27820] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27820/stat : 27820 (java) S 27812 27815 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 29878354 10878976000 28499 18446744073709551615 4194304 4196468 140722428475456 140372151429648 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27821] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27821/stat : 27821 (java) S 27812 27815 16590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 29878354 10878976000 28499 18446744073709551615 4194304 4196468 140722428475456 140372150377104 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27822] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27822/stat : 27822 (java) S 27812 27815 16590 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 29878356 10878976000 28499 18446744073709551615 4194304 4196468 140722428475456 140371718924784 140372223126146 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27823] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27823/stat : 27823 (java) S 27812 27815 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 29878356 10878976000 28499 18446744073709551615 4194304 4196468 140722428475456 140371717871008 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27824] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27824/stat : 27824 (java) S 27812 27815 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 29878356 10878976000 28499 18446744073709551615 4194304 4196468 140722428475456 140371716818416 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27825] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27825/stat : 27825 (java) S 27812 27815 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 29878358 10878976000 28499 18446744073709551615 4194304 4196468 140722428475456 140371715766992 140372223133595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27826] ppid=27812 vsize=10624000 CPUtime=0.57 cores=0,2,4,6
/proc/27815/task/27826/stat : 27826 (java) S 27812 27815 16590 0 -1 1077944384 1781 0 0 0 57 0 0 0 20 0 16 0 29878359 10878976000 28499 18446744073709551615 4194304 4196468 140722428475456 140371714713584 140372223126146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27827] ppid=27812 vsize=10624000 CPUtime=0.6 cores=0,2,4,6
/proc/27815/task/27827/stat : 27827 (java) S 27812 27815 16590 0 -1 1077944384 1510 0 0 0 60 0 0 0 20 0 16 0 29878359 10878976000 28499 18446744073709551615 4194304 4196468 140722428475456 140371713661040 140372223126146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27828] ppid=27812 vsize=10624000 CPUtime=0.45 cores=0,2,4,6
/proc/27815/task/27828/stat : 27828 (java) S 27812 27815 16590 0 -1 1077944384 3839 0 0 0 45 0 0 0 20 0 16 0 29878359 10878976000 28499 18446744073709551615 4194304 4196468 140722428475456 140371712608496 140372223126146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27829] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27829/stat : 27829 (java) S 27812 27815 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 29878359 10878976000 28499 18446744073709551615 4194304 4196468 140722428475456 140371711556192 140372223125205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27830] ppid=27812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/27815/task/27830/stat : 27830 (java) S 27812 27815 16590 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 29878367 10878976000 28499 18446744073709551615 4194304 4196468 140722428475456 140371710503728 140372223126146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
[pid=27815/tid=27831] ppid=27812 vsize=10624000 CPUtime=1.48 cores=0,2,4,6
/proc/27815/task/27831/stat : 27831 (java) R 27812 27815 16590 0 -1 4202560 5939 0 0 0 145 3 0 0 20 0 16 0 29878384 10878976000 28499 18446744073709551615 4194304 4196468 140722428475456 140371707310800 140371833595808 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17817600 140722428481998 140722428482127 140722428482127 140722428485583 0
Current children cumulated CPU time (s) 3.36
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 1.93964
CPU time (s): 3.40681
CPU user time (s): 3.33339
CPU system time (s): 0.073418
CPU usage (%): 175.641
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.33339
system time used= 0.073418
maximum resident set size= 116288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20563
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2047
involuntary context switches= 18
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.009133 second user time and 0.014841 second system time
The end