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-4246981-1502092181/watcher-4246981-1502092181 -o /tmp/evaluation-result-4246981-1502092181/solver-4246981-1502092181 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15621 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 898383783 HOME/instance-4246981-1502092181.xml
pid=22066
running on 4 cores: 0,2,4,6
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.77 8.39 7.96 7/203 22069
/proc/meminfo: memFree=31268860/32770624 swapFree=0/374044
[pid=22069] ppid=22066 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (runsolver) D 22066 22069 2911 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 108871275 24240128 107 18446744073709551615 4194304 4338465 140734466130576 140734466128216 139806043878103 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 26451968 140734466134103 140734466134601 140734466134601 140734466138058 0
/proc/22069/statm: 5918 107 54 36 0 2156 0
[startup+0.1002 s]
/proc/loadavg: 8.77 8.39 7.96 7/203 22069
/proc/meminfo: memFree=31268860/32770624 swapFree=0/374044
[pid=22069] ppid=22066 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (xcsp3-exec) S 22066 22069 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108871275 9740288 345 18446744073709551615 4194304 5098028 140729038786336 140729038784440 140353939042940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 14839808 140729038791065 140729038791274 140729038791274 140729038794731 0
/proc/22069/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200245 s]
/proc/loadavg: 8.77 8.39 7.96 7/203 22069
/proc/meminfo: memFree=31268860/32770624 swapFree=0/374044
[pid=22069] ppid=22066 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (xcsp3-exec) S 22066 22069 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108871275 9740288 345 18446744073709551615 4194304 5098028 140729038786336 140729038784440 140353939042940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 14839808 140729038791065 140729038791274 140729038791274 140729038794731 0
/proc/22069/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300228 s]
/proc/loadavg: 8.77 8.39 7.96 7/203 22069
/proc/meminfo: memFree=31268860/32770624 swapFree=0/374044
[pid=22069] ppid=22066 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (xcsp3-exec) S 22066 22069 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108871275 9740288 345 18446744073709551615 4194304 5098028 140729038786336 140729038784440 140353939042940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 14839808 140729038791065 140729038791274 140729038791274 140729038794731 0
/proc/22069/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.708543 s]
/proc/loadavg: 8.77 8.39 7.96 7/203 22069
/proc/meminfo: memFree=31268860/32770624 swapFree=0/374044
[pid=22069] ppid=22066 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (xcsp3-exec) S 22066 22069 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108871275 9740288 345 18446744073709551615 4194304 5098028 140729038786336 140729038784440 140353939042940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 14839808 140729038791065 140729038791274 140729038791274 140729038794731 0
/proc/22069/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50061 s]
/proc/loadavg: 8.77 8.39 7.96 11/223 22089
/proc/meminfo: memFree=31129696/32770624 swapFree=0/374072
[pid=22069] ppid=22066 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (xcsp3-exec) S 22066 22069 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108871275 9740288 345 18446744073709551615 4194304 5098028 140729038786336 140729038784440 140353939042940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 14839808 140729038791065 140729038791274 140729038791274 140729038794731 0
/proc/22069/statm: 2378 345 289 221 0 87 0
[pid=22071] ppid=22069 vsize=13186612 CPUtime=4.33 cores=0,2,4,6
/proc/22071/stat : 22071 (java) S 22069 22069 2911 0 -1 1077944320 17419 0 0 0 426 7 0 0 20 0 19 0 108871283 13503090688 49451 18446744073709551615 4194304 4196468 140735639920592 140735639903136 140183666351863 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
/proc/22071/statm: 3296653 49451 3210 1 0 3284945 0
[pid=22071/tid=22072] ppid=22069 vsize=13186612 CPUtime=0.83 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (java) S 22069 22069 2911 0 -1 1077944384 8853 0 0 0 80 3 0 0 20 0 19 0 108871283 13503090688 49451 18446744073709551615 4194304 4196468 140735639920592 140183670592640 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22073] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (java) S 22069 22069 2911 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 108871284 13503090688 49451 18446744073709551615 4194304 4196468 140735639920592 140183589177616 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22074] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871284 13503090688 49451 18446744073709551615 4194304 4196468 140735639920592 140183588125072 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22075] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22075/stat : 22075 (java) S 22069 22069 2911 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 108871284 13503090688 49451 18446744073709551615 4194304 4196468 140735639920592 140183587072528 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22076] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22076/stat : 22076 (java) S 22069 22069 2911 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 108871284 13503090688 49451 18446744073709551615 4194304 4196468 140735639920592 140183586019984 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22077] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22077/stat : 22077 (java) S 22069 22069 2911 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 108871285 13503090688 49451 18446744073709551615 4194304 4196468 140735639920592 140183238011376 140183666363010 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22078] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22078/stat : 22078 (java) S 22069 22069 2911 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 108871286 13503090688 49451 18446744073709551615 4194304 4196468 140735639920592 140183148651936 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22079] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22079/stat : 22079 (java) S 22069 22069 2911 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 108871286 13503090688 49451 18446744073709551615 4194304 4196468 140735639920592 140183147599344 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22080] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22080/stat : 22080 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871288 13503090688 49451 18446744073709551615 4194304 4196468 140735639920592 140183146547920 140183666370459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22081] ppid=22069 vsize=13186612 CPUtime=0.85 cores=0,2,4,6
/proc/22071/task/22081/stat : 22081 (java) R 22069 22069 2911 0 -1 4202560 2869 0 0 0 85 0 0 0 20 0 19 0 108871288 13503090688 49451 18446744073709551615 4194304 4196468 140735639920592 140183145480392 140183647873555 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22082] ppid=22069 vsize=13186612 CPUtime=0.78 cores=0,2,4,6
/proc/22071/task/22082/stat : 22082 (java) R 22069 22069 2911 0 -1 4202560 1606 0 0 0 78 0 0 0 20 0 19 0 108871288 13503090688 49451 18446744073709551615 4194304 4196468 140735639920592 140183144427432 140183647119333 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22083] ppid=22069 vsize=13186612 CPUtime=0.57 cores=0,2,4,6
/proc/22071/task/22083/stat : 22083 (java) S 22069 22069 2911 0 -1 1077944384 2198 0 0 0 56 1 0 0 20 0 19 0 108871288 13503090688 49451 18446744073709551615 4194304 4196468 140735639920592 140183143389424 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22084] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22084/stat : 22084 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871288 13503090688 49451 18446744073709551615 4194304 4196468 140735639920592 140183142337120 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22085] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22085/stat : 22085 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871293 13503090688 49451 18446744073709551615 4194304 4196468 140735639920592 140183141284656 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 13196124
[startup+3.10685 s]
/proc/loadavg: 8.77 8.39 7.96 11/223 22101
/proc/meminfo: memFree=31081080/32770624 swapFree=0/374076
[pid=22069] ppid=22066 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (xcsp3-exec) S 22066 22069 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108871275 9740288 345 18446744073709551615 4194304 5098028 140729038786336 140729038784440 140353939042940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 14839808 140729038791065 140729038791274 140729038791274 140729038794731 0
/proc/22069/statm: 2378 345 289 221 0 87 0
[pid=22071] ppid=22069 vsize=13186612 CPUtime=10.73 cores=0,2,4,6
/proc/22071/stat : 22071 (java) S 22069 22069 2911 0 -1 1077944320 19388 0 0 0 1065 8 0 0 20 0 19 0 108871283 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140735639903136 140183666351863 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
/proc/22071/statm: 3296653 50490 3235 1 0 3284945 0
[pid=22071/tid=22072] ppid=22069 vsize=13186612 CPUtime=0.83 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (java) S 22069 22069 2911 0 -1 1077944384 8853 0 0 0 80 3 0 0 20 0 19 0 108871283 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183670592640 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22073] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (java) S 22069 22069 2911 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 108871284 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183589177616 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22074] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871284 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183588125072 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22075] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22075/stat : 22075 (java) S 22069 22069 2911 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 108871284 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183587072528 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22076] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22076/stat : 22076 (java) S 22069 22069 2911 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 108871284 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183586019984 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22077] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22077/stat : 22077 (java) S 22069 22069 2911 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 108871285 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183238011376 140183666363010 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22078] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22078/stat : 22078 (java) S 22069 22069 2911 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 108871286 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183148651936 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22079] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22079/stat : 22079 (java) S 22069 22069 2911 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 108871286 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183147599344 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22080] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22080/stat : 22080 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871288 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183146547920 140183666370459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22081] ppid=22069 vsize=13186612 CPUtime=1.8 cores=0,2,4,6
/proc/22071/task/22081/stat : 22081 (java) S 22069 22069 2911 0 -1 1077944384 3866 0 0 0 180 0 0 0 20 0 19 0 108871288 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183145494512 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22082] ppid=22069 vsize=13186612 CPUtime=1.61 cores=0,2,4,6
/proc/22071/task/22082/stat : 22082 (java) S 22069 22069 2911 0 -1 1077944384 2327 0 0 0 161 0 0 0 20 0 19 0 108871288 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183144441968 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22083] ppid=22069 vsize=13186612 CPUtime=0.68 cores=0,2,4,6
/proc/22071/task/22083/stat : 22083 (java) S 22069 22069 2911 0 -1 1077944384 2413 0 0 0 67 1 0 0 20 0 19 0 108871288 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183143389424 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22084] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22084/stat : 22084 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871288 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183142337120 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22085] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22085/stat : 22085 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871293 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183141284656 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22098] ppid=22069 vsize=13186612 CPUtime=1.51 cores=0,2,4,6
/proc/22071/task/22098/stat : 22098 (java) R 22069 22069 2911 0 -1 4202560 34 0 0 0 151 0 0 0 20 0 19 0 108871404 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183129558296 140183258346290 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22099] ppid=22069 vsize=13186612 CPUtime=1.31 cores=0,2,4,6
/proc/22071/task/22099/stat : 22099 (java) R 22069 22069 2911 0 -1 4202560 34 0 0 0 131 0 0 0 20 0 19 0 108871404 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183133769800 140183258346478 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22100] ppid=22069 vsize=13186612 CPUtime=0.95 cores=0,2,4,6
/proc/22071/task/22100/stat : 22100 (java) R 22069 22069 2911 0 -1 4202560 27 0 0 0 95 0 0 0 20 0 19 0 108871404 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183130611320 140183258346091 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22101] ppid=22069 vsize=13186612 CPUtime=1.22 cores=0,2,4,6
/proc/22071/task/22101/stat : 22101 (java) R 22069 22069 2911 0 -1 4202560 19 0 0 0 122 0 0 0 20 0 19 0 108871405 13503090688 50490 18446744073709551615 4194304 4196468 140735639920592 140183132719976 140183258345961 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
Current children cumulated CPU time (s) 10.73
Current children cumulated vsize (KiB) 13196124
[startup+6.30254 s]
/proc/loadavg: 8.86 8.42 7.97 10/223 22105
/proc/meminfo: memFree=31078108/32770624 swapFree=0/374076
[pid=22069] ppid=22066 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (xcsp3-exec) S 22066 22069 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108871275 9740288 345 18446744073709551615 4194304 5098028 140729038786336 140729038784440 140353939042940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 14839808 140729038791065 140729038791274 140729038791274 140729038794731 0
/proc/22069/statm: 2378 345 289 221 0 87 0
[pid=22071] ppid=22069 vsize=13186612 CPUtime=23.37 cores=0,2,4,6
/proc/22071/stat : 22071 (java) S 22069 22069 2911 0 -1 1077944320 26151 0 0 0 2328 9 0 0 20 0 19 0 108871283 13503090688 50855 18446744073709551615 4194304 4196468 140735639920592 140735639903136 140183666351863 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
/proc/22071/statm: 3296653 50855 3243 1 0 3284945 0
[pid=22071/tid=22072] ppid=22069 vsize=13186612 CPUtime=0.83 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (java) S 22069 22069 2911 0 -1 1077944384 8994 0 0 0 80 3 0 0 20 0 19 0 108871283 13503090688 50855 18446744073709551615 4194304 4196468 140735639920592 140183670592640 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22073] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (java) S 22069 22069 2911 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 108871284 13503090688 50855 18446744073709551615 4194304 4196468 140735639920592 140183589177616 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22074] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871284 13503090688 50855 18446744073709551615 4194304 4196468 140735639920592 140183588125072 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22075] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22075/stat : 22075 (java) S 22069 22069 2911 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 108871284 13503090688 50855 18446744073709551615 4194304 4196468 140735639920592 140183587072528 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22076] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22076/stat : 22076 (java) S 22069 22069 2911 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 108871284 13503090688 50855 18446744073709551615 4194304 4196468 140735639920592 140183586019984 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22077] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22077/stat : 22077 (java) S 22069 22069 2911 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 19 0 108871285 13503090688 50855 18446744073709551615 4194304 4196468 140735639920592 140183238011376 140183666363010 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22078] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22078/stat : 22078 (java) S 22069 22069 2911 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 108871286 13503090688 50855 18446744073709551615 4194304 4196468 140735639920592 140183148651936 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22079] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22079/stat : 22079 (java) S 22069 22069 2911 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 108871286 13503090688 50855 18446744073709551615 4194304 4196468 140735639920592 140183147599344 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22080] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22080/stat : 22080 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871288 13503090688 50855 18446744073709551615 4194304 4196468 140735639920592 140183146547920 140183666370459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22081] ppid=22069 vsize=13186612 CPUtime=2.45 cores=0,2,4,6
/proc/22071/task/22081/stat : 22081 (java) S 22069 22069 2911 0 -1 1077944384 6399 0 0 0 245 0 0 0 20 0 19 0 108871288 13503090688 50855 18446744073709551615 4194304 4196468 140735639920592 140183145494512 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22082] ppid=22069 vsize=13186612 CPUtime=2.18 cores=0,2,4,6
/proc/22071/task/22082/stat : 22082 (java) S 22069 22069 2911 0 -1 1077944384 4189 0 0 0 217 1 0 0 20 0 19 0 108871288 13503090688 50855 18446744073709551615 4194304 4196468 140735639920592 140183144441968 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22083] ppid=22069 vsize=13186612 CPUtime=0.75 cores=0,2,4,6
/proc/22071/task/22083/stat : 22083 (java) S 22069 22069 2911 0 -1 1077944384 3039 0 0 0 74 1 0 0 20 0 19 0 108871288 13503090688 50855 18446744073709551615 4194304 4196468 140735639920592 140183143389424 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22084] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22084/stat : 22084 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871288 13503090688 50855 18446744073709551615 4194304 4196468 140735639920592 140183142337120 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22085] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22085/stat : 22085 (java) S 22069 22069 2911 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 19 0 108871293 13503090688 50855 18446744073709551615 4194304 4196468 140735639920592 140183141284656 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
Current children cumulated CPU time (s) 23.37
Current children cumulated vsize (KiB) 13196124
[startup+12.7015 s]
/proc/loadavg: 9.04 8.46 7.99 9/224 22110
/proc/meminfo: memFree=31077720/32770624 swapFree=0/374076
[pid=22069] ppid=22066 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (xcsp3-exec) S 22066 22069 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108871275 9740288 345 18446744073709551615 4194304 5098028 140729038786336 140729038784440 140353939042940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 14839808 140729038791065 140729038791274 140729038791274 140729038794731 0
/proc/22069/statm: 2378 345 289 221 0 87 0
[pid=22071] ppid=22069 vsize=13186612 CPUtime=48.87 cores=0,2,4,6
################
# More data... #
################
/proc/22071/task/22079/stat : 22079 (java) S 22069 22069 2911 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 108871286 13503090688 55770 18446744073709551615 4194304 4196468 140735639920592 140183147599360 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22080] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22080/stat : 22080 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871288 13503090688 55770 18446744073709551615 4194304 4196468 140735639920592 140183146547920 140183666370459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22081] ppid=22069 vsize=13186612 CPUtime=3.09 cores=0,2,4,6
/proc/22071/task/22081/stat : 22081 (java) S 22069 22069 2911 0 -1 1077944384 13608 0 0 0 308 1 0 0 20 0 19 0 108871288 13503090688 55770 18446744073709551615 4194304 4196468 140735639920592 140183145494512 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22082] ppid=22069 vsize=13186612 CPUtime=2.59 cores=0,2,4,6
/proc/22071/task/22082/stat : 22082 (java) S 22069 22069 2911 0 -1 1077944384 12137 0 0 0 258 1 0 0 20 0 19 0 108871288 13503090688 55770 18446744073709551615 4194304 4196468 140735639920592 140183144441968 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22083] ppid=22069 vsize=13186612 CPUtime=0.78 cores=0,2,4,6
/proc/22071/task/22083/stat : 22083 (java) S 22069 22069 2911 0 -1 1077944384 4436 0 0 0 77 1 0 0 20 0 19 0 108871288 13503090688 55770 18446744073709551615 4194304 4196468 140735639920592 140183143389424 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22084] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22084/stat : 22084 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871288 13503090688 55770 18446744073709551615 4194304 4196468 140735639920592 140183142337120 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22085] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22085/stat : 22085 (java) S 22069 22069 2911 0 -1 1077944384 575 0 0 0 0 0 0 0 20 0 19 0 108871293 13503090688 55770 18446744073709551615 4194304 4196468 140735639920592 140183141284656 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22106] ppid=22069 vsize=13186612 CPUtime=52.23 cores=0,2,4,6
/proc/22071/task/22106/stat : 22106 (java) R 22069 22069 2911 0 -1 4202560 1151 0 0 0 5223 0 0 0 20 0 19 0 108871900 13503090688 55770 18446744073709551615 4194304 4196468 140735639920592 140183132715992 140183258345897 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22107] ppid=22069 vsize=13186612 CPUtime=52.55 cores=0,2,4,6
/proc/22071/task/22107/stat : 22107 (java) R 22069 22069 2911 0 -1 4202560 777 0 0 0 5255 0 0 0 20 0 19 0 108871900 13503090688 55770 18446744073709551615 4194304 4196468 140735639920592 140183130611544 140183258346438 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22108] ppid=22069 vsize=13186612 CPUtime=52.5 cores=0,2,4,6
/proc/22071/task/22108/stat : 22108 (java) R 22069 22069 2911 0 -1 4202560 2223 0 0 0 5250 0 0 0 20 0 19 0 108871900 13503090688 55770 18446744073709551615 4194304 4196468 140735639920592 140183133769608 140183258346395 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22109] ppid=22069 vsize=13186612 CPUtime=52.67 cores=0,2,4,6
/proc/22071/task/22109/stat : 22109 (java) R 22069 22069 2911 0 -1 4202560 597 0 0 0 5267 0 0 0 20 0 19 0 108871900 13503090688 55770 18446744073709551615 4194304 4196468 140735639920592 140183129558880 140183258346073 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
Current children cumulated CPU time (s) 234.28
Current children cumulated vsize (KiB) 13196124
[startup+60.0015 s]
/proc/loadavg: 9.03 8.55 8.04 9/224 22112
/proc/meminfo: memFree=31060220/32770624 swapFree=0/374092
[pid=22069] ppid=22066 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (xcsp3-exec) S 22066 22069 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108871275 9740288 345 18446744073709551615 4194304 5098028 140729038786336 140729038784440 140353939042940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 14839808 140729038791065 140729038791274 140729038791274 140729038794731 0
/proc/22069/statm: 2378 345 289 221 0 87 0
[pid=22071] ppid=22069 vsize=13186612 CPUtime=237.47 cores=0,2,4,6
/proc/22071/stat : 22071 (java) S 22069 22069 2911 0 -1 1077944320 51396 0 0 0 23733 14 0 0 20 0 19 0 108871283 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140735639903136 140183666351863 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
/proc/22071/statm: 3296653 55775 3254 1 0 3284945 0
[pid=22071/tid=22072] ppid=22069 vsize=13186612 CPUtime=0.83 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (java) S 22069 22069 2911 0 -1 1077944384 8994 0 0 0 80 3 0 0 20 0 19 0 108871283 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183670592640 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22073] ppid=22069 vsize=13186612 CPUtime=0.01 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (java) S 22069 22069 2911 0 -1 1077944384 1895 0 0 0 1 0 0 0 20 0 19 0 108871284 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183589177616 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22074] ppid=22069 vsize=13186612 CPUtime=0.01 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (java) S 22069 22069 2911 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 19 0 108871284 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183588125072 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22075] ppid=22069 vsize=13186612 CPUtime=0.02 cores=0,2,4,6
/proc/22071/task/22075/stat : 22075 (java) S 22069 22069 2911 0 -1 1077944384 710 0 0 0 1 1 0 0 20 0 19 0 108871284 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183587072528 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22076] ppid=22069 vsize=13186612 CPUtime=0.02 cores=0,2,4,6
/proc/22071/task/22076/stat : 22076 (java) S 22069 22069 2911 0 -1 1077944384 187 0 0 0 1 1 0 0 20 0 19 0 108871284 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183586019984 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22077] ppid=22069 vsize=13186612 CPUtime=0.01 cores=0,2,4,6
/proc/22071/task/22077/stat : 22077 (java) S 22069 22069 2911 0 -1 1077944384 894 0 0 0 1 0 0 0 20 0 19 0 108871285 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183238011376 140183666363010 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22078] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22078/stat : 22078 (java) S 22069 22069 2911 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 108871286 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183148652000 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22079] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22079/stat : 22079 (java) S 22069 22069 2911 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 108871286 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183147599360 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22080] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22080/stat : 22080 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871288 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183146547920 140183666370459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22081] ppid=22069 vsize=13186612 CPUtime=3.09 cores=0,2,4,6
/proc/22071/task/22081/stat : 22081 (java) S 22069 22069 2911 0 -1 1077944384 13683 0 0 0 308 1 0 0 20 0 19 0 108871288 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183145494512 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22082] ppid=22069 vsize=13186612 CPUtime=2.59 cores=0,2,4,6
/proc/22071/task/22082/stat : 22082 (java) S 22069 22069 2911 0 -1 1077944384 12137 0 0 0 258 1 0 0 20 0 19 0 108871288 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183144441968 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22083] ppid=22069 vsize=13186612 CPUtime=0.78 cores=0,2,4,6
/proc/22071/task/22083/stat : 22083 (java) S 22069 22069 2911 0 -1 1077944384 4436 0 0 0 77 1 0 0 20 0 19 0 108871288 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183143389424 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22084] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22084/stat : 22084 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871288 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183142337120 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22085] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22085/stat : 22085 (java) S 22069 22069 2911 0 -1 1077944384 575 0 0 0 0 0 0 0 20 0 19 0 108871293 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183141284656 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22106] ppid=22069 vsize=13186612 CPUtime=53.02 cores=0,2,4,6
/proc/22071/task/22106/stat : 22106 (java) R 22069 22069 2911 0 -1 4202560 1161 0 0 0 5302 0 0 0 20 0 19 0 108871900 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183132715992 140183258781982 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22107] ppid=22069 vsize=13186612 CPUtime=53.35 cores=0,2,4,6
/proc/22071/task/22107/stat : 22107 (java) R 22069 22069 2911 0 -1 4202560 777 0 0 0 5335 0 0 0 20 0 19 0 108871900 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183130611544 140183258345897 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22108] ppid=22069 vsize=13186612 CPUtime=53.28 cores=0,2,4,6
/proc/22071/task/22108/stat : 22108 (java) R 22069 22069 2911 0 -1 4202560 2237 0 0 0 5328 0 0 0 20 0 19 0 108871900 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183133770152 140183258345406 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22109] ppid=22069 vsize=13186612 CPUtime=53.47 cores=0,2,4,6
/proc/22071/task/22109/stat : 22109 (java) R 22069 22069 2911 0 -1 4202560 597 0 0 0 5347 0 0 0 20 0 19 0 108871900 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183129558880 140183258345543 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
Current children cumulated CPU time (s) 237.47
Current children cumulated vsize (KiB) 13196124
[startup+60.8015 s]
/proc/loadavg: 9.11 8.57 8.05 9/224 22113
/proc/meminfo: memFree=31060220/32770624 swapFree=0/374116
[pid=22069] ppid=22066 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (xcsp3-exec) S 22066 22069 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108871275 9740288 345 18446744073709551615 4194304 5098028 140729038786336 140729038784440 140353939042940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 14839808 140729038791065 140729038791274 140729038791274 140729038794731 0
/proc/22069/statm: 2378 345 289 221 0 87 0
[pid=22071] ppid=22069 vsize=13186612 CPUtime=240.65 cores=0,2,4,6
/proc/22071/stat : 22071 (java) S 22069 22069 2911 0 -1 1077944320 51516 0 0 0 24051 14 0 0 20 0 19 0 108871283 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140735639903136 140183666351863 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
/proc/22071/statm: 3296653 55775 3254 1 0 3284945 0
[pid=22071/tid=22072] ppid=22069 vsize=13186612 CPUtime=0.83 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (java) S 22069 22069 2911 0 -1 1077944384 8994 0 0 0 80 3 0 0 20 0 19 0 108871283 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183670592640 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22073] ppid=22069 vsize=13186612 CPUtime=0.01 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (java) S 22069 22069 2911 0 -1 1077944384 1895 0 0 0 1 0 0 0 20 0 19 0 108871284 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183589177616 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22074] ppid=22069 vsize=13186612 CPUtime=0.01 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (java) S 22069 22069 2911 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 19 0 108871284 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183588125072 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22075] ppid=22069 vsize=13186612 CPUtime=0.02 cores=0,2,4,6
/proc/22071/task/22075/stat : 22075 (java) S 22069 22069 2911 0 -1 1077944384 710 0 0 0 1 1 0 0 20 0 19 0 108871284 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183587072528 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22076] ppid=22069 vsize=13186612 CPUtime=0.02 cores=0,2,4,6
/proc/22071/task/22076/stat : 22076 (java) S 22069 22069 2911 0 -1 1077944384 187 0 0 0 1 1 0 0 20 0 19 0 108871284 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183586019984 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22077] ppid=22069 vsize=13186612 CPUtime=0.01 cores=0,2,4,6
/proc/22071/task/22077/stat : 22077 (java) S 22069 22069 2911 0 -1 1077944384 948 0 0 0 1 0 0 0 20 0 19 0 108871285 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183238011376 140183666363010 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22078] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22078/stat : 22078 (java) S 22069 22069 2911 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 108871286 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183148652000 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22079] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22079/stat : 22079 (java) S 22069 22069 2911 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 108871286 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183147599360 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22080] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22080/stat : 22080 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871288 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183146547920 140183666370459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22081] ppid=22069 vsize=13186612 CPUtime=3.09 cores=0,2,4,6
/proc/22071/task/22081/stat : 22081 (java) S 22069 22069 2911 0 -1 1077944384 13683 0 0 0 308 1 0 0 20 0 19 0 108871288 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183145494512 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22082] ppid=22069 vsize=13186612 CPUtime=2.59 cores=0,2,4,6
/proc/22071/task/22082/stat : 22082 (java) S 22069 22069 2911 0 -1 1077944384 12137 0 0 0 258 1 0 0 20 0 19 0 108871288 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183144441968 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22083] ppid=22069 vsize=13186612 CPUtime=0.78 cores=0,2,4,6
/proc/22071/task/22083/stat : 22083 (java) S 22069 22069 2911 0 -1 1077944384 4471 0 0 0 77 1 0 0 20 0 19 0 108871288 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183143389424 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22084] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22084/stat : 22084 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871288 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183142337120 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22085] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22085/stat : 22085 (java) S 22069 22069 2911 0 -1 1077944384 575 0 0 0 0 0 0 0 20 0 19 0 108871293 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183141284656 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22106] ppid=22069 vsize=13186612 CPUtime=53.82 cores=0,2,4,6
/proc/22071/task/22106/stat : 22106 (java) R 22069 22069 2911 0 -1 4202560 1165 0 0 0 5382 0 0 0 20 0 19 0 108871900 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183132715608 140183258345882 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22107] ppid=22069 vsize=13186612 CPUtime=54.15 cores=0,2,4,6
/proc/22071/task/22107/stat : 22107 (java) R 22069 22069 2911 0 -1 4202560 779 0 0 0 5415 0 0 0 20 0 19 0 108871900 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183130611544 140183258346947 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22108] ppid=22069 vsize=13186612 CPUtime=54.07 cores=0,2,4,6
/proc/22071/task/22108/stat : 22108 (java) R 22069 22069 2911 0 -1 4202560 2257 0 0 0 5407 0 0 0 20 0 19 0 108871900 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183133771896 140183258346665 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22109] ppid=22069 vsize=13186612 CPUtime=54.26 cores=0,2,4,6
/proc/22071/task/22109/stat : 22109 (java) R 22069 22069 2911 0 -1 4202560 602 0 0 0 5426 0 0 0 20 0 19 0 108871900 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183129558736 140183258346183 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
Current children cumulated CPU time (s) 240.65
Current children cumulated vsize (KiB) 13196124
[startup+61.2075 s]
/proc/loadavg: 9.11 8.57 8.05 9/224 22113
/proc/meminfo: memFree=31060220/32770624 swapFree=0/374116
[pid=22069] ppid=22066 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22069/stat : 22069 (xcsp3-exec) S 22066 22069 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108871275 9740288 345 18446744073709551615 4194304 5098028 140729038786336 140729038784440 140353939042940 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 14839808 140729038791065 140729038791274 140729038791274 140729038794731 0
/proc/22069/statm: 2378 345 289 221 0 87 0
[pid=22071] ppid=22069 vsize=13186612 CPUtime=242.27 cores=0,2,4,6
/proc/22071/stat : 22071 (java) S 22069 22069 2911 0 -1 1077944320 51526 0 0 0 24213 14 0 0 20 0 19 0 108871283 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140735639903136 140183666351863 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
/proc/22071/statm: 3296653 55775 3254 1 0 3284945 0
[pid=22071/tid=22072] ppid=22069 vsize=13186612 CPUtime=0.83 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (java) S 22069 22069 2911 0 -1 1077944384 8994 0 0 0 80 3 0 0 20 0 19 0 108871283 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183670592640 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22073] ppid=22069 vsize=13186612 CPUtime=0.01 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (java) S 22069 22069 2911 0 -1 1077944384 1895 0 0 0 1 0 0 0 20 0 19 0 108871284 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183589177616 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22074] ppid=22069 vsize=13186612 CPUtime=0.01 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (java) S 22069 22069 2911 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 19 0 108871284 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183588125072 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22075] ppid=22069 vsize=13186612 CPUtime=0.02 cores=0,2,4,6
/proc/22071/task/22075/stat : 22075 (java) S 22069 22069 2911 0 -1 1077944384 710 0 0 0 1 1 0 0 20 0 19 0 108871284 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183587072528 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22076] ppid=22069 vsize=13186612 CPUtime=0.02 cores=0,2,4,6
/proc/22071/task/22076/stat : 22076 (java) S 22069 22069 2911 0 -1 1077944384 187 0 0 0 1 1 0 0 20 0 19 0 108871284 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183586019984 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22077] ppid=22069 vsize=13186612 CPUtime=0.01 cores=0,2,4,6
/proc/22071/task/22077/stat : 22077 (java) S 22069 22069 2911 0 -1 1077944384 948 0 0 0 1 0 0 0 20 0 19 0 108871285 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183238011376 140183666363010 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22078] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22078/stat : 22078 (java) S 22069 22069 2911 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 108871286 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183148652000 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22079] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22079/stat : 22079 (java) S 22069 22069 2911 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 108871286 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183147599360 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22080] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22080/stat : 22080 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871288 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183146547920 140183666370459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22081] ppid=22069 vsize=13186612 CPUtime=3.09 cores=0,2,4,6
/proc/22071/task/22081/stat : 22081 (java) S 22069 22069 2911 0 -1 1077944384 13683 0 0 0 308 1 0 0 20 0 19 0 108871288 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183145494512 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22082] ppid=22069 vsize=13186612 CPUtime=2.59 cores=0,2,4,6
/proc/22071/task/22082/stat : 22082 (java) S 22069 22069 2911 0 -1 1077944384 12137 0 0 0 258 1 0 0 20 0 19 0 108871288 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183144441968 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22083] ppid=22069 vsize=13186612 CPUtime=0.78 cores=0,2,4,6
/proc/22071/task/22083/stat : 22083 (java) S 22069 22069 2911 0 -1 1077944384 4471 0 0 0 77 1 0 0 20 0 19 0 108871288 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183143389424 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22084] ppid=22069 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22084/stat : 22084 (java) S 22069 22069 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108871288 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183142337120 140183666362069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22085] ppid=22069 vsize=13186612 CPUtime=0.01 cores=0,2,4,6
/proc/22071/task/22085/stat : 22085 (java) S 22069 22069 2911 0 -1 1077944384 577 0 0 0 0 1 0 0 20 0 19 0 108871293 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183141284656 140183666363010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22106] ppid=22069 vsize=13186612 CPUtime=54.23 cores=0,2,4,6
/proc/22071/task/22106/stat : 22106 (java) R 22069 22069 2911 0 -1 4202560 1167 0 0 0 5423 0 0 0 20 0 19 0 108871900 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183132715608 140183258345771 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22107] ppid=22069 vsize=13186612 CPUtime=54.56 cores=0,2,4,6
/proc/22071/task/22107/stat : 22107 (java) R 22069 22069 2911 0 -1 4202560 779 0 0 0 5456 0 0 0 20 0 19 0 108871900 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183130611544 140183258346110 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22108] ppid=22069 vsize=13186612 CPUtime=54.48 cores=0,2,4,6
/proc/22071/task/22108/stat : 22108 (java) R 22069 22069 2911 0 -1 4202560 2263 0 0 0 5448 0 0 0 20 0 19 0 108871900 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183133771896 140183258345897 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
[pid=22071/tid=22109] ppid=22069 vsize=13186612 CPUtime=54.66 cores=0,2,4,6
/proc/22071/task/22109/stat : 22109 (java) R 22069 22069 2911 0 -1 4202560 602 0 0 0 5466 0 0 0 20 0 19 0 108871900 13503090688 55775 18446744073709551615 4194304 4196468 140735639920592 140183129558736 140183258345949 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140735639925206 140735639925382 140735639925382 140735639928783 0
Current children cumulated CPU time (s) 242.27
Current children cumulated vsize (KiB) 13196124
Child status: 0
Real time (s): 61.2252
CPU time (s): 242.33
CPU user time (s): 242.174
CPU system time (s): 0.155701
CPU usage (%): 395.8
Max. virtual memory (cumulated for all children) (KiB): 13196124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 242.174
system time used= 0.155701
maximum resident set size= 232752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52815
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4311
involuntary context switches= 5322
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.289937 second user time and 0.422654 second system time
The end