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-4080276-1465218070/watcher-4080276-1465218070 -o /tmp/evaluation-result-4080276-1465218070/solver-4080276-1465218070 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465216745-25468 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080276-1465218070.opb
pid=27069
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: 4.09 4.07 3.68 4/198 27072
/proc/meminfo: memFree=29467596/32872528 swapFree=11252/530428
[pid=27072] ppid=27069 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/27072/stat : 27072 (java) S 27069 27072 25451 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 103738792 98570240 977 33554432000 1073741824 1073778376 140733834403504 140733834394640 211462160445 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27072/statm: 24065 977 743 9 0 16771 0
[pid=27072/tid=27073] ppid=27069 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27073/stat : 27073 (java) R 27069 27072 25451 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 103738793 98570240 977 33554432000 1073741824 1073778376 140733834403504 140418324610600 211458803072 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100145 s]
/proc/loadavg: 4.09 4.07 3.68 4/198 27072
/proc/meminfo: memFree=29467596/32872528 swapFree=11252/530428
[pid=27072] ppid=27069 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/27072/stat : 27072 (java) S 27069 27072 25451 0 -1 4202496 4520 0 1 0 9 1 0 0 20 0 18 0 103738792 9787879424 6145 33554432000 1073741824 1073778376 140733834403504 140733834394640 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27072/statm: 2389619 6145 2156 9 0 2380296 0
[pid=27072/tid=27073] ppid=27069 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/27072/task/27073/stat : 27073 (java) R 27069 27072 25451 0 -1 4202560 2409 0 1 0 6 1 0 0 20 0 18 0 103738793 9787879424 6145 33554432000 1073741824 1073778376 140733834403504 140418324614048 211462186253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200334 s]
/proc/loadavg: 4.09 4.07 3.68 4/198 27072
/proc/meminfo: memFree=29467596/32872528 swapFree=11252/530428
[pid=27072] ppid=27069 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/27072/stat : 27072 (java) S 27069 27072 25451 0 -1 4202496 4743 0 1 0 24 2 0 0 20 0 18 0 103738792 9787879424 6828 33554432000 1073741824 1073778376 140733834403504 140733834394640 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27072/statm: 2389619 6828 2214 9 0 2380296 0
[pid=27072/tid=27073] ppid=27069 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/27072/task/27073/stat : 27073 (java) R 27069 27072 25451 0 -1 4202560 2421 0 1 0 16 1 0 0 20 0 18 0 103738793 9787879424 6828 33554432000 1073741824 1073778376 140733834403504 140418324615416 140418196939951 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300334 s]
/proc/loadavg: 4.09 4.07 3.68 4/198 27072
/proc/meminfo: memFree=29467596/32872528 swapFree=11252/530428
[pid=27072] ppid=27069 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/27072/stat : 27072 (java) S 27069 27072 25451 0 -1 4202496 5672 0 1 0 46 2 0 0 20 0 18 0 103738792 9787879424 8497 33554432000 1073741824 1073778376 140733834403504 140733834394640 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27072/statm: 2389619 8497 2231 9 0 2380296 0
[pid=27072/tid=27073] ppid=27069 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/27072/task/27073/stat : 27073 (java) R 27069 27072 25451 0 -1 4202560 2423 0 1 0 26 1 0 0 20 0 18 0 103738793 9787879424 8497 33554432000 1073741824 1073778376 140733834403504 140418324614552 140418197306672 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700224 s]
/proc/loadavg: 4.09 4.07 3.68 4/198 27072
/proc/meminfo: memFree=29467596/32872528 swapFree=11252/530428
[pid=27072] ppid=27069 vsize=9824732 CPUtime=1.82 cores=1,3,5,7
/proc/27072/stat : 27072 (java) S 27069 27072 25451 0 -1 4202496 14636 0 1 0 178 4 0 0 20 0 22 0 103738792 10060525568 18544 33554432000 1073741824 1073778376 140733834403504 140733834394640 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27072/statm: 2456183 18544 2259 9 0 2446860 0
[pid=27072/tid=27073] ppid=27069 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/27072/task/27073/stat : 27073 (java) S 27069 27072 25451 0 -1 4202560 2444 0 1 0 28 1 0 0 20 0 22 0 103738793 10060525568 18544 33554432000 1073741824 1073778376 140733834403504 140418324616056 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 9824732
[startup+1.50086 s]
/proc/loadavg: 4.09 4.07 3.68 7/220 27094
/proc/meminfo: memFree=29293984/32872528 swapFree=11252/530428
[pid=27072] ppid=27069 vsize=9824732 CPUtime=4.92 cores=1,3,5,7
/proc/27072/stat : 27072 (java) S 27069 27072 25451 0 -1 4202496 28040 0 1 0 484 8 0 0 20 0 22 0 103738792 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140733834394640 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27072/statm: 2456183 50888 2285 9 0 2446860 0
[pid=27072/tid=27073] ppid=27069 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/27072/task/27073/stat : 27073 (java) S 27069 27072 25451 0 -1 4202560 2444 0 1 0 28 1 0 0 20 0 22 0 103738793 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418324616056 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27072/tid=27075] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27075/stat : 27075 (java) S 27069 27072 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103738794 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418168503336 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27076] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27076/stat : 27076 (java) S 27069 27072 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103738794 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418167450536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27072/tid=27077] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27077/stat : 27077 (java) S 27069 27072 25451 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 103738794 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418166397736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27072/tid=27078] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27078/stat : 27078 (java) S 27069 27072 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103738794 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418165344936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27072/tid=27079] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27079/stat : 27079 (java) S 27069 27072 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103738794 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418164292136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27072/tid=27080] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27080/stat : 27080 (java) S 27069 27072 25451 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 103738794 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418163239336 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27081] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27081/stat : 27081 (java) S 27069 27072 25451 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 103738794 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418162186536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27072/tid=27082] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27082/stat : 27082 (java) S 27069 27072 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 103738794 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418161133736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27083] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27083/stat : 27083 (java) S 27069 27072 25451 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 103738795 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418148936680 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27072/tid=27084] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27084/stat : 27084 (java) S 27069 27072 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 103738795 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418147882744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27085] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27085/stat : 27085 (java) S 27069 27072 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 103738795 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418146829832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27086] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27086/stat : 27086 (java) S 27069 27072 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103738797 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418145778320 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27087] ppid=27069 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/27072/task/27087/stat : 27087 (java) R 27069 27072 25451 0 -1 4202560 9488 0 0 0 122 2 0 0 20 0 22 0 103738797 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418144715512 140418327226860 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27072/tid=27088] ppid=27069 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/27072/task/27088/stat : 27088 (java) R 27069 27072 25451 0 -1 4202560 14604 0 0 0 107 2 0 0 20 0 22 0 103738797 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418143650744 140418331602466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27089] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27089/stat : 27089 (java) S 27069 27072 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103738797 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418142620024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27072/tid=27090] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27090/stat : 27090 (java) S 27069 27072 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103738797 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418141567432 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27091] ppid=27069 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/27072/task/27091/stat : 27091 (java) R 27069 27072 25451 0 -1 4202560 29 0 0 0 104 0 0 0 20 0 22 0 103738824 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418140415352 140418197411419 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27072/tid=27092] ppid=27069 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/27072/task/27092/stat : 27092 (java) R 27069 27072 25451 0 -1 4202560 83 0 0 0 111 2 0 0 20 0 22 0 103738824 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418139361056 140418197459501 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=27072/tid=27093] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27093/stat : 27093 (java) S 27069 27072 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103738825 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418138310056 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27072/tid=27094] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27094/stat : 27094 (java) S 27069 27072 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103738825 10060525568 50888 33554432000 1073741824 1073778376 140733834403504 140418137257256 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 9824732
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 27072 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60109 s]
/proc/loadavg: 4.09 4.07 3.68 7/220 27094
/proc/meminfo: memFree=29293984/32872528 swapFree=11252/530428
[pid=27072] ppid=27069 vsize=9824732 CPUtime=5.23 cores=1,3,5,7
/proc/27072/stat : 27072 (java) S 27069 27072 25451 0 -1 4202496 28589 0 1 0 515 8 0 0 20 0 22 0 103738792 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140733834394640 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27072/statm: 2456183 51195 2285 9 0 2446860 0
[pid=27072/tid=27073] ppid=27069 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/27072/task/27073/stat : 27073 (java) S 27069 27072 25451 0 -1 4202560 2444 0 1 0 28 1 0 0 20 0 22 0 103738793 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418324616056 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27072/tid=27075] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27075/stat : 27075 (java) S 27069 27072 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103738794 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418168503336 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27076] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27076/stat : 27076 (java) S 27069 27072 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103738794 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418167450536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27072/tid=27077] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27077/stat : 27077 (java) S 27069 27072 25451 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 103738794 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418166397736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27072/tid=27078] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27078/stat : 27078 (java) S 27069 27072 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103738794 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418165344936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27072/tid=27079] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27079/stat : 27079 (java) S 27069 27072 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103738794 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418164292136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27072/tid=27080] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27080/stat : 27080 (java) S 27069 27072 25451 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 103738794 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418163239336 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27081] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27081/stat : 27081 (java) S 27069 27072 25451 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 103738794 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418162186536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27072/tid=27082] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27082/stat : 27082 (java) S 27069 27072 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 103738794 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418161133736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27083] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27083/stat : 27083 (java) S 27069 27072 25451 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 103738795 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418148936680 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27072/tid=27084] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27084/stat : 27084 (java) S 27069 27072 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 103738795 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418147882744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27085] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27085/stat : 27085 (java) S 27069 27072 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 103738795 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418146829832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27086] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27086/stat : 27086 (java) S 27069 27072 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103738797 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418145778320 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27087] ppid=27069 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/27072/task/27087/stat : 27087 (java) S 27069 27072 25451 0 -1 4202560 9488 0 0 0 122 2 0 0 20 0 22 0 103738797 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418144725432 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27072/tid=27088] ppid=27069 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/27072/task/27088/stat : 27088 (java) R 27069 27072 25451 0 -1 4202560 15153 0 0 0 117 2 0 0 20 0 22 0 103738797 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418143650744 140418328703000 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27089] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27089/stat : 27089 (java) S 27069 27072 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103738797 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418142620024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27072/tid=27090] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27090/stat : 27090 (java) S 27069 27072 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103738797 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418141567432 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27091] ppid=27069 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/27072/task/27091/stat : 27091 (java) R 27069 27072 25451 0 -1 4202560 29 0 0 0 114 0 0 0 20 0 22 0 103738824 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418140415352 140418197466345 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27072/tid=27092] ppid=27069 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/27072/task/27092/stat : 27092 (java) R 27069 27072 25451 0 -1 4202560 83 0 0 0 121 2 0 0 20 0 22 0 103738824 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418139361056 140418197679944 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=27072/tid=27093] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27093/stat : 27093 (java) S 27069 27072 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103738825 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418138310056 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27072/tid=27094] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27094/stat : 27094 (java) S 27069 27072 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103738825 10060525568 51195 33554432000 1073741824 1073778376 140733834403504 140418137257256 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 9824732
[startup+1.8009 s]
/proc/loadavg: 4.09 4.07 3.68 7/220 27094
/proc/meminfo: memFree=29293984/32872528 swapFree=11252/530428
[pid=27072] ppid=27069 vsize=9824732 CPUtime=5.82 cores=1,3,5,7
/proc/27072/stat : 27072 (java) S 27069 27072 25451 0 -1 4202496 31499 0 1 0 571 11 0 0 20 0 19 0 103738792 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140733834394640 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27072/statm: 2456183 51225 2286 9 0 2446860 0
[pid=27072/tid=27073] ppid=27069 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/27072/task/27073/stat : 27073 (java) S 27069 27072 25451 0 -1 4202560 2444 0 1 0 28 1 0 0 20 0 19 0 103738793 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418324616056 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27072/tid=27075] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27075/stat : 27075 (java) S 27069 27072 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 103738794 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418168503336 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27076] ppid=27069 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/27072/task/27076/stat : 27076 (java) S 27069 27072 25451 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 103738794 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418167450536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27072/tid=27077] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27077/stat : 27077 (java) S 27069 27072 25451 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 103738794 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418166397736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27072/tid=27078] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27078/stat : 27078 (java) S 27069 27072 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 103738794 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418165344936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27072/tid=27079] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27079/stat : 27079 (java) S 27069 27072 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 103738794 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418164292136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27072/tid=27080] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27080/stat : 27080 (java) S 27069 27072 25451 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 103738794 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418163239336 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27072/tid=27081] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27081/stat : 27081 (java) S 27069 27072 25451 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 103738794 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418162186536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27072/tid=27082] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27082/stat : 27082 (java) S 27069 27072 25451 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 103738794 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418161133736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27083] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27083/stat : 27083 (java) S 27069 27072 25451 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 103738795 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418148936680 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27072/tid=27084] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27084/stat : 27084 (java) S 27069 27072 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 103738795 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418147882744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27085] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27085/stat : 27085 (java) S 27069 27072 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 103738795 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418146829832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27086] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27086/stat : 27086 (java) S 27069 27072 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103738797 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418145778320 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27087] ppid=27069 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/27072/task/27087/stat : 27087 (java) S 27069 27072 25451 0 -1 4202560 9488 0 0 0 125 2 0 0 20 0 19 0 103738797 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418144725432 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27072/tid=27088] ppid=27069 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/27072/task/27088/stat : 27088 (java) R 27069 27072 25451 0 -1 4202560 18052 0 0 0 135 3 0 0 20 0 19 0 103738797 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418143649880 140418330768023 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27089] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27089/stat : 27089 (java) S 27069 27072 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103738797 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418142620024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27072/tid=27090] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27090/stat : 27090 (java) S 27069 27072 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103738797 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418141567432 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27072/tid=27094] ppid=27069 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27072/task/27094/stat : 27094 (java) S 27069 27072 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 103738825 10060525568 51225 33554432000 1073741824 1073778376 140733834403504 140418137257256 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 9824732
Child status: 20
Real time (s): 1.84289
CPU time (s): 5.8831
CPU user time (s): 5.70113
CPU system time (s): 0.181972
CPU usage (%): 319.233
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.70113
system time used= 0.181972
maximum resident set size= 206524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31541
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= 431
involuntary context switches= 178
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.012998 second user time and 0.016997 second system time
The end