runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3710021-1338214749/watcher-3710021-1338214749 -o /tmp/evaluation-result-3710021-1338214749/solver-3710021-1338214749 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710021-1338214749.opb
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.02 2.04 2.01 3/194 23697
/proc/meminfo: memFree=30933488/32873844 swapFree=6080/6080
[pid=23697] ppid=23695 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23697/stat : 23697 (java) D 23695 23697 20249 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 287599492 9515008 182 33554432000 1073741824 1073778376 140733728869344 140733728860376 248790204085 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/23697/statm: 2323 182 140 9 0 71 0
[startup+0.103766 s]
/proc/loadavg: 2.02 2.04 2.01 3/194 23697
/proc/meminfo: memFree=30933488/32873844 swapFree=6080/6080
[pid=23697] ppid=23695 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/23697/stat : 23697 (java) S 23695 23697 20249 0 -1 4202496 4290 0 1 0 8 1 0 0 20 0 18 0 287599492 9787842560 6009 33554432000 1073741824 1073778376 140736311513584 140736311504720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23697/statm: 2389610 6009 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440
[startup+0.20033 s]
/proc/loadavg: 2.02 2.04 2.01 3/194 23697
/proc/meminfo: memFree=30933488/32873844 swapFree=6080/6080
[pid=23697] ppid=23695 vsize=9558440 CPUtime=0.27 cores=1,3,5,7
/proc/23697/stat : 23697 (java) S 23695 23697 20249 0 -1 4202496 4865 0 1 0 25 2 0 0 20 0 18 0 287599492 9787842560 7043 33554432000 1073741824 1073778376 140736311513584 140736311504720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23697/statm: 2389610 7043 2205 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558440
[startup+0.300353 s]
/proc/loadavg: 2.02 2.04 2.01 3/194 23697
/proc/meminfo: memFree=30933488/32873844 swapFree=6080/6080
[pid=23697] ppid=23695 vsize=9558440 CPUtime=0.54 cores=1,3,5,7
/proc/23697/stat : 23697 (java) S 23695 23697 20249 0 -1 4202496 7053 0 1 0 51 3 0 0 20 0 18 0 287599492 9787842560 10956 33554432000 1073741824 1073778376 140736311513584 140736311504720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23697/statm: 2389610 10956 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558440
[startup+0.700309 s]
/proc/loadavg: 2.02 2.04 2.01 3/194 23697
/proc/meminfo: memFree=30933488/32873844 swapFree=6080/6080
[pid=23697] ppid=23695 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/23697/stat : 23697 (java) S 23695 23697 20249 0 -1 4202496 9433 0 1 0 137 6 0 0 20 0 19 0 287599492 9856004096 36796 33554432000 1073741824 1073778376 140736311513584 140736311504720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23697/statm: 2406251 36796 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 9625004
[startup+1.50078 s]
/proc/loadavg: 2.09 2.06 2.01 3/213 23716
/proc/meminfo: memFree=30794788/32873844 swapFree=6080/6080
[pid=23697] ppid=23695 vsize=9625004 CPUtime=2.45 cores=1,3,5,7
/proc/23697/stat : 23697 (java) S 23695 23697 20249 0 -1 4202496 9438 0 1 0 239 6 0 0 20 0 19 0 287599492 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 140736311504720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23697/statm: 2406251 37281 2259 9 0 2396937 0
[pid=23697/tid=23699] ppid=23695 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/23697/task/23699/stat : 23699 (java) R 23695 23697 20249 0 -1 4202560 2568 0 1 0 142 4 0 0 20 0 19 0 287599493 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733260603960 139733087615156 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23700] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23700/stat : 23700 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733222095784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23701] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23701/stat : 23701 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733221043240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23702] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23702/stat : 23702 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733219990184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23697/tid=23703] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23703/stat : 23703 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733218937640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23704] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23704/stat : 23704 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733217884584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23705] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23705/stat : 23705 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733216832040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23706] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23706/stat : 23706 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733215778984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23707] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23707/stat : 23707 (java) S 23695 23697 20249 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733214726440 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23708] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23708/stat : 23708 (java) S 23695 23697 20249 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 287599495 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733084654440 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23709] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23709/stat : 23709 (java) S 23695 23697 20249 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 287599495 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733083600760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23710] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23710/stat : 23710 (java) S 23695 23697 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287599495 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733082547592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23711] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23711/stat : 23711 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599498 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733081496336 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23712] ppid=23695 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/23697/task/23712/stat : 23712 (java) S 23695 23697 20249 0 -1 4202560 3074 0 0 0 46 2 0 0 20 0 19 0 287599498 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733080443192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23713] ppid=23695 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/23697/task/23713/stat : 23713 (java) S 23695 23697 20249 0 -1 4202560 2602 0 0 0 48 0 0 0 20 0 19 0 287599498 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733079390648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23714] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23714/stat : 23714 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599498 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733078337784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23715] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23715/stat : 23715 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599498 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733077285448 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23716] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23716/stat : 23716 (java) S 23695 23697 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287599552 9856004096 37281 33554432000 1073741824 1073778376 140736311513584 139733076231720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 9625004
[startup+3.10081 s]
/proc/loadavg: 2.09 2.06 2.01 4/213 23716
/proc/meminfo: memFree=30792244/32873844 swapFree=6080/6080
[pid=23697] ppid=23695 vsize=9625004 CPUtime=4.08 cores=1,3,5,7
/proc/23697/stat : 23697 (java) S 23695 23697 20249 0 -1 4202496 9444 0 1 0 402 6 0 0 20 0 19 0 287599492 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 140736311504720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23697/statm: 2406251 37285 2262 9 0 2396937 0
[pid=23697/tid=23699] ppid=23695 vsize=9625004 CPUtime=3.06 cores=1,3,5,7
/proc/23697/task/23699/stat : 23699 (java) R 23695 23697 20249 0 -1 4202560 2570 0 1 0 302 4 0 0 20 0 19 0 287599493 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733260604040 139733087526942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23700] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23700/stat : 23700 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733222095784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23701] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23701/stat : 23701 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733221043240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23702] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23702/stat : 23702 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733219990184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23697/tid=23703] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23703/stat : 23703 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733218937640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23704] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23704/stat : 23704 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733217884584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23705] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23705/stat : 23705 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733216832040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23706] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23706/stat : 23706 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733215778984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23707] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23707/stat : 23707 (java) S 23695 23697 20249 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733214726440 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23708] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23708/stat : 23708 (java) S 23695 23697 20249 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 287599495 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733084654440 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23709] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23709/stat : 23709 (java) S 23695 23697 20249 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 287599495 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733083600760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23710] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23710/stat : 23710 (java) S 23695 23697 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287599495 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733082547592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23711] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23711/stat : 23711 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599498 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733081496336 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23712] ppid=23695 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/23697/task/23712/stat : 23712 (java) S 23695 23697 20249 0 -1 4202560 3077 0 0 0 46 2 0 0 20 0 19 0 287599498 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733080443192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23713] ppid=23695 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/23697/task/23713/stat : 23713 (java) S 23695 23697 20249 0 -1 4202560 2602 0 0 0 50 0 0 0 20 0 19 0 287599498 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733079390648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23714] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23714/stat : 23714 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599498 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733078337784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23715] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23715/stat : 23715 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599498 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733077285448 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23716] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23716/stat : 23716 (java) S 23695 23697 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287599552 9856004096 37285 33554432000 1073741824 1073778376 140736311513584 139733076231720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 9625004
[startup+6.30074 s]
/proc/loadavg: 2.09 2.06 2.01 4/213 23716
/proc/meminfo: memFree=30773316/32873844 swapFree=6080/6080
[pid=23697] ppid=23695 vsize=9625004 CPUtime=7.37 cores=1,3,5,7
/proc/23697/stat : 23697 (java) S 23695 23697 20249 0 -1 4202496 9645 0 1 0 729 8 0 0 20 0 19 0 287599492 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 140736311504720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23697/statm: 2406251 41915 2289 9 0 2396937 0
[pid=23697/tid=23699] ppid=23695 vsize=9625004 CPUtime=6.22 cores=1,3,5,7
/proc/23697/task/23699/stat : 23699 (java) R 23695 23697 20249 0 -1 4202560 2574 0 1 0 618 4 0 0 20 0 19 0 287599493 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733260603904 139733087646108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23700] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23700/stat : 23700 (java) S 23695 23697 20249 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733222095784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23701] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23701/stat : 23701 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733221043240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23702] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23702/stat : 23702 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733219990184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23703] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23703/stat : 23703 (java) S 23695 23697 20249 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733218937640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23704] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23704/stat : 23704 (java) S 23695 23697 20249 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733217884584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23697/tid=23705] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23705/stat : 23705 (java) S 23695 23697 20249 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733216832040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23697/tid=23706] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23706/stat : 23706 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733215778984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23707] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23707/stat : 23707 (java) S 23695 23697 20249 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287599494 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733214726440 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23708] ppid=23695 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/23697/task/23708/stat : 23708 (java) S 23695 23697 20249 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 19 0 287599495 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733084654440 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23709] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23709/stat : 23709 (java) S 23695 23697 20249 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287599495 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733083600760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23710] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23710/stat : 23710 (java) S 23695 23697 20249 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287599495 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733082547592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23711] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23711/stat : 23711 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599498 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733081496336 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23712] ppid=23695 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/23697/task/23712/stat : 23712 (java) S 23695 23697 20249 0 -1 4202560 3209 0 0 0 51 2 0 0 20 0 19 0 287599498 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733080443192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23697/tid=23713] ppid=23695 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/23697/task/23713/stat : 23713 (java) S 23695 23697 20249 0 -1 4202560 2607 0 0 0 51 0 0 0 20 0 19 0 287599498 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733079390648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23714] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23714/stat : 23714 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599498 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733078337784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23715] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23715/stat : 23715 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599498 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733077285448 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23716] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23716/stat : 23716 (java) S 23695 23697 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287599552 9856004096 41915 33554432000 1073741824 1073778376 140736311513584 139733076231720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.37
Current children cumulated vsize (KiB) 9625004
[startup+12.7008 s]
################
# More data... #
################
[pid=23697/tid=23712] ppid=23695 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/23697/task/23712/stat : 23712 (java) S 23695 23697 20249 0 -1 4202560 3215 0 0 0 52 2 0 0 20 0 19 0 287599498 9856004096 96411 33554432000 1073741824 1073778376 140736311513584 139733080443192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23697/tid=23713] ppid=23695 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/23697/task/23713/stat : 23713 (java) S 23695 23697 20249 0 -1 4202560 2665 0 0 0 70 0 0 0 20 0 19 0 287599498 9856004096 96411 33554432000 1073741824 1073778376 140736311513584 139733079390648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23714] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23714/stat : 23714 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599498 9856004096 96411 33554432000 1073741824 1073778376 140736311513584 139733078337784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23715] ppid=23695 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/23697/task/23715/stat : 23715 (java) S 23695 23697 20249 0 -1 4202560 95 0 0 0 22 22 0 0 20 0 19 0 287599498 9856004096 96411 33554432000 1073741824 1073778376 140736311513584 139733077285448 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23716] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23716/stat : 23716 (java) S 23695 23697 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287599552 9856004096 96411 33554432000 1073741824 1073778376 140736311513584 139733076231720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1667.03
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/213 23791
/proc/meminfo: memFree=30485228/32873844 swapFree=6080/6080
[pid=23697] ppid=23695 vsize=9625004 CPUtime=1727.15 cores=1,3,5,7
/proc/23697/stat : 23697 (java) S 23695 23697 20249 0 -1 4202496 11126 0 1 0 172649 66 0 0 20 0 19 0 287599492 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 140736311504720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23697/statm: 2406251 96413 2290 9 0 2396937 0
[pid=23697/tid=23699] ppid=23695 vsize=9625004 CPUtime=1711.17 cores=1,3,5,7
/proc/23697/task/23699/stat : 23699 (java) R 23695 23697 20249 0 -1 4202560 2647 0 1 0 171084 33 0 0 20 0 19 0 287599493 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733260603696 139733087497103 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23700] ppid=23695 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/23697/task/23700/stat : 23700 (java) S 23695 23697 20249 0 -1 4202560 260 0 0 0 58 4 0 0 20 0 19 0 287599494 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733222095784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23701] ppid=23695 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/23697/task/23701/stat : 23701 (java) S 23695 23697 20249 0 -1 4202560 189 0 0 0 57 4 0 0 20 0 19 0 287599494 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733221043240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23702] ppid=23695 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/23697/task/23702/stat : 23702 (java) S 23695 23697 20249 0 -1 4202560 156 0 0 0 57 4 0 0 20 0 19 0 287599494 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733219990184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23703] ppid=23695 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/23697/task/23703/stat : 23703 (java) S 23695 23697 20249 0 -1 4202560 240 0 0 0 65 5 0 0 20 0 19 0 287599494 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733218937640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23704] ppid=23695 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/23697/task/23704/stat : 23704 (java) S 23695 23697 20249 0 -1 4202560 69 0 0 0 58 4 0 0 20 0 19 0 287599494 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733217884584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23705] ppid=23695 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/23697/task/23705/stat : 23705 (java) S 23695 23697 20249 0 -1 4202560 86 0 0 0 58 4 0 0 20 0 19 0 287599494 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733216832040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23706] ppid=23695 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/23697/task/23706/stat : 23706 (java) S 23695 23697 20249 0 -1 4202560 89 0 0 0 51 3 0 0 20 0 19 0 287599494 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733215778984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23707] ppid=23695 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/23697/task/23707/stat : 23707 (java) S 23695 23697 20249 0 -1 4202560 73 0 0 0 61 4 0 0 20 0 19 0 287599494 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733214726440 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23697/tid=23708] ppid=23695 vsize=9625004 CPUtime=4.96 cores=1,3,5,7
/proc/23697/task/23708/stat : 23708 (java) S 23695 23697 20249 0 -1 4202560 158 0 0 0 494 2 0 0 20 0 19 0 287599495 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733084654440 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23709] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23709/stat : 23709 (java) S 23695 23697 20249 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287599495 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733083600760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23710] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23710/stat : 23710 (java) S 23695 23697 20249 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287599495 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733082547592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23711] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23711/stat : 23711 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599498 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733081496336 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23712] ppid=23695 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/23697/task/23712/stat : 23712 (java) S 23695 23697 20249 0 -1 4202560 3215 0 0 0 52 2 0 0 20 0 19 0 287599498 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733080443192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23697/tid=23713] ppid=23695 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/23697/task/23713/stat : 23713 (java) S 23695 23697 20249 0 -1 4202560 2665 0 0 0 70 0 0 0 20 0 19 0 287599498 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733079390648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23714] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23714/stat : 23714 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599498 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733078337784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23715] ppid=23695 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/23697/task/23715/stat : 23715 (java) S 23695 23697 20249 0 -1 4202560 99 0 0 0 23 24 0 0 20 0 19 0 287599498 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733077285448 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23716] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23716/stat : 23716 (java) S 23695 23697 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287599552 9856004096 96413 33554432000 1073741824 1073778376 140736311513584 139733076231720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1727.15
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 23791
/proc/meminfo: memFree=30472568/32873844 swapFree=6080/6080
[pid=23697] ppid=23695 vsize=9625004 CPUtime=1787.28 cores=1,3,5,7
/proc/23697/stat : 23697 (java) S 23695 23697 20249 0 -1 4202496 11136 0 1 0 178660 68 0 0 20 0 19 0 287599492 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 140736311504720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23697/statm: 2406251 96416 2290 9 0 2396937 0
[pid=23697/tid=23699] ppid=23695 vsize=9625004 CPUtime=1770.85 cores=1,3,5,7
/proc/23697/task/23699/stat : 23699 (java) R 23695 23697 20249 0 -1 4202560 2648 0 1 0 177052 33 0 0 20 0 19 0 287599493 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733260603696 139733087518145 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23700] ppid=23695 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/23697/task/23700/stat : 23700 (java) S 23695 23697 20249 0 -1 4202560 263 0 0 0 59 4 0 0 20 0 19 0 287599494 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733222095784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23701] ppid=23695 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/23697/task/23701/stat : 23701 (java) S 23695 23697 20249 0 -1 4202560 189 0 0 0 60 4 0 0 20 0 19 0 287599494 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733221043240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23702] ppid=23695 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/23697/task/23702/stat : 23702 (java) S 23695 23697 20249 0 -1 4202560 156 0 0 0 60 4 0 0 20 0 19 0 287599494 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733219990184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23703] ppid=23695 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/23697/task/23703/stat : 23703 (java) S 23695 23697 20249 0 -1 4202560 240 0 0 0 67 5 0 0 20 0 19 0 287599494 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733218937640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23704] ppid=23695 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/23697/task/23704/stat : 23704 (java) S 23695 23697 20249 0 -1 4202560 69 0 0 0 59 4 0 0 20 0 19 0 287599494 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733217884584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23697/tid=23705] ppid=23695 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/23697/task/23705/stat : 23705 (java) S 23695 23697 20249 0 -1 4202560 86 0 0 0 59 4 0 0 20 0 19 0 287599494 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733216832040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23706] ppid=23695 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/23697/task/23706/stat : 23706 (java) S 23695 23697 20249 0 -1 4202560 89 0 0 0 52 4 0 0 20 0 19 0 287599494 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733215778984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23707] ppid=23695 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/23697/task/23707/stat : 23707 (java) S 23695 23697 20249 0 -1 4202560 73 0 0 0 65 4 0 0 20 0 19 0 287599494 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733214726440 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23697/tid=23708] ppid=23695 vsize=9625004 CPUtime=5.08 cores=1,3,5,7
/proc/23697/task/23708/stat : 23708 (java) S 23695 23697 20249 0 -1 4202560 160 0 0 0 506 2 0 0 20 0 19 0 287599495 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733084654440 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23709] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23709/stat : 23709 (java) S 23695 23697 20249 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287599495 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733083600760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23710] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23710/stat : 23710 (java) S 23695 23697 20249 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287599495 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733082547592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23711] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23711/stat : 23711 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599498 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733081496336 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23712] ppid=23695 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/23697/task/23712/stat : 23712 (java) S 23695 23697 20249 0 -1 4202560 3215 0 0 0 52 2 0 0 20 0 19 0 287599498 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733080443192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23697/tid=23713] ppid=23695 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/23697/task/23713/stat : 23713 (java) S 23695 23697 20249 0 -1 4202560 2665 0 0 0 70 0 0 0 20 0 19 0 287599498 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733079390648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23714] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23714/stat : 23714 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599498 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733078337784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23715] ppid=23695 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/23697/task/23715/stat : 23715 (java) S 23695 23697 20249 0 -1 4202560 103 0 0 0 23 25 0 0 20 0 19 0 287599498 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733077285448 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23716] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23716/stat : 23716 (java) S 23695 23697 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287599552 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733076231720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1787.28
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 23791
/proc/meminfo: memFree=30472568/32873844 swapFree=6080/6080
[pid=23697] ppid=23695 vsize=9625004 CPUtime=1800.09 cores=1,3,5,7
/proc/23697/stat : 23697 (java) S 23695 23697 20249 0 -1 4202496 11136 0 1 0 179941 68 0 0 20 0 19 0 287599492 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 140736311504720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23697/statm: 2406251 96416 2290 9 0 2396937 0
[pid=23697/tid=23699] ppid=23695 vsize=9625004 CPUtime=1783.62 cores=1,3,5,7
/proc/23697/task/23699/stat : 23699 (java) R 23695 23697 20249 0 -1 4202560 2648 0 1 0 178327 35 0 0 20 0 19 0 287599493 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733260603696 139733087497223 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23700] ppid=23695 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/23697/task/23700/stat : 23700 (java) S 23695 23697 20249 0 -1 4202560 263 0 0 0 59 4 0 0 20 0 19 0 287599494 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733222095784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23701] ppid=23695 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/23697/task/23701/stat : 23701 (java) S 23695 23697 20249 0 -1 4202560 189 0 0 0 60 4 0 0 20 0 19 0 287599494 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733221043240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23702] ppid=23695 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/23697/task/23702/stat : 23702 (java) S 23695 23697 20249 0 -1 4202560 156 0 0 0 60 4 0 0 20 0 19 0 287599494 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733219990184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23703] ppid=23695 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/23697/task/23703/stat : 23703 (java) S 23695 23697 20249 0 -1 4202560 240 0 0 0 67 5 0 0 20 0 19 0 287599494 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733218937640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23704] ppid=23695 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/23697/task/23704/stat : 23704 (java) S 23695 23697 20249 0 -1 4202560 69 0 0 0 59 4 0 0 20 0 19 0 287599494 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733217884584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23697/tid=23705] ppid=23695 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/23697/task/23705/stat : 23705 (java) S 23695 23697 20249 0 -1 4202560 86 0 0 0 59 4 0 0 20 0 19 0 287599494 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733216832040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23706] ppid=23695 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/23697/task/23706/stat : 23706 (java) S 23695 23697 20249 0 -1 4202560 89 0 0 0 52 4 0 0 20 0 19 0 287599494 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733215778984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23707] ppid=23695 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/23697/task/23707/stat : 23707 (java) S 23695 23697 20249 0 -1 4202560 73 0 0 0 65 4 0 0 20 0 19 0 287599494 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733214726440 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23697/tid=23708] ppid=23695 vsize=9625004 CPUtime=5.08 cores=1,3,5,7
/proc/23697/task/23708/stat : 23708 (java) S 23695 23697 20249 0 -1 4202560 160 0 0 0 506 2 0 0 20 0 19 0 287599495 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733084654440 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23709] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23709/stat : 23709 (java) S 23695 23697 20249 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287599495 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733083600760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23710] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23710/stat : 23710 (java) S 23695 23697 20249 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287599495 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733082547592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23711] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23711/stat : 23711 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599498 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733081496336 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23697/tid=23712] ppid=23695 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/23697/task/23712/stat : 23712 (java) S 23695 23697 20249 0 -1 4202560 3215 0 0 0 52 2 0 0 20 0 19 0 287599498 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733080443192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23697/tid=23713] ppid=23695 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/23697/task/23713/stat : 23713 (java) S 23695 23697 20249 0 -1 4202560 2665 0 0 0 70 0 0 0 20 0 19 0 287599498 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733079390648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23714] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23714/stat : 23714 (java) S 23695 23697 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287599498 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733078337784 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23697/tid=23715] ppid=23695 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/23697/task/23715/stat : 23715 (java) S 23695 23697 20249 0 -1 4202560 103 0 0 0 23 25 0 0 20 0 19 0 287599498 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733077285448 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23697/tid=23716] ppid=23695 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23716/stat : 23716 (java) S 23695 23697 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287599552 9856004096 96416 33554432000 1073741824 1073778376 140736311513584 139733076231720 248793577385 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) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23697 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=888135
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=113830
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.18
CPU time (s): 1800.09
CPU user time (s): 1799.41
CPU system time (s): 0.68
CPU usage (%): 100.274
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.89
system time used= 1.11383
maximum resident set size= 385788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11171
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39856
involuntary context switches= 36189
runsolver used 6.06108 second user time and 15.7626 second system time
The end