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-4091959-1466078788/watcher-4091959-1466078788 -o /tmp/evaluation-result-4091959-1466078788/solver-4091959-1466078788 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466074085-13483 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091959-1466078788.wbo
pid=17452
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: 2.08 2.11 2.30 3/196 17455
/proc/meminfo: memFree=29798780/32872528 swapFree=162364/176672
[pid=17455] ppid=17452 vsize=9324 CPUtime=0 cores=1,3,5,7
/proc/17455/stat : 17455 (java) R 17452 17455 11533 0 -1 4202496 527 0 0 0 0 0 0 0 20 0 1 0 9928770 9547776 182 33554432000 1073741824 1073778376 140736207988992 140736207971720 224922518912 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17455/statm: 2323 182 140 9 0 71 0
[startup+0.10011 s]
/proc/loadavg: 2.08 2.11 2.30 3/196 17455
/proc/meminfo: memFree=29798780/32872528 swapFree=162364/176672
[pid=17455] ppid=17452 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/17455/stat : 17455 (java) S 17452 17455 11533 0 -1 4202496 4463 0 1 0 8 1 0 0 20 0 18 0 9928770 9787879424 5590 33554432000 1073741824 1073778376 140736207988992 140736207980128 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17455/statm: 2389619 5590 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200315 s]
/proc/loadavg: 2.08 2.11 2.30 3/196 17455
/proc/meminfo: memFree=29798780/32872528 swapFree=162364/176672
[pid=17455] ppid=17452 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/17455/stat : 17455 (java) S 17452 17455 11533 0 -1 4202496 4767 0 1 0 22 1 0 0 20 0 18 0 9928770 9787879424 6347 33554432000 1073741824 1073778376 140736207988992 140736207980128 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17455/statm: 2389619 6347 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.30034 s]
/proc/loadavg: 2.08 2.11 2.30 3/196 17455
/proc/meminfo: memFree=29798780/32872528 swapFree=162364/176672
[pid=17455] ppid=17452 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/17455/stat : 17455 (java) S 17452 17455 11533 0 -1 4202496 5835 0 1 0 44 2 0 0 20 0 18 0 9928770 9787879424 8008 33554432000 1073741824 1073778376 140736207988992 140736207980128 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17455/statm: 2389619 8008 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.700281 s]
/proc/loadavg: 2.08 2.11 2.30 3/196 17455
/proc/meminfo: memFree=29798780/32872528 swapFree=162364/176672
[pid=17455] ppid=17452 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/17455/stat : 17455 (java) S 17452 17455 11533 0 -1 4202496 10772 0 1 0 141 5 0 0 20 0 19 0 9928770 10060525568 12368 33554432000 1073741824 1073778376 140736207988992 140736207980128 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17455/statm: 2456183 12368 2259 9 0 2446860 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9824732
[startup+1.50087 s]
/proc/loadavg: 2.08 2.11 2.30 3/215 17480
/proc/meminfo: memFree=29734916/32872528 swapFree=162364/176672
[pid=17455] ppid=17452 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/17455/stat : 17455 (java) S 17452 17455 11533 0 -1 4202496 18090 0 1 0 194 8 0 0 20 0 19 0 9928770 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 140736207980128 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17455/statm: 2456183 19081 2266 9 0 2446860 0
[pid=17455/tid=17457] ppid=17452 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/17455/task/17457/stat : 17457 (java) S 17452 17455 11533 0 -1 4202560 2485 0 1 0 32 1 0 0 20 0 19 0 9928771 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976738485112 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17458] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17458/stat : 17458 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976677214376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17459] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17459/stat : 17459 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976580479272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17460] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17460/stat : 17460 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976579426728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17455/tid=17461] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17461/stat : 17461 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976578374184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17462] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17462/stat : 17462 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976577321640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17463] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17463/stat : 17463 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976576269096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17464] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17464/stat : 17464 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976575216552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17465] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17465/stat : 17465 (java) S 17452 17455 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976574164008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17466] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17466/stat : 17466 (java) S 17452 17455 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9928773 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976561965160 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17467] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17467/stat : 17467 (java) S 17452 17455 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9928774 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976560911480 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17468] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17468/stat : 17468 (java) S 17452 17455 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9928774 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976559858824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17469] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17469/stat : 17469 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928776 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976558807568 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17470] ppid=17452 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/17455/task/17470/stat : 17470 (java) S 17452 17455 11533 0 -1 4202560 6557 0 0 0 58 2 0 0 20 0 19 0 9928776 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976557754936 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17471] ppid=17452 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/17455/task/17471/stat : 17471 (java) S 17452 17455 11533 0 -1 4202560 7699 0 0 0 60 2 0 0 20 0 19 0 9928776 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976556702392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17472] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17472/stat : 17472 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928776 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976555650040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17473] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17473/stat : 17473 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928776 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976554597704 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17477] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17477/stat : 17477 (java) S 17452 17455 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9928806 10060525568 19081 33554432000 1073741824 1073778376 140736207988992 139976550384808 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9824732
[startup+3.10087 s]
/proc/loadavg: 1.99 2.09 2.29 2/215 17486
/proc/meminfo: memFree=29720084/32872528 swapFree=162364/176672
[pid=17455] ppid=17452 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/17455/stat : 17455 (java) S 17452 17455 11533 0 -1 4202496 19308 0 1 0 234 12 0 0 20 0 19 0 9928770 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 140736207980128 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17455/statm: 2456183 25281 2266 9 0 2446860 0
[pid=17455/tid=17457] ppid=17452 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/17455/task/17457/stat : 17457 (java) S 17452 17455 11533 0 -1 4202560 2488 0 1 0 33 2 0 0 20 0 19 0 9928771 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976738485112 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17458] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17458/stat : 17458 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976677214376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17459] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17459/stat : 17459 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976580479272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17460] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17460/stat : 17460 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976579426728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17455/tid=17461] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17461/stat : 17461 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976578374184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17462] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17462/stat : 17462 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976577321640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17463] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17463/stat : 17463 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976576269096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17464] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17464/stat : 17464 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976575216552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17465] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17465/stat : 17465 (java) S 17452 17455 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976574164008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17466] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17466/stat : 17466 (java) S 17452 17455 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9928773 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976561965160 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17467] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17467/stat : 17467 (java) S 17452 17455 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9928774 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976560911480 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17468] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17468/stat : 17468 (java) S 17452 17455 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9928774 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976559858824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17469] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17469/stat : 17469 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928776 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976558807568 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17470] ppid=17452 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/17455/task/17470/stat : 17470 (java) S 17452 17455 11533 0 -1 4202560 7702 0 0 0 71 2 0 0 20 0 19 0 9928776 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976557754936 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17471] ppid=17452 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/17455/task/17471/stat : 17471 (java) S 17452 17455 11533 0 -1 4202560 7740 0 0 0 76 2 0 0 20 0 19 0 9928776 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976556702392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17472] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17472/stat : 17472 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928776 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976555650040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17473] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17473/stat : 17473 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928776 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976554597704 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17477] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17477/stat : 17477 (java) S 17452 17455 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9928806 10060525568 25281 33554432000 1073741824 1073778376 140736207988992 139976550384808 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 9824732
heavy processes:
[startup+6.30082 s]
/proc/loadavg: 1.99 2.09 2.29 4/218 17507
/proc/meminfo: memFree=29578176/32872528 swapFree=162364/176672
[pid=17455] ppid=17452 vsize=9824732 CPUtime=3.71 cores=1,3,5,7
/proc/17455/stat : 17455 (java) S 17452 17455 11533 0 -1 4202496 19694 0 1 0 350 21 0 0 20 0 19 0 9928770 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 140736207980128 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17455/statm: 2456183 44791 2283 9 0 2446860 0
[pid=17455/tid=17457] ppid=17452 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/17455/task/17457/stat : 17457 (java) S 17452 17455 11533 0 -1 4202560 2491 0 1 0 35 2 0 0 20 0 19 0 9928771 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976738485112 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17458] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17458/stat : 17458 (java) S 17452 17455 11533 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976677214376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17459] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17459/stat : 17459 (java) S 17452 17455 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976580479272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17460] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17460/stat : 17460 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976579426728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17461] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17461/stat : 17461 (java) S 17452 17455 11533 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976578374184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17462] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17462/stat : 17462 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976577321640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17463] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17463/stat : 17463 (java) S 17452 17455 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976576269096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17464] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17464/stat : 17464 (java) S 17452 17455 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976575216552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17455/tid=17465] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17465/stat : 17465 (java) S 17452 17455 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9928772 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976574164008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17466] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17466/stat : 17466 (java) S 17452 17455 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9928773 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976561965160 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17455/tid=17467] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17467/stat : 17467 (java) S 17452 17455 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9928774 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976560911480 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17468] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17468/stat : 17468 (java) S 17452 17455 11533 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 9928774 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976559858824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17469] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17469/stat : 17469 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928776 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976558807568 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17470] ppid=17452 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/17455/task/17470/stat : 17470 (java) S 17452 17455 11533 0 -1 4202560 7953 0 0 0 88 2 0 0 20 0 19 0 9928776 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976557754936 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17471] ppid=17452 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/17455/task/17471/stat : 17471 (java) S 17452 17455 11533 0 -1 4202560 7748 0 0 0 84 2 0 0 20 0 19 0 9928776 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976556702392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17455/tid=17472] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17472/stat : 17472 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9928776 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976555650040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17473] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17473/stat : 17473 (java) S 17452 17455 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9928776 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976554597704 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17477] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17477/stat : 17477 (java) S 17452 17455 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9928806 10060525568 44791 33554432000 1073741824 1073778376 140736207988992 139976550384808 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 9824732
################
# More data... #
################
[pid=17455/tid=17545] ppid=17452 vsize=9824732 CPUtime=1575.49 cores=1,3,5,7
/proc/17455/task/17545/stat : 17545 (java) R 17452 17455 11533 0 -1 4202560 4058 0 0 0 157486 63 0 0 20 0 21 0 9930017 10060525568 988721 33554432000 1073741824 1073778376 140736207988992 139976552489008 139976678979113 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17546] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17546/stat : 17546 (java) S 17452 17455 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9930018 10060525568 988721 33554432000 1073741824 1073778376 140736207988992 139976551437096 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1620.13
Current children cumulated vsize (KiB) 9824732
[startup+1662.3 s]
/proc/loadavg: 3.39 3.08 2.70 4/218 17811
/proc/meminfo: memFree=25454344/32872528 swapFree=162364/176672
[pid=17455] ppid=17452 vsize=9824732 CPUtime=1681.22 cores=1,3,5,7
/proc/17455/stat : 17455 (java) S 17452 17455 11533 0 -1 4202496 36570 0 1 0 167765 357 0 0 20 0 21 0 9928770 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 140736207980128 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17455/statm: 2456183 997495 2295 9 0 2446860 0
[pid=17455/tid=17457] ppid=17452 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/17455/task/17457/stat : 17457 (java) S 17452 17455 11533 0 -1 4202560 2569 0 1 0 78 26 0 0 20 0 21 0 9928771 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976738485224 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17458] ppid=17452 vsize=9824732 CPUtime=4.13 cores=1,3,5,7
/proc/17455/task/17458/stat : 17458 (java) S 17452 17455 11533 0 -1 4202560 720 0 0 0 383 30 0 0 20 0 21 0 9928772 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976677214376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17459] ppid=17452 vsize=9824732 CPUtime=4.05 cores=1,3,5,7
/proc/17455/task/17459/stat : 17459 (java) S 17452 17455 11533 0 -1 4202560 612 0 0 0 378 27 0 0 20 0 21 0 9928772 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976580479272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17460] ppid=17452 vsize=9824732 CPUtime=3.84 cores=1,3,5,7
/proc/17455/task/17460/stat : 17460 (java) S 17452 17455 11533 0 -1 4202560 561 0 0 0 361 23 0 0 20 0 21 0 9928772 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976579426728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17461] ppid=17452 vsize=9824732 CPUtime=4.11 cores=1,3,5,7
/proc/17455/task/17461/stat : 17461 (java) S 17452 17455 11533 0 -1 4202560 805 0 0 0 378 33 0 0 20 0 21 0 9928772 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976578374184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17462] ppid=17452 vsize=9824732 CPUtime=4.05 cores=1,3,5,7
/proc/17455/task/17462/stat : 17462 (java) S 17452 17455 11533 0 -1 4202560 736 0 0 0 376 29 0 0 20 0 21 0 9928772 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976577321640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17455/tid=17463] ppid=17452 vsize=9824732 CPUtime=3.97 cores=1,3,5,7
/proc/17455/task/17463/stat : 17463 (java) S 17452 17455 11533 0 -1 4202560 612 0 0 0 369 28 0 0 20 0 21 0 9928772 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976576269096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17455/tid=17464] ppid=17452 vsize=9824732 CPUtime=3.81 cores=1,3,5,7
/proc/17455/task/17464/stat : 17464 (java) S 17452 17455 11533 0 -1 4202560 784 0 0 0 354 27 0 0 20 0 21 0 9928772 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976575216552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17455/tid=17465] ppid=17452 vsize=9824732 CPUtime=4.08 cores=1,3,5,7
/proc/17455/task/17465/stat : 17465 (java) S 17452 17455 11533 0 -1 4202560 812 0 0 0 378 30 0 0 20 0 21 0 9928772 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976574164008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17466] ppid=17452 vsize=9824732 CPUtime=6.07 cores=1,3,5,7
/proc/17455/task/17466/stat : 17466 (java) S 17452 17455 11533 0 -1 4202560 2899 0 0 0 600 7 0 0 20 0 21 0 9928773 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976561965160 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17467] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17467/stat : 17467 (java) S 17452 17455 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9928774 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976560911480 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17468] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17468/stat : 17468 (java) S 17452 17455 11533 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 21 0 9928774 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976559858824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17469] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17469/stat : 17469 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9928776 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976558807568 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17470] ppid=17452 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/17455/task/17470/stat : 17470 (java) S 17452 17455 11533 0 -1 4202560 11952 0 0 0 151 3 0 0 20 0 21 0 9928776 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976557754936 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17471] ppid=17452 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/17455/task/17471/stat : 17471 (java) S 17452 17455 11533 0 -1 4202560 7767 0 0 0 106 2 0 0 20 0 21 0 9928776 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976556702392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17455/tid=17472] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17472/stat : 17472 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9928776 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976555650040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17473] ppid=17452 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/17455/task/17473/stat : 17473 (java) S 17452 17455 11533 0 -1 4202560 96 0 0 0 20 33 0 0 20 0 21 0 9928776 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976554597704 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17477] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17477/stat : 17477 (java) S 17452 17455 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9928806 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976550384808 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17545] ppid=17452 vsize=9824732 CPUtime=1635.11 cores=1,3,5,7
/proc/17455/task/17545/stat : 17545 (java) R 17452 17455 11533 0 -1 4202560 4058 0 0 0 163447 64 0 0 20 0 21 0 9930017 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976552488816 139976678827012 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17546] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17546/stat : 17546 (java) S 17452 17455 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9930018 10060525568 997495 33554432000 1073741824 1073778376 140736207988992 139976551437096 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1681.22
Current children cumulated vsize (KiB) 9824732
[startup+1722.3 s]
/proc/loadavg: 2.72 2.97 2.69 4/218 17923
/proc/meminfo: memFree=26673516/32872528 swapFree=162364/176672
[pid=17455] ppid=17452 vsize=9824732 CPUtime=1743.06 cores=1,3,5,7
/proc/17455/stat : 17455 (java) S 17452 17455 11533 0 -1 4202496 37504 0 1 0 173945 361 0 0 20 0 21 0 9928770 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 140736207980128 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17455/statm: 2456183 1003513 2295 9 0 2446860 0
[pid=17455/tid=17457] ppid=17452 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/17455/task/17457/stat : 17457 (java) S 17452 17455 11533 0 -1 4202560 2573 0 1 0 80 27 0 0 20 0 21 0 9928771 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976738485224 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17458] ppid=17452 vsize=9824732 CPUtime=4.29 cores=1,3,5,7
/proc/17455/task/17458/stat : 17458 (java) S 17452 17455 11533 0 -1 4202560 727 0 0 0 399 30 0 0 20 0 21 0 9928772 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976677214376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17459] ppid=17452 vsize=9824732 CPUtime=4.42 cores=1,3,5,7
/proc/17455/task/17459/stat : 17459 (java) S 17452 17455 11533 0 -1 4202560 616 0 0 0 415 27 0 0 20 0 21 0 9928772 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976580479272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17460] ppid=17452 vsize=9824732 CPUtime=4.23 cores=1,3,5,7
/proc/17455/task/17460/stat : 17460 (java) S 17452 17455 11533 0 -1 4202560 566 0 0 0 399 24 0 0 20 0 21 0 9928772 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976579426728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17461] ppid=17452 vsize=9824732 CPUtime=4.38 cores=1,3,5,7
/proc/17455/task/17461/stat : 17461 (java) S 17452 17455 11533 0 -1 4202560 816 0 0 0 405 33 0 0 20 0 21 0 9928772 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976578374184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17462] ppid=17452 vsize=9824732 CPUtime=4.27 cores=1,3,5,7
/proc/17455/task/17462/stat : 17462 (java) S 17452 17455 11533 0 -1 4202560 745 0 0 0 398 29 0 0 20 0 21 0 9928772 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976577321640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17463] ppid=17452 vsize=9824732 CPUtime=4.17 cores=1,3,5,7
/proc/17455/task/17463/stat : 17463 (java) S 17452 17455 11533 0 -1 4202560 621 0 0 0 389 28 0 0 20 0 21 0 9928772 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976576269096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17455/tid=17464] ppid=17452 vsize=9824732 CPUtime=4.07 cores=1,3,5,7
/proc/17455/task/17464/stat : 17464 (java) S 17452 17455 11533 0 -1 4202560 787 0 0 0 379 28 0 0 20 0 21 0 9928772 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976575216552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17455/tid=17465] ppid=17452 vsize=9824732 CPUtime=4.61 cores=1,3,5,7
/proc/17455/task/17465/stat : 17465 (java) S 17452 17455 11533 0 -1 4202560 817 0 0 0 431 30 0 0 20 0 21 0 9928772 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976574164008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17466] ppid=17452 vsize=9824732 CPUtime=8.41 cores=1,3,5,7
/proc/17455/task/17466/stat : 17466 (java) S 17452 17455 11533 0 -1 4202560 3772 0 0 0 833 8 0 0 20 0 21 0 9928773 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976561965160 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17467] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17467/stat : 17467 (java) S 17452 17455 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9928774 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976560911480 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17468] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17468/stat : 17468 (java) S 17452 17455 11533 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 21 0 9928774 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976559858824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17469] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17469/stat : 17469 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9928776 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976558807568 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17470] ppid=17452 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/17455/task/17470/stat : 17470 (java) S 17452 17455 11533 0 -1 4202560 11952 0 0 0 151 3 0 0 20 0 21 0 9928776 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976557754936 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17471] ppid=17452 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/17455/task/17471/stat : 17471 (java) S 17452 17455 11533 0 -1 4202560 7767 0 0 0 106 2 0 0 20 0 21 0 9928776 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976556702392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17455/tid=17472] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17472/stat : 17472 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9928776 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976555650040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17473] ppid=17452 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/17455/task/17473/stat : 17473 (java) S 17452 17455 11533 0 -1 4202560 100 0 0 0 21 34 0 0 20 0 21 0 9928776 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976554597704 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17477] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17477/stat : 17477 (java) S 17452 17455 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9928806 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976550384808 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17545] ppid=17452 vsize=9824732 CPUtime=1692.17 cores=1,3,5,7
/proc/17455/task/17545/stat : 17545 (java) R 17452 17455 11533 0 -1 4202560 4058 0 0 0 169152 65 0 0 20 0 21 0 9930017 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976552489008 139976678828562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17546] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17546/stat : 17546 (java) S 17452 17455 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9930018 10060525568 1003513 33554432000 1073741824 1073778376 140736207988992 139976551437096 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1743.06
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1778.6 s]
/proc/loadavg: 2.34 2.82 2.65 3/218 18047
/proc/meminfo: memFree=24705600/32872528 swapFree=162364/176672
[pid=17455] ppid=17452 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7
/proc/17455/stat : 17455 (java) S 17452 17455 11533 0 -1 4202496 37767 0 1 0 179645 364 0 0 20 0 21 0 9928770 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 140736207980128 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17455/statm: 2456183 1011923 2295 9 0 2446860 0
[pid=17455/tid=17457] ppid=17452 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/17455/task/17457/stat : 17457 (java) S 17452 17455 11533 0 -1 4202560 2575 0 1 0 81 28 0 0 20 0 21 0 9928771 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976738485224 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17458] ppid=17452 vsize=9824732 CPUtime=4.4 cores=1,3,5,7
/proc/17455/task/17458/stat : 17458 (java) S 17452 17455 11533 0 -1 4202560 752 0 0 0 410 30 0 0 20 0 21 0 9928772 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976677214376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17459] ppid=17452 vsize=9824732 CPUtime=4.52 cores=1,3,5,7
/proc/17455/task/17459/stat : 17459 (java) S 17452 17455 11533 0 -1 4202560 633 0 0 0 425 27 0 0 20 0 21 0 9928772 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976580479272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17460] ppid=17452 vsize=9824732 CPUtime=4.33 cores=1,3,5,7
/proc/17455/task/17460/stat : 17460 (java) S 17452 17455 11533 0 -1 4202560 571 0 0 0 409 24 0 0 20 0 21 0 9928772 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976579426728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17461] ppid=17452 vsize=9824732 CPUtime=4.62 cores=1,3,5,7
/proc/17455/task/17461/stat : 17461 (java) S 17452 17455 11533 0 -1 4202560 951 0 0 0 428 34 0 0 20 0 21 0 9928772 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976578374184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17462] ppid=17452 vsize=9824732 CPUtime=4.38 cores=1,3,5,7
/proc/17455/task/17462/stat : 17462 (java) S 17452 17455 11533 0 -1 4202560 765 0 0 0 408 30 0 0 20 0 21 0 9928772 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976577321640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17463] ppid=17452 vsize=9824732 CPUtime=4.27 cores=1,3,5,7
/proc/17455/task/17463/stat : 17463 (java) S 17452 17455 11533 0 -1 4202560 640 0 0 0 399 28 0 0 20 0 21 0 9928772 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976576269096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17455/tid=17464] ppid=17452 vsize=9824732 CPUtime=4.17 cores=1,3,5,7
/proc/17455/task/17464/stat : 17464 (java) S 17452 17455 11533 0 -1 4202560 806 0 0 0 389 28 0 0 20 0 21 0 9928772 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976575216552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17465] ppid=17452 vsize=9824732 CPUtime=4.71 cores=1,3,5,7
/proc/17455/task/17465/stat : 17465 (java) S 17452 17455 11533 0 -1 4202560 829 0 0 0 441 30 0 0 20 0 21 0 9928772 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976574164008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17455/tid=17466] ppid=17452 vsize=9824732 CPUtime=8.41 cores=1,3,5,7
/proc/17455/task/17466/stat : 17466 (java) S 17452 17455 11533 0 -1 4202560 3778 0 0 0 833 8 0 0 20 0 21 0 9928773 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976561965160 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17467] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17467/stat : 17467 (java) S 17452 17455 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9928774 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976560911480 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17468] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17468/stat : 17468 (java) S 17452 17455 11533 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 21 0 9928774 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976559858824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17469] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17469/stat : 17469 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9928776 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976558807568 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17470] ppid=17452 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/17455/task/17470/stat : 17470 (java) S 17452 17455 11533 0 -1 4202560 11952 0 0 0 151 3 0 0 20 0 21 0 9928776 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976557754936 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17455/tid=17471] ppid=17452 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/17455/task/17471/stat : 17471 (java) S 17452 17455 11533 0 -1 4202560 7767 0 0 0 106 2 0 0 20 0 21 0 9928776 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976556702392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17455/tid=17472] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17472/stat : 17472 (java) S 17452 17455 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9928776 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976555650040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17473] ppid=17452 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/17455/task/17473/stat : 17473 (java) S 17452 17455 11533 0 -1 4202560 102 0 0 0 22 36 0 0 20 0 21 0 9928776 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976554597704 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17455/tid=17477] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17477/stat : 17477 (java) S 17452 17455 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9928806 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976550384808 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17545] ppid=17452 vsize=9824732 CPUtime=1748.23 cores=1,3,5,7
/proc/17455/task/17545/stat : 17545 (java) R 17452 17455 11533 0 -1 4202560 4059 0 0 0 174757 66 0 0 20 0 21 0 9930017 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976552489024 139976678828511 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17455/tid=17546] ppid=17452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17455/task/17546/stat : 17546 (java) S 17452 17455 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9930018 10060525568 1011923 33554432000 1073741824 1073778376 140736207988992 139976551437096 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 17455 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1778.65
CPU time (s): 1800.96
CPU user time (s): 1796.7
CPU system time (s): 4.26335
CPU usage (%): 101.255
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.7
system time used= 4.26335
maximum resident set size= 4047800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37804
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78743
involuntary context switches= 52289
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1402 second user time and 16.7075 second system time
The end