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-4098746-1466206075/watcher-4098746-1466206075 -o /tmp/evaluation-result-4098746-1466206075/solver-4098746-1466206075 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466206051-22606 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4098746-1466206075.opb
pid=23741
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: 1.07 0.24 0.08 6/197 23744
/proc/meminfo: memFree=31387112/32872528 swapFree=496868/529572
[pid=23744] ppid=23741 vsize=89800 CPUtime=0 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23741 23744 22589 0 -1 4202496 1260 0 0 0 0 0 0 0 20 0 2 0 22652978 91955200 902 33554432000 1073741824 1073778376 140736106816208 140736106807344 211462160445 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23744/statm: 22970 906 688 9 0 16769 0
[pid=23744/tid=23745] ppid=23741 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23745/stat : 23745 (java) D 23741 23744 22589 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 22652979 94019584 917 33554432000 1073741824 1073778376 140736106816208 140211983056424 211449638183 0 0 4096 0 18446744072100588836 0 0 -1 3 0 0 0 0 0
[startup+0.10016 s]
/proc/loadavg: 1.07 0.24 0.08 6/197 23744
/proc/meminfo: memFree=31387112/32872528 swapFree=496868/529572
[pid=23744] ppid=23741 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23741 23744 22589 0 -1 4202496 4472 0 1 0 10 1 0 0 20 0 18 0 22652978 9787879424 6100 33554432000 1073741824 1073778376 140736106816208 140736106807344 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23744/statm: 2389619 6100 2156 9 0 2380296 0
[pid=23744/tid=23745] ppid=23741 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/23744/task/23745/stat : 23745 (java) R 23741 23744 22589 0 -1 4202560 2392 0 1 0 7 0 0 0 20 0 18 0 22652979 9787879424 6100 33554432000 1073741824 1073778376 140736106816208 140211983061112 211462186253 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.200234 s]
/proc/loadavg: 1.07 0.24 0.08 6/197 23744
/proc/meminfo: memFree=31387112/32872528 swapFree=496868/529572
[pid=23744] ppid=23741 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23741 23744 22589 0 -1 4202496 5087 0 1 0 27 1 0 0 20 0 22 0 22652978 10060525568 8071 33554432000 1073741824 1073778376 140736106816208 140736106807344 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23744/statm: 2456183 8072 2224 9 0 2446860 0
[pid=23744/tid=23745] ppid=23741 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/23744/task/23745/stat : 23745 (java) S 23741 23744 22589 0 -1 4202560 2415 0 1 0 15 0 0 0 20 0 22 0 22652979 10060525568 8072 33554432000 1073741824 1073778376 140736106816208 140211983061880 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9824732
[startup+0.300241 s]
/proc/loadavg: 1.07 0.24 0.08 6/197 23744
/proc/meminfo: memFree=31387112/32872528 swapFree=496868/529572
[pid=23744] ppid=23741 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23741 23744 22589 0 -1 4202496 8438 0 1 0 67 1 0 0 20 0 22 0 22652978 10060525568 9925 33554432000 1073741824 1073778376 140736106816208 140736106807344 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23744/statm: 2456183 9925 2247 9 0 2446860 0
[pid=23744/tid=23745] ppid=23741 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/23744/task/23745/stat : 23745 (java) S 23741 23744 22589 0 -1 4202560 2415 0 1 0 15 0 0 0 20 0 22 0 22652979 10060525568 9925 33554432000 1073741824 1073778376 140736106816208 140211983061880 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9824732
[startup+0.700238 s]
/proc/loadavg: 1.07 0.24 0.08 6/197 23744
/proc/meminfo: memFree=31387112/32872528 swapFree=496868/529572
[pid=23744] ppid=23741 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23741 23744 22589 0 -1 4202496 16617 0 1 0 226 2 0 0 20 0 22 0 22652978 10060525568 22802 33554432000 1073741824 1073778376 140736106816208 140736106807344 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23744/statm: 2456183 22802 2267 9 0 2446860 0
[pid=23744/tid=23745] ppid=23741 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/23744/task/23745/stat : 23745 (java) S 23741 23744 22589 0 -1 4202560 2415 0 1 0 15 0 0 0 20 0 22 0 22652979 10060525568 22802 33554432000 1073741824 1073778376 140736106816208 140211983061880 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9824732
[startup+1.50092 s]
/proc/loadavg: 1.46 0.34 0.11 6/207 23822
/proc/meminfo: memFree=31357696/32872528 swapFree=496868/529572
[pid=23744] ppid=23741 vsize=9824732 CPUtime=5.04 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23741 23744 22589 0 -1 4202496 28362 0 1 0 498 6 0 0 20 0 22 0 22652978 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140736106807344 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23744/statm: 2456183 46268 2284 9 0 2446860 0
[pid=23744/tid=23745] ppid=23741 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/23744/task/23745/stat : 23745 (java) S 23741 23744 22589 0 -1 4202560 2415 0 1 0 15 0 0 0 20 0 22 0 22652979 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211983061880 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23747] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23747/stat : 23747 (java) S 23741 23744 22589 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211961162792 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23748] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23748/stat : 23748 (java) S 23741 23744 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211960109992 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23749] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23749/stat : 23749 (java) S 23741 23744 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211757509416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23750] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23750/stat : 23750 (java) S 23741 23744 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211756456616 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23751] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23751/stat : 23751 (java) S 23741 23744 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211755403816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23752] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23752/stat : 23752 (java) S 23741 23744 22589 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211754351016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23753] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23753/stat : 23753 (java) S 23741 23744 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211753298216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23754] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23754/stat : 23754 (java) S 23741 23744 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211752245416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23755] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23755/stat : 23755 (java) S 23741 23744 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22652980 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211740048360 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23756] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23756/stat : 23756 (java) S 23741 23744 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22652981 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211738994424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23757] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23757/stat : 23757 (java) S 23741 23744 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22652981 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211737941512 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23758] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23758/stat : 23758 (java) S 23741 23744 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22652983 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211736890000 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23759] ppid=23741 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/23744/task/23759/stat : 23759 (java) S 23741 23744 22589 0 -1 4202560 7101 0 0 0 105 0 0 0 20 0 22 0 22652983 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211735837112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23760] ppid=23741 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/23744/task/23760/stat : 23760 (java) S 23741 23744 22589 0 -1 4202560 17425 0 0 0 113 3 0 0 20 0 22 0 22652983 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211734784312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23761] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23761/stat : 23761 (java) S 23741 23744 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22652983 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211733731704 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23762] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23762/stat : 23762 (java) S 23741 23744 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22652983 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211732679112 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23763] ppid=23741 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/23744/task/23763/stat : 23763 (java) R 23741 23744 22589 0 -1 4202560 28 0 0 0 129 0 0 0 20 0 22 0 22652996 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211731616288 140211841985119 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23764] ppid=23741 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/23744/task/23764/stat : 23764 (java) R 23741 23744 22589 0 -1 4202560 87 0 0 0 128 2 0 0 20 0 22 0 22652996 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211730571104 140211842004935 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23765] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23765/stat : 23765 (java) S 23741 23744 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22652996 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211729520040 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23766] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23766/stat : 23766 (java) S 23741 23744 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22652996 10060525568 46268 33554432000 1073741824 1073778376 140736106816208 140211728467240 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.04
Current children cumulated vsize (KiB) 9824732
[startup+3.10101 s]
/proc/loadavg: 1.46 0.34 0.11 7/219 23834
/proc/meminfo: memFree=31157416/32872528 swapFree=496868/529572
[pid=23744] ppid=23741 vsize=9824732 CPUtime=8.91 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23741 23744 22589 0 -1 4202496 34825 0 1 0 883 8 0 0 20 0 22 0 22652978 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140736106807344 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23744/statm: 2456183 51945 2284 9 0 2446860 0
[pid=23744/tid=23745] ppid=23741 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/23744/task/23745/stat : 23745 (java) S 23741 23744 22589 0 -1 4202560 2415 0 1 0 15 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211983061880 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23747] ppid=23741 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/23744/task/23747/stat : 23747 (java) S 23741 23744 22589 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211961162792 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23748] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23748/stat : 23748 (java) S 23741 23744 22589 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211960109992 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23749] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23749/stat : 23749 (java) S 23741 23744 22589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211757509416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23750] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23750/stat : 23750 (java) S 23741 23744 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211756456616 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23751] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23751/stat : 23751 (java) S 23741 23744 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211755403816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23752] ppid=23741 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/23744/task/23752/stat : 23752 (java) S 23741 23744 22589 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211754351016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23753] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23753/stat : 23753 (java) S 23741 23744 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211753298216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23754] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23754/stat : 23754 (java) S 23741 23744 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211752245416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23755] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23755/stat : 23755 (java) S 23741 23744 22589 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 22652980 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211740048360 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23756] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23756/stat : 23756 (java) S 23741 23744 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22652981 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211738994424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23757] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23757/stat : 23757 (java) S 23741 23744 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22652981 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211737941512 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23758] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23758/stat : 23758 (java) S 23741 23744 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22652983 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211736890000 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23759] ppid=23741 vsize=9824732 CPUtime=1.43 cores=1,3,5,7
/proc/23744/task/23759/stat : 23759 (java) S 23741 23744 22589 0 -1 4202560 10867 0 0 0 142 1 0 0 20 0 22 0 22652983 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211735837112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23760] ppid=23741 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/23744/task/23760/stat : 23760 (java) S 23741 23744 22589 0 -1 4202560 20027 0 0 0 141 3 0 0 20 0 22 0 22652983 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211734784312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23761] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23761/stat : 23761 (java) S 23741 23744 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22652983 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211733731704 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23762] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23762/stat : 23762 (java) S 23741 23744 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22652983 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211732679112 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23763] ppid=23741 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/23744/task/23763/stat : 23763 (java) R 23741 23744 22589 0 -1 4202560 28 0 0 0 287 0 0 0 20 0 22 0 22652996 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211731616272 140211841985119 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23764] ppid=23741 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/23744/task/23764/stat : 23764 (java) R 23741 23744 22589 0 -1 4202560 89 0 0 0 285 2 0 0 20 0 22 0 22652996 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211730570928 140211842004865 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23765] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23765/stat : 23765 (java) S 23741 23744 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22652996 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211729520040 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23766] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23766/stat : 23766 (java) S 23741 23744 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22652996 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211728467240 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.91
Current children cumulated vsize (KiB) 9824732
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23744 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.10101 s]
/proc/loadavg: 1.46 0.34 0.11 7/219 23834
/proc/meminfo: memFree=31157416/32872528 swapFree=496868/529572
[pid=23744] ppid=23741 vsize=9824732 CPUtime=8.91 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23741 23744 22589 0 -1 4202496 34825 0 1 0 883 8 0 0 20 0 22 0 22652978 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140736106807344 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23744/statm: 2456183 51945 2284 9 0 2446860 0
[pid=23744/tid=23745] ppid=23741 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/23744/task/23745/stat : 23745 (java) S 23741 23744 22589 0 -1 4202560 2415 0 1 0 15 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211983061880 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23747] ppid=23741 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/23744/task/23747/stat : 23747 (java) S 23741 23744 22589 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211961162792 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23748] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23748/stat : 23748 (java) S 23741 23744 22589 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211960109992 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23749] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23749/stat : 23749 (java) S 23741 23744 22589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211757509416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23750] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23750/stat : 23750 (java) S 23741 23744 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211756456616 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23751] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23751/stat : 23751 (java) S 23741 23744 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211755403816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23752] ppid=23741 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/23744/task/23752/stat : 23752 (java) S 23741 23744 22589 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211754351016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23753] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23753/stat : 23753 (java) S 23741 23744 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211753298216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23754] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23754/stat : 23754 (java) S 23741 23744 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22652979 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211752245416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23755] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23755/stat : 23755 (java) S 23741 23744 22589 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 22652980 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211740048360 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23756] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23756/stat : 23756 (java) S 23741 23744 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22652981 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211738994424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23757] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23757/stat : 23757 (java) S 23741 23744 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22652981 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211737941512 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23758] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23758/stat : 23758 (java) S 23741 23744 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22652983 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211736890000 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23759] ppid=23741 vsize=9824732 CPUtime=1.43 cores=1,3,5,7
/proc/23744/task/23759/stat : 23759 (java) S 23741 23744 22589 0 -1 4202560 10867 0 0 0 142 1 0 0 20 0 22 0 22652983 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211735837112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23760] ppid=23741 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/23744/task/23760/stat : 23760 (java) S 23741 23744 22589 0 -1 4202560 20027 0 0 0 141 3 0 0 20 0 22 0 22652983 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211734784312 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23761] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23761/stat : 23761 (java) S 23741 23744 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22652983 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211733731704 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23762] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23762/stat : 23762 (java) S 23741 23744 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22652983 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211732679112 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23763] ppid=23741 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/23744/task/23763/stat : 23763 (java) R 23741 23744 22589 0 -1 4202560 28 0 0 0 287 0 0 0 20 0 22 0 22652996 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211731616272 140211841985119 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23764] ppid=23741 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/23744/task/23764/stat : 23764 (java) R 23741 23744 22589 0 -1 4202560 89 0 0 0 285 2 0 0 20 0 22 0 22652996 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211730570928 140211842004865 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23765] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23765/stat : 23765 (java) S 23741 23744 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22652996 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211729520040 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23766] ppid=23741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23766/stat : 23766 (java) S 23741 23744 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22652996 10060525568 51945 33554432000 1073741824 1073778376 140736106816208 140211728467240 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.91
Current children cumulated vsize (KiB) 9824732
Child status: 20
Real time (s): 3.19833
CPU time (s): 9.02363
CPU user time (s): 8.85165
CPU system time (s): 0.171973
CPU usage (%): 282.136
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.85165
system time used= 0.171973
maximum resident set size= 207784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34835
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= 467
involuntary context switches= 213
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011998 second user time and 0.035994 second system time
The end