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-4105814-1466258431/watcher-4105814-1466258431 -o /tmp/evaluation-result-4105814-1466258431/solver-4105814-1466258431 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466240252-18374 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105814-1466258431.opb
pid=2634
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: 2.81 3.81 4.05 2/170 2637
/proc/meminfo: memFree=30515584/32872528 swapFree=1286400/1433568
[pid=2637] ppid=2634 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/2637/stat : 2637 (java) R 2634 2637 18358 0 -1 4202496 1061 0 0 0 0 0 0 0 20 0 1 0 27889838 23793664 710 33554432000 1073741824 1073778376 140733524792544 140733524781608 214360438120 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2637/statm: 5809 710 524 9 0 128 0
[startup+0.10016 s]
/proc/loadavg: 2.81 3.81 4.05 2/170 2637
/proc/meminfo: memFree=30515584/32872528 swapFree=1286400/1433568
[pid=2637] ppid=2634 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/2637/stat : 2637 (java) S 2634 2637 18358 0 -1 4202496 4409 0 1 0 9 1 0 0 20 0 18 0 27889838 9787879424 6048 33554432000 1073741824 1073778376 140733524792544 140733524783680 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2637/statm: 2389619 6048 2141 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200225 s]
/proc/loadavg: 2.81 3.81 4.05 2/170 2637
/proc/meminfo: memFree=30515584/32872528 swapFree=1286400/1433568
[pid=2637] ppid=2634 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/2637/stat : 2637 (java) S 2634 2637 18358 0 -1 4202496 4674 0 1 0 23 1 0 0 20 0 18 0 27889838 9787879424 6782 33554432000 1073741824 1073778376 140733524792544 140733524783680 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2637/statm: 2389619 6782 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300218 s]
/proc/loadavg: 2.81 3.81 4.05 2/170 2637
/proc/meminfo: memFree=30515584/32872528 swapFree=1286400/1433568
[pid=2637] ppid=2634 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/2637/stat : 2637 (java) S 2634 2637 18358 0 -1 4202496 5622 0 1 0 47 1 0 0 20 0 18 0 27889838 9787879424 8375 33554432000 1073741824 1073778376 140733524792544 140733524783680 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2637/statm: 2389619 8375 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700276 s]
/proc/loadavg: 2.81 3.81 4.05 2/170 2637
/proc/meminfo: memFree=30515584/32872528 swapFree=1286400/1433568
[pid=2637] ppid=2634 vsize=9558476 CPUtime=1.64 cores=0,2,4,6
/proc/2637/stat : 2637 (java) S 2634 2637 18358 0 -1 4202496 15447 0 1 0 160 4 0 0 20 0 18 0 27889838 9787879424 24782 33554432000 1073741824 1073778376 140733524792544 140733524783680 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2637/statm: 2389619 24782 2257 9 0 2380296 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9558476
[startup+1.5009 s]
/proc/loadavg: 2.81 3.81 4.05 5/192 2659
/proc/meminfo: memFree=30374616/32872528 swapFree=1286400/1433568
[pid=2637] ppid=2634 vsize=9824732 CPUtime=4.54 cores=0,2,4,6
/proc/2637/stat : 2637 (java) S 2634 2637 18358 0 -1 4202496 20246 0 1 0 447 7 0 0 20 0 22 0 27889838 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140733524783680 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2637/statm: 2456183 50226 2285 9 0 2446860 0
[pid=2637/tid=2639] ppid=2634 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/2637/task/2639/stat : 2639 (java) S 2634 2637 18358 0 -1 4202560 2443 0 1 0 68 2 0 0 20 0 22 0 27889838 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140444193956728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2640] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2640/stat : 2640 (java) S 2634 2637 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27889839 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140444037896616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2641] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2641/stat : 2641 (java) S 2634 2637 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27889839 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140444036844072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2642] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2642/stat : 2642 (java) S 2634 2637 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27889839 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140444035791016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2643] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2643/stat : 2643 (java) S 2634 2637 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27889839 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140444034738472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2644] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2644/stat : 2644 (java) S 2634 2637 18358 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 27889839 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140444033686440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2645] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2645/stat : 2645 (java) S 2634 2637 18358 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 27889839 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140444032633896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2646] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2646/stat : 2646 (java) S 2634 2637 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27889839 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140444031580840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2647] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2647/stat : 2647 (java) S 2634 2637 18358 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 27889839 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140444030528296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2648] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2648/stat : 2648 (java) S 2634 2637 18358 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 27889840 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140443547314536 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2649] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2649/stat : 2649 (java) S 2634 2637 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27889841 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140443546260856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2650] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2650/stat : 2650 (java) S 2634 2637 18358 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27889841 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140443545207688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2651] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2651/stat : 2651 (java) S 2634 2637 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27889843 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140443544156432 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2652] ppid=2634 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/2637/task/2652/stat : 2652 (java) S 2634 2637 18358 0 -1 4202560 9316 0 0 0 111 2 0 0 20 0 22 0 27889843 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140443543104312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2653] ppid=2634 vsize=9824732 CPUtime=1.09 cores=0,2,4,6
/proc/2637/task/2653/stat : 2653 (java) S 2634 2637 18358 0 -1 4202560 7016 0 0 0 108 1 0 0 20 0 22 0 27889843 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140443542051768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2654] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2654/stat : 2654 (java) S 2634 2637 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27889843 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140443540998904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2655] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2655/stat : 2655 (java) S 2634 2637 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27889843 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140443539946568 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2656] ppid=2634 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/2637/task/2656/stat : 2656 (java) R 2634 2637 18358 0 -1 4202560 24 0 0 0 74 0 0 0 20 0 22 0 27889910 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140443538889352 140444039138993 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2657] ppid=2634 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/2637/task/2657/stat : 2657 (java) R 2634 2637 18358 0 -1 4202560 63 0 0 0 73 0 0 0 20 0 22 0 27889910 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140443537837312 140444039159276 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2658] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2658/stat : 2658 (java) S 2634 2637 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27889911 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140443536786216 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2659] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2659/stat : 2659 (java) S 2634 2637 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27889911 10060525568 50226 33554432000 1073741824 1073778376 140733524792544 140443535733672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 9824732
[startup+3.10092 s]
/proc/loadavg: 2.81 3.81 4.05 3/192 2659
/proc/meminfo: memFree=30310384/32872528 swapFree=1286400/1433568
[pid=2637] ppid=2634 vsize=9824732 CPUtime=8.19 cores=0,2,4,6
/proc/2637/stat : 2637 (java) S 2634 2637 18358 0 -1 4202496 20314 0 1 0 810 9 0 0 20 0 22 0 27889838 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140733524783680 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2637/statm: 2456183 76341 2286 9 0 2446860 0
[pid=2637/tid=2639] ppid=2634 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/2637/task/2639/stat : 2639 (java) S 2634 2637 18358 0 -1 4202560 2443 0 1 0 68 2 0 0 20 0 22 0 27889838 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140444193956728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2640] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2640/stat : 2640 (java) S 2634 2637 18358 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 27889839 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140444037896616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2641] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2641/stat : 2641 (java) S 2634 2637 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27889839 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140444036844072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2642] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2642/stat : 2642 (java) S 2634 2637 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27889839 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140444035791016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2643] ppid=2634 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/2637/task/2643/stat : 2643 (java) S 2634 2637 18358 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 22 0 27889839 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140444034738472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2644] ppid=2634 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/2637/task/2644/stat : 2644 (java) S 2634 2637 18358 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 27889839 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140444033686440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2645] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2645/stat : 2645 (java) S 2634 2637 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27889839 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140444032633896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2646] ppid=2634 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/2637/task/2646/stat : 2646 (java) S 2634 2637 18358 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 27889839 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140444031580840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2647] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2647/stat : 2647 (java) S 2634 2637 18358 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27889839 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140444030528296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2648] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2648/stat : 2648 (java) S 2634 2637 18358 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 27889840 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140443547314536 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2649] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2649/stat : 2649 (java) S 2634 2637 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27889841 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140443546260856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2650] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2650/stat : 2650 (java) S 2634 2637 18358 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27889841 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140443545207688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2651] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2651/stat : 2651 (java) S 2634 2637 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27889843 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140443544156432 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2652] ppid=2634 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/2637/task/2652/stat : 2652 (java) S 2634 2637 18358 0 -1 4202560 9318 0 0 0 132 2 0 0 20 0 22 0 27889843 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140443543104312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2653] ppid=2634 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/2637/task/2653/stat : 2653 (java) S 2634 2637 18358 0 -1 4202560 7017 0 0 0 128 1 0 0 20 0 22 0 27889843 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140443542051768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2654] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2654/stat : 2654 (java) S 2634 2637 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27889843 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140443540998904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2655] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2655/stat : 2655 (java) S 2634 2637 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27889843 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140443539946568 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2656] ppid=2634 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/2637/task/2656/stat : 2656 (java) R 2634 2637 18358 0 -1 4202560 57 0 0 0 230 1 0 0 20 0 22 0 27889910 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140443538890336 140444039138968 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2657] ppid=2634 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/2637/task/2657/stat : 2657 (java) R 2634 2637 18358 0 -1 4202560 76 0 0 0 230 1 0 0 20 0 22 0 27889910 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140443537838200 140444039159232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2658] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2658/stat : 2658 (java) S 2634 2637 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27889911 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140443536786216 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2659] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2659/stat : 2659 (java) S 2634 2637 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27889911 10060525568 76341 33554432000 1073741824 1073778376 140733524792544 140443535733672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (KiB) 9824732
[startup+6.30095 s]
/proc/loadavg: 2.83 3.80 4.04 4/192 2659
/proc/meminfo: memFree=30159908/32872528 swapFree=1286400/1433568
[pid=2637] ppid=2634 vsize=9824732 CPUtime=14.69 cores=0,2,4,6
/proc/2637/stat : 2637 (java) S 2634 2637 18358 0 -1 4202496 20576 0 1 0 1453 16 0 0 20 0 22 0 27889838 10060525568 114887 33554432000 1073741824 1073778376 140733524792544 140733524783680 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2637/statm: 2456183 114887 2286 9 0 2446860 0
[pid=2637/tid=2639] ppid=2634 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/2637/task/2639/stat : 2639 (java) S 2634 2637 18358 0 -1 4202560 2443 0 1 0 68 2 0 0 20 0 22 0 27889838 10060525568 114887 33554432000 1073741824 1073778376 140733524792544 140444193956728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2640] ppid=2634 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/2637/task/2640/stat : 2640 (java) S 2634 2637 18358 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 22 0 27889839 10060525568 114887 33554432000 1073741824 1073778376 140733524792544 140444037896616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2641] ppid=2634 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/2637/task/2641/stat : 2641 (java) S 2634 2637 18358 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 22 0 27889839 10060525568 114887 33554432000 1073741824 1073778376 140733524792544 140444036844072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2642] ppid=2634 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/2637/task/2642/stat : 2642 (java) S 2634 2637 18358 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 22 0 27889839 10060525568 114887 33554432000 1073741824 1073778376 140733524792544 140444035791016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2643] ppid=2634 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/2637/task/2643/stat : 2643 (java) S 2634 2637 18358 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 27889839 10060525568 114887 33554432000 1073741824 1073778376 140733524792544 140444034738472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2644] ppid=2634 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/2637/task/2644/stat : 2644 (java) S 2634 2637 18358 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 27889839 10060525568 114887 33554432000 1073741824 1073778376 140733524792544 140444033686440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2645] ppid=2634 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/2637/task/2645/stat : 2645 (java) S 2634 2637 18358 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 27889839 10060525568 114887 33554432000 1073741824 1073778376 140733524792544 140444032633896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2646] ppid=2634 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/2637/task/2646/stat : 2646 (java) S 2634 2637 18358 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 22 0 27889839 10060525568 114887 33554432000 1073741824 1073778376 140733524792544 140444031580840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2647] ppid=2634 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/2637/task/2647/stat : 2647 (java) S 2634 2637 18358 0 -1 4202560 19 0 0 0 2 1 0 0 20 0 22 0 27889839 10060525568 114887 33554432000 1073741824 1073778376 140733524792544 140444030528296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2648] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2648/stat : 2648 (java) S 2634 2637 18358 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 27889840 10060525568 114887 33554432000 1073741824 1073778376 140733524792544 140443547314536 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2649] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2649/stat : 2649 (java) S 2634 2637 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27889841 10060525568 114887 33554432000 1073741824 1073778376 140733524792544 140443546260856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2650] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2650/stat : 2650 (java) S 2634 2637 18358 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27889841 10060525568 114887 33554432000 1073741824 1073778376 140733524792544 140443545207688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2651] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2651/stat : 2651 (java) S 2634 2637 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27889843 10060525568 114887 33554432000 1073741824 1073778376 140733524792544 140443544156432 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2652] ppid=2634 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.35 2.38 2.97 3/191 2701
/proc/meminfo: memFree=29372576/32872528 swapFree=1286400/1433568
[pid=2637] ppid=2634 vsize=9824732 CPUtime=1648.81 cores=0,2,4,6
/proc/2637/stat : 2637 (java) S 2634 2637 18358 0 -1 4202496 34478 0 1 0 164652 229 0 0 20 0 22 0 27889838 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140733524783680 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2637/statm: 2456183 286741 2300 9 0 2446860 0
[pid=2637/tid=2639] ppid=2634 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/2637/task/2639/stat : 2639 (java) S 2634 2637 18358 0 -1 4202560 2451 0 1 0 70 3 0 0 20 0 22 0 27889838 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140444193956728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2640] ppid=2634 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/2637/task/2640/stat : 2640 (java) S 2634 2637 18358 0 -1 4202560 358 0 0 0 123 12 0 0 20 0 22 0 27889839 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140444037896616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2641] ppid=2634 vsize=9824732 CPUtime=1.48 cores=0,2,4,6
/proc/2637/task/2641/stat : 2641 (java) S 2634 2637 18358 0 -1 4202560 514 0 0 0 130 18 0 0 20 0 22 0 27889839 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140444036844072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2642] ppid=2634 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/2637/task/2642/stat : 2642 (java) S 2634 2637 18358 0 -1 4202560 789 0 0 0 129 17 0 0 20 0 22 0 27889839 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140444035791016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2643] ppid=2634 vsize=9824732 CPUtime=1.49 cores=0,2,4,6
/proc/2637/task/2643/stat : 2643 (java) S 2634 2637 18358 0 -1 4202560 399 0 0 0 133 16 0 0 20 0 22 0 27889839 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140444034738472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2644] ppid=2634 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/2637/task/2644/stat : 2644 (java) S 2634 2637 18358 0 -1 4202560 340 0 0 0 131 15 0 0 20 0 22 0 27889839 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140444033686440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2645] ppid=2634 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/2637/task/2645/stat : 2645 (java) S 2634 2637 18358 0 -1 4202560 702 0 0 0 125 11 0 0 20 0 22 0 27889839 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140444032633896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2646] ppid=2634 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/2637/task/2646/stat : 2646 (java) S 2634 2637 18358 0 -1 4202560 501 0 0 0 125 17 0 0 20 0 22 0 27889839 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140444031580840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2647] ppid=2634 vsize=9824732 CPUtime=1.52 cores=0,2,4,6
/proc/2637/task/2647/stat : 2647 (java) S 2634 2637 18358 0 -1 4202560 692 0 0 0 136 16 0 0 20 0 22 0 27889839 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140444030528296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2648] ppid=2634 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/2637/task/2648/stat : 2648 (java) S 2634 2637 18358 0 -1 4202560 2584 0 0 0 172 41 0 0 20 0 22 0 27889840 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140443547314536 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2649] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2649/stat : 2649 (java) S 2634 2637 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27889841 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140443546260856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2650] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2650/stat : 2650 (java) S 2634 2637 18358 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27889841 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140443545207688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2651] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2651/stat : 2651 (java) S 2634 2637 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27889843 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140443544156432 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2652] ppid=2634 vsize=9824732 CPUtime=1.47 cores=0,2,4,6
/proc/2637/task/2652/stat : 2652 (java) S 2634 2637 18358 0 -1 4202560 9333 0 0 0 145 2 0 0 20 0 22 0 27889843 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140443543104312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2653] ppid=2634 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/2637/task/2653/stat : 2653 (java) S 2634 2637 18358 0 -1 4202560 7021 0 0 0 141 1 0 0 20 0 22 0 27889843 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140443542051768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2654] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2654/stat : 2654 (java) S 2634 2637 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27889843 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140443540998904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2655] ppid=2634 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/2637/task/2655/stat : 2655 (java) S 2634 2637 18358 0 -1 4202560 47 0 0 0 10 16 0 0 20 0 22 0 27889843 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140443539946568 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2656] ppid=2634 vsize=9824732 CPUtime=815.56 cores=0,2,4,6
/proc/2637/task/2656/stat : 2656 (java) R 2634 2637 18358 0 -1 4202560 6062 0 0 0 81509 47 0 0 20 0 22 0 27889910 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140443538889264 140444039139007 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2657] ppid=2634 vsize=9824732 CPUtime=815.75 cores=0,2,4,6
/proc/2637/task/2657/stat : 2657 (java) R 2634 2637 18358 0 -1 4202560 1418 0 0 0 81550 25 0 0 20 0 22 0 27889910 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140443537837344 140444039408800 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2658] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2658/stat : 2658 (java) S 2634 2637 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27889911 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140443536786216 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2659] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2659/stat : 2659 (java) S 2634 2637 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27889911 10060525568 286741 33554432000 1073741824 1073778376 140733524792544 140443535733672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1648.81
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 2.30 2.35 2.92 3/191 2702
/proc/meminfo: memFree=29494652/32872528 swapFree=1286400/1433568
[pid=2637] ppid=2634 vsize=9824732 CPUtime=1769.06 cores=0,2,4,6
/proc/2637/stat : 2637 (java) S 2634 2637 18358 0 -1 4202496 35524 0 1 0 176669 237 0 0 20 0 22 0 27889838 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140733524783680 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2637/statm: 2456183 256653 2300 9 0 2446860 0
[pid=2637/tid=2639] ppid=2634 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/2637/task/2639/stat : 2639 (java) S 2634 2637 18358 0 -1 4202560 2451 0 1 0 70 3 0 0 20 0 22 0 27889838 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140444193956728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2640] ppid=2634 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/2637/task/2640/stat : 2640 (java) S 2634 2637 18358 0 -1 4202560 399 0 0 0 133 13 0 0 20 0 22 0 27889839 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140444037896616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2641] ppid=2634 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/2637/task/2641/stat : 2641 (java) S 2634 2637 18358 0 -1 4202560 652 0 0 0 142 18 0 0 20 0 22 0 27889839 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140444036844072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2642] ppid=2634 vsize=9824732 CPUtime=1.58 cores=0,2,4,6
/proc/2637/task/2642/stat : 2642 (java) S 2634 2637 18358 0 -1 4202560 1086 0 0 0 140 18 0 0 20 0 22 0 27889839 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140444035791016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2643] ppid=2634 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/2637/task/2643/stat : 2643 (java) S 2634 2637 18358 0 -1 4202560 508 0 0 0 144 16 0 0 20 0 22 0 27889839 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140444034738472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2644] ppid=2634 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/2637/task/2644/stat : 2644 (java) S 2634 2637 18358 0 -1 4202560 400 0 0 0 143 16 0 0 20 0 22 0 27889839 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140444033686440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2645] ppid=2634 vsize=9824732 CPUtime=1.49 cores=0,2,4,6
/proc/2637/task/2645/stat : 2645 (java) S 2634 2637 18358 0 -1 4202560 802 0 0 0 137 12 0 0 20 0 22 0 27889839 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140444032633896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2646] ppid=2634 vsize=9824732 CPUtime=1.52 cores=0,2,4,6
/proc/2637/task/2646/stat : 2646 (java) S 2634 2637 18358 0 -1 4202560 674 0 0 0 134 18 0 0 20 0 22 0 27889839 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140444031580840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2647] ppid=2634 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/2637/task/2647/stat : 2647 (java) S 2634 2637 18358 0 -1 4202560 739 0 0 0 147 16 0 0 20 0 22 0 27889839 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140444030528296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2648] ppid=2634 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/2637/task/2648/stat : 2648 (java) S 2634 2637 18358 0 -1 4202560 2601 0 0 0 173 46 0 0 20 0 22 0 27889840 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140443547314536 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2649] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2649/stat : 2649 (java) S 2634 2637 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27889841 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140443546260856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2650] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2650/stat : 2650 (java) S 2634 2637 18358 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27889841 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140443545207688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2651] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2651/stat : 2651 (java) S 2634 2637 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27889843 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140443544156432 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2652] ppid=2634 vsize=9824732 CPUtime=1.47 cores=0,2,4,6
/proc/2637/task/2652/stat : 2652 (java) S 2634 2637 18358 0 -1 4202560 9333 0 0 0 145 2 0 0 20 0 22 0 27889843 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140443543104312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2653] ppid=2634 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/2637/task/2653/stat : 2653 (java) S 2634 2637 18358 0 -1 4202560 7021 0 0 0 141 1 0 0 20 0 22 0 27889843 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140443542051768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2654] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2654/stat : 2654 (java) S 2634 2637 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27889843 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140443540998904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2655] ppid=2634 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/2637/task/2655/stat : 2655 (java) S 2634 2637 18358 0 -1 4202560 51 0 0 0 11 16 0 0 20 0 22 0 27889843 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140443539946568 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2656] ppid=2634 vsize=9824732 CPUtime=875.18 cores=0,2,4,6
/proc/2637/task/2656/stat : 2656 (java) R 2634 2637 18358 0 -1 4202560 6114 0 0 0 87470 48 0 0 20 0 22 0 27889910 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140443538890016 140444039138941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2657] ppid=2634 vsize=9824732 CPUtime=875.4 cores=0,2,4,6
/proc/2637/task/2657/stat : 2657 (java) R 2634 2637 18358 0 -1 4202560 1426 0 0 0 87514 26 0 0 20 0 22 0 27889910 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140443537836240 140444039551088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2658] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2658/stat : 2658 (java) S 2634 2637 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27889911 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140443536786216 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2659] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2659/stat : 2659 (java) S 2634 2637 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27889911 10060525568 256653 33554432000 1073741824 1073778376 140733524792544 140443535733672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1769.06
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+897.801 s]
/proc/loadavg: 2.21 2.33 2.90 3/191 2702
/proc/meminfo: memFree=29492416/32872528 swapFree=1286400/1433568
[pid=2637] ppid=2634 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6
/proc/2637/stat : 2637 (java) S 2634 2637 18358 0 -1 4202496 35556 0 1 0 179770 240 0 0 20 0 22 0 27889838 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140733524783680 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2637/statm: 2456183 256880 2300 9 0 2446860 0
[pid=2637/tid=2639] ppid=2634 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/2637/task/2639/stat : 2639 (java) S 2634 2637 18358 0 -1 4202560 2451 0 1 0 70 3 0 0 20 0 22 0 27889838 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140444193956728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2640] ppid=2634 vsize=9824732 CPUtime=1.49 cores=0,2,4,6
/proc/2637/task/2640/stat : 2640 (java) S 2634 2637 18358 0 -1 4202560 401 0 0 0 136 13 0 0 20 0 22 0 27889839 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140444037896616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2641] ppid=2634 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/2637/task/2641/stat : 2641 (java) S 2634 2637 18358 0 -1 4202560 654 0 0 0 146 18 0 0 20 0 22 0 27889839 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140444036844072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2642] ppid=2634 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/2637/task/2642/stat : 2642 (java) S 2634 2637 18358 0 -1 4202560 1088 0 0 0 143 18 0 0 20 0 22 0 27889839 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140444035791016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2643] ppid=2634 vsize=9824732 CPUtime=1.62 cores=0,2,4,6
/proc/2637/task/2643/stat : 2643 (java) S 2634 2637 18358 0 -1 4202560 508 0 0 0 146 16 0 0 20 0 22 0 27889839 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140444034738472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2644] ppid=2634 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/2637/task/2644/stat : 2644 (java) S 2634 2637 18358 0 -1 4202560 403 0 0 0 145 16 0 0 20 0 22 0 27889839 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140444033686440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2645] ppid=2634 vsize=9824732 CPUtime=1.52 cores=0,2,4,6
/proc/2637/task/2645/stat : 2645 (java) S 2634 2637 18358 0 -1 4202560 806 0 0 0 140 12 0 0 20 0 22 0 27889839 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140444032633896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2646] ppid=2634 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
/proc/2637/task/2646/stat : 2646 (java) S 2634 2637 18358 0 -1 4202560 676 0 0 0 138 18 0 0 20 0 22 0 27889839 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140444031580840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2647] ppid=2634 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/2637/task/2647/stat : 2647 (java) S 2634 2637 18358 0 -1 4202560 741 0 0 0 149 17 0 0 20 0 22 0 27889839 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140444030528296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2648] ppid=2634 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/2637/task/2648/stat : 2648 (java) S 2634 2637 18358 0 -1 4202560 2603 0 0 0 173 48 0 0 20 0 22 0 27889840 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140443547314536 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2649] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2649/stat : 2649 (java) S 2634 2637 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27889841 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140443546260856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2650] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2650/stat : 2650 (java) S 2634 2637 18358 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27889841 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140443545207688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2651] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2651/stat : 2651 (java) S 2634 2637 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27889843 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140443544156432 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2652] ppid=2634 vsize=9824732 CPUtime=1.47 cores=0,2,4,6
/proc/2637/task/2652/stat : 2652 (java) S 2634 2637 18358 0 -1 4202560 9333 0 0 0 145 2 0 0 20 0 22 0 27889843 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140443543104312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2653] ppid=2634 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/2637/task/2653/stat : 2653 (java) S 2634 2637 18358 0 -1 4202560 7021 0 0 0 141 1 0 0 20 0 22 0 27889843 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140443542051768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2654] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2654/stat : 2654 (java) S 2634 2637 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27889843 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140443540998904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2637/tid=2655] ppid=2634 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/2637/task/2655/stat : 2655 (java) S 2634 2637 18358 0 -1 4202560 53 0 0 0 11 16 0 0 20 0 22 0 27889843 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140443539946568 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2656] ppid=2634 vsize=9824732 CPUtime=890.57 cores=0,2,4,6
/proc/2637/task/2656/stat : 2656 (java) R 2634 2637 18358 0 -1 4202560 6122 0 0 0 89009 48 0 0 20 0 22 0 27889910 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140443538889264 140444039048802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2637/tid=2657] ppid=2634 vsize=9824732 CPUtime=890.8 cores=0,2,4,6
/proc/2637/task/2657/stat : 2657 (java) R 2634 2637 18358 0 -1 4202560 1429 0 0 0 89054 26 0 0 20 0 22 0 27889910 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140443537837280 140444039551100 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2637/tid=2658] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2658/stat : 2658 (java) S 2634 2637 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27889911 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140443536786216 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2637/tid=2659] ppid=2634 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2659/stat : 2659 (java) S 2634 2637 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27889911 10060525568 256880 33554432000 1073741824 1073778376 140733524792544 140443535733672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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 2637 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 897.839
CPU time (s): 1800.51
CPU user time (s): 1797.64
CPU system time (s): 2.87256
CPU usage (%): 200.538
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.64
system time used= 2.87256
maximum resident set size= 2863916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35595
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35778
involuntary context switches= 42425
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.63314 second user time and 7.13492 second system time
The end