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-4105648-1466263087/watcher-4105648-1466263087 -o /tmp/evaluation-result-4105648-1466263087/solver-4105648-1466263087 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466259510-25912 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4105648-1466263087.opb
pid=26526
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.18 2.13 2.14 4/194 26529
/proc/meminfo: memFree=30251024/32872528 swapFree=1191052/1305516
[pid=26529] ppid=26526 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (java) S 26526 26529 20157 0 -1 4202496 1287 0 0 0 0 0 0 0 20 0 2 0 28355387 95129600 920 33554432000 1073741824 1073778376 140733748431840 140733748422976 214540779581 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 23225 925 701 9 0 16769 0
[pid=26529/tid=26530] ppid=26526 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26530/stat : 26530 (java) R 26526 26529 20157 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 28355388 95129600 927 33554432000 1073741824 1073778376 140733748431840 140682858610216 214528257834 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.100177 s]
/proc/loadavg: 2.18 2.13 2.14 4/194 26529
/proc/meminfo: memFree=30251024/32872528 swapFree=1191052/1305516
[pid=26529] ppid=26526 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/26529/stat : 26529 (java) S 26526 26529 20157 0 -1 4202496 4517 0 1 0 9 1 0 0 20 0 18 0 28355387 9787879424 5632 33554432000 1073741824 1073778376 140733748431840 140733748422976 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2389619 5632 2155 9 0 2380296 0
[pid=26529/tid=26530] ppid=26526 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/26529/task/26530/stat : 26530 (java) R 26526 26529 20157 0 -1 4202560 2426 0 1 0 6 1 0 0 20 0 18 0 28355388 9787879424 5632 33554432000 1073741824 1073778376 140733748431840 140682858613016 214540805389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200377 s]
/proc/loadavg: 2.18 2.13 2.14 4/194 26529
/proc/meminfo: memFree=30251024/32872528 swapFree=1191052/1305516
[pid=26529] ppid=26526 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/26529/stat : 26529 (java) S 26526 26529 20157 0 -1 4202496 5204 0 1 0 27 2 0 0 20 0 18 0 28355387 9787879424 7225 33554432000 1073741824 1073778376 140733748431840 140733748422976 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2389619 7225 2219 9 0 2380296 0
[pid=26529/tid=26530] ppid=26526 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/26529/task/26530/stat : 26530 (java) R 26526 26529 20157 0 -1 4202560 2443 0 1 0 16 1 0 0 20 0 18 0 28355388 9787879424 7226 33554432000 1073741824 1073778376 140733748431840 140682858613016 140682798391177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476
[startup+0.300393 s]
/proc/loadavg: 2.18 2.13 2.14 4/194 26529
/proc/meminfo: memFree=30251024/32872528 swapFree=1191052/1305516
[pid=26529] ppid=26526 vsize=9558476 CPUtime=0.52 cores=1,3,5,7
/proc/26529/stat : 26529 (java) S 26526 26529 20157 0 -1 4202496 6235 0 1 0 50 2 0 0 20 0 18 0 28355387 9787879424 8995 33554432000 1073741824 1073778376 140733748431840 140733748422976 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2389619 8995 2233 9 0 2380296 0
[pid=26529/tid=26530] ppid=26526 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/26529/task/26530/stat : 26530 (java) R 26526 26529 20157 0 -1 4202560 2447 0 1 0 26 1 0 0 20 0 18 0 28355388 9787879424 8995 33554432000 1073741824 1073778376 140733748431840 140682858606480 140682798564460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476
[startup+0.700315 s]
/proc/loadavg: 2.18 2.13 2.14 4/194 26529
/proc/meminfo: memFree=30251024/32872528 swapFree=1191052/1305516
[pid=26529] ppid=26526 vsize=9558476 CPUtime=1.15 cores=1,3,5,7
/proc/26529/stat : 26529 (java) S 26526 26529 20157 0 -1 4202496 7760 0 1 0 110 5 0 0 20 0 18 0 28355387 9787879424 41289 33554432000 1073741824 1073778376 140733748431840 140733748422976 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2389619 41289 2261 9 0 2380296 0
[pid=26529/tid=26530] ppid=26526 vsize=9558476 CPUtime=0.64 cores=1,3,5,7
/proc/26529/task/26530/stat : 26530 (java) R 26526 26529 20157 0 -1 4202560 2508 0 1 0 61 3 0 0 20 0 18 0 28355388 9787879424 41289 33554432000 1073741824 1073778376 140733748431840 140682858614312 214540805389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9558476
[startup+1.50082 s]
/proc/loadavg: 2.18 2.13 2.14 4/212 26547
/proc/meminfo: memFree=30073492/32872528 swapFree=1191052/1305516
[pid=26529] ppid=26526 vsize=9558476 CPUtime=2.03 cores=1,3,5,7
/proc/26529/stat : 26529 (java) S 26526 26529 20157 0 -1 4202496 7845 0 1 0 194 9 0 0 20 0 18 0 28355387 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140733748422976 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2389619 64851 2261 9 0 2380296 0
[pid=26529/tid=26530] ppid=26526 vsize=9558476 CPUtime=1.42 cores=1,3,5,7
/proc/26529/task/26530/stat : 26530 (java) R 26526 26529 20157 0 -1 4202560 2545 0 1 0 137 5 0 0 20 0 18 0 28355388 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140682858606544 140682798754375 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26532] ppid=26526 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/26529/task/26532/stat : 26532 (java) S 26526 26529 20157 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 18 0 28355388 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140682797345704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26533] ppid=26526 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/26529/task/26533/stat : 26533 (java) S 26526 26529 20157 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 28355388 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140682796293160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26529/tid=26534] ppid=26526 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/26529/task/26534/stat : 26534 (java) S 26526 26529 20157 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 18 0 28355388 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140682699946664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26535] ppid=26526 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/26529/task/26535/stat : 26535 (java) S 26526 26529 20157 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 28355388 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140682698894120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26529/tid=26536] ppid=26526 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/26529/task/26536/stat : 26536 (java) S 26526 26529 20157 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 28355388 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140682697841064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26537] ppid=26526 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/26529/task/26537/stat : 26537 (java) S 26526 26529 20157 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 28355388 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140682696788520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26538] ppid=26526 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/26529/task/26538/stat : 26538 (java) S 26526 26529 20157 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 28355388 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140682695735464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26539] ppid=26526 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26539/stat : 26539 (java) S 26526 26529 20157 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 28355388 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140682694682920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26540] ppid=26526 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26540/stat : 26540 (java) S 26526 26529 20157 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 28355389 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140682682485608 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26541] ppid=26526 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26541/stat : 26541 (java) S 26526 26529 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 28355390 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140682681431928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26542] ppid=26526 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26542/stat : 26542 (java) S 26526 26529 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 28355390 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140682680378760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26543] ppid=26526 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26543/stat : 26543 (java) S 26526 26529 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 28355392 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140682679327504 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26544] ppid=26526 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/26529/task/26544/stat : 26544 (java) S 26526 26529 20157 0 -1 4202560 2428 0 0 0 21 0 0 0 20 0 18 0 28355392 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140682678274360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26545] ppid=26526 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/26529/task/26545/stat : 26545 (java) S 26526 26529 20157 0 -1 4202560 1456 0 0 0 16 0 0 0 20 0 18 0 28355392 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140682677221816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26546] ppid=26526 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26546/stat : 26546 (java) S 26526 26529 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 28355392 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140682676168952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26547] ppid=26526 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26547/stat : 26547 (java) S 26526 26529 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 28355392 9787879424 64851 33554432000 1073741824 1073778376 140733748431840 140682675116616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9558476
[startup+3.10094 s]
/proc/loadavg: 2.18 2.13 2.14 5/212 26547
/proc/meminfo: memFree=29900524/32872528 swapFree=1191052/1305516
[pid=26529] ppid=26526 vsize=9625040 CPUtime=4.41 cores=1,3,5,7
/proc/26529/stat : 26529 (java) S 26526 26529 20157 0 -1 4202496 17278 0 1 0 423 18 0 0 20 0 19 0 28355387 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140733748422976 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2406260 90273 2277 9 0 2396937 0
[pid=26529/tid=26530] ppid=26526 vsize=9625040 CPUtime=2.95 cores=1,3,5,7
/proc/26529/task/26530/stat : 26530 (java) R 26526 26529 20157 0 -1 4202560 2580 0 1 0 290 5 0 0 20 0 19 0 28355388 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140682858614760 140682798942085 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=26529/tid=26532] ppid=26526 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26529/task/26532/stat : 26532 (java) S 26526 26529 20157 0 -1 4202560 27 0 0 0 2 0 0 0 20 0 19 0 28355388 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140682797345704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26533] ppid=26526 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/26529/task/26533/stat : 26533 (java) S 26526 26529 20157 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 28355388 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140682796293160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26529/tid=26534] ppid=26526 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/26529/task/26534/stat : 26534 (java) S 26526 26529 20157 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 19 0 28355388 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140682699946664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26535] ppid=26526 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/26529/task/26535/stat : 26535 (java) S 26526 26529 20157 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 19 0 28355388 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140682698894120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26536] ppid=26526 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26529/task/26536/stat : 26536 (java) S 26526 26529 20157 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 28355388 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140682697841064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26537] ppid=26526 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/26529/task/26537/stat : 26537 (java) S 26526 26529 20157 0 -1 4202560 35 0 0 0 5 2 0 0 20 0 19 0 28355388 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140682696788520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26538] ppid=26526 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/26529/task/26538/stat : 26538 (java) S 26526 26529 20157 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 19 0 28355388 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140682695735464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26539] ppid=26526 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26529/task/26539/stat : 26539 (java) S 26526 26529 20157 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 28355388 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140682694682920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26540] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26540/stat : 26540 (java) S 26526 26529 20157 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 28355389 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140682682485608 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26529/tid=26541] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26541/stat : 26541 (java) S 26526 26529 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28355390 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140682681431928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26542] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26542/stat : 26542 (java) S 26526 26529 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28355390 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140682680378760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26543] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26543/stat : 26543 (java) S 26526 26529 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28355392 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140682679327504 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26544] ppid=26526 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/26529/task/26544/stat : 26544 (java) S 26526 26529 20157 0 -1 4202560 9488 0 0 0 58 3 0 0 20 0 19 0 28355392 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140682678274360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26545] ppid=26526 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/26529/task/26545/stat : 26545 (java) S 26526 26529 20157 0 -1 4202560 3568 0 0 0 41 0 0 0 20 0 19 0 28355392 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140682677221816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26546] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26546/stat : 26546 (java) S 26526 26529 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28355392 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140682676168952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26547] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26547/stat : 26547 (java) S 26526 26529 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28355392 9856040960 90273 33554432000 1073741824 1073778376 140733748431840 140682675116616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 9625040
[startup+6.30079 s]
/proc/loadavg: 2.25 2.14 2.14 4/213 26548
/proc/meminfo: memFree=29896240/32872528 swapFree=1191052/1305516
[pid=26529] ppid=26526 vsize=9625040 CPUtime=7.67 cores=1,3,5,7
/proc/26529/stat : 26529 (java) S 26526 26529 20157 0 -1 4202496 17291 0 1 0 749 18 0 0 20 0 19 0 28355387 9856040960 90282 33554432000 1073741824 1073778376 140733748431840 140733748422976 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2406260 90282 2277 9 0 2396937 0
[pid=26529/tid=26530] ppid=26526 vsize=9625040 CPUtime=6.15 cores=1,3,5,7
/proc/26529/task/26530/stat : 26530 (java) R 26526 26529 20157 0 -1 4202560 2585 0 1 0 609 6 0 0 20 0 19 0 28355388 9856040960 90282 33554432000 1073741824 1073778376 140733748431840 140682858612992 140682799164546 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26532] ppid=26526 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26529/task/26532/stat : 26532 (java) S 26526 26529 20157 0 -1 4202560 27 0 0 0 2 0 0 0 20 0 19 0 28355388 9856040960 90282 33554432000 1073741824 1073778376 140733748431840 140682797345704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26533] ppid=26526 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/26529/task/26533/stat : 26533 (java) S 26526 26529 20157 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 28355388 9856040960 90282 33554432000 1073741824 1073778376 140733748431840 140682796293160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26529/tid=26534] ppid=26526 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/26529/task/26534/stat : 26534 (java) S 26526 26529 20157 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 19 0 28355388 9856040960 90282 33554432000 1073741824 1073778376 140733748431840 140682699946664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26535] ppid=26526 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/26529/task/26535/stat : 26535 (java) S 26526 26529 20157 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 19 0 28355388 9856040960 90282 33554432000 1073741824 1073778376 140733748431840 140682698894120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26536] ppid=26526 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26529/task/26536/stat : 26536 (java) S 26526 26529 20157 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 28355388 9856040960 90282 33554432000 1073741824 1073778376 140733748431840 140682697841064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26537] ppid=26526 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/26529/task/26537/stat : 26537 (java) S 26526 26529 20157 0 -1 4202560 35 0 0 0 5 2 0 0 20 0 19 0 28355388 9856040960 90282 33554432000 1073741824 1073778376 140733748431840 140682696788520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26538] ppid=26526 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/26529/task/26538/stat : 26538 (java) S 26526 26529 20157 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 19 0 28355388 9856040960 90282 33554432000 1073741824 1073778376 140733748431840 140682695735464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26539] ppid=26526 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26529/task/26539/stat : 26539 (java) S 26526 26529 20157 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 28355388 9856040960 90282 33554432000 1073741824 1073778376 140733748431840 140682694682920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26540] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26540/stat : 26540 (java) S 26526 26529 20157 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 28355389 9856040960 90282 33554432000 1073741824 1073778376 140733748431840 140682682485608 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26541] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26541/stat : 26541 (java) S 26526 26529 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28355390 9856040960 90282 33554432000 1073741824 1073778376 140733748431840 140682681431928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26542] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26542/stat : 26542 (java) S 26526 26529 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28355390 9856040960 90282 33554432000 1073741824 1073778376 140733748431840 140682680378760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26543] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26543/stat : 26543 (java) S 26526 26529 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28355392 9856040960 90282 33554432000 1073741824 1073778376 140733748431840 140682679327504 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26544] ppid=26526 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/26529/task/26544/stat : 26544 (java) S 26526 26529 20157 0 -1 4202560 9490 0 0 0 60 3 0 0 20 0 19 0 28355392 9856040960 90282 33554432000 1073741824 1073778376 140733748431840 140682678274360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26545] ppid=26526 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/26529/task/26545/stat : 26545 (java) S 26526 26529 20157 0 -1 4202560 3573 0 0 0 45 0 0 0 20 0 19 0 28355392 9856040960 90282 33554432000 1073741824 1073778376 140733748431840 140682677221816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26546] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26546/stat : 26546 (java) S 26526 26529 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28355392 9856040960 90282 33554432000 1073741824 1073778376 140733748431840 140682676168952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26547] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=26529/tid=26548] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26548/stat : 26548 (java) S 26526 26529 20157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28355630 9856040960 600588 33554432000 1073741824 1073778376 140733748431840 140682674062888 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1667
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.12 2.15 2.16 3/213 26656
/proc/meminfo: memFree=25306028/32872528 swapFree=1191052/1305516
[pid=26529] ppid=26526 vsize=9625040 CPUtime=1727.24 cores=1,3,5,7
/proc/26529/stat : 26529 (java) S 26526 26529 20157 0 -1 4202496 21103 0 1 0 172602 122 0 0 20 0 19 0 28355387 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140733748422976 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2406260 603799 2281 9 0 2396937 0
[pid=26529/tid=26530] ppid=26526 vsize=9625040 CPUtime=1715.61 cores=1,3,5,7
/proc/26529/task/26530/stat : 26530 (java) R 26526 26529 20157 0 -1 4202560 4341 0 1 0 171494 67 0 0 20 0 19 0 28355388 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682858613792 140682799164606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26532] ppid=26526 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/26529/task/26532/stat : 26532 (java) S 26526 26529 20157 0 -1 4202560 133 0 0 0 62 7 0 0 20 0 19 0 28355388 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682797345704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26533] ppid=26526 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/26529/task/26533/stat : 26533 (java) S 26526 26529 20157 0 -1 4202560 117 0 0 0 65 7 0 0 20 0 19 0 28355388 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682796293160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26534] ppid=26526 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/26529/task/26534/stat : 26534 (java) S 26526 26529 20157 0 -1 4202560 94 0 0 0 64 6 0 0 20 0 19 0 28355388 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682699946664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26535] ppid=26526 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/26529/task/26535/stat : 26535 (java) S 26526 26529 20157 0 -1 4202560 117 0 0 0 66 7 0 0 20 0 19 0 28355388 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682698894120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26529/tid=26536] ppid=26526 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/26529/task/26536/stat : 26536 (java) S 26526 26529 20157 0 -1 4202560 93 0 0 0 64 6 0 0 20 0 19 0 28355388 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682697841064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26537] ppid=26526 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/26529/task/26537/stat : 26537 (java) S 26526 26529 20157 0 -1 4202560 165 0 0 0 67 6 0 0 20 0 19 0 28355388 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682696788520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26538] ppid=26526 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/26529/task/26538/stat : 26538 (java) S 26526 26529 20157 0 -1 4202560 152 0 0 0 59 5 0 0 20 0 19 0 28355388 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682695735464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26539] ppid=26526 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/26529/task/26539/stat : 26539 (java) S 26526 26529 20157 0 -1 4202560 88 0 0 0 62 6 0 0 20 0 19 0 28355388 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682694682920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26529/tid=26540] ppid=26526 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/26529/task/26540/stat : 26540 (java) S 26526 26529 20157 0 -1 4202560 1358 0 0 0 3 6 0 0 20 0 19 0 28355389 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682682485608 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26541] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26541/stat : 26541 (java) S 26526 26529 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28355390 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682681431928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26542] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26542/stat : 26542 (java) S 26526 26529 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28355390 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682680378760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26543] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26543/stat : 26543 (java) S 26526 26529 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28355392 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682679327504 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26544] ppid=26526 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/26529/task/26544/stat : 26544 (java) S 26526 26529 20157 0 -1 4202560 9507 0 0 0 68 3 0 0 20 0 19 0 28355392 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682678274360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26545] ppid=26526 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/26529/task/26545/stat : 26545 (java) S 26526 26529 20157 0 -1 4202560 3575 0 0 0 47 0 0 0 20 0 19 0 28355392 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682677221816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26546] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26546/stat : 26546 (java) S 26526 26529 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28355392 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682676168952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26547] ppid=26526 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/26529/task/26547/stat : 26547 (java) S 26526 26529 20157 0 -1 4202560 99 0 0 0 25 29 0 0 20 0 19 0 28355392 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682675116616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26548] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26548/stat : 26548 (java) S 26526 26529 20157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28355630 9856040960 603799 33554432000 1073741824 1073778376 140733748431840 140682674062888 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1727.24
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.23 2.18 2.17 3/213 26658
/proc/meminfo: memFree=25310592/32872528 swapFree=1191052/1305516
[pid=26529] ppid=26526 vsize=9625040 CPUtime=1787.67 cores=1,3,5,7
/proc/26529/stat : 26529 (java) S 26526 26529 20157 0 -1 4202496 25135 0 1 0 178642 125 0 0 20 0 19 0 28355387 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140733748422976 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2406260 604467 2289 9 0 2396937 0
[pid=26529/tid=26530] ppid=26526 vsize=9625040 CPUtime=1775.04 cores=1,3,5,7
/proc/26529/task/26530/stat : 26530 (java) R 26526 26529 20157 0 -1 4202560 4367 0 1 0 177437 67 0 0 20 0 19 0 28355388 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682858613792 140682798941964 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26532] ppid=26526 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/26529/task/26532/stat : 26532 (java) S 26526 26529 20157 0 -1 4202560 135 0 0 0 70 7 0 0 20 0 19 0 28355388 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682797345704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26533] ppid=26526 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/26529/task/26533/stat : 26533 (java) S 26526 26529 20157 0 -1 4202560 232 0 0 0 74 7 0 0 20 0 19 0 28355388 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682796293160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26534] ppid=26526 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/26529/task/26534/stat : 26534 (java) S 26526 26529 20157 0 -1 4202560 95 0 0 0 72 6 0 0 20 0 19 0 28355388 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682699946664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26535] ppid=26526 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/26529/task/26535/stat : 26535 (java) S 26526 26529 20157 0 -1 4202560 243 0 0 0 75 7 0 0 20 0 19 0 28355388 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682698894120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26529/tid=26536] ppid=26526 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/26529/task/26536/stat : 26536 (java) S 26526 26529 20157 0 -1 4202560 94 0 0 0 72 6 0 0 20 0 19 0 28355388 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682697841064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26537] ppid=26526 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/26529/task/26537/stat : 26537 (java) S 26526 26529 20157 0 -1 4202560 263 0 0 0 74 7 0 0 20 0 19 0 28355388 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682696788520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26529/tid=26538] ppid=26526 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/26529/task/26538/stat : 26538 (java) S 26526 26529 20157 0 -1 4202560 154 0 0 0 69 5 0 0 20 0 19 0 28355388 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682695735464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26539] ppid=26526 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/26529/task/26539/stat : 26539 (java) S 26526 26529 20157 0 -1 4202560 209 0 0 0 71 6 0 0 20 0 19 0 28355388 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682694682920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26540] ppid=26526 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/26529/task/26540/stat : 26540 (java) S 26526 26529 20157 0 -1 4202560 4894 0 0 0 19 6 0 0 20 0 19 0 28355389 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682682485608 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26541] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26541/stat : 26541 (java) S 26526 26529 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28355390 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682681431928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26542] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26542/stat : 26542 (java) S 26526 26529 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28355390 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682680378760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26543] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26543/stat : 26543 (java) S 26526 26529 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28355392 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682679327504 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26544] ppid=26526 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/26529/task/26544/stat : 26544 (java) S 26526 26529 20157 0 -1 4202560 9507 0 0 0 68 3 0 0 20 0 19 0 28355392 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682678274360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26545] ppid=26526 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/26529/task/26545/stat : 26545 (java) S 26526 26529 20157 0 -1 4202560 3575 0 0 0 47 0 0 0 20 0 19 0 28355392 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682677221816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26546] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26546/stat : 26546 (java) S 26526 26529 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28355392 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682676168952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26547] ppid=26526 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/26529/task/26547/stat : 26547 (java) S 26526 26529 20157 0 -1 4202560 103 0 0 0 26 30 0 0 20 0 19 0 28355392 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682675116616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26548] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26548/stat : 26548 (java) S 26526 26529 20157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28355630 9856040960 604467 33554432000 1073741824 1073778376 140733748431840 140682674062888 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1787.67
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.6 s]
/proc/loadavg: 2.18 2.17 2.16 4/213 26658
/proc/meminfo: memFree=25314308/32872528 swapFree=1191052/1305516
[pid=26529] ppid=26526 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/26529/stat : 26529 (java) S 26526 26529 20157 0 -1 4202496 25143 0 1 0 179883 125 0 0 20 0 19 0 28355387 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140733748422976 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2406260 603649 2289 9 0 2396937 0
[pid=26529/tid=26530] ppid=26526 vsize=9625040 CPUtime=1787.24 cores=1,3,5,7
/proc/26529/task/26530/stat : 26530 (java) R 26526 26529 20157 0 -1 4202560 4374 0 1 0 178656 68 0 0 20 0 19 0 28355388 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682858613776 140682798941982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26532] ppid=26526 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/26529/task/26532/stat : 26532 (java) S 26526 26529 20157 0 -1 4202560 135 0 0 0 71 7 0 0 20 0 19 0 28355388 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682797345704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26533] ppid=26526 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/26529/task/26533/stat : 26533 (java) S 26526 26529 20157 0 -1 4202560 232 0 0 0 77 7 0 0 20 0 19 0 28355388 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682796293160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26529/tid=26534] ppid=26526 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/26529/task/26534/stat : 26534 (java) S 26526 26529 20157 0 -1 4202560 95 0 0 0 75 6 0 0 20 0 19 0 28355388 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682699946664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26535] ppid=26526 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/26529/task/26535/stat : 26535 (java) S 26526 26529 20157 0 -1 4202560 243 0 0 0 78 7 0 0 20 0 19 0 28355388 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682698894120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26529/tid=26536] ppid=26526 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/26529/task/26536/stat : 26536 (java) S 26526 26529 20157 0 -1 4202560 94 0 0 0 75 6 0 0 20 0 19 0 28355388 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682697841064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26537] ppid=26526 vsize=9625040 CPUtime=0.83 cores=1,3,5,7
/proc/26529/task/26537/stat : 26537 (java) S 26526 26529 20157 0 -1 4202560 263 0 0 0 76 7 0 0 20 0 19 0 28355388 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682696788520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26538] ppid=26526 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/26529/task/26538/stat : 26538 (java) S 26526 26529 20157 0 -1 4202560 154 0 0 0 70 5 0 0 20 0 19 0 28355388 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682695735464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26539] ppid=26526 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/26529/task/26539/stat : 26539 (java) S 26526 26529 20157 0 -1 4202560 210 0 0 0 74 6 0 0 20 0 19 0 28355388 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682694682920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26540] ppid=26526 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/26529/task/26540/stat : 26540 (java) S 26526 26529 20157 0 -1 4202560 4894 0 0 0 19 7 0 0 20 0 19 0 28355389 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682682485608 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26541] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26541/stat : 26541 (java) S 26526 26529 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28355390 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682681431928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26542] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26542/stat : 26542 (java) S 26526 26529 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28355390 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682680378760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26543] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26543/stat : 26543 (java) S 26526 26529 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28355392 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682679327504 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26544] ppid=26526 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/26529/task/26544/stat : 26544 (java) S 26526 26529 20157 0 -1 4202560 9507 0 0 0 68 3 0 0 20 0 19 0 28355392 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682678274360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26529/tid=26545] ppid=26526 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/26529/task/26545/stat : 26545 (java) S 26526 26529 20157 0 -1 4202560 3575 0 0 0 47 0 0 0 20 0 19 0 28355392 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682677221816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26546] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26546/stat : 26546 (java) S 26526 26529 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28355392 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682676168952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26529/tid=26547] ppid=26526 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/26529/task/26547/stat : 26547 (java) S 26526 26529 20157 0 -1 4202560 103 0 0 0 26 30 0 0 20 0 19 0 28355392 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682675116616 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26529/tid=26548] ppid=26526 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26529/task/26548/stat : 26548 (java) S 26526 26529 20157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28355630 9856040960 603649 33554432000 1073741824 1073778376 140733748431840 140682674062888 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040
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 26529 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 26529 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=258231
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=722738
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1794.62
CPU time (s): 1800.08
CPU user time (s): 1798.83
CPU system time (s): 1.25
CPU usage (%): 100.304
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.26
system time used= 1.72274
maximum resident set size= 2811268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25175
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45080
involuntary context switches= 27709
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8823 second user time and 12.894 second system time
The end