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-4080699-1465234972/watcher-4080699-1465234972 -o /tmp/evaluation-result-4080699-1465234972/solver-4080699-1465234972 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465223671-12332 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080699-1465234972.opb
pid=15727
running on 4 cores: 0,2,4,6
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: 3.97 3.92 3.61 4/196 15730
/proc/meminfo: memFree=28764008/32872528 swapFree=11320/319964
[pid=15730] ppid=15727 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/15730/stat : 15730 (java) S 15727 15730 12316 0 -1 4202496 1345 0 0 0 0 0 0 0 20 0 2 0 105430516 98570240 969 33554432000 1073741824 1073778376 140734322216032 140734322207168 262966116413 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15730/statm: 24065 974 740 9 0 16771 0
[pid=15730/tid=15731] ppid=15727 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15731/stat : 15731 (java) R 15727 15730 12316 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 105430517 98570240 977 33554432000 1073741824 1073778376 140734322216032 139700959616552 262962759040 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0
[startup+0.100149 s]
/proc/loadavg: 3.97 3.92 3.61 4/196 15730
/proc/meminfo: memFree=28764008/32872528 swapFree=11320/319964
[pid=15730] ppid=15727 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/15730/stat : 15730 (java) S 15727 15730 12316 0 -1 4202496 4414 0 1 0 9 1 0 0 20 0 18 0 105430516 9787879424 6043 33554432000 1073741824 1073778376 140734322216032 140734322207168 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15730/statm: 2389619 6047 2132 9 0 2380296 0
[pid=15730/tid=15731] ppid=15727 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/15730/task/15731/stat : 15731 (java) R 15727 15730 12316 0 -1 4202560 2384 0 1 0 7 0 0 0 20 0 18 0 105430517 9787879424 6047 33554432000 1073741824 1073778376 140734322216032 139700959620000 262966142221 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200325 s]
/proc/loadavg: 3.97 3.92 3.61 4/196 15730
/proc/meminfo: memFree=28764008/32872528 swapFree=11320/319964
[pid=15730] ppid=15727 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/15730/stat : 15730 (java) S 15727 15730 12316 0 -1 4202496 4708 0 1 0 23 1 0 0 20 0 18 0 105430516 9787879424 6797 33554432000 1073741824 1073778376 140734322216032 140734322207168 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15730/statm: 2389619 6797 2198 9 0 2380296 0
[pid=15730/tid=15731] ppid=15727 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/15730/task/15731/stat : 15731 (java) R 15727 15730 12316 0 -1 4202560 2400 0 1 0 16 1 0 0 20 0 18 0 105430517 9787879424 6797 33554432000 1073741824 1073778376 140734322216032 139700959603928 139700807513313 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300275 s]
/proc/loadavg: 3.97 3.92 3.61 4/196 15730
/proc/meminfo: memFree=28764008/32872528 swapFree=11320/319964
[pid=15730] ppid=15727 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/15730/stat : 15730 (java) S 15727 15730 12316 0 -1 4202496 5540 0 1 0 45 1 0 0 20 0 18 0 105430516 9787879424 8466 33554432000 1073741824 1073778376 140734322216032 140734322207168 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15730/statm: 2389619 8466 2232 9 0 2380296 0
[pid=15730/tid=15731] ppid=15727 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/15730/task/15731/stat : 15731 (java) R 15727 15730 12316 0 -1 4202560 2402 0 1 0 26 1 0 0 20 0 18 0 105430517 9787879424 8466 33554432000 1073741824 1073778376 140734322216032 139700959603928 139700807515259 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.70021 s]
/proc/loadavg: 3.97 3.92 3.61 4/196 15730
/proc/meminfo: memFree=28764008/32872528 swapFree=11320/319964
[pid=15730] ppid=15727 vsize=9558476 CPUtime=1.63 cores=0,2,4,6
/proc/15730/stat : 15730 (java) S 15727 15730 12316 0 -1 4202496 20348 0 1 0 158 5 0 0 20 0 18 0 105430516 9787879424 35642 33554432000 1073741824 1073778376 140734322216032 140734322207168 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15730/statm: 2389619 35642 2245 9 0 2380296 0
[pid=15730/tid=15731] ppid=15727 vsize=9558476 CPUtime=0.67 cores=0,2,4,6
/proc/15730/task/15731/stat : 15731 (java) R 15727 15730 12316 0 -1 4202560 2436 0 1 0 65 2 0 0 20 0 18 0 105430517 9787879424 35642 33554432000 1073741824 1073778376 140734322216032 139700959612848 139700807477437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9558476
[startup+1.50097 s]
/proc/loadavg: 4.06 3.94 3.62 7/218 15752
/proc/meminfo: memFree=28595060/32872528 swapFree=11320/319964
[pid=15730] ppid=15727 vsize=9824732 CPUtime=4.27 cores=0,2,4,6
/proc/15730/stat : 15730 (java) S 15727 15730 12316 0 -1 4202496 20660 0 1 0 419 8 0 0 20 0 22 0 105430516 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 140734322207168 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15730/statm: 2456183 52639 2286 9 0 2446860 0
[pid=15730/tid=15731] ppid=15727 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/15730/task/15731/stat : 15731 (java) S 15727 15730 12316 0 -1 4202560 2458 0 1 0 81 3 0 0 20 0 22 0 105430517 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700959622008 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15733] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15733/stat : 15733 (java) S 15727 15730 12316 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 105430517 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700932074280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15734] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15734/stat : 15734 (java) S 15727 15730 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105430517 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700931021480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15735] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15735/stat : 15735 (java) S 15727 15730 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105430517 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700929969192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15730/tid=15736] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15736/stat : 15736 (java) S 15727 15730 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105430517 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700928916392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15737] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15737/stat : 15737 (java) S 15727 15730 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105430517 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700927863080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15738] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15738/stat : 15738 (java) S 15727 15730 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105430517 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700926810280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15739] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15739/stat : 15739 (java) S 15727 15730 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105430517 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700796434984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15740] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15740/stat : 15740 (java) S 15727 15730 12316 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 105430517 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700795382184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15741] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15741/stat : 15741 (java) S 15727 15730 12316 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 105430519 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700312435432 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15742] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15742/stat : 15742 (java) S 15727 15730 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105430519 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700311381496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15743] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15743/stat : 15743 (java) S 15727 15730 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105430519 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700310329096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15744] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15744/stat : 15744 (java) S 15727 15730 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105430521 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700309277584 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15745] ppid=15727 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/15730/task/15745/stat : 15745 (java) S 15727 15730 12316 0 -1 4202560 7502 0 0 0 106 2 0 0 20 0 22 0 105430521 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700308224184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15746] ppid=15727 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/15730/task/15746/stat : 15746 (java) S 15727 15730 12316 0 -1 4202560 9247 0 0 0 103 2 0 0 20 0 22 0 105430521 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700307171384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15730/tid=15747] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15747/stat : 15747 (java) S 15727 15730 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105430521 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700306119288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15748] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15748/stat : 15748 (java) S 15727 15730 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105430521 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700305066696 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15749] ppid=15727 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/15730/task/15749/stat : 15749 (java) R 15727 15730 12316 0 -1 4202560 22 0 0 0 57 0 0 0 20 0 22 0 105430602 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700304012248 139700808490478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15750] ppid=15727 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/15730/task/15750/stat : 15750 (java) R 15727 15730 12316 0 -1 4202560 39 0 0 0 59 0 0 0 20 0 22 0 105430602 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700302957248 139700808846956 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15751] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15751/stat : 15751 (java) S 15727 15730 12316 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105430604 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700301907624 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15752] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15752/stat : 15752 (java) S 15727 15730 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105430604 10060525568 52639 33554432000 1073741824 1073778376 140734322216032 139700300854824 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 9824732
[startup+3.10097 s]
/proc/loadavg: 4.06 3.94 3.62 6/219 15753
/proc/meminfo: memFree=28560648/32872528 swapFree=11320/319964
[pid=15730] ppid=15727 vsize=9824732 CPUtime=7.92 cores=0,2,4,6
/proc/15730/stat : 15730 (java) S 15727 15730 12316 0 -1 4202496 21937 0 1 0 781 11 0 0 20 0 22 0 105430516 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 140734322207168 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15730/statm: 2456183 57764 2287 9 0 2446860 0
[pid=15730/tid=15731] ppid=15727 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/15730/task/15731/stat : 15731 (java) S 15727 15730 12316 0 -1 4202560 2458 0 1 0 81 3 0 0 20 0 22 0 105430517 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700959622008 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15733] ppid=15727 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/15730/task/15733/stat : 15733 (java) S 15727 15730 12316 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 105430517 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700932074280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15734] ppid=15727 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/15730/task/15734/stat : 15734 (java) S 15727 15730 12316 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 105430517 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700931021480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15735] ppid=15727 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/15730/task/15735/stat : 15735 (java) S 15727 15730 12316 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 105430517 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700929969192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15730/tid=15736] ppid=15727 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/15730/task/15736/stat : 15736 (java) S 15727 15730 12316 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 105430517 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700928916392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15737] ppid=15727 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/15730/task/15737/stat : 15737 (java) S 15727 15730 12316 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 105430517 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700927863080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15730/tid=15738] ppid=15727 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/15730/task/15738/stat : 15738 (java) S 15727 15730 12316 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 105430517 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700926810280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15730/tid=15739] ppid=15727 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/15730/task/15739/stat : 15739 (java) S 15727 15730 12316 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 105430517 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700796434984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15740] ppid=15727 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/15730/task/15740/stat : 15740 (java) S 15727 15730 12316 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 105430517 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700795382184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15741] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15741/stat : 15741 (java) S 15727 15730 12316 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 105430519 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700312435432 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15742] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15742/stat : 15742 (java) S 15727 15730 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105430519 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700311381496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15743] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15743/stat : 15743 (java) S 15727 15730 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105430519 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700310329096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15744] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15744/stat : 15744 (java) S 15727 15730 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105430521 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700309277584 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15745] ppid=15727 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/15730/task/15745/stat : 15745 (java) S 15727 15730 12316 0 -1 4202560 8737 0 0 0 131 2 0 0 20 0 22 0 105430521 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700308224184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15746] ppid=15727 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/15730/task/15746/stat : 15746 (java) S 15727 15730 12316 0 -1 4202560 9248 0 0 0 118 2 0 0 20 0 22 0 105430521 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700307171384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15730/tid=15747] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15747/stat : 15747 (java) S 15727 15730 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105430521 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700306119288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15748] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15748/stat : 15748 (java) S 15727 15730 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105430521 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700305066696 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15749] ppid=15727 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/15730/task/15749/stat : 15749 (java) R 15727 15730 12316 0 -1 4202560 22 0 0 0 213 0 0 0 20 0 22 0 105430602 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700304010048 139700808490497 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15750] ppid=15727 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/15730/task/15750/stat : 15750 (java) R 15727 15730 12316 0 -1 4202560 39 0 0 0 215 0 0 0 20 0 22 0 105430602 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700302959096 139700808843035 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15751] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15751/stat : 15751 (java) S 15727 15730 12316 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105430604 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700301907624 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15752] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15752/stat : 15752 (java) S 15727 15730 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105430604 10060525568 57764 33554432000 1073741824 1073778376 140734322216032 139700300854824 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.92
Current children cumulated vsize (KiB) 9824732
[startup+6.30095 s]
/proc/loadavg: 4.06 3.94 3.62 5/219 15753
/proc/meminfo: memFree=28405064/32872528 swapFree=11320/319964
[pid=15730] ppid=15727 vsize=9824732 CPUtime=14.52 cores=0,2,4,6
/proc/15730/stat : 15730 (java) S 15727 15730 12316 0 -1 4202496 22296 0 1 0 1431 21 0 0 20 0 22 0 105430516 10060525568 97595 33554432000 1073741824 1073778376 140734322216032 140734322207168 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15730/statm: 2456183 97595 2287 9 0 2446860 0
[pid=15730/tid=15731] ppid=15727 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/15730/task/15731/stat : 15731 (java) S 15727 15730 12316 0 -1 4202560 2458 0 1 0 81 3 0 0 20 0 22 0 105430517 10060525568 97595 33554432000 1073741824 1073778376 140734322216032 139700959622008 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15733] ppid=15727 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/15730/task/15733/stat : 15733 (java) S 15727 15730 12316 0 -1 4202560 57 0 0 0 5 2 0 0 20 0 22 0 105430517 10060525568 97595 33554432000 1073741824 1073778376 140734322216032 139700932074280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15734] ppid=15727 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/15730/task/15734/stat : 15734 (java) S 15727 15730 12316 0 -1 4202560 24 0 0 0 3 2 0 0 20 0 22 0 105430517 10060525568 97595 33554432000 1073741824 1073778376 140734322216032 139700931021480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15730/tid=15735] ppid=15727 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/15730/task/15735/stat : 15735 (java) S 15727 15730 12316 0 -1 4202560 29 0 0 0 2 2 0 0 20 0 22 0 105430517 10060525568 97595 33554432000 1073741824 1073778376 140734322216032 139700929969192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15736] ppid=15727 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/15730/task/15736/stat : 15736 (java) S 15727 15730 12316 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 22 0 105430517 10060525568 97595 33554432000 1073741824 1073778376 140734322216032 139700928916392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15730/tid=15737] ppid=15727 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/15730/task/15737/stat : 15737 (java) S 15727 15730 12316 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 105430517 10060525568 97595 33554432000 1073741824 1073778376 140734322216032 139700927863080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15730/tid=15738] ppid=15727 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/15730/task/15738/stat : 15738 (java) S 15727 15730 12316 0 -1 4202560 35 0 0 0 2 1 0 0 20 0 22 0 105430517 10060525568 97595 33554432000 1073741824 1073778376 140734322216032 139700926810280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15739] ppid=15727 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/15730/task/15739/stat : 15739 (java) S 15727 15730 12316 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 22 0 105430517 10060525568 97595 33554432000 1073741824 1073778376 140734322216032 139700796434984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15740] ppid=15727 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.01 4.00 3.83 5/219 16121
/proc/meminfo: memFree=26811408/32872528 swapFree=11320/319964
[pid=15730] ppid=15727 vsize=9824732 CPUtime=1649.29 cores=0,2,4,6
/proc/15730/stat : 15730 (java) S 15727 15730 12316 0 -1 4202496 28687 0 1 0 164728 201 0 0 20 0 22 0 105430516 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 140734322207168 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15730/statm: 2456183 470022 2301 9 0 2446860 0
[pid=15730/tid=15731] ppid=15727 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/15730/task/15731/stat : 15731 (java) S 15727 15730 12316 0 -1 4202560 2463 0 1 0 84 4 0 0 20 0 22 0 105430517 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700959622008 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15733] ppid=15727 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/15730/task/15733/stat : 15733 (java) S 15727 15730 12316 0 -1 4202560 380 0 0 0 145 16 0 0 20 0 22 0 105430517 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700932074280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15734] ppid=15727 vsize=9824732 CPUtime=1.5 cores=0,2,4,6
/proc/15730/task/15734/stat : 15734 (java) S 15727 15730 12316 0 -1 4202560 247 0 0 0 137 13 0 0 20 0 22 0 105430517 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700931021480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15735] ppid=15727 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/15730/task/15735/stat : 15735 (java) S 15727 15730 12316 0 -1 4202560 345 0 0 0 144 15 0 0 20 0 22 0 105430517 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700929969192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15736] ppid=15727 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/15730/task/15736/stat : 15736 (java) S 15727 15730 12316 0 -1 4202560 280 0 0 0 142 15 0 0 20 0 22 0 105430517 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700928916392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15737] ppid=15727 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/15730/task/15737/stat : 15737 (java) S 15727 15730 12316 0 -1 4202560 341 0 0 0 147 16 0 0 20 0 22 0 105430517 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700927863080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15738] ppid=15727 vsize=9824732 CPUtime=1.48 cores=0,2,4,6
/proc/15730/task/15738/stat : 15738 (java) S 15727 15730 12316 0 -1 4202560 299 0 0 0 134 14 0 0 20 0 22 0 105430517 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700926810280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15739] ppid=15727 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/15730/task/15739/stat : 15739 (java) S 15727 15730 12316 0 -1 4202560 491 0 0 0 142 15 0 0 20 0 22 0 105430517 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700796434984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15740] ppid=15727 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/15730/task/15740/stat : 15740 (java) S 15727 15730 12316 0 -1 4202560 301 0 0 0 144 17 0 0 20 0 22 0 105430517 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700795382184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15730/tid=15741] ppid=15727 vsize=9824732 CPUtime=1.95 cores=0,2,4,6
/proc/15730/task/15741/stat : 15741 (java) S 15727 15730 12316 0 -1 4202560 2300 0 0 0 165 30 0 0 20 0 22 0 105430519 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700312435432 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15742] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15742/stat : 15742 (java) S 15727 15730 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105430519 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700311381496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15743] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15743/stat : 15743 (java) S 15727 15730 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105430519 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700310329096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15744] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15744/stat : 15744 (java) S 15727 15730 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105430521 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700309277584 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15745] ppid=15727 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/15730/task/15745/stat : 15745 (java) S 15727 15730 12316 0 -1 4202560 8745 0 0 0 157 2 0 0 20 0 22 0 105430521 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700308224184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15746] ppid=15727 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/15730/task/15746/stat : 15746 (java) S 15727 15730 12316 0 -1 4202560 9267 0 0 0 136 2 0 0 20 0 22 0 105430521 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700307171384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15747] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15747/stat : 15747 (java) S 15727 15730 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105430521 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700306119288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15748] ppid=15727 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/15730/task/15748/stat : 15748 (java) S 15727 15730 12316 0 -1 4202560 46 0 0 0 12 16 0 0 20 0 22 0 105430521 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700305066696 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15749] ppid=15727 vsize=9824732 CPUtime=815.43 cores=0,2,4,6
/proc/15730/task/15749/stat : 15749 (java) R 15727 15730 12316 0 -1 4202560 1484 0 0 0 81508 35 0 0 20 0 22 0 105430602 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700304010960 139700808490739 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15750] ppid=15727 vsize=9824732 CPUtime=815.6 cores=0,2,4,6
/proc/15730/task/15750/stat : 15750 (java) R 15727 15730 12316 0 -1 4202560 428 0 0 0 81537 23 0 0 20 0 22 0 105430602 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700302956976 139700808490497 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15751] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15751/stat : 15751 (java) S 15727 15730 12316 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105430604 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700301907624 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15752] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15752/stat : 15752 (java) S 15727 15730 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105430604 10060525568 470022 33554432000 1073741824 1073778376 140734322216032 139700300854824 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1649.29
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 3.95 3.98 3.83 5/219 16122
/proc/meminfo: memFree=26860172/32872528 swapFree=11320/319964
[pid=15730] ppid=15727 vsize=9824732 CPUtime=1768.55 cores=0,2,4,6
/proc/15730/stat : 15730 (java) S 15727 15730 12316 0 -1 4202496 29706 0 1 0 176649 206 0 0 20 0 22 0 105430516 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 140734322207168 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15730/statm: 2456183 462235 2301 9 0 2446860 0
[pid=15730/tid=15731] ppid=15727 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/15730/task/15731/stat : 15731 (java) S 15727 15730 12316 0 -1 4202560 2463 0 1 0 84 4 0 0 20 0 22 0 105430517 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700959622008 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15733] ppid=15727 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/15730/task/15733/stat : 15733 (java) S 15727 15730 12316 0 -1 4202560 384 0 0 0 155 16 0 0 20 0 22 0 105430517 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700932074280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15734] ppid=15727 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/15730/task/15734/stat : 15734 (java) S 15727 15730 12316 0 -1 4202560 252 0 0 0 150 13 0 0 20 0 22 0 105430517 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700931021480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15735] ppid=15727 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/15730/task/15735/stat : 15735 (java) S 15727 15730 12316 0 -1 4202560 350 0 0 0 154 15 0 0 20 0 22 0 105430517 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700929969192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15736] ppid=15727 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/15730/task/15736/stat : 15736 (java) S 15727 15730 12316 0 -1 4202560 284 0 0 0 154 15 0 0 20 0 22 0 105430517 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700928916392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15737] ppid=15727 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/15730/task/15737/stat : 15737 (java) S 15727 15730 12316 0 -1 4202560 345 0 0 0 157 16 0 0 20 0 22 0 105430517 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700927863080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15730/tid=15738] ppid=15727 vsize=9824732 CPUtime=1.58 cores=0,2,4,6
/proc/15730/task/15738/stat : 15738 (java) S 15727 15730 12316 0 -1 4202560 303 0 0 0 144 14 0 0 20 0 22 0 105430517 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700926810280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15739] ppid=15727 vsize=9824732 CPUtime=1.7 cores=0,2,4,6
/proc/15730/task/15739/stat : 15739 (java) S 15727 15730 12316 0 -1 4202560 494 0 0 0 155 15 0 0 20 0 22 0 105430517 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700796434984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15730/tid=15740] ppid=15727 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/15730/task/15740/stat : 15740 (java) S 15727 15730 12316 0 -1 4202560 308 0 0 0 158 17 0 0 20 0 22 0 105430517 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700795382184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15741] ppid=15727 vsize=9824732 CPUtime=2.99 cores=0,2,4,6
/proc/15730/task/15741/stat : 15741 (java) S 15727 15730 12316 0 -1 4202560 3247 0 0 0 267 32 0 0 20 0 22 0 105430519 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700312435432 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15742] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15742/stat : 15742 (java) S 15727 15730 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105430519 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700311381496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15743] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15743/stat : 15743 (java) S 15727 15730 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105430519 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700310329096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15744] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15744/stat : 15744 (java) S 15727 15730 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105430521 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700309277584 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15745] ppid=15727 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/15730/task/15745/stat : 15745 (java) S 15727 15730 12316 0 -1 4202560 8745 0 0 0 157 2 0 0 20 0 22 0 105430521 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700308224184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15746] ppid=15727 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/15730/task/15746/stat : 15746 (java) S 15727 15730 12316 0 -1 4202560 9267 0 0 0 136 2 0 0 20 0 22 0 105430521 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700307171384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15747] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15747/stat : 15747 (java) S 15727 15730 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105430521 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700306119288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15748] ppid=15727 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/15730/task/15748/stat : 15748 (java) S 15727 15730 12316 0 -1 4202560 50 0 0 0 13 17 0 0 20 0 22 0 105430521 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700305066696 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15749] ppid=15727 vsize=9824732 CPUtime=874.07 cores=0,2,4,6
/proc/15730/task/15749/stat : 15749 (java) R 15727 15730 12316 0 -1 4202560 1506 0 0 0 87371 36 0 0 20 0 22 0 105430602 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700304010896 139700808490712 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15750] ppid=15727 vsize=9824732 CPUtime=874.26 cores=0,2,4,6
/proc/15730/task/15750/stat : 15750 (java) R 15727 15730 12316 0 -1 4202560 438 0 0 0 87402 24 0 0 20 0 22 0 105430602 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700302957360 139700808490717 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15751] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15751/stat : 15751 (java) S 15727 15730 12316 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105430604 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700301907624 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15752] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15752/stat : 15752 (java) S 15727 15730 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105430604 10060525568 462235 33554432000 1073741824 1073778376 140734322216032 139700300854824 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1768.55
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.001 s]
/proc/loadavg: 3.96 3.98 3.83 5/219 16122
/proc/meminfo: memFree=26872516/32872528 swapFree=11320/319964
[pid=15730] ppid=15727 vsize=9824732 CPUtime=1800.02 cores=0,2,4,6
/proc/15730/stat : 15730 (java) S 15727 15730 12316 0 -1 4202496 29721 0 1 0 179794 208 0 0 20 0 22 0 105430516 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 140734322207168 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15730/statm: 2456183 458856 2301 9 0 2446860 0
[pid=15730/tid=15731] ppid=15727 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/15730/task/15731/stat : 15731 (java) S 15727 15730 12316 0 -1 4202560 2463 0 1 0 84 4 0 0 20 0 22 0 105430517 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700959622008 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15733] ppid=15727 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/15730/task/15733/stat : 15733 (java) S 15727 15730 12316 0 -1 4202560 384 0 0 0 159 16 0 0 20 0 22 0 105430517 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700932074280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15734] ppid=15727 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/15730/task/15734/stat : 15734 (java) S 15727 15730 12316 0 -1 4202560 253 0 0 0 154 13 0 0 20 0 22 0 105430517 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700931021480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15730/tid=15735] ppid=15727 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/15730/task/15735/stat : 15735 (java) S 15727 15730 12316 0 -1 4202560 350 0 0 0 157 15 0 0 20 0 22 0 105430517 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700929969192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15736] ppid=15727 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/15730/task/15736/stat : 15736 (java) S 15727 15730 12316 0 -1 4202560 285 0 0 0 158 15 0 0 20 0 22 0 105430517 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700928916392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15737] ppid=15727 vsize=9824732 CPUtime=1.76 cores=0,2,4,6
/proc/15730/task/15737/stat : 15737 (java) S 15727 15730 12316 0 -1 4202560 346 0 0 0 160 16 0 0 20 0 22 0 105430517 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700927863080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15738] ppid=15727 vsize=9824732 CPUtime=1.62 cores=0,2,4,6
/proc/15730/task/15738/stat : 15738 (java) S 15727 15730 12316 0 -1 4202560 304 0 0 0 148 14 0 0 20 0 22 0 105430517 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700926810280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15739] ppid=15727 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/15730/task/15739/stat : 15739 (java) S 15727 15730 12316 0 -1 4202560 494 0 0 0 160 15 0 0 20 0 22 0 105430517 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700796434984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15740] ppid=15727 vsize=9824732 CPUtime=1.77 cores=0,2,4,6
/proc/15730/task/15740/stat : 15740 (java) S 15727 15730 12316 0 -1 4202560 308 0 0 0 160 17 0 0 20 0 22 0 105430517 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700795382184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15741] ppid=15727 vsize=9824732 CPUtime=3 cores=0,2,4,6
/proc/15730/task/15741/stat : 15741 (java) S 15727 15730 12316 0 -1 4202560 3247 0 0 0 267 33 0 0 20 0 22 0 105430519 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700312435432 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15742] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15742/stat : 15742 (java) S 15727 15730 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105430519 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700311381496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15743] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15743/stat : 15743 (java) S 15727 15730 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105430519 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700310329096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15744] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15744/stat : 15744 (java) S 15727 15730 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105430521 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700309277584 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15745] ppid=15727 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/15730/task/15745/stat : 15745 (java) S 15727 15730 12316 0 -1 4202560 8745 0 0 0 157 2 0 0 20 0 22 0 105430521 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700308224184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15746] ppid=15727 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/15730/task/15746/stat : 15746 (java) S 15727 15730 12316 0 -1 4202560 9267 0 0 0 136 2 0 0 20 0 22 0 105430521 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700307171384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15747] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15747/stat : 15747 (java) S 15727 15730 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105430521 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700306119288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15748] ppid=15727 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/15730/task/15748/stat : 15748 (java) S 15727 15730 12316 0 -1 4202560 50 0 0 0 14 18 0 0 20 0 22 0 105430521 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700305066696 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15730/tid=15749] ppid=15727 vsize=9824732 CPUtime=889.65 cores=0,2,4,6
/proc/15730/task/15749/stat : 15749 (java) R 15727 15730 12316 0 -1 4202560 1513 0 0 0 88929 36 0 0 20 0 22 0 105430602 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700304010976 139700808490389 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15750] ppid=15727 vsize=9824732 CPUtime=889.85 cores=0,2,4,6
/proc/15730/task/15750/stat : 15750 (java) R 15727 15730 12316 0 -1 4202560 442 0 0 0 88961 24 0 0 20 0 22 0 105430602 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700302957480 139700808490681 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15730/tid=15751] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15751/stat : 15751 (java) S 15727 15730 12316 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105430604 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700301907624 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15730/tid=15752] ppid=15727 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15730/task/15752/stat : 15752 (java) S 15727 15730 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105430604 10060525568 458856 33554432000 1073741824 1073778376 140734322216032 139700300854824 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15730 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 898.027
CPU time (s): 1800.77
CPU user time (s): 1798.21
CPU system time (s): 2.56061
CPU usage (%): 200.525
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.21
system time used= 2.56061
maximum resident set size= 2616864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29754
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33719
involuntary context switches= 42778
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62214 second user time and 7.65384 second system time
The end