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-4109765-1466343735/watcher-4109765-1466343735 -o /tmp/evaluation-result-4109765-1466343735/solver-4109765-1466343735 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466341815-30931 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109765-1466343735.wbo
pid=620
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.85 1.97 1.73 4/197 623
/proc/meminfo: memFree=30835300/32872528 swapFree=303544/319896
[pid=623] ppid=620 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/623/stat : 623 (java) R 620 623 30914 0 -1 4202496 1060 0 0 0 0 0 0 0 20 0 1 0 36420110 23793664 710 33554432000 1073741824 1073778376 140733204340544 140733204329608 262953547112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/623/statm: 5809 710 524 9 0 128 0
[pid=623/tid=624] ppid=620 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/623/task/624/stat : 624 (java) R 620 623 30914 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 2 0 36420111 98578432 979 33554432000 1073741824 1073778376 140733204340544 139693122051624 139693128618528 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.10012 s]
/proc/loadavg: 1.85 1.97 1.73 4/197 623
/proc/meminfo: memFree=30835300/32872528 swapFree=303544/319896
[pid=623] ppid=620 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/623/stat : 623 (java) S 620 623 30914 0 -1 4202496 4505 0 1 0 10 1 0 0 20 0 18 0 36420110 9787879424 6135 33554432000 1073741824 1073778376 140733204340544 140733204331680 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/623/statm: 2389619 6135 2156 9 0 2380296 0
[pid=623/tid=624] ppid=620 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/623/task/624/stat : 624 (java) R 620 623 30914 0 -1 4202560 2389 0 1 0 7 0 0 0 20 0 18 0 36420111 9787879424 6135 33554432000 1073741824 1073778376 140733204340544 139693122055072 262966142221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200341 s]
/proc/loadavg: 1.85 1.97 1.73 4/197 623
/proc/meminfo: memFree=30835300/32872528 swapFree=303544/319896
[pid=623] ppid=620 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/623/stat : 623 (java) S 620 623 30914 0 -1 4202496 4761 0 1 0 24 1 0 0 20 0 18 0 36420110 9787879424 6854 33554432000 1073741824 1073778376 140733204340544 140733204331680 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/623/statm: 2389619 6855 2209 9 0 2380296 0
[pid=623/tid=624] ppid=620 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/623/task/624/stat : 624 (java) R 620 623 30914 0 -1 4202560 2405 0 1 0 17 0 0 0 20 0 18 0 36420111 9787879424 6855 33554432000 1073741824 1073778376 140733204340544 139693122055072 139692955774032 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300335 s]
/proc/loadavg: 1.85 1.97 1.73 4/197 623
/proc/meminfo: memFree=30835300/32872528 swapFree=303544/319896
[pid=623] ppid=620 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/623/stat : 623 (java) S 620 623 30914 0 -1 4202496 5707 0 1 0 47 1 0 0 20 0 18 0 36420110 9787879424 8948 33554432000 1073741824 1073778376 140733204340544 140733204331680 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/623/statm: 2389619 8948 2231 9 0 2380296 0
[pid=623/tid=624] ppid=620 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/623/task/624/stat : 624 (java) R 620 623 30914 0 -1 4202560 2408 0 1 0 27 0 0 0 20 0 18 0 36420111 9787879424 8948 33554432000 1073741824 1073778376 140733204340544 139693122056424 139692955688463 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700298 s]
/proc/loadavg: 1.85 1.97 1.73 4/197 623
/proc/meminfo: memFree=30835300/32872528 swapFree=303544/319896
[pid=623] ppid=620 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/623/stat : 623 (java) S 620 623 30914 0 -1 4202496 10801 0 1 0 121 5 0 0 20 0 19 0 36420110 10060525568 12829 33554432000 1073741824 1073778376 140733204340544 140733204331680 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/623/statm: 2456183 12829 2258 9 0 2446860 0
[pid=623/tid=624] ppid=620 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/623/task/624/stat : 624 (java) S 620 623 30914 0 -1 4202560 2425 0 1 0 30 1 0 0 20 0 19 0 36420111 10060525568 12829 33554432000 1073741824 1073778376 140733204340544 139693122057080 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 9824732
[startup+1.50081 s]
/proc/loadavg: 1.85 1.97 1.73 4/207 707
/proc/meminfo: memFree=31243016/32872528 swapFree=303544/319896
[pid=623] ppid=620 vsize=9824732 CPUtime=2.59 cores=1,3,5,7
/proc/623/stat : 623 (java) S 620 623 30914 0 -1 4202496 25591 0 1 0 249 10 0 0 20 0 19 0 36420110 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 140733204331680 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/623/statm: 2456183 24376 2265 9 0 2446860 0
[pid=623/tid=624] ppid=620 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/623/task/624/stat : 624 (java) S 620 623 30914 0 -1 4202560 2426 0 1 0 32 1 0 0 20 0 19 0 36420111 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139693122057080 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=626] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/626/stat : 626 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139693083547816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=627] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/627/stat : 627 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139693082495272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=628] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/628/stat : 628 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139693081442728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=623/tid=629] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/629/stat : 629 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139693080390184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=630] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/630/stat : 630 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139693079337640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=631] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/631/stat : 631 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139693078285096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=632] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/632/stat : 632 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139693077232552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=633] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/633/stat : 633 (java) S 620 623 30914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139693076180008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=634] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/634/stat : 634 (java) S 620 623 30914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36420112 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139692946184296 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=635] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/635/stat : 635 (java) S 620 623 30914 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36420113 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139692945130616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=636] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/636/stat : 636 (java) S 620 623 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36420113 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139692944077960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=637] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/637/stat : 637 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420115 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139692943026704 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=638] ppid=620 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/623/task/638/stat : 638 (java) S 620 623 30914 0 -1 4202560 8457 0 0 0 73 2 0 0 20 0 19 0 36420115 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139692941974072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=639] ppid=620 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/623/task/639/stat : 639 (java) S 620 623 30914 0 -1 4202560 13355 0 0 0 86 3 0 0 20 0 19 0 36420115 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139692940921528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=640] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/640/stat : 640 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420115 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139692066466808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=641] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/641/stat : 641 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420115 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139692065414472 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=645] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/645/stat : 645 (java) S 620 623 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36420145 10060525568 24376 33554432000 1073741824 1073778376 140733204340544 139692061201576 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 9824732
[startup+3.10083 s]
/proc/loadavg: 1.70 1.93 1.72 3/213 725
/proc/meminfo: memFree=31151572/32872528 swapFree=303544/319896
[pid=623] ppid=620 vsize=9824732 CPUtime=3.06 cores=1,3,5,7
/proc/623/stat : 623 (java) S 620 623 30914 0 -1 4202496 25786 0 1 0 290 16 0 0 20 0 19 0 36420110 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 140733204331680 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/623/statm: 2456183 31609 2268 9 0 2446860 0
[pid=623/tid=624] ppid=620 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/623/task/624/stat : 624 (java) S 620 623 30914 0 -1 4202560 2429 0 1 0 34 1 0 0 20 0 19 0 36420111 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139693122057080 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=626] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/626/stat : 626 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139693083547816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=627] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/627/stat : 627 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139693082495272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=628] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/628/stat : 628 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139693081442728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=623/tid=629] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/629/stat : 629 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139693080390184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=630] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/630/stat : 630 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139693079337640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=631] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/631/stat : 631 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139693078285096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=632] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/632/stat : 632 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139693077232552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=633] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/633/stat : 633 (java) S 620 623 30914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139693076180008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=634] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/634/stat : 634 (java) S 620 623 30914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36420112 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139692946184296 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=635] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/635/stat : 635 (java) S 620 623 30914 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36420113 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139692945130616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=636] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/636/stat : 636 (java) S 620 623 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36420113 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139692944077960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=637] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/637/stat : 637 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420115 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139692943026704 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=638] ppid=620 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/623/task/638/stat : 638 (java) S 620 623 30914 0 -1 4202560 8615 0 0 0 84 2 0 0 20 0 19 0 36420115 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139692941974072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=639] ppid=620 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/623/task/639/stat : 639 (java) S 620 623 30914 0 -1 4202560 13355 0 0 0 99 3 0 0 20 0 19 0 36420115 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139692940921528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=640] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/640/stat : 640 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420115 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139692066466808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=641] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/641/stat : 641 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420115 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139692065414472 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=645] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/645/stat : 645 (java) S 620 623 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36420145 10060525568 31609 33554432000 1073741824 1073778376 140733204340544 139692061201576 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 9824732
[startup+6.30084 s]
/proc/loadavg: 1.70 1.93 1.72 1/213 768
/proc/meminfo: memFree=30987812/32872528 swapFree=303544/319896
[pid=623] ppid=620 vsize=9824732 CPUtime=3.42 cores=1,3,5,7
/proc/623/stat : 623 (java) S 620 623 30914 0 -1 4202496 25866 0 1 0 317 25 0 0 20 0 19 0 36420110 10060525568 43141 33554432000 1073741824 1073778376 140733204340544 140733204331680 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/623/statm: 2456183 43141 2270 9 0 2446860 0
[pid=623/tid=624] ppid=620 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/623/task/624/stat : 624 (java) S 620 623 30914 0 -1 4202560 2432 0 1 0 35 2 0 0 20 0 19 0 36420111 10060525568 43141 33554432000 1073741824 1073778376 140733204340544 139693122057080 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=626] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/626/stat : 626 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 43141 33554432000 1073741824 1073778376 140733204340544 139693083547816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=627] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/627/stat : 627 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 43141 33554432000 1073741824 1073778376 140733204340544 139693082495272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=628] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/628/stat : 628 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 43141 33554432000 1073741824 1073778376 140733204340544 139693081442728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=623/tid=629] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/629/stat : 629 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 43141 33554432000 1073741824 1073778376 140733204340544 139693080390184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=630] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/630/stat : 630 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 43141 33554432000 1073741824 1073778376 140733204340544 139693079337640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=631] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/631/stat : 631 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 43141 33554432000 1073741824 1073778376 140733204340544 139693078285096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=632] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/632/stat : 632 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 43141 33554432000 1073741824 1073778376 140733204340544 139693077232552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=633] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/633/stat : 633 (java) S 620 623 30914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36420111 10060525568 43141 33554432000 1073741824 1073778376 140733204340544 139693076180008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=634] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/634/stat : 634 (java) S 620 623 30914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36420112 10060525568 43141 33554432000 1073741824 1073778376 140733204340544 139692946184296 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=623/tid=635] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/635/stat : 635 (java) S 620 623 30914 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36420113 10060525568 43141 33554432000 1073741824 1073778376 140733204340544 139692945130616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=636] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/636/stat : 636 (java) S 620 623 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36420113 10060525568 43141 33554432000 1073741824 1073778376 140733204340544 139692944077960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=637] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/637/stat : 637 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36420115 10060525568 43141 33554432000 1073741824 1073778376 140733204340544 139692943026704 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=638] ppid=620 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/623/task/638/stat : 638 (java) S 620 623 30914 0 -1 4202560 8616 0 0 0 90 2 0 0 20 0 19 0 36420115 10060525568 43141 33554432000 1073741824 1073778376 140733204340544 139692941974072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=639] ppid=620 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
################
# More data... #
################
/proc/623/task/624/stat : 624 (java) S 620 623 30914 0 -1 4202560 2561 0 1 0 126 38 0 0 20 0 21 0 36420111 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139693122057208 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=626] ppid=620 vsize=9824732 CPUtime=4.7 cores=1,3,5,7
/proc/623/task/626/stat : 626 (java) S 620 623 30914 0 -1 4202560 723 0 0 0 448 22 0 0 20 0 21 0 36420111 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139693083547816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=627] ppid=620 vsize=9824732 CPUtime=4.55 cores=1,3,5,7
/proc/623/task/627/stat : 627 (java) S 620 623 30914 0 -1 4202560 1063 0 0 0 433 22 0 0 20 0 21 0 36420111 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139693082495272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=628] ppid=620 vsize=9824732 CPUtime=4.49 cores=1,3,5,7
/proc/623/task/628/stat : 628 (java) S 620 623 30914 0 -1 4202560 746 0 0 0 429 20 0 0 20 0 21 0 36420111 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139693081442728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=629] ppid=620 vsize=9824732 CPUtime=4.74 cores=1,3,5,7
/proc/623/task/629/stat : 629 (java) S 620 623 30914 0 -1 4202560 942 0 0 0 453 21 0 0 20 0 21 0 36420111 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139693080390184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=630] ppid=620 vsize=9824732 CPUtime=4.87 cores=1,3,5,7
/proc/623/task/630/stat : 630 (java) S 620 623 30914 0 -1 4202560 1259 0 0 0 462 25 0 0 20 0 21 0 36420111 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139693079337640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=631] ppid=620 vsize=9824732 CPUtime=4.63 cores=1,3,5,7
/proc/623/task/631/stat : 631 (java) S 620 623 30914 0 -1 4202560 890 0 0 0 441 22 0 0 20 0 21 0 36420111 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139693078285096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=632] ppid=620 vsize=9824732 CPUtime=4.19 cores=1,3,5,7
/proc/623/task/632/stat : 632 (java) S 620 623 30914 0 -1 4202560 688 0 0 0 401 18 0 0 20 0 21 0 36420111 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139693077232552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=633] ppid=620 vsize=9824732 CPUtime=4.94 cores=1,3,5,7
/proc/623/task/633/stat : 633 (java) S 620 623 30914 0 -1 4202560 919 0 0 0 472 22 0 0 20 0 21 0 36420111 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139693076180008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=623/tid=634] ppid=620 vsize=9824732 CPUtime=7.51 cores=1,3,5,7
/proc/623/task/634/stat : 634 (java) S 620 623 30914 0 -1 4202560 3446 0 0 0 739 12 0 0 20 0 21 0 36420112 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139692946184296 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=635] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/635/stat : 635 (java) S 620 623 30914 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36420113 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139692945130616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=636] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/636/stat : 636 (java) S 620 623 30914 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 21 0 36420113 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139692944077960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=637] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/637/stat : 637 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36420115 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139692943026704 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=638] ppid=620 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/623/task/638/stat : 638 (java) S 620 623 30914 0 -1 4202560 10620 0 0 0 179 2 0 0 20 0 21 0 36420115 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139692941974072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=623/tid=639] ppid=620 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/623/task/639/stat : 639 (java) S 620 623 30914 0 -1 4202560 15949 0 0 0 178 3 0 0 20 0 21 0 36420115 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139692940921528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=640] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/640/stat : 640 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36420115 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139692066466808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=641] ppid=620 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/623/task/641/stat : 641 (java) S 620 623 30914 0 -1 4202560 100 0 0 0 32 41 0 0 20 0 21 0 36420115 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139692065414472 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=645] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/645/stat : 645 (java) S 620 623 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36420145 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139692061201576 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=1168] ppid=620 vsize=9824732 CPUtime=1633.95 cores=1,3,5,7
/proc/623/task/1168/stat : 1168 (java) R 620 623 30914 0 -1 4202560 3478 0 0 0 163340 55 0 0 20 0 21 0 36426816 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139692062252208 139692956562955 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=623/tid=1169] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/1169/stat : 1169 (java) S 620 623 30914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36426819 10060525568 984821 33554432000 1073741824 1073778376 140733204340544 139692064359336 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1735.66
Current children cumulated vsize (KiB) 9824732
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 1.96 3/217 2133
/proc/meminfo: memFree=25468160/32872528 swapFree=303544/319896
[pid=623] ppid=620 vsize=9824732 CPUtime=1796.5 cores=1,3,5,7
/proc/623/stat : 623 (java) S 620 623 30914 0 -1 4202496 45892 0 1 0 179246 404 0 0 20 0 21 0 36420110 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 140733204331680 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/623/statm: 2456183 988977 2295 9 0 2446860 0
[pid=623/tid=624] ppid=620 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/623/task/624/stat : 624 (java) S 620 623 30914 0 -1 4202560 2565 0 1 0 127 40 0 0 20 0 21 0 36420111 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139693122057208 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=626] ppid=620 vsize=9824732 CPUtime=4.84 cores=1,3,5,7
/proc/623/task/626/stat : 626 (java) S 620 623 30914 0 -1 4202560 729 0 0 0 462 22 0 0 20 0 21 0 36420111 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139693083547816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=627] ppid=620 vsize=9824732 CPUtime=4.7 cores=1,3,5,7
/proc/623/task/627/stat : 627 (java) S 620 623 30914 0 -1 4202560 1070 0 0 0 448 22 0 0 20 0 21 0 36420111 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139693082495272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=628] ppid=620 vsize=9824732 CPUtime=4.59 cores=1,3,5,7
/proc/623/task/628/stat : 628 (java) S 620 623 30914 0 -1 4202560 755 0 0 0 439 20 0 0 20 0 21 0 36420111 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139693081442728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=629] ppid=620 vsize=9824732 CPUtime=4.92 cores=1,3,5,7
/proc/623/task/629/stat : 629 (java) S 620 623 30914 0 -1 4202560 950 0 0 0 471 21 0 0 20 0 21 0 36420111 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139693080390184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=623/tid=630] ppid=620 vsize=9824732 CPUtime=4.98 cores=1,3,5,7
/proc/623/task/630/stat : 630 (java) S 620 623 30914 0 -1 4202560 1266 0 0 0 473 25 0 0 20 0 21 0 36420111 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139693079337640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=631] ppid=620 vsize=9824732 CPUtime=4.75 cores=1,3,5,7
/proc/623/task/631/stat : 631 (java) S 620 623 30914 0 -1 4202560 905 0 0 0 452 23 0 0 20 0 21 0 36420111 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139693078285096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=632] ppid=620 vsize=9824732 CPUtime=4.31 cores=1,3,5,7
/proc/623/task/632/stat : 632 (java) S 620 623 30914 0 -1 4202560 698 0 0 0 413 18 0 0 20 0 21 0 36420111 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139693077232552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=623/tid=633] ppid=620 vsize=9824732 CPUtime=5.12 cores=1,3,5,7
/proc/623/task/633/stat : 633 (java) S 620 623 30914 0 -1 4202560 931 0 0 0 490 22 0 0 20 0 21 0 36420111 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139693076180008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=634] ppid=620 vsize=9824732 CPUtime=7.51 cores=1,3,5,7
/proc/623/task/634/stat : 634 (java) S 620 623 30914 0 -1 4202560 3448 0 0 0 739 12 0 0 20 0 21 0 36420112 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139692946184296 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=635] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/635/stat : 635 (java) S 620 623 30914 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36420113 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139692945130616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=636] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/636/stat : 636 (java) S 620 623 30914 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 21 0 36420113 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139692944077960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=637] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/637/stat : 637 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36420115 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139692943026704 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=638] ppid=620 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/623/task/638/stat : 638 (java) S 620 623 30914 0 -1 4202560 10620 0 0 0 179 2 0 0 20 0 21 0 36420115 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139692941974072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=623/tid=639] ppid=620 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/623/task/639/stat : 639 (java) S 620 623 30914 0 -1 4202560 15949 0 0 0 178 3 0 0 20 0 21 0 36420115 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139692940921528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=640] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/640/stat : 640 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36420115 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139692066466808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=641] ppid=620 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/623/task/641/stat : 641 (java) S 620 623 30914 0 -1 4202560 104 0 0 0 33 43 0 0 20 0 21 0 36420115 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139692065414472 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=645] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/645/stat : 645 (java) S 620 623 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36420145 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139692061201576 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=1168] ppid=620 vsize=9824732 CPUtime=1693.49 cores=1,3,5,7
/proc/623/task/1168/stat : 1168 (java) R 620 623 30914 0 -1 4202560 3478 0 0 0 169293 56 0 0 20 0 21 0 36426816 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139692062252224 139692956265021 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=623/tid=1169] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/1169/stat : 1169 (java) S 620 623 30914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36426819 10060525568 988977 33554432000 1073741824 1073778376 140733204340544 139692064359336 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1785.6 s]
/proc/loadavg: 2.05 2.04 1.96 3/217 2133
/proc/meminfo: memFree=25458044/32872528 swapFree=303544/319896
[pid=623] ppid=620 vsize=9824732 CPUtime=1800 cores=1,3,5,7
/proc/623/stat : 623 (java) S 620 623 30914 0 -1 4202496 45913 0 1 0 179595 405 0 0 20 0 21 0 36420110 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 140733204331680 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/623/statm: 2456183 991037 2295 9 0 2446860 0
[pid=623/tid=624] ppid=620 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/623/task/624/stat : 624 (java) S 620 623 30914 0 -1 4202560 2566 0 1 0 127 40 0 0 20 0 21 0 36420111 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139693122057208 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=626] ppid=620 vsize=9824732 CPUtime=4.86 cores=1,3,5,7
/proc/623/task/626/stat : 626 (java) S 620 623 30914 0 -1 4202560 731 0 0 0 464 22 0 0 20 0 21 0 36420111 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139693083547816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=627] ppid=620 vsize=9824732 CPUtime=4.73 cores=1,3,5,7
/proc/623/task/627/stat : 627 (java) S 620 623 30914 0 -1 4202560 1075 0 0 0 451 22 0 0 20 0 21 0 36420111 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139693082495272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=628] ppid=620 vsize=9824732 CPUtime=4.65 cores=1,3,5,7
/proc/623/task/628/stat : 628 (java) S 620 623 30914 0 -1 4202560 756 0 0 0 445 20 0 0 20 0 21 0 36420111 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139693081442728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=629] ppid=620 vsize=9824732 CPUtime=4.95 cores=1,3,5,7
/proc/623/task/629/stat : 629 (java) S 620 623 30914 0 -1 4202560 952 0 0 0 474 21 0 0 20 0 21 0 36420111 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139693080390184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=623/tid=630] ppid=620 vsize=9824732 CPUtime=5 cores=1,3,5,7
/proc/623/task/630/stat : 630 (java) S 620 623 30914 0 -1 4202560 1268 0 0 0 475 25 0 0 20 0 21 0 36420111 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139693079337640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=631] ppid=620 vsize=9824732 CPUtime=4.79 cores=1,3,5,7
/proc/623/task/631/stat : 631 (java) S 620 623 30914 0 -1 4202560 907 0 0 0 456 23 0 0 20 0 21 0 36420111 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139693078285096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=632] ppid=620 vsize=9824732 CPUtime=4.34 cores=1,3,5,7
/proc/623/task/632/stat : 632 (java) S 620 623 30914 0 -1 4202560 700 0 0 0 416 18 0 0 20 0 21 0 36420111 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139693077232552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=623/tid=633] ppid=620 vsize=9824732 CPUtime=5.14 cores=1,3,5,7
/proc/623/task/633/stat : 633 (java) S 620 623 30914 0 -1 4202560 932 0 0 0 492 22 0 0 20 0 21 0 36420111 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139693076180008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=634] ppid=620 vsize=9824732 CPUtime=7.51 cores=1,3,5,7
/proc/623/task/634/stat : 634 (java) S 620 623 30914 0 -1 4202560 3451 0 0 0 739 12 0 0 20 0 21 0 36420112 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139692946184296 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=635] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/635/stat : 635 (java) S 620 623 30914 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36420113 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139692945130616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=636] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/636/stat : 636 (java) S 620 623 30914 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 21 0 36420113 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139692944077960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=637] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/637/stat : 637 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36420115 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139692943026704 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=623/tid=638] ppid=620 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/623/task/638/stat : 638 (java) S 620 623 30914 0 -1 4202560 10620 0 0 0 179 2 0 0 20 0 21 0 36420115 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139692941974072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=623/tid=639] ppid=620 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/623/task/639/stat : 639 (java) S 620 623 30914 0 -1 4202560 15949 0 0 0 178 3 0 0 20 0 21 0 36420115 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139692940921528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=640] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/640/stat : 640 (java) S 620 623 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36420115 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139692066466808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=623/tid=641] ppid=620 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/623/task/641/stat : 641 (java) S 620 623 30914 0 -1 4202560 104 0 0 0 33 43 0 0 20 0 21 0 36420115 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139692065414472 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=645] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/645/stat : 645 (java) S 620 623 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36420145 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139692061201576 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=623/tid=1168] ppid=620 vsize=9824732 CPUtime=1696.71 cores=1,3,5,7
/proc/623/task/1168/stat : 1168 (java) R 620 623 30914 0 -1 4202560 3478 0 0 0 169615 56 0 0 20 0 21 0 36426816 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139692062252224 139692956563770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=623/tid=1169] ppid=620 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/623/task/1169/stat : 1169 (java) S 620 623 30914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36426819 10060525568 991037 33554432000 1073741824 1073778376 140733204340544 139692064359336 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 623 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 623 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=708618
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=503315
# CPU time returned by wait4() is 1796.21
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1785.65
CPU time (s): 1800
CPU user time (s): 1795.95
CPU system time (s): 4.05
CPU usage (%): 100.803
Max. virtual memory (cumulated for all children) (KiB): 9825316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.71
system time used= 4.50331
maximum resident set size= 3964240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45944
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80017
involuntary context switches= 38304
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6715 second user time and 8.98463 second system time
The end