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-4246994-1502059856/watcher-4246994-1502059856 -o /tmp/evaluation-result-4246994-1502059856/solver-4246994-1502059856 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31899 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 138410690 HOME/instance-4246994-1502059856.xml
pid=10452
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 8.05 8.47 8.29 6/204 10455
/proc/meminfo: memFree=31300376/32770624 swapFree=0/329348
[pid=10455] ppid=10452 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (runsolver) D 10452 10455 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 53800892 24240128 106 18446744073709551615 4194304 4338465 140733639104144 140733639101784 139722296566487 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 7749632 140733639106647 140733639107145 140733639107145 140733639110602 0
/proc/10455/statm: 5918 106 53 36 0 2156 0
[startup+0.100103 s]
/proc/loadavg: 8.05 8.47 8.29 6/204 10455
/proc/meminfo: memFree=31300376/32770624 swapFree=0/329348
[pid=10455] ppid=10452 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (runsolver) D 10452 10455 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 53800892 24240128 106 18446744073709551615 4194304 4338465 140733639104144 140733639101784 139722296566487 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 7749632 140733639106647 140733639107145 140733639107145 140733639110602 0
/proc/10455/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200276 s]
/proc/loadavg: 8.05 8.47 8.29 6/204 10455
/proc/meminfo: memFree=31300376/32770624 swapFree=0/329348
[pid=10455] ppid=10452 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (xcsp3-exec) S 10452 10455 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53800892 9740288 344 18446744073709551615 4194304 5098028 140730901265488 140730901263592 139844560315004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 11 0 0 7196144 7232144 35983360 140730901266841 140730901267050 140730901267050 140730901270507 0
/proc/10455/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300297 s]
/proc/loadavg: 8.05 8.47 8.29 6/204 10455
/proc/meminfo: memFree=31300376/32770624 swapFree=0/329348
[pid=10455] ppid=10452 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (xcsp3-exec) S 10452 10455 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53800892 9740288 344 18446744073709551615 4194304 5098028 140730901265488 140730901263592 139844560315004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 11 0 0 7196144 7232144 35983360 140730901266841 140730901267050 140730901267050 140730901270507 0
/proc/10455/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700596 s]
/proc/loadavg: 8.05 8.47 8.29 6/204 10455
/proc/meminfo: memFree=31300376/32770624 swapFree=0/329348
[pid=10455] ppid=10452 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (xcsp3-exec) S 10452 10455 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53800892 9740288 344 18446744073709551615 4194304 5098028 140730901265488 140730901263592 139844560315004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 11 0 0 7196144 7232144 35983360 140730901266841 140730901267050 140730901267050 140730901270507 0
/proc/10455/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50062 s]
/proc/loadavg: 8.05 8.47 8.29 8/220 10471
/proc/meminfo: memFree=31149780/32770624 swapFree=0/329380
[pid=10455] ppid=10452 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (xcsp3-exec) S 10452 10455 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53800892 9740288 344 18446744073709551615 4194304 5098028 140730901265488 140730901263592 139844560315004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 11 0 0 7196144 7232144 35983360 140730901266841 140730901267050 140730901267050 140730901270507 0
/proc/10455/statm: 2378 344 289 221 0 87 0
[pid=10457] ppid=10455 vsize=12919328 CPUtime=3.17 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10455 25100 0 -1 1077944320 23577 0 0 0 306 11 0 0 20 0 15 0 53800903 13229391872 51542 18446744073709551615 4194304 4196468 140726879591888 140726879574432 140500977590007 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
/proc/10457/statm: 3229832 51542 3218 1 0 3218124 0
[pid=10457/tid=10458] ppid=10455 vsize=12919328 CPUtime=1.27 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) R 10455 10455 25100 0 -1 4202560 9747 0 0 0 122 5 0 0 20 0 15 0 53800904 13229391872 51542 18446744073709551615 4194304 4196468 140726879591888 140500981823520 140500614837576 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10459] ppid=10455 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10459/stat : 10459 (java) S 10455 10455 25100 0 -1 1077944384 393 0 0 0 0 0 0 0 20 0 15 0 53800904 13229391872 51542 18446744073709551615 4194304 4196468 140726879591888 140500934556688 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10460] ppid=10455 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10455 25100 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 15 0 53800904 13229391872 51542 18446744073709551615 4194304 4196468 140726879591888 140500933504144 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10461] ppid=10455 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10455 25100 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 53800904 13229391872 51542 18446744073709551615 4194304 4196468 140726879591888 140500932451088 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10462] ppid=10455 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10455 25100 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 15 0 53800904 13229391872 51542 18446744073709551615 4194304 4196468 140726879591888 140500931398544 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10463] ppid=10455 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10455 25100 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 15 0 53800906 13229391872 51542 18446744073709551615 4194304 4196468 140726879591888 140500528752880 140500977601154 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10464] ppid=10455 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10455 25100 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 53800906 13229391872 51542 18446744073709551615 4194304 4196468 140726879591888 140500459840672 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10465] ppid=10455 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10455 25100 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 53800906 13229391872 51542 18446744073709551615 4194304 4196468 140726879591888 140500458787568 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10466] ppid=10455 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10455 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53800909 13229391872 51542 18446744073709551615 4194304 4196468 140726879591888 140500457736144 140500977608603 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10467] ppid=10455 vsize=12919328 CPUtime=0.61 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) S 10455 10455 25100 0 -1 1077944384 3236 0 0 0 61 0 0 0 20 0 15 0 53800909 13229391872 51542 18446744073709551615 4194304 4196468 140726879591888 140500456684272 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10468] ppid=10455 vsize=12919328 CPUtime=0.71 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) S 10455 10455 25100 0 -1 1077944384 3315 0 0 0 70 1 0 0 20 0 15 0 53800909 13229391872 51542 18446744073709551615 4194304 4196468 140726879591888 140500455631728 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10469] ppid=10455 vsize=12919328 CPUtime=0.48 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) S 10455 10455 25100 0 -1 1077944384 4559 0 0 0 47 1 0 0 20 0 15 0 53800909 13229391872 51542 18446744073709551615 4194304 4196468 140726879591888 140500454578672 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10470] ppid=10455 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10455 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53800909 13229391872 51542 18446744073709551615 4194304 4196468 140726879591888 140500453526368 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10471] ppid=10455 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10455 25100 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53800917 13229391872 51542 18446744073709551615 4194304 4196468 140726879591888 140500452473392 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 12928840
[startup+3.10361 s]
/proc/loadavg: 8.05 8.47 8.29 11/224 10483
/proc/meminfo: memFree=31054224/32770624 swapFree=0/329380
[pid=10455] ppid=10452 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (xcsp3-exec) S 10452 10455 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53800892 9740288 344 18446744073709551615 4194304 5098028 140730901265488 140730901263592 139844560315004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 11 0 0 7196144 7232144 35983360 140730901266841 140730901267050 140730901267050 140730901270507 0
/proc/10455/statm: 2378 344 289 221 0 87 0
[pid=10457] ppid=10455 vsize=13186612 CPUtime=9.28 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10455 25100 0 -1 1077944320 25866 0 0 0 911 17 0 0 20 0 19 0 53800903 13503090688 61134 18446744073709551615 4194304 4196468 140726879591888 140726879574432 140500977590007 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
/proc/10457/statm: 3296653 61134 3245 1 0 3284945 0
[pid=10457/tid=10458] ppid=10455 vsize=13186612 CPUtime=1.37 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) S 10455 10455 25100 0 -1 1077944384 10077 0 0 0 132 5 0 0 20 0 19 0 53800904 13503090688 61134 18446744073709551615 4194304 4196468 140726879591888 140500981830784 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10459] ppid=10455 vsize=13186612 CPUtime=0.03 cores=1,3,5,7
/proc/10457/task/10459/stat : 10459 (java) S 10455 10455 25100 0 -1 1077944384 421 0 0 0 2 1 0 0 20 0 19 0 53800904 13503090688 61134 18446744073709551615 4194304 4196468 140726879591888 140500934556688 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10460] ppid=10455 vsize=13186612 CPUtime=0.03 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10455 25100 0 -1 1077944384 361 0 0 0 2 1 0 0 20 0 19 0 53800904 13503090688 61134 18446744073709551615 4194304 4196468 140726879591888 140500933504144 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10461] ppid=10455 vsize=13186612 CPUtime=0.03 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10455 25100 0 -1 1077944384 151 0 0 0 2 1 0 0 20 0 19 0 53800904 13503090688 61134 18446744073709551615 4194304 4196468 140726879591888 140500932451088 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10462] ppid=10455 vsize=13186612 CPUtime=0.03 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10455 25100 0 -1 1077944384 183 0 0 0 2 1 0 0 20 0 19 0 53800904 13503090688 61134 18446744073709551615 4194304 4196468 140726879591888 140500931398544 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10463] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10455 25100 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 19 0 53800906 13503090688 61134 18446744073709551615 4194304 4196468 140726879591888 140500528752880 140500977601154 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10464] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10455 25100 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 53800906 13503090688 61134 18446744073709551615 4194304 4196468 140726879591888 140500459840736 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10465] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10455 25100 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 53800906 13503090688 61134 18446744073709551615 4194304 4196468 140726879591888 140500458787584 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10466] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10455 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53800909 13503090688 61134 18446744073709551615 4194304 4196468 140726879591888 140500457736144 140500977608603 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10467] ppid=10455 vsize=13186612 CPUtime=1.5 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) R 10455 10455 25100 0 -1 4202560 3885 0 0 0 149 1 0 0 20 0 19 0 53800909 13503090688 61134 18446744073709551615 4194304 4196468 140726879591888 140500456676760 140500962691521 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10468] ppid=10455 vsize=13186612 CPUtime=1.57 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) R 10455 10455 25100 0 -1 4202560 3482 0 0 0 156 1 0 0 20 0 19 0 53800909 13503090688 61134 18446744073709551615 4194304 4196468 140726879591888 140500455618928 140500955184752 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10469] ppid=10455 vsize=13186612 CPUtime=0.75 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) S 10455 10455 25100 0 -1 1077944384 5104 0 0 0 74 1 0 0 20 0 19 0 53800909 13503090688 61134 18446744073709551615 4194304 4196468 140726879591888 140500454578672 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10470] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10455 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53800909 13503090688 61134 18446744073709551615 4194304 4196468 140726879591888 140500453526368 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10471] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10455 25100 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53800917 13503090688 61134 18446744073709551615 4194304 4196468 140726879591888 140500452473392 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
Current children cumulated CPU time (s) 9.28
Current children cumulated vsize (KiB) 13196124
[startup+6.31061 s]
/proc/loadavg: 7.81 8.41 8.28 11/224 10491
/proc/meminfo: memFree=31025112/32770624 swapFree=0/329388
[pid=10455] ppid=10452 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (xcsp3-exec) S 10452 10455 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53800892 9740288 344 18446744073709551615 4194304 5098028 140730901265488 140730901263592 139844560315004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 11 0 0 7196144 7232144 35983360 140730901266841 140730901267050 140730901267050 140730901270507 0
/proc/10455/statm: 2378 344 289 221 0 87 0
[pid=10457] ppid=10455 vsize=13186612 CPUtime=21.82 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10455 25100 0 -1 1077944320 35488 0 0 0 2163 19 0 0 20 0 19 0 53800903 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140726879574432 140500977590007 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
/proc/10457/statm: 3296653 68192 3253 1 0 3284945 0
[pid=10457/tid=10458] ppid=10455 vsize=13186612 CPUtime=1.37 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) S 10455 10455 25100 0 -1 1077944384 10078 0 0 0 132 5 0 0 20 0 19 0 53800904 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500981830784 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10459] ppid=10455 vsize=13186612 CPUtime=0.03 cores=1,3,5,7
/proc/10457/task/10459/stat : 10459 (java) S 10455 10455 25100 0 -1 1077944384 421 0 0 0 2 1 0 0 20 0 19 0 53800904 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500934556688 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10460] ppid=10455 vsize=13186612 CPUtime=0.03 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10455 25100 0 -1 1077944384 361 0 0 0 2 1 0 0 20 0 19 0 53800904 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500933504144 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10461] ppid=10455 vsize=13186612 CPUtime=0.03 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10455 25100 0 -1 1077944384 151 0 0 0 2 1 0 0 20 0 19 0 53800904 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500932451088 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10462] ppid=10455 vsize=13186612 CPUtime=0.03 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10455 25100 0 -1 1077944384 183 0 0 0 2 1 0 0 20 0 19 0 53800904 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500931398544 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10463] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10455 25100 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 19 0 53800906 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500528752880 140500977601154 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10464] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10455 25100 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 53800906 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500459840736 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10465] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10455 25100 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 53800906 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500458787584 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10466] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10455 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53800909 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500457736144 140500977608603 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10467] ppid=10455 vsize=13186612 CPUtime=3.11 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) S 10455 10455 25100 0 -1 1077944384 9384 0 0 0 309 2 0 0 20 0 19 0 53800909 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500456684272 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10468] ppid=10455 vsize=13186612 CPUtime=3.11 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) S 10455 10455 25100 0 -1 1077944384 6248 0 0 0 310 1 0 0 20 0 19 0 53800909 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500455631728 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10469] ppid=10455 vsize=13186612 CPUtime=0.86 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) S 10455 10455 25100 0 -1 1077944384 5535 0 0 0 85 1 0 0 20 0 19 0 53800909 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500454578672 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10470] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10455 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53800909 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500453526368 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10471] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10455 25100 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 53800917 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500452473392 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10488] ppid=10455 vsize=13186612 CPUtime=0.93 cores=1,3,5,7
/proc/10457/task/10488/stat : 10488 (java) R 10455 10455 25100 0 -1 4202560 246 0 0 0 93 0 0 0 20 0 19 0 53801398 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500443904976 140500617751124 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10489] ppid=10455 vsize=13186612 CPUtime=0.88 cores=1,3,5,7
/proc/10457/task/10489/stat : 10489 (java) R 10455 10455 25100 0 -1 4202560 256 0 0 0 88 0 0 0 20 0 19 0 53801398 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500444957888 140500958996324 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10490] ppid=10455 vsize=13186612 CPUtime=1.13 cores=1,3,5,7
/proc/10457/task/10490/stat : 10490 (java) R 10455 10455 25100 0 -1 4202560 85 0 0 0 113 0 0 0 20 0 19 0 53801398 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500440747504 140500616827859 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10491] ppid=10455 vsize=13186612 CPUtime=0.92 cores=1,3,5,7
/proc/10457/task/10491/stat : 10491 (java) R 10455 10455 25100 0 -1 4202560 135 0 0 0 92 0 0 0 20 0 19 0 53801398 13503090688 68192 18446744073709551615 4194304 4196468 140726879591888 140500442852992 140500616827675 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
Current children cumulated CPU time (s) 21.82
Current children cumulated vsize (KiB) 13196124
[startup+12.7016 s]
/proc/loadavg: 7.90 8.42 8.28 9/224 10495
/proc/meminfo: memFree=30962724/32770624 swapFree=0/329400
[pid=10455] ppid=10452 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (xcsp3-exec) S 10452 10455 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53800892 9740288 344 18446744073709551615 4194304 5098028 140730901265488 140730901263592 139844560315004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 11 0 0 7196144 7232144 35983360 140730901266841 140730901267050 140730901267050 140730901270507 0
/proc/10455/statm: 2378 344 289 221 0 87 0
[pid=10457] ppid=10455 vsize=13186612 CPUtime=47.28 cores=1,3,5,7
################
# More data... #
################
/proc/10457/task/10465/stat : 10465 (java) S 10455 10455 25100 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 53800906 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500458787584 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10466] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10455 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53800909 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500457736144 140500977608603 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10467] ppid=10455 vsize=13186612 CPUtime=4.13 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) S 10455 10455 25100 0 -1 1077944384 23283 0 0 0 410 3 0 0 20 0 19 0 53800909 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500456684272 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10468] ppid=10455 vsize=13186612 CPUtime=4.08 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) S 10455 10455 25100 0 -1 1077944384 19843 0 0 0 406 2 0 0 20 0 19 0 53800909 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500455631728 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10469] ppid=10455 vsize=13186612 CPUtime=0.94 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) S 10455 10455 25100 0 -1 1077944384 10404 0 0 0 93 1 0 0 20 0 19 0 53800909 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500454578672 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10470] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10455 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53800909 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500453526368 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10471] ppid=10455 vsize=13186612 CPUtime=0.07 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10455 25100 0 -1 1077944384 392 0 0 0 0 7 0 0 20 0 19 0 53800917 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500452473392 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10492] ppid=10455 vsize=13186612 CPUtime=164.88 cores=1,3,5,7
/proc/10457/task/10492/stat : 10492 (java) R 10455 10455 25100 0 -1 4202560 2363 0 0 0 16487 1 0 0 20 0 19 0 53801589 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500444958112 140500617197826 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10493] ppid=10455 vsize=13186612 CPUtime=164.42 cores=1,3,5,7
/proc/10457/task/10493/stat : 10493 (java) R 10455 10455 25100 0 -1 4202560 2197 0 0 0 16441 1 0 0 20 0 19 0 53801589 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500440748200 140500618247668 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10494] ppid=10455 vsize=13186612 CPUtime=164.4 cores=1,3,5,7
/proc/10457/task/10494/stat : 10494 (java) R 10455 10455 25100 0 -1 4202560 3721 0 0 0 16435 5 0 0 20 0 19 0 53801589 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500442855776 140500616827144 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10495] ppid=10455 vsize=13186612 CPUtime=164.59 cores=1,3,5,7
/proc/10457/task/10495/stat : 10495 (java) R 10455 10455 25100 0 -1 4202560 1369 0 0 0 16458 1 0 0 20 0 19 0 53801589 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500443905800 140500618050160 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
Current children cumulated CPU time (s) 685.46
Current children cumulated vsize (KiB) 13196124
[startup+173.202 s]
/proc/loadavg: 8.19 8.38 8.29 10/224 10620
/proc/meminfo: memFree=30137928/32770624 swapFree=0/329516
[pid=10455] ppid=10452 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (xcsp3-exec) S 10452 10455 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53800892 9740288 344 18446744073709551615 4194304 5098028 140730901265488 140730901263592 139844560315004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 11 0 0 7196144 7232144 35983360 140730901266841 140730901267050 140730901267050 140730901270507 0
/proc/10455/statm: 2378 344 289 221 0 87 0
[pid=10457] ppid=10455 vsize=13186612 CPUtime=687.03 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10455 25100 0 -1 1077944320 86228 0 0 0 68648 55 0 0 20 0 19 0 53800903 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140726879574432 140500977590007 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
/proc/10457/statm: 3296653 174534 3262 1 0 3284945 0
[pid=10457/tid=10458] ppid=10455 vsize=13186612 CPUtime=1.37 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) S 10455 10455 25100 0 -1 1077944384 10235 0 0 0 132 5 0 0 20 0 19 0 53800904 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500981830784 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10459] ppid=10455 vsize=13186612 CPUtime=0.17 cores=1,3,5,7
/proc/10457/task/10459/stat : 10459 (java) S 10455 10455 25100 0 -1 1077944384 1068 0 0 0 10 7 0 0 20 0 19 0 53800904 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500934556688 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10460] ppid=10455 vsize=13186612 CPUtime=0.17 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10455 25100 0 -1 1077944384 2673 0 0 0 10 7 0 0 20 0 19 0 53800904 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500933504144 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10461] ppid=10455 vsize=13186612 CPUtime=0.17 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10455 25100 0 -1 1077944384 2134 0 0 0 10 7 0 0 20 0 19 0 53800904 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500932451088 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10462] ppid=10455 vsize=13186612 CPUtime=0.17 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10455 25100 0 -1 1077944384 1365 0 0 0 10 7 0 0 20 0 19 0 53800904 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500931398544 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10463] ppid=10455 vsize=13186612 CPUtime=0.04 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10455 25100 0 -1 1077944384 2187 0 0 0 3 1 0 0 20 0 19 0 53800906 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500528752880 140500977601154 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10464] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10455 25100 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 53800906 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500459840736 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10465] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10455 25100 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 53800906 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500458787584 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10466] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10455 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53800909 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500457736144 140500977608603 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10467] ppid=10455 vsize=13186612 CPUtime=4.13 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) S 10455 10455 25100 0 -1 1077944384 23283 0 0 0 410 3 0 0 20 0 19 0 53800909 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500456684272 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10468] ppid=10455 vsize=13186612 CPUtime=4.08 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) S 10455 10455 25100 0 -1 1077944384 19843 0 0 0 406 2 0 0 20 0 19 0 53800909 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500455631728 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10469] ppid=10455 vsize=13186612 CPUtime=0.94 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) S 10455 10455 25100 0 -1 1077944384 10404 0 0 0 93 1 0 0 20 0 19 0 53800909 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500454578672 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10470] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10455 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53800909 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500453526368 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10471] ppid=10455 vsize=13186612 CPUtime=0.07 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10455 25100 0 -1 1077944384 392 0 0 0 0 7 0 0 20 0 19 0 53800917 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500452473392 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10492] ppid=10455 vsize=13186612 CPUtime=165.27 cores=1,3,5,7
/proc/10457/task/10492/stat : 10492 (java) R 10455 10455 25100 0 -1 4202560 2363 0 0 0 16526 1 0 0 20 0 19 0 53801589 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500444958112 140500616827827 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10493] ppid=10455 vsize=13186612 CPUtime=164.81 cores=1,3,5,7
/proc/10457/task/10493/stat : 10493 (java) R 10455 10455 25100 0 -1 4202560 2197 0 0 0 16480 1 0 0 20 0 19 0 53801589 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500440748200 140500616827859 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10494] ppid=10455 vsize=13186612 CPUtime=164.79 cores=1,3,5,7
/proc/10457/task/10494/stat : 10494 (java) R 10455 10455 25100 0 -1 4202560 3721 0 0 0 16474 5 0 0 20 0 19 0 53801589 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500442855776 140500617198751 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10495] ppid=10455 vsize=13186612 CPUtime=164.98 cores=1,3,5,7
/proc/10457/task/10495/stat : 10495 (java) R 10455 10455 25100 0 -1 4202560 1369 0 0 0 16497 1 0 0 20 0 19 0 53801589 13503090688 174534 18446744073709551615 4194304 4196468 140726879591888 140500443905800 140500616827859 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
Current children cumulated CPU time (s) 687.03
Current children cumulated vsize (KiB) 13196124
[startup+173.602 s]
/proc/loadavg: 8.19 8.38 8.29 10/224 10620
/proc/meminfo: memFree=30137928/32770624 swapFree=0/329516
[pid=10455] ppid=10452 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (xcsp3-exec) S 10452 10455 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53800892 9740288 344 18446744073709551615 4194304 5098028 140730901265488 140730901263592 139844560315004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 11 0 0 7196144 7232144 35983360 140730901266841 140730901267050 140730901267050 140730901270507 0
/proc/10455/statm: 2378 344 289 221 0 87 0
[pid=10457] ppid=10455 vsize=13186612 CPUtime=688.62 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10455 25100 0 -1 1077944320 86235 0 0 0 68807 55 0 0 20 0 19 0 53800903 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140726879574432 140500977590007 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
/proc/10457/statm: 3296653 173503 3262 1 0 3284945 0
[pid=10457/tid=10458] ppid=10455 vsize=13186612 CPUtime=1.37 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) S 10455 10455 25100 0 -1 1077944384 10235 0 0 0 132 5 0 0 20 0 19 0 53800904 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500981830784 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10459] ppid=10455 vsize=13186612 CPUtime=0.17 cores=1,3,5,7
/proc/10457/task/10459/stat : 10459 (java) S 10455 10455 25100 0 -1 1077944384 1070 0 0 0 10 7 0 0 20 0 19 0 53800904 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500934556688 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10460] ppid=10455 vsize=13186612 CPUtime=0.18 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10455 25100 0 -1 1077944384 2674 0 0 0 11 7 0 0 20 0 19 0 53800904 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500933504144 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10461] ppid=10455 vsize=13186612 CPUtime=0.18 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10455 25100 0 -1 1077944384 2135 0 0 0 10 8 0 0 20 0 19 0 53800904 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500932451088 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10462] ppid=10455 vsize=13186612 CPUtime=0.18 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10455 25100 0 -1 1077944384 1366 0 0 0 11 7 0 0 20 0 19 0 53800904 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500931398544 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10463] ppid=10455 vsize=13186612 CPUtime=0.04 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10455 25100 0 -1 1077944384 2188 0 0 0 3 1 0 0 20 0 19 0 53800906 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500528752880 140500977601154 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10464] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10455 25100 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 53800906 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500459840736 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10465] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10455 25100 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 53800906 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500458787584 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10466] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10455 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53800909 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500457736144 140500977608603 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10467] ppid=10455 vsize=13186612 CPUtime=4.13 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) S 10455 10455 25100 0 -1 1077944384 23283 0 0 0 410 3 0 0 20 0 19 0 53800909 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500456684272 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10468] ppid=10455 vsize=13186612 CPUtime=4.08 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) S 10455 10455 25100 0 -1 1077944384 19843 0 0 0 406 2 0 0 20 0 19 0 53800909 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500455631728 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10469] ppid=10455 vsize=13186612 CPUtime=0.94 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) S 10455 10455 25100 0 -1 1077944384 10404 0 0 0 93 1 0 0 20 0 19 0 53800909 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500454578672 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10470] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10455 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53800909 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500453526368 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10471] ppid=10455 vsize=13186612 CPUtime=0.07 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10455 25100 0 -1 1077944384 392 0 0 0 0 7 0 0 20 0 19 0 53800917 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500452473392 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10492] ppid=10455 vsize=13186612 CPUtime=165.67 cores=1,3,5,7
/proc/10457/task/10492/stat : 10492 (java) R 10455 10455 25100 0 -1 4202560 2363 0 0 0 16566 1 0 0 20 0 19 0 53801589 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500444958000 140500616827827 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10493] ppid=10455 vsize=13186612 CPUtime=165.21 cores=1,3,5,7
/proc/10457/task/10493/stat : 10493 (java) R 10455 10455 25100 0 -1 4202560 2197 0 0 0 16520 1 0 0 20 0 19 0 53801589 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500440748312 140500617198499 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10494] ppid=10455 vsize=13186612 CPUtime=165.19 cores=1,3,5,7
/proc/10457/task/10494/stat : 10494 (java) R 10455 10455 25100 0 -1 4202560 3722 0 0 0 16514 5 0 0 20 0 19 0 53801589 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500442856400 140500620808224 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10495] ppid=10455 vsize=13186612 CPUtime=165.38 cores=1,3,5,7
/proc/10457/task/10495/stat : 10495 (java) R 10455 10455 25100 0 -1 4202560 1369 0 0 0 16537 1 0 0 20 0 19 0 53801589 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500443905664 140500617198463 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
Current children cumulated CPU time (s) 688.62
Current children cumulated vsize (KiB) 13196124
[startup+173.701 s]
/proc/loadavg: 8.19 8.38 8.29 10/224 10620
/proc/meminfo: memFree=30137928/32770624 swapFree=0/329516
[pid=10455] ppid=10452 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (xcsp3-exec) S 10452 10455 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53800892 9740288 344 18446744073709551615 4194304 5098028 140730901265488 140730901263592 139844560315004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 11 0 0 7196144 7232144 35983360 140730901266841 140730901267050 140730901267050 140730901270507 0
/proc/10455/statm: 2378 344 289 221 0 87 0
[pid=10457] ppid=10455 vsize=13186612 CPUtime=689 cores=1,3,5,7
/proc/10457/stat : 10457 (java) S 10455 10455 25100 0 -1 1077944320 86244 0 0 0 68845 55 0 0 20 0 19 0 53800903 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140726879574432 140500977590007 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
/proc/10457/statm: 3296653 173503 3262 1 0 3284945 0
[pid=10457/tid=10458] ppid=10455 vsize=13186612 CPUtime=1.37 cores=1,3,5,7
/proc/10457/task/10458/stat : 10458 (java) S 10455 10455 25100 0 -1 1077944384 10235 0 0 0 132 5 0 0 20 0 19 0 53800904 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500981830784 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10459] ppid=10455 vsize=13186612 CPUtime=0.17 cores=1,3,5,7
/proc/10457/task/10459/stat : 10459 (java) S 10455 10455 25100 0 -1 1077944384 1070 0 0 0 10 7 0 0 20 0 19 0 53800904 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500934556688 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10460] ppid=10455 vsize=13186612 CPUtime=0.18 cores=1,3,5,7
/proc/10457/task/10460/stat : 10460 (java) S 10455 10455 25100 0 -1 1077944384 2674 0 0 0 11 7 0 0 20 0 19 0 53800904 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500933504144 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10461] ppid=10455 vsize=13186612 CPUtime=0.18 cores=1,3,5,7
/proc/10457/task/10461/stat : 10461 (java) S 10455 10455 25100 0 -1 1077944384 2135 0 0 0 10 8 0 0 20 0 19 0 53800904 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500932451088 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10462] ppid=10455 vsize=13186612 CPUtime=0.18 cores=1,3,5,7
/proc/10457/task/10462/stat : 10462 (java) S 10455 10455 25100 0 -1 1077944384 1366 0 0 0 11 7 0 0 20 0 19 0 53800904 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500931398544 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10463] ppid=10455 vsize=13186612 CPUtime=0.04 cores=1,3,5,7
/proc/10457/task/10463/stat : 10463 (java) S 10455 10455 25100 0 -1 1077944384 2188 0 0 0 3 1 0 0 20 0 19 0 53800906 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500528752880 140500977601154 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10464] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10464/stat : 10464 (java) S 10455 10455 25100 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 53800906 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500459840736 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10465] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10465/stat : 10465 (java) S 10455 10455 25100 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 53800906 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500458787584 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10466] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10466/stat : 10466 (java) S 10455 10455 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53800909 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500457736144 140500977608603 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10467] ppid=10455 vsize=13186612 CPUtime=4.13 cores=1,3,5,7
/proc/10457/task/10467/stat : 10467 (java) S 10455 10455 25100 0 -1 1077944384 23283 0 0 0 410 3 0 0 20 0 19 0 53800909 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500456684272 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10468] ppid=10455 vsize=13186612 CPUtime=4.08 cores=1,3,5,7
/proc/10457/task/10468/stat : 10468 (java) S 10455 10455 25100 0 -1 1077944384 19843 0 0 0 406 2 0 0 20 0 19 0 53800909 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500455631728 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10469] ppid=10455 vsize=13186612 CPUtime=0.94 cores=1,3,5,7
/proc/10457/task/10469/stat : 10469 (java) S 10455 10455 25100 0 -1 1077944384 10404 0 0 0 93 1 0 0 20 0 19 0 53800909 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500454578672 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10470] ppid=10455 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/10457/task/10470/stat : 10470 (java) S 10455 10455 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53800909 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500453526368 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10471] ppid=10455 vsize=13186612 CPUtime=0.07 cores=1,3,5,7
/proc/10457/task/10471/stat : 10471 (java) S 10455 10455 25100 0 -1 1077944384 392 0 0 0 0 7 0 0 20 0 19 0 53800917 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500452473392 140500977601154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10492] ppid=10455 vsize=13186612 CPUtime=165.76 cores=1,3,5,7
/proc/10457/task/10492/stat : 10492 (java) S 10455 10455 25100 0 -1 1077944384 2364 0 0 0 16575 1 0 0 20 0 19 0 53801589 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500444963104 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10493] ppid=10455 vsize=13186612 CPUtime=165.3 cores=1,3,5,7
/proc/10457/task/10493/stat : 10493 (java) S 10455 10455 25100 0 -1 1077944384 2205 0 0 0 16529 1 0 0 20 0 19 0 53801589 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500440753360 140500977600213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10494] ppid=10455 vsize=13186612 CPUtime=165.29 cores=1,3,5,7
/proc/10457/task/10494/stat : 10494 (java) R 10455 10455 25100 0 -1 4202560 3722 0 0 0 16524 5 0 0 20 0 19 0 53801589 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500442856400 140500614151844 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
[pid=10457/tid=10495] ppid=10455 vsize=13186612 CPUtime=165.48 cores=1,3,5,7
/proc/10457/task/10495/stat : 10495 (java) R 10455 10455 25100 0 -1 4202560 1369 0 0 0 16547 1 0 0 20 0 19 0 53801589 13503090688 173503 18446744073709551615 4194304 4196468 140726879591888 140500443905664 140500617198645 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14012416 140726879597014 140726879597190 140726879597190 140726879600591 0
Current children cumulated CPU time (s) 689
Current children cumulated vsize (KiB) 13196124
Child status: 0
Real time (s): 173.716
CPU time (s): 689.035
CPU user time (s): 688.469
CPU system time (s): 0.566033
CPU usage (%): 396.646
Max. virtual memory (cumulated for all children) (KiB): 13198048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 688.469
system time used= 0.566033
maximum resident set size= 709608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87269
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7773
involuntary context switches= 13024
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.906481 second user time and 1.34666 second system time
The end