runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15511 MiB free)
memory of node 1: 16384 MiB (15771 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269747-1502725681/watcher-4269747-1502725681 -o /tmp/evaluation-result-4269747-1502725681/solver-4269747-1502725681 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502724845-2549 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 192968580 HOME/instance-4269747-1502725681.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2572, runsolver pid=2569
Current StackSize limit: 8192 KiB
[startup+0.100113 s]*
/proc/loadavg: 0.00 0.01 0.06 1/186 2580
/proc/meminfo: memFree=32023092/32770624 swapFree=67108860/67108860
[pid=2572] ppid=2569 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2572/stat : 2572 (xcsp3-exec) S 2569 2572 2357 34816 2543 4202496 516 0 0 0 0 0 0 0 20 0 1 0 183229 9740288 345 18446744073709551615 4194304 5098028 140735687067056 140735687065160 139644833845884 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 15892480 140735687074172 140735687074376 140735687074376 140735687077867 0
/proc/2572/statm: 2378 345 289 221 0 87 0
[pid=2576] ppid=2572 vsize=26980 memory=688 CPUtime=0 cores=1,3,5,7
/proc/2576/stat : 2576 (java) D 2572 2572 2357 34816 2543 4202496 266 0 1 0 0 0 0 0 20 0 1 0 183235 27627520 172 18446744073709551615 4194304 4196468 140722110505264 140722110485288 139746338834938 0 0 1 0 18446744071580431491 0 0 17 1 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
/proc/2576/statm: 6745 172 139 1 0 84 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 36492 KiB
Current children cumulated memory: 2068 KiB
[startup+0.212157 s]*
/proc/loadavg: 0.00 0.01 0.06 1/186 2580
/proc/meminfo: memFree=32016492/32770624 swapFree=67108860/67108860
[pid=2572] ppid=2569 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2572/stat : 2572 (xcsp3-exec) S 2569 2572 2357 34816 2543 4202496 516 0 0 0 0 0 0 0 20 0 1 0 183229 9740288 345 18446744073709551615 4194304 5098028 140735687067056 140735687065160 139644833845884 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 15892480 140735687074172 140735687074376 140735687074376 140735687077867 0
/proc/2572/statm: 2378 345 289 221 0 87 0
[pid=2576] ppid=2572 vsize=26980 memory=752 CPUtime=0 cores=1,3,5,7
/proc/2576/stat : 2576 (java) D 2572 2572 2357 34816 2543 1077944320 270 0 2 0 0 0 0 0 20 0 1 0 183235 27627520 188 18446744073709551615 4194304 4196468 140722110505264 140722110484856 139746338830023 0 0 1 0 18446744072101662244 0 0 17 1 0 0 10 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
/proc/2576/statm: 6745 188 151 1 0 159 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 36492 KiB
Current children cumulated memory: 2132 KiB
[startup+0.311754 s]*
/proc/loadavg: 0.00 0.01 0.06 1/197 2591
/proc/meminfo: memFree=31992400/32770624 swapFree=67108860/67108860
[pid=2572] ppid=2569 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2572/stat : 2572 (xcsp3-exec) S 2569 2572 2357 34816 2543 4202496 516 0 0 0 0 0 0 0 20 0 1 0 183229 9740288 345 18446744073709551615 4194304 5098028 140735687067056 140735687065160 139644833845884 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 15892480 140735687074172 140735687074376 140735687074376 140735687077867 0
/proc/2572/statm: 2378 345 289 221 0 87 0
[pid=2576] ppid=2572 vsize=13358712 memory=11712 CPUtime=0.01 cores=1,3,5,7
/proc/2576/stat : 2576 (java) S 2572 2572 2357 34816 2543 1077944320 2680 0 3 0 0 1 0 0 20 0 6 0 183235 13679321088 2928 18446744073709551615 4194304 4196468 140722110505264 140722110487808 139746336554743 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
/proc/2576/statm: 3339678 2928 1404 1 0 3329175 0
[pid=2576/tid=2582] ppid=2572 vsize=13358712 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2582/stat : 2582 (java) D 2572 2572 2357 34816 2543 4202560 1441 0 1 0 0 0 0 0 20 0 6 0 183252 13679321088 2928 18446744073709551615 4194304 4196468 140722110505264 139746340789960 139746297536374 0 4 1 16784584 18446744071580431491 0 0 -1 3 0 0 6 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2584] ppid=2572 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2584/stat : 2584 (java) S 2572 2572 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 183254 13679321088 2928 18446744073709551615 4194304 4196468 140722110505264 139746293521552 139746336564949 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2585] ppid=2572 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2585/stat : 2585 (java) S 2572 2572 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 183254 13679321088 2928 18446744073709551615 4194304 4196468 140722110505264 139746292468752 139746336564949 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2586] ppid=2572 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2586/stat : 2586 (java) S 2572 2572 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 183254 13679321088 2928 18446744073709551615 4194304 4196468 140722110505264 139745934109584 139746336564949 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2588] ppid=2572 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2588/stat : 2588 (java) S 2572 2572 2357 34816 2543 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 183254 13679321088 2928 18446744073709551615 4194304 4196468 140722110505264 139745933056784 139746336564949 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 13092 KiB
[startup+0.702651 s]
/proc/loadavg: 0.00 0.01 0.06 1/213 2607
/proc/meminfo: memFree=31979336/32770624 swapFree=67108860/67108860
[pid=2572] ppid=2569 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2572/stat : 2572 (xcsp3-exec) S 2569 2572 2357 34816 2543 4202496 516 0 0 0 0 0 0 0 20 0 1 0 183229 9740288 345 18446744073709551615 4194304 5098028 140735687067056 140735687065160 139644833845884 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 15892480 140735687074172 140735687074376 140735687074376 140735687077867 0
/proc/2572/statm: 2378 345 289 221 0 87 0
[pid=2576] ppid=2572 vsize=13974352 memory=31624 CPUtime=0.22 cores=1,3,5,7
/proc/2576/stat : 2576 (java) S 2572 2572 2357 34816 2543 1077944320 6268 0 3 0 20 2 0 0 20 0 15 0 183235 14309736448 7906 18446744073709551615 4194304 4196468 140722110505264 140722110487808 139746336554743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
/proc/2576/statm: 3493588 7906 2971 1 0 3482964 0
[pid=2576/tid=2582] ppid=2572 vsize=13974352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/2576/task/2582/stat : 2582 (java) R 2572 2572 2357 34816 2543 4202560 3529 0 1 0 12 1 0 0 20 0 15 0 183252 14309736448 7906 18446744073709551615 4194304 4196468 140722110505264 139746340792624 139746336576669 0 4 1 16800974 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2584] ppid=2572 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2584/stat : 2584 (java) S 2572 2572 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183254 14309736448 7906 18446744073709551615 4194304 4196468 140722110505264 139746293521552 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2585] ppid=2572 vsize=13974352 memory=140407538282993 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2585/stat : 2585 (java) S 2572 2572 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183254 14309736448 7906 18446744073709551615 4194304 4196468 140722110505264 139746292468752 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2586] ppid=2572 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2586/stat : 2586 (java) S 2572 2572 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183254 14309736448 7906 18446744073709551615 4194304 4196468 140722110505264 139745934109584 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2588] ppid=2572 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2588/stat : 2588 (java) S 2572 2572 2357 34816 2543 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 183254 14309736448 7906 18446744073709551615 4194304 4196468 140722110505264 139745933056784 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2593] ppid=2572 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2593/stat : 2593 (java) S 2572 2572 2357 34816 2543 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 183266 14309736448 7906 18446744073709551615 4194304 4196468 140722110505264 139745680132464 139746336565890 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2594] ppid=2572 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2594/stat : 2594 (java) S 2572 2572 2357 34816 2543 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 183266 14309736448 7906 18446744073709551615 4194304 4196468 140722110505264 139745679078432 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2596] ppid=2572 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2596/stat : 2596 (java) S 2572 2572 2357 34816 2543 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 183267 14309736448 7906 18446744073709551615 4194304 4196468 140722110505264 139745678025584 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2598] ppid=2572 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2598/stat : 2598 (java) S 2572 2572 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183274 14309736448 7906 18446744073709551615 4194304 4196468 140722110505264 139745676973904 139746336573339 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2600] ppid=2572 vsize=13974352 memory=2209 CPUtime=0.01 cores=1,3,5,7
/proc/2576/task/2600/stat : 2600 (java) S 2572 2572 2357 34816 2543 1077944384 555 0 0 0 1 0 0 0 20 0 15 0 183274 14309736448 7906 18446744073709551615 4194304 4196468 140722110505264 139745675922288 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2601] ppid=2572 vsize=13974352 memory=2372 CPUtime=0.01 cores=1,3,5,7
/proc/2576/task/2601/stat : 2601 (java) S 2572 2572 2357 34816 2543 1077944384 198 0 0 0 1 0 0 0 20 0 15 0 183274 14309736448 7906 18446744073709551615 4194304 4196468 140722110505264 139745674869488 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2603] ppid=2572 vsize=13974352 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2576/task/2603/stat : 2603 (java) S 2572 2572 2357 34816 2543 1077944384 685 0 0 0 4 0 0 0 20 0 15 0 183274 14309736448 7906 18446744073709551615 4194304 4196468 140722110505264 139745673816688 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2606] ppid=2572 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2606/stat : 2606 (java) S 2572 2572 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183274 14309736448 7906 18446744073709551615 4194304 4196468 140722110505264 139745672764128 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 33004 KiB
[startup+1.50073 s]
/proc/loadavg: 0.00 0.01 0.06 1/215 2609
/proc/meminfo: memFree=31936628/32770624 swapFree=67108860/67108860
[pid=2572] ppid=2569 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2572/stat : 2572 (xcsp3-exec) S 2569 2572 2357 34816 2543 4202496 516 0 0 0 0 0 0 0 20 0 1 0 183229 9740288 345 18446744073709551615 4194304 5098028 140735687067056 140735687065160 139644833845884 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 15892480 140735687074172 140735687074376 140735687074376 140735687077867 0
/proc/2572/statm: 2378 345 289 221 0 87 0
[pid=2576] ppid=2572 vsize=13978608 memory=55148 CPUtime=0.75 cores=1,3,5,7
/proc/2576/stat : 2576 (java) S 2572 2572 2357 34816 2543 1077944320 12165 0 4 0 69 6 0 0 20 0 15 0 183235 14314094592 13787 18446744073709551615 4194304 4196468 140722110505264 140722110487808 139746336554743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
/proc/2576/statm: 3494652 13787 3115 1 0 3482964 0
[pid=2576/tid=2582] ppid=2572 vsize=13978608 memory=1380 CPUtime=0.37 cores=1,3,5,7
/proc/2576/task/2582/stat : 2582 (java) D 2572 2572 2357 34816 2543 4202560 7651 0 2 0 33 4 0 0 20 0 15 0 183252 14314094592 13787 18446744073709551615 4194304 4196468 140722110505264 139746340786960 139746336576669 0 4 1 16800974 18446744071580419588 0 0 -1 1 0 0 85 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2584] ppid=2572 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2584/stat : 2584 (java) S 2572 2572 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183254 14314094592 13787 18446744073709551615 4194304 4196468 140722110505264 139746293521552 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2585] ppid=2572 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2585/stat : 2585 (java) S 2572 2572 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183254 14314094592 13787 18446744073709551615 4194304 4196468 140722110505264 139746292468752 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2586] ppid=2572 vsize=13978608 memory=280814759876936 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2586/stat : 2586 (java) S 2572 2572 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183254 14314094592 13787 18446744073709551615 4194304 4196468 140722110505264 139745934109584 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2588] ppid=2572 vsize=13978608 memory=4279073131472642624 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2588/stat : 2588 (java) S 2572 2572 2357 34816 2543 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 183254 14314094592 13787 18446744073709551615 4194304 4196468 140722110505264 139745933056784 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2593] ppid=2572 vsize=13978608 memory=7740652364543121768 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2593/stat : 2593 (java) S 2572 2572 2357 34816 2543 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 183266 14314094592 13787 18446744073709551615 4194304 4196468 140722110505264 139745680132464 139746336565890 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2594] ppid=2572 vsize=13978608 memory=-6589991616589427904 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2594/stat : 2594 (java) S 2572 2572 2357 34816 2543 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 183266 14314094592 13787 18446744073709551615 4194304 4196468 140722110505264 139745679078432 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2596] ppid=2572 vsize=13978608 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2596/stat : 2596 (java) S 2572 2572 2357 34816 2543 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 183267 14314094592 13787 18446744073709551615 4194304 4196468 140722110505264 139745678025584 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2598] ppid=2572 vsize=13978608 memory=288230604624101684 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2598/stat : 2598 (java) S 2572 2572 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183274 14314094592 13787 18446744073709551615 4194304 4196468 140722110505264 139745676973904 139746336573339 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2600] ppid=2572 vsize=13978608 memory=288284497924064109 CPUtime=0.08 cores=1,3,5,7
/proc/2576/task/2600/stat : 2600 (java) S 2572 2572 2357 34816 2543 1077944384 1007 0 0 0 7 1 0 0 20 0 15 0 183274 14314094592 13787 18446744073709551615 4194304 4196468 140722110505264 139745675922288 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2601] ppid=2572 vsize=13978608 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2576/task/2601/stat : 2601 (java) R 2572 2572 2357 34816 2543 4202560 964 0 0 0 9 0 0 0 20 0 15 0 183274 14314094592 13787 18446744073709551615 4194304 4196468 140722110505264 139745674847920 139746314198688 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2603] ppid=2572 vsize=13978608 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/2576/task/2603/stat : 2603 (java) S 2572 2572 2357 34816 2543 1077944384 1239 0 0 0 17 0 0 0 20 0 15 0 183274 14314094592 13787 18446744073709551615 4194304 4196468 140722110505264 139745673816688 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2606] ppid=2572 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2606/stat : 2606 (java) S 2572 2572 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183274 14314094592 13787 18446744073709551615 4194304 4196468 140722110505264 139745672764128 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2609] ppid=2572 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2609/stat : 2609 (java) S 2572 2572 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183291 14314094592 13787 18446744073709551615 4194304 4196468 140722110505264 139745671711408 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
Current children cumulated CPU time: 0.75 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 56528 KiB
[startup+3.11061 s]
/proc/loadavg: 0.00 0.01 0.06 7/215 2609
/proc/meminfo: memFree=31552624/32770624 swapFree=67108860/67108860
[pid=2572] ppid=2569 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2572/stat : 2572 (xcsp3-exec) S 2569 2572 2357 34816 2543 4202496 516 0 0 0 0 0 0 0 20 0 1 0 183229 9740288 345 18446744073709551615 4194304 5098028 140735687067056 140735687065160 139644833845884 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 15892480 140735687074172 140735687074376 140735687074376 140735687077867 0
/proc/2572/statm: 2378 345 289 221 0 87 0
[pid=2576] ppid=2572 vsize=13982780 memory=211380 CPUtime=5.46 cores=1,3,5,7
/proc/2576/stat : 2576 (java) S 2572 2572 2357 34816 2543 1077944320 17872 0 5 0 534 12 0 0 20 0 15 0 183235 14318366720 52845 18446744073709551615 4194304 4196468 140722110505264 140722110487808 139746336554743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
/proc/2576/statm: 3495695 52845 3223 1 0 3483988 0
[pid=2576/tid=2582] ppid=2572 vsize=13982780 memory=280814760096000 CPUtime=1.82 cores=1,3,5,7
/proc/2576/task/2582/stat : 2582 (java) R 2572 2572 2357 34816 2543 4202560 8833 0 3 0 176 6 0 0 20 0 15 0 183252 14318366720 52845 18446744073709551615 4194304 4196468 140722110505264 139746340791744 139745979518291 0 4 1 16800974 0 0 0 -1 5 0 0 96 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2584] ppid=2572 vsize=13982780 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2576/task/2584/stat : 2584 (java) S 2572 2572 2357 34816 2543 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 183254 14318366720 52845 18446744073709551615 4194304 4196468 140722110505264 139746293521552 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2585] ppid=2572 vsize=13982780 memory=280814759879264 CPUtime=0.01 cores=1,3,5,7
/proc/2576/task/2585/stat : 2585 (java) S 2572 2572 2357 34816 2543 1077944384 14 0 0 0 1 0 0 0 20 0 15 0 183254 14318366720 52845 18446744073709551615 4194304 4196468 140722110505264 139746292468752 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2586] ppid=2572 vsize=13982780 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2576/task/2586/stat : 2586 (java) S 2572 2572 2357 34816 2543 1077944384 12 0 0 0 1 0 0 0 20 0 15 0 183254 14318366720 52845 18446744073709551615 4194304 4196468 140722110505264 139745934109584 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2588] ppid=2572 vsize=13982780 memory=55 CPUtime=0.01 cores=1,3,5,7
/proc/2576/task/2588/stat : 2588 (java) S 2572 2572 2357 34816 2543 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 183254 14318366720 52845 18446744073709551615 4194304 4196468 140722110505264 139745933056784 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2593] ppid=2572 vsize=13982780 memory=4279073131472642624 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2593/stat : 2593 (java) S 2572 2572 2357 34816 2543 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 183266 14318366720 52845 18446744073709551615 4194304 4196468 140722110505264 139745680132464 139746336565890 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2594] ppid=2572 vsize=13982780 memory=9 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2594/stat : 2594 (java) S 2572 2572 2357 34816 2543 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 183266 14318366720 52845 18446744073709551615 4194304 4196468 140722110505264 139745679078496 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2596] ppid=2572 vsize=13982780 memory=14 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2596/stat : 2596 (java) S 2572 2572 2357 34816 2543 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 183267 14318366720 52845 18446744073709551615 4194304 4196468 140722110505264 139745678025584 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2598] ppid=2572 vsize=13982780 memory=23 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2598/stat : 2598 (java) S 2572 2572 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183274 14318366720 52845 18446744073709551615 4194304 4196468 140722110505264 139745676973904 139746336573339 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2600] ppid=2572 vsize=13982780 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/2576/task/2600/stat : 2600 (java) R 2572 2572 2357 34816 2543 4202560 2576 0 0 0 138 1 0 0 20 0 15 0 183274 14318366720 52845 18446744073709551615 4194304 4196468 140722110505264 139745675912144 139746317255047 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2601] ppid=2572 vsize=13982780 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/2576/task/2601/stat : 2601 (java) R 2572 2572 2357 34816 2543 4202560 2000 0 0 0 139 0 0 0 20 0 15 0 183274 14318366720 52845 18446744073709551615 4194304 4196468 140722110505264 139745674860688 139746316248460 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2603] ppid=2572 vsize=13982780 memory=4104 CPUtime=0.75 cores=1,3,5,7
/proc/2576/task/2603/stat : 2603 (java) S 2572 2572 2357 34816 2543 1077944384 3017 0 0 0 74 1 0 0 20 0 15 0 183274 14318366720 52845 18446744073709551615 4194304 4196468 140722110505264 139745673816688 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2606] ppid=2572 vsize=13982780 memory=5312 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2606/stat : 2606 (java) S 2572 2572 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183274 14318366720 52845 18446744073709551615 4194304 4196468 140722110505264 139745672764128 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2609] ppid=2572 vsize=13982780 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2609/stat : 2609 (java) S 2572 2572 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 183291 14318366720 52845 18446744073709551615 4194304 4196468 140722110505264 139745671711408 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
Current children cumulated CPU time: 5.46 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 212760 KiB
################
# More data... #
################
/proc/2576/task/2584/stat : 2584 (java) S 2572 2572 2357 34816 2543 1077944384 320 0 0 0 2 1 0 0 20 0 15 0 183254 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139746293521552 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2585] ppid=2572 vsize=13982780 memory=193 CPUtime=0.03 cores=1,3,5,7
/proc/2576/task/2585/stat : 2585 (java) S 2572 2572 2357 34816 2543 1077944384 84 0 0 0 2 1 0 0 20 0 15 0 183254 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139746292468752 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2586] ppid=2572 vsize=13982780 memory=219780 CPUtime=0.03 cores=1,3,5,7
/proc/2576/task/2586/stat : 2586 (java) S 2572 2572 2357 34816 2543 1077944384 123 0 0 0 2 1 0 0 20 0 15 0 183254 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745934109584 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2588] ppid=2572 vsize=13982780 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/2576/task/2588/stat : 2588 (java) S 2572 2572 2357 34816 2543 1077944384 966 0 0 0 2 1 0 0 20 0 15 0 183254 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745933056784 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2593] ppid=2572 vsize=13982780 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2593/stat : 2593 (java) S 2572 2572 2357 34816 2543 1077944384 666 0 0 0 0 0 0 0 20 0 15 0 183266 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745680132464 139746336565890 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2594] ppid=2572 vsize=13982780 memory=4568 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2594/stat : 2594 (java) S 2572 2572 2357 34816 2543 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 183266 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745679078496 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2596] ppid=2572 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2596/stat : 2596 (java) S 2572 2572 2357 34816 2543 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 183267 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745678025600 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2598] ppid=2572 vsize=13982780 memory=219816 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2598/stat : 2598 (java) S 2572 2572 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745676973904 139746336573339 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2600] ppid=2572 vsize=13982780 memory=22286585304126 CPUtime=2.08 cores=1,3,5,7
/proc/2576/task/2600/stat : 2600 (java) S 2572 2572 2357 34816 2543 1077944384 8397 0 0 0 206 2 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745675922288 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2601] ppid=2572 vsize=13982780 memory=7822038051842263963 CPUtime=2.35 cores=1,3,5,7
/proc/2576/task/2601/stat : 2601 (java) S 2572 2572 2357 34816 2543 1077944384 10851 0 0 0 234 1 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745674869488 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2603] ppid=2572 vsize=13982780 memory=4104 CPUtime=0.85 cores=1,3,5,7
/proc/2576/task/2603/stat : 2603 (java) S 2572 2572 2357 34816 2543 1077944384 5878 0 0 0 84 1 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745673816688 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2606] ppid=2572 vsize=13982780 memory=5312 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2606/stat : 2606 (java) S 2572 2572 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745672764128 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2609] ppid=2572 vsize=13982780 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/2576/task/2609/stat : 2609 (java) S 2572 2572 2357 34816 2543 1077944384 222 0 0 0 0 1 0 0 20 0 15 0 183291 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745671711408 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
Current children cumulated CPU time: 55.28 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 237764 KiB
[startup+52.045 s]
# the end of solver process 2572 was just reported to runsolver
# cumulated CPU time of all completed processes: user=56.0316 s, system=0.203234 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.201 s]
/proc/loadavg: 1.60 0.48 0.22 3/215 2609
/proc/meminfo: memFree=31493012/32770624 swapFree=67108860/67108860
[pid=2572] ppid=2569 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2572/stat : 2572 (xcsp3-exec) S 2569 2572 2357 34816 2543 4202496 516 0 0 0 0 0 0 0 20 0 1 0 183229 9740288 345 18446744073709551615 4194304 5098028 140735687067056 140735687065160 139644833845884 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 15892480 140735687074172 140735687074376 140735687074376 140735687077867 0
/proc/2572/statm: 2378 345 289 221 0 87 0
[pid=2576] ppid=2572 vsize=13982780 memory=236384 CPUtime=55.37 cores=1,3,5,7
/proc/2576/stat : 2576 (java) S 2572 2572 2357 34816 2543 1077944320 40458 0 5 0 5518 19 0 0 20 0 15 0 183235 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 140722110487808 139746336554743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
/proc/2576/statm: 3495695 59096 3241 1 0 3483988 0
[pid=2576/tid=2582] ppid=2572 vsize=13982780 memory=8672 CPUtime=49.89 cores=1,3,5,7
/proc/2576/task/2582/stat : 2582 (java) R 2572 2572 2357 34816 2543 4202560 11613 0 3 0 4982 7 0 0 20 0 15 0 183252 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139746340791520 139745979518429 0 4 1 16800974 0 0 0 -1 3 0 0 96 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2584] ppid=2572 vsize=13982780 memory=1200 CPUtime=0.03 cores=1,3,5,7
/proc/2576/task/2584/stat : 2584 (java) S 2572 2572 2357 34816 2543 1077944384 320 0 0 0 2 1 0 0 20 0 15 0 183254 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139746293521552 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2585] ppid=2572 vsize=13982780 memory=15876 CPUtime=0.03 cores=1,3,5,7
/proc/2576/task/2585/stat : 2585 (java) S 2572 2572 2357 34816 2543 1077944384 84 0 0 0 2 1 0 0 20 0 15 0 183254 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139746292468752 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2586] ppid=2572 vsize=13982780 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/2576/task/2586/stat : 2586 (java) S 2572 2572 2357 34816 2543 1077944384 123 0 0 0 2 1 0 0 20 0 15 0 183254 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745934109584 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2588] ppid=2572 vsize=13982780 memory=236384 CPUtime=0.03 cores=1,3,5,7
/proc/2576/task/2588/stat : 2588 (java) S 2572 2572 2357 34816 2543 1077944384 966 0 0 0 2 1 0 0 20 0 15 0 183254 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745933056784 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2593] ppid=2572 vsize=13982780 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2593/stat : 2593 (java) S 2572 2572 2357 34816 2543 1077944384 666 0 0 0 0 0 0 0 20 0 15 0 183266 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745680132464 139746336565890 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2594] ppid=2572 vsize=13982780 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2594/stat : 2594 (java) S 2572 2572 2357 34816 2543 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 183266 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745679078496 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2596] ppid=2572 vsize=13982780 memory=6933690279252828305 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2596/stat : 2596 (java) S 2572 2572 2357 34816 2543 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 183267 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745678025600 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2598] ppid=2572 vsize=13982780 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2598/stat : 2598 (java) S 2572 2572 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745676973904 139746336573339 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2600] ppid=2572 vsize=13982780 memory=1380 CPUtime=2.08 cores=1,3,5,7
/proc/2576/task/2600/stat : 2600 (java) S 2572 2572 2357 34816 2543 1077944384 8397 0 0 0 206 2 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745675922288 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2601] ppid=2572 vsize=13982780 memory=1380 CPUtime=2.35 cores=1,3,5,7
/proc/2576/task/2601/stat : 2601 (java) S 2572 2572 2357 34816 2543 1077944384 10851 0 0 0 234 1 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745674869488 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2603] ppid=2572 vsize=13982780 memory=236384 CPUtime=0.85 cores=1,3,5,7
/proc/2576/task/2603/stat : 2603 (java) S 2572 2572 2357 34816 2543 1077944384 5878 0 0 0 84 1 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745673816688 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2606] ppid=2572 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2606/stat : 2606 (java) S 2572 2572 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745672764128 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2609] ppid=2572 vsize=13982780 memory=219816 CPUtime=0.01 cores=1,3,5,7
/proc/2576/task/2609/stat : 2609 (java) S 2572 2572 2357 34816 2543 1077944384 222 0 0 0 0 1 0 0 20 0 15 0 183291 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745671711408 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
Current children cumulated CPU time: 55.37 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 237764 KiB
[startup+51.6008 s]
/proc/loadavg: 1.60 0.48 0.22 3/215 2609
/proc/meminfo: memFree=31493012/32770624 swapFree=67108860/67108860
[pid=2572] ppid=2569 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2572/stat : 2572 (xcsp3-exec) S 2569 2572 2357 34816 2543 4202496 516 0 0 0 0 0 0 0 20 0 1 0 183229 9740288 345 18446744073709551615 4194304 5098028 140735687067056 140735687065160 139644833845884 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 15892480 140735687074172 140735687074376 140735687074376 140735687077867 0
/proc/2572/statm: 2378 345 289 221 0 87 0
[pid=2576] ppid=2572 vsize=13982780 memory=236384 CPUtime=55.77 cores=1,3,5,7
/proc/2576/stat : 2576 (java) S 2572 2572 2357 34816 2543 1077944320 40461 0 5 0 5558 19 0 0 20 0 15 0 183235 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 140722110487808 139746336554743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
/proc/2576/statm: 3495695 59096 3241 1 0 3483988 0
[pid=2576/tid=2582] ppid=2572 vsize=13982780 memory=4016 CPUtime=50.29 cores=1,3,5,7
/proc/2576/task/2582/stat : 2582 (java) R 2572 2572 2357 34816 2543 4202560 11616 0 3 0 5022 7 0 0 20 0 15 0 183252 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139746340791520 139745979524590 0 4 1 16800974 0 0 0 -1 3 0 0 96 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2584] ppid=2572 vsize=13982780 memory=16424 CPUtime=0.03 cores=1,3,5,7
/proc/2576/task/2584/stat : 2584 (java) S 2572 2572 2357 34816 2543 1077944384 320 0 0 0 2 1 0 0 20 0 15 0 183254 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139746293521552 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2585] ppid=2572 vsize=13982780 memory=5604 CPUtime=0.03 cores=1,3,5,7
/proc/2576/task/2585/stat : 2585 (java) S 2572 2572 2357 34816 2543 1077944384 84 0 0 0 2 1 0 0 20 0 15 0 183254 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139746292468752 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2586] ppid=2572 vsize=13982780 memory=1240 CPUtime=0.03 cores=1,3,5,7
/proc/2576/task/2586/stat : 2586 (java) S 2572 2572 2357 34816 2543 1077944384 123 0 0 0 2 1 0 0 20 0 15 0 183254 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745934109584 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2588] ppid=2572 vsize=13982780 memory=644 CPUtime=0.03 cores=1,3,5,7
/proc/2576/task/2588/stat : 2588 (java) S 2572 2572 2357 34816 2543 1077944384 966 0 0 0 2 1 0 0 20 0 15 0 183254 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745933056784 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2593] ppid=2572 vsize=13982780 memory=13297 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2593/stat : 2593 (java) S 2572 2572 2357 34816 2543 1077944384 666 0 0 0 0 0 0 0 20 0 15 0 183266 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745680132464 139746336565890 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2594] ppid=2572 vsize=13982780 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2594/stat : 2594 (java) S 2572 2572 2357 34816 2543 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 183266 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745679078496 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2596] ppid=2572 vsize=13982780 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2596/stat : 2596 (java) S 2572 2572 2357 34816 2543 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 183267 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745678025600 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2598] ppid=2572 vsize=13982780 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2598/stat : 2598 (java) S 2572 2572 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745676973904 139746336573339 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2600] ppid=2572 vsize=13982780 memory=11044 CPUtime=2.08 cores=1,3,5,7
/proc/2576/task/2600/stat : 2600 (java) S 2572 2572 2357 34816 2543 1077944384 8397 0 0 0 206 2 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745675922288 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2601] ppid=2572 vsize=13982780 memory=13252 CPUtime=2.35 cores=1,3,5,7
/proc/2576/task/2601/stat : 2601 (java) S 2572 2572 2357 34816 2543 1077944384 10851 0 0 0 234 1 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745674869488 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2603] ppid=2572 vsize=13982780 memory=280814760808320 CPUtime=0.85 cores=1,3,5,7
/proc/2576/task/2603/stat : 2603 (java) S 2572 2572 2357 34816 2543 1077944384 5878 0 0 0 84 1 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745673816688 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2606] ppid=2572 vsize=13982780 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2606/stat : 2606 (java) S 2572 2572 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745672764128 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2609] ppid=2572 vsize=13982780 memory=6944652177228980320 CPUtime=0.01 cores=1,3,5,7
/proc/2576/task/2609/stat : 2609 (java) S 2572 2572 2357 34816 2543 1077944384 222 0 0 0 0 1 0 0 20 0 15 0 183291 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745671711408 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
Current children cumulated CPU time: 55.77 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 237764 KiB
[startup+52.0008 s]*
/proc/loadavg: 1.60 0.48 0.22 3/215 2609
/proc/meminfo: memFree=31493012/32770624 swapFree=67108860/67108860
[pid=2572] ppid=2569 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2572/stat : 2572 (xcsp3-exec) S 2569 2572 2357 34816 2543 4202496 516 0 0 0 0 0 0 0 20 0 1 0 183229 9740288 345 18446744073709551615 4194304 5098028 140735687067056 140735687065160 139644833845884 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 15892480 140735687074172 140735687074376 140735687074376 140735687077867 0
/proc/2572/statm: 2378 345 289 221 0 87 0
[pid=2576] ppid=2572 vsize=13982780 memory=236384 CPUtime=56.18 cores=1,3,5,7
/proc/2576/stat : 2576 (java) S 2572 2572 2357 34816 2543 1077944320 40464 0 5 0 5599 19 0 0 20 0 15 0 183235 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 140722110487808 139746336554743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
/proc/2576/statm: 3495695 59096 3241 1 0 3483988 0
[pid=2576/tid=2582] ppid=2572 vsize=13982780 memory=-9174445032661854264 CPUtime=50.7 cores=1,3,5,7
/proc/2576/task/2582/stat : 2582 (java) R 2572 2572 2357 34816 2543 4202560 11619 0 3 0 5063 7 0 0 20 0 15 0 183252 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139746340791312 139745979308349 0 4 1 16800974 0 0 0 -1 3 0 0 96 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2584] ppid=2572 vsize=13982780 memory=-2746958450906831424 CPUtime=0.03 cores=1,3,5,7
/proc/2576/task/2584/stat : 2584 (java) S 2572 2572 2357 34816 2543 1077944384 320 0 0 0 2 1 0 0 20 0 15 0 183254 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139746293521552 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2585] ppid=2572 vsize=13982780 memory=-2245088631185882904 CPUtime=0.03 cores=1,3,5,7
/proc/2576/task/2585/stat : 2585 (java) S 2572 2572 2357 34816 2543 1077944384 84 0 0 0 2 1 0 0 20 0 15 0 183254 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139746292468752 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2586] ppid=2572 vsize=13982780 memory=7680170660397595203 CPUtime=0.03 cores=1,3,5,7
/proc/2576/task/2586/stat : 2586 (java) S 2572 2572 2357 34816 2543 1077944384 123 0 0 0 2 1 0 0 20 0 15 0 183254 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745934109584 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2588] ppid=2572 vsize=13982780 memory=280814759706864 CPUtime=0.03 cores=1,3,5,7
/proc/2576/task/2588/stat : 2588 (java) S 2572 2572 2357 34816 2543 1077944384 966 0 0 0 2 1 0 0 20 0 15 0 183254 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745933056784 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2593] ppid=2572 vsize=13982780 memory=280814759706864 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2593/stat : 2593 (java) S 2572 2572 2357 34816 2543 1077944384 666 0 0 0 0 0 0 0 20 0 15 0 183266 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745680132464 139746336565890 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2594] ppid=2572 vsize=13982780 memory=280814759706864 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2594/stat : 2594 (java) S 2572 2572 2357 34816 2543 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 183266 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745679078496 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2596] ppid=2572 vsize=13982780 memory=280814759706864 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2596/stat : 2596 (java) S 2572 2572 2357 34816 2543 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 183267 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745678025600 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2598] ppid=2572 vsize=13982780 memory=280814759706864 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2598/stat : 2598 (java) S 2572 2572 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745676973904 139746336573339 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2600] ppid=2572 vsize=13982780 memory=280814759706864 CPUtime=2.08 cores=1,3,5,7
/proc/2576/task/2600/stat : 2600 (java) S 2572 2572 2357 34816 2543 1077944384 8397 0 0 0 206 2 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745675922288 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2601] ppid=2572 vsize=13982780 memory=280814759706864 CPUtime=2.35 cores=1,3,5,7
/proc/2576/task/2601/stat : 2601 (java) S 2572 2572 2357 34816 2543 1077944384 10851 0 0 0 234 1 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745674869488 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2603] ppid=2572 vsize=13982780 memory=5937503940875993185 CPUtime=0.85 cores=1,3,5,7
/proc/2576/task/2603/stat : 2603 (java) S 2572 2572 2357 34816 2543 1077944384 5878 0 0 0 84 1 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745673816688 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2606] ppid=2572 vsize=13982780 memory=7884518066842987368 CPUtime=0 cores=1,3,5,7
/proc/2576/task/2606/stat : 2606 (java) S 2572 2572 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 183274 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745672764128 139746336564949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
[pid=2576/tid=2609] ppid=2572 vsize=13982780 memory=7157458319313429609 CPUtime=0.01 cores=1,3,5,7
/proc/2576/task/2609/stat : 2609 (java) S 2572 2572 2357 34816 2543 1077944384 222 0 0 0 0 1 0 0 20 0 15 0 183291 14318366720 59096 18446744073709551615 4194304 4196468 140722110505264 139745671711408 139746336565890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140722110513588 140722110513764 140722110513764 140722110517199 0
Current children cumulated CPU time: 56.18 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 237764 KiB
Child status: 0
Real time (s): 52.045
CPU time (s): 56.2349
CPU user time (s): 56.0316
CPU system time (s): 0.203234
CPU usage (%): 108.05
Max. virtual memory (cumulated for all children) (KiB): 13992292
Max. memory (cumulated for all children) (KiB): 237764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.0316
system time used= 0.203234
maximum resident set size= 236740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41507
page faults= 5
swaps= 0
block input operations= 108752
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4015
involuntary context switches= 595
# summary of solver processes directly reported to runsolver:
# pid: 2572
# total CPU time (s): 56.2349
# total CPU user time (s): 56.0316
# total CPU system time (s): 0.203234
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.302757 second user time and 0.580323 second system time
The end