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-4092169-1467322189/watcher-4092169-1467322189 -o /tmp/evaluation-result-4092169-1467322189/solver-4092169-1467322189 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467319426-13601 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092169-1467322189.wbo
pid=20997
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.48 0.60 0.63 2/169 21000
/proc/meminfo: memFree=30443424/32872528 swapFree=1102192/1183952
[pid=21000] ppid=20997 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/21000/stat : 21000 (java) S 20997 21000 11495 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 11248159 98570240 976 33554432000 1073741824 1073778376 140734875025632 140734875016768 271790932029 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21000/statm: 24065 976 743 9 0 16771 0
[pid=21000/tid=21001] ppid=20997 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21001/stat : 21001 (java) R 20997 21000 11495 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 11248160 98570240 976 33554432000 1073741824 1073778376 140734875025632 140319448972840 271787574656 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.100061 s]
/proc/loadavg: 0.48 0.60 0.63 2/169 21000
/proc/meminfo: memFree=30443424/32872528 swapFree=1102192/1183952
[pid=21000] ppid=20997 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/21000/stat : 21000 (java) S 20997 21000 11495 0 -1 4202496 4498 0 1 0 10 1 0 0 20 0 18 0 11248159 9787879424 6129 33554432000 1073741824 1073778376 140734875025632 140734875016768 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21000/statm: 2389619 6129 2156 9 0 2380296 0
[pid=21000/tid=21001] ppid=20997 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/21000/task/21001/stat : 21001 (java) R 20997 21000 11495 0 -1 4202560 2397 0 1 0 7 0 0 0 20 0 18 0 11248160 9787879424 6129 33554432000 1073741824 1073778376 140734875025632 140319448960064 271790957837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200275 s]
/proc/loadavg: 0.48 0.60 0.63 2/169 21000
/proc/meminfo: memFree=30443424/32872528 swapFree=1102192/1183952
[pid=21000] ppid=20997 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/21000/stat : 21000 (java) S 20997 21000 11495 0 -1 4202496 4765 0 1 0 25 1 0 0 20 0 18 0 11248159 9787879424 6818 33554432000 1073741824 1073778376 140734875025632 140734875016768 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21000/statm: 2389619 6818 2209 9 0 2380296 0
[pid=21000/tid=21001] ppid=20997 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/21000/task/21001/stat : 21001 (java) R 20997 21000 11495 0 -1 4202560 2414 0 1 0 17 0 0 0 20 0 18 0 11248160 9787879424 6818 33554432000 1073741824 1073778376 140734875025632 140319448960064 140319283106615 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.30027 s]
/proc/loadavg: 0.48 0.60 0.63 2/169 21000
/proc/meminfo: memFree=30443424/32872528 swapFree=1102192/1183952
[pid=21000] ppid=20997 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/21000/stat : 21000 (java) S 20997 21000 11495 0 -1 4202496 6355 0 1 0 53 2 0 0 20 0 22 0 11248159 10060525568 9774 33554432000 1073741824 1073778376 140734875025632 140734875016768 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21000/statm: 2456183 9774 2246 9 0 2446860 0
[pid=21000/tid=21001] ppid=20997 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/21000/task/21001/stat : 21001 (java) S 20997 21000 11495 0 -1 4202560 2432 0 1 0 22 2 0 0 20 0 22 0 11248160 10060525568 9774 33554432000 1073741824 1073778376 140734875025632 140319448978296 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9824732
[startup+0.700298 s]
/proc/loadavg: 0.48 0.60 0.63 2/169 21000
/proc/meminfo: memFree=30443424/32872528 swapFree=1102192/1183952
[pid=21000] ppid=20997 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/21000/stat : 21000 (java) S 20997 21000 11495 0 -1 4202496 7233 0 1 0 68 4 0 0 20 0 19 0 11248159 10060525568 9810 33554432000 1073741824 1073778376 140734875025632 140734875016768 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21000/statm: 2456183 9810 2255 9 0 2446860 0
[pid=21000/tid=21001] ppid=20997 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/21000/task/21001/stat : 21001 (java) S 20997 21000 11495 0 -1 4202560 2432 0 1 0 22 2 0 0 20 0 19 0 11248160 10060525568 9810 33554432000 1073741824 1073778376 140734875025632 140319448978296 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 9824732
[startup+1.50084 s]
/proc/loadavg: 0.44 0.59 0.62 1/188 21025
/proc/meminfo: memFree=30406068/32872528 swapFree=1102192/1183952
[pid=21000] ppid=20997 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/21000/stat : 21000 (java) S 20997 21000 11495 0 -1 4202496 13459 0 1 0 101 7 0 0 20 0 19 0 11248159 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140734875016768 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21000/statm: 2456183 14778 2257 9 0 2446860 0
[pid=21000/tid=21001] ppid=20997 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/21000/task/21001/stat : 21001 (java) S 20997 21000 11495 0 -1 4202560 2440 0 1 0 25 2 0 0 20 0 19 0 11248160 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319448978296 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21000/tid=21003] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21003/stat : 21003 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248161 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319410469928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21004] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21004/stat : 21004 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248161 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319409417128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21000/tid=21005] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21005/stat : 21005 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248161 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319408364328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21000/tid=21006] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21006/stat : 21006 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248161 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319407311528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21000/tid=21007] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21007/stat : 21007 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248161 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319406258728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21008] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21008/stat : 21008 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248161 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319405205928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21000/tid=21009] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21009/stat : 21009 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248161 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319404153128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21010] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21010/stat : 21010 (java) S 20997 21000 11495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11248161 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319403100328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21011] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21011/stat : 21011 (java) S 20997 21000 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11248162 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319273212904 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21000/tid=21012] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21012/stat : 21012 (java) S 20997 21000 11495 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11248162 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319272158968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21013] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21013/stat : 21013 (java) S 20997 21000 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11248162 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319271106056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21014] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21014/stat : 21014 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248164 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319270054544 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21015] ppid=20997 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/21000/task/21015/stat : 21015 (java) S 20997 21000 11495 0 -1 4202560 2366 0 0 0 25 0 0 0 20 0 19 0 11248164 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319269001656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21016] ppid=20997 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/21000/task/21016/stat : 21016 (java) S 20997 21000 11495 0 -1 4202560 7311 0 0 0 33 1 0 0 20 0 19 0 11248164 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319267948856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21000/tid=21017] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21017/stat : 21017 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248164 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140318393493880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21000/tid=21018] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21018/stat : 21018 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248164 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140318392441288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21000/tid=21021] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21021/stat : 21021 (java) S 20997 21000 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11248186 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140318389282216 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 9824732
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21000 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60105 s]
/proc/loadavg: 0.44 0.59 0.62 1/188 21025
/proc/meminfo: memFree=30406068/32872528 swapFree=1102192/1183952
[pid=21000] ppid=20997 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/21000/stat : 21000 (java) S 20997 21000 11495 0 -1 4202496 13459 0 1 0 101 7 0 0 20 0 19 0 11248159 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140734875016768 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21000/statm: 2456183 14778 2257 9 0 2446860 0
[pid=21000/tid=21001] ppid=20997 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/21000/task/21001/stat : 21001 (java) S 20997 21000 11495 0 -1 4202560 2440 0 1 0 25 2 0 0 20 0 19 0 11248160 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319448978296 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21000/tid=21003] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21003/stat : 21003 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248161 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319410469928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21004] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21004/stat : 21004 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248161 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319409417128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21000/tid=21005] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21005/stat : 21005 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248161 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319408364328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21000/tid=21006] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21006/stat : 21006 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248161 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319407311528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21000/tid=21007] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21007/stat : 21007 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248161 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319406258728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21008] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21008/stat : 21008 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248161 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319405205928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21000/tid=21009] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21009/stat : 21009 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248161 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319404153128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21010] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21010/stat : 21010 (java) S 20997 21000 11495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11248161 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319403100328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21011] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21011/stat : 21011 (java) S 20997 21000 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11248162 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319273212904 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21000/tid=21012] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21012/stat : 21012 (java) S 20997 21000 11495 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11248162 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319272158968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21013] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21013/stat : 21013 (java) S 20997 21000 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11248162 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319271106056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21014] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21014/stat : 21014 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248164 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319270054544 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21015] ppid=20997 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/21000/task/21015/stat : 21015 (java) S 20997 21000 11495 0 -1 4202560 2366 0 0 0 25 0 0 0 20 0 19 0 11248164 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319269001656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21016] ppid=20997 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/21000/task/21016/stat : 21016 (java) S 20997 21000 11495 0 -1 4202560 7311 0 0 0 33 1 0 0 20 0 19 0 11248164 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140319267948856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21000/tid=21017] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21017/stat : 21017 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248164 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140318393493880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21000/tid=21018] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21018/stat : 21018 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11248164 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140318392441288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21000/tid=21021] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21021/stat : 21021 (java) S 20997 21000 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11248186 10060525568 14778 33554432000 1073741824 1073778376 140734875025632 140318389282216 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 9824732
[startup+1.80072 s]
/proc/loadavg: 0.44 0.59 0.62 1/188 21025
/proc/meminfo: memFree=30406068/32872528 swapFree=1102192/1183952
[pid=21000] ppid=20997 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/21000/stat : 21000 (java) S 20997 21000 11495 0 -1 4202496 13487 0 1 0 102 7 0 0 20 0 17 0 11248159 10060525568 15309 33554432000 1073741824 1073778376 140734875025632 140734875016768 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21000/statm: 2456183 15309 2259 9 0 2446860 0
[pid=21000/tid=21001] ppid=20997 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/21000/task/21001/stat : 21001 (java) S 20997 21000 11495 0 -1 4202560 2441 0 1 0 25 2 0 0 20 0 17 0 11248160 10060525568 15309 33554432000 1073741824 1073778376 140734875025632 140319448978104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21000/tid=21003] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21003/stat : 21003 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 11248161 10060525568 15309 33554432000 1073741824 1073778376 140734875025632 140319410469928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21004] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21004/stat : 21004 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 11248161 10060525568 15309 33554432000 1073741824 1073778376 140734875025632 140319409417128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21000/tid=21005] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21005/stat : 21005 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 11248161 10060525568 15309 33554432000 1073741824 1073778376 140734875025632 140319408364328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21000/tid=21006] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21006/stat : 21006 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 11248161 10060525568 15309 33554432000 1073741824 1073778376 140734875025632 140319407311528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21000/tid=21007] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21007/stat : 21007 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 11248161 10060525568 15309 33554432000 1073741824 1073778376 140734875025632 140319406258728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21008] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21008/stat : 21008 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 11248161 10060525568 15309 33554432000 1073741824 1073778376 140734875025632 140319405205928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21000/tid=21009] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21009/stat : 21009 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 11248161 10060525568 15309 33554432000 1073741824 1073778376 140734875025632 140319404153128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21010] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21010/stat : 21010 (java) S 20997 21000 11495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 11248161 10060525568 15309 33554432000 1073741824 1073778376 140734875025632 140319403100328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21011] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21011/stat : 21011 (java) S 20997 21000 11495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 11248162 10060525568 15309 33554432000 1073741824 1073778376 140734875025632 140319273212456 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21000/tid=21012] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21012/stat : 21012 (java) S 20997 21000 11495 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 11248162 10060525568 15309 33554432000 1073741824 1073778376 140734875025632 140319272158968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21013] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21013/stat : 21013 (java) S 20997 21000 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 11248162 10060525568 15309 33554432000 1073741824 1073778376 140734875025632 140319271106056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21014] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21014/stat : 21014 (java) S 20997 21000 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 11248164 10060525568 15309 33554432000 1073741824 1073778376 140734875025632 140319270053176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21015] ppid=20997 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/21000/task/21015/stat : 21015 (java) S 20997 21000 11495 0 -1 4202560 2372 0 0 0 26 0 0 0 20 0 17 0 11248164 10060525568 15309 33554432000 1073741824 1073778376 140734875025632 140319268988376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21000/tid=21016] ppid=20997 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/21000/task/21016/stat : 21016 (java) S 20997 21000 11495 0 -1 4202560 7319 0 0 0 34 1 0 0 20 0 17 0 11248164 10060525568 15309 33554432000 1073741824 1073778376 140734875025632 140319267940840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21000/tid=21017] ppid=20997 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21000/task/21017/stat : 21017 (java) S 20997 21000 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 11248164 10060525568 15309 33554432000 1073741824 1073778376 140734875025632 140318393493880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9824732
Child status: 30
Real time (s): 1.80711
CPU time (s): 1.12383
CPU user time (s): 1.02184
CPU system time (s): 0.101984
CPU usage (%): 62.1891
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.02184
system time used= 0.101984
maximum resident set size= 62516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13487
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 339
involuntary context switches= 49
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.012998 second user time and 0.015997 second system time
The end