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 (15446 MiB free)
memory of node 1: 16384 MiB (14809 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282336-1503111959/watcher-4282336-1503111959 -o /tmp/evaluation-result-4282336-1503111959/solver-4282336-1503111959 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18171 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 813852386 HOME/instance-4282336-1503111959.xml
running on 4 cores: 0,2,4,6
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=22073, runsolver pid=22070
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 2.01 1.77 1.65 3/202 22080
/proc/meminfo: memFree=30977172/32770624 swapFree=67108860/67108860
[pid=22073] ppid=22070 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (xcsp3-exec) S 22070 22073 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9602979 9740288 345 18446744073709551615 4194304 5098028 140732459958304 140732459956408 140564014158460 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 29220864 140732459962746 140732459962950 140732459962950 140732459966443 0
/proc/22073/statm: 2378 345 289 221 0 87 0
[pid=22075] ppid=22073 vsize=13358712 memory=14632 CPUtime=0.01 cores=0,2,4,6
/proc/22075/stat : 22075 (java) S 22073 22073 18108 0 -1 1077944320 3436 0 0 0 1 0 0 0 20 0 6 0 9602988 13679321088 3658 18446744073709551615 4194304 4196468 140737344858144 140737344840688 139898204065527 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
/proc/22075/statm: 3339678 3658 1905 1 0 3329175 0
[pid=22075/tid=22076] ppid=22073 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22076/stat : 22076 (java) R 22073 22073 18108 0 -1 4202560 2199 0 0 0 0 0 0 0 20 0 6 0 9602988 13679321088 3658 18446744073709551615 4194304 4196468 140737344858144 139898208301648 139898185716964 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22077] ppid=22073 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22077/stat : 22077 (java) S 22073 22073 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 9602989 13679321088 3658 18446744073709551615 4194304 4196468 140737344858144 139898161031952 139898204075733 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22078] ppid=22073 vsize=13358712 memory=140362757498496 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22078/stat : 22078 (java) S 22073 22073 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 9602989 13679321088 3658 18446744073709551615 4194304 4196468 140737344858144 139898159979408 139898204075733 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22079] ppid=22073 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22079/stat : 22079 (java) S 22073 22073 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 9602989 13679321088 3658 18446744073709551615 4194304 4196468 140737344858144 139898158926864 139898204075733 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22080] ppid=22073 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22080/stat : 22080 (java) S 22073 22073 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 9602989 13679321088 3658 18446744073709551615 4194304 4196468 140737344858144 139897801469072 139898204075733 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 16012 KiB
[startup+0.209601 s]*
/proc/loadavg: 2.01 1.77 1.65 3/211 22089
/proc/meminfo: memFree=30967788/32770624 swapFree=67108860/67108860
[pid=22073] ppid=22070 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (xcsp3-exec) S 22070 22073 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9602979 9740288 345 18446744073709551615 4194304 5098028 140732459958304 140732459956408 140564014158460 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 29220864 140732459962746 140732459962950 140732459962950 140732459966443 0
/proc/22073/statm: 2378 345 289 221 0 87 0
[pid=22075] ppid=22073 vsize=13974352 memory=27468 CPUtime=0.1 cores=0,2,4,6
/proc/22075/stat : 22075 (java) S 22073 22073 18108 0 -1 1077944320 5339 0 0 0 10 0 0 0 20 0 15 0 9602988 14309736448 6867 18446744073709551615 4194304 4196468 140737344858144 140737344840688 139898204065527 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
/proc/22075/statm: 3493588 6867 2817 1 0 3482964 0
[pid=22075/tid=22076] ppid=22073 vsize=13974352 memory=-6871798056524144002 CPUtime=0.08 cores=0,2,4,6
/proc/22075/task/22076/stat : 22076 (java) R 22073 22073 18108 0 -1 4202560 3355 0 0 0 8 0 0 0 20 0 15 0 9602988 14309736448 6867 18446744073709551615 4194304 4196468 140737344858144 139898208289264 139898189232843 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22077] ppid=22073 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22077/stat : 22077 (java) S 22073 22073 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9602989 14309736448 6867 18446744073709551615 4194304 4196468 140737344858144 139898161031952 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22078] ppid=22073 vsize=13974352 memory=140362757498496 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22078/stat : 22078 (java) S 22073 22073 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9602989 14309736448 6867 18446744073709551615 4194304 4196468 140737344858144 139898159979408 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22079] ppid=22073 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22079/stat : 22079 (java) S 22073 22073 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9602989 14309736448 6867 18446744073709551615 4194304 4196468 140737344858144 139898158926864 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22080] ppid=22073 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22080/stat : 22080 (java) S 22073 22073 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9602989 14309736448 6867 18446744073709551615 4194304 4196468 140737344858144 139897801469072 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22081] ppid=22073 vsize=13974352 memory=140362757498496 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22081/stat : 22081 (java) S 22073 22073 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9602991 14309736448 6867 18446744073709551615 4194304 4196468 140737344858144 139897344706544 139898204076674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22082] ppid=22073 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22082/stat : 22082 (java) S 22073 22073 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9602991 14309736448 6867 18446744073709551615 4194304 4196468 140737344858144 139897343652768 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22083] ppid=22073 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22083/stat : 22083 (java) S 22073 22073 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9602991 14309736448 6867 18446744073709551615 4194304 4196468 140737344858144 139897342600176 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22084] ppid=22073 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22084/stat : 22084 (java) S 22073 22073 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9602994 14309736448 6867 18446744073709551615 4194304 4196468 140737344858144 139897341548752 139898204084123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22085] ppid=22073 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22085/stat : 22085 (java) S 22073 22073 18108 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 9602994 14309736448 6867 18446744073709551615 4194304 4196468 140737344858144 139897340496368 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22086] ppid=22073 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22086/stat : 22086 (java) S 22073 22073 18108 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 9602994 14309736448 6867 18446744073709551615 4194304 4196468 140737344858144 139897339443824 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22087] ppid=22073 vsize=13974352 memory=140362757498496 CPUtime=0.01 cores=0,2,4,6
/proc/22075/task/22087/stat : 22087 (java) S 22073 22073 18108 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 15 0 9602994 14309736448 6867 18446744073709551615 4194304 4196468 140737344858144 139897338391280 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22088] ppid=22073 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22088/stat : 22088 (java) S 22073 22073 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9602994 14309736448 6867 18446744073709551615 4194304 4196468 140737344858144 139897337338976 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22089] ppid=22073 vsize=13974352 memory=140362757498496 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22089/stat : 22089 (java) S 22073 22073 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9602997 14309736448 6867 18446744073709551615 4194304 4196468 140737344858144 139897336285488 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28848 KiB
[startup+0.317323 s]*
/proc/loadavg: 2.01 1.77 1.65 4/211 22089
/proc/meminfo: memFree=30954152/32770624 swapFree=67108860/67108860
[pid=22073] ppid=22070 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (xcsp3-exec) S 22070 22073 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9602979 9740288 345 18446744073709551615 4194304 5098028 140732459958304 140732459956408 140564014158460 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 29220864 140732459962746 140732459962950 140732459962950 140732459966443 0
/proc/22073/statm: 2378 345 289 221 0 87 0
[pid=22075] ppid=22073 vsize=13974352 memory=39524 CPUtime=0.32 cores=0,2,4,6
/proc/22075/stat : 22075 (java) S 22073 22073 18108 0 -1 1077944320 9140 0 0 0 30 2 0 0 20 0 15 0 9602988 14309736448 9881 18446744073709551615 4194304 4196468 140737344858144 140737344840688 139898204065527 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
/proc/22075/statm: 3493588 9881 2989 1 0 3482964 0
[pid=22075/tid=22076] ppid=22073 vsize=13974352 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/22075/task/22076/stat : 22076 (java) R 22073 22073 18108 0 -1 4202560 6329 0 0 0 17 2 0 0 20 0 15 0 9602988 14309736448 9881 18446744073709551615 4194304 4196468 140737344858144 139898208283600 139898188146014 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22077] ppid=22073 vsize=13974352 memory=140362757505489 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22077/stat : 22077 (java) S 22073 22073 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9602989 14309736448 9881 18446744073709551615 4194304 4196468 140737344858144 139898161031952 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22078] ppid=22073 vsize=13974352 memory=7881951712249605487 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22078/stat : 22078 (java) S 22073 22073 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9602989 14309736448 9881 18446744073709551615 4194304 4196468 140737344858144 139898159979408 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22079] ppid=22073 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22079/stat : 22079 (java) S 22073 22073 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9602989 14309736448 9881 18446744073709551615 4194304 4196468 140737344858144 139898158926864 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22080] ppid=22073 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22080/stat : 22080 (java) S 22073 22073 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9602989 14309736448 9881 18446744073709551615 4194304 4196468 140737344858144 139897801469072 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22081] ppid=22073 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22081/stat : 22081 (java) S 22073 22073 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9602991 14309736448 9881 18446744073709551615 4194304 4196468 140737344858144 139897344706544 139898204076674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22082] ppid=22073 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22082/stat : 22082 (java) S 22073 22073 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9602991 14309736448 9881 18446744073709551615 4194304 4196468 140737344858144 139897343652768 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22083] ppid=22073 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22083/stat : 22083 (java) S 22073 22073 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9602991 14309736448 9881 18446744073709551615 4194304 4196468 140737344858144 139897342600176 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22084] ppid=22073 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22084/stat : 22084 (java) S 22073 22073 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9602994 14309736448 9881 18446744073709551615 4194304 4196468 140737344858144 139897341548752 139898204084123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22085] ppid=22073 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22075/task/22085/stat : 22085 (java) S 22073 22073 18108 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 15 0 9602994 14309736448 9881 18446744073709551615 4194304 4196468 140737344858144 139897340496368 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22086] ppid=22073 vsize=13975376 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22075/task/22086/stat : 22086 (java) S 22073 22073 18108 0 -1 1077944384 386 0 0 0 3 0 0 0 20 0 15 0 9602994 14310785024 9946 18446744073709551615 4194304 4196468 140737344858144 139897339443824 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22087] ppid=22073 vsize=13975376 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22075/task/22087/stat : 22087 (java) S 22073 22073 18108 0 -1 1077944384 748 0 0 0 7 0 0 0 20 0 15 0 9602994 14310785024 9946 18446744073709551615 4194304 4196468 140737344858144 139897338391280 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22088] ppid=22073 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22088/stat : 22088 (java) S 22073 22073 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9602994 14310785024 9946 18446744073709551615 4194304 4196468 140737344858144 139897337338976 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22089] ppid=22073 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22089/stat : 22089 (java) S 22073 22073 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9602997 14309736448 9941 18446744073709551615 4194304 4196468 140737344858144 139897336285488 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40904 KiB
[startup+0.700924 s]
/proc/loadavg: 2.01 1.77 1.65 5/211 22089
/proc/meminfo: memFree=30944432/32770624 swapFree=67108860/67108860
[pid=22073] ppid=22070 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (xcsp3-exec) S 22070 22073 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9602979 9740288 345 18446744073709551615 4194304 5098028 140732459958304 140732459956408 140564014158460 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 29220864 140732459962746 140732459962950 140732459962950 140732459966443 0
/proc/22073/statm: 2378 345 289 221 0 87 0
[pid=22075] ppid=22073 vsize=13980732 memory=64468 CPUtime=1.35 cores=0,2,4,6
/proc/22075/stat : 22075 (java) S 22073 22073 18108 0 -1 1077944320 13246 0 0 0 131 4 0 0 20 0 15 0 9602988 14316269568 16117 18446744073709551615 4194304 4196468 140737344858144 140737344840688 139898204065527 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
/proc/22075/statm: 3495183 16117 3176 1 0 3483476 0
[pid=22075/tid=22076] ppid=22073 vsize=13980732 memory=7813587196152198965 CPUtime=0.56 cores=0,2,4,6
/proc/22075/task/22076/stat : 22076 (java) R 22073 22073 18108 0 -1 4202560 8462 0 0 0 53 3 0 0 20 0 15 0 9602988 14316269568 16117 18446744073709551615 4194304 4196468 140737344858144 139898208304576 139897840057727 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22077] ppid=22073 vsize=13980732 memory=5787217207218955072 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22077/stat : 22077 (java) S 22073 22073 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 16117 18446744073709551615 4194304 4196468 140737344858144 139898161031952 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22078] ppid=22073 vsize=13980732 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22078/stat : 22078 (java) S 22073 22073 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 16117 18446744073709551615 4194304 4196468 140737344858144 139898159979408 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22079] ppid=22073 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22079/stat : 22079 (java) S 22073 22073 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 16117 18446744073709551615 4194304 4196468 140737344858144 139898158926864 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22080] ppid=22073 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22080/stat : 22080 (java) S 22073 22073 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 16117 18446744073709551615 4194304 4196468 140737344858144 139897801469072 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22081] ppid=22073 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22081/stat : 22081 (java) S 22073 22073 18108 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 9602991 14316269568 16117 18446744073709551615 4194304 4196468 140737344858144 139897344706544 139898204076674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22082] ppid=22073 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22082/stat : 22082 (java) S 22073 22073 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9602991 14316269568 16117 18446744073709551615 4194304 4196468 140737344858144 139897343652768 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22083] ppid=22073 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22083/stat : 22083 (java) S 22073 22073 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9602991 14316269568 16117 18446744073709551615 4194304 4196468 140737344858144 139897342600176 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22084] ppid=22073 vsize=13980732 memory=30305 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22084/stat : 22084 (java) S 22073 22073 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9602994 14316269568 16117 18446744073709551615 4194304 4196468 140737344858144 139897341548752 139898204084123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22085] ppid=22073 vsize=13980732 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/22075/task/22085/stat : 22085 (java) R 22073 22073 18108 0 -1 4202560 873 0 0 0 21 0 0 0 20 0 15 0 9602994 14316269568 16117 18446744073709551615 4194304 4196468 140737344858144 139897340486288 139898185609761 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22086] ppid=22073 vsize=13980732 memory=-3967418655009478193 CPUtime=0.24 cores=0,2,4,6
/proc/22075/task/22086/stat : 22086 (java) R 22073 22073 18108 0 -1 4202560 1187 0 0 0 24 0 0 0 20 0 15 0 9602994 14316269568 16117 18446744073709551615 4194304 4196468 140737344858144 139897339431168 139898185241243 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22087] ppid=22073 vsize=13980732 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/22075/task/22087/stat : 22087 (java) R 22073 22073 18108 0 -1 4202560 1415 0 0 0 32 0 0 0 20 0 15 0 9602994 14316269568 16117 18446744073709551615 4194304 4196468 140737344858144 139897338388216 139898183011115 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22088] ppid=22073 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22088/stat : 22088 (java) S 22073 22073 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9602994 14316269568 16117 18446744073709551615 4194304 4196468 140737344858144 139897337338976 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22089] ppid=22073 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22089/stat : 22089 (java) S 22073 22073 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9602997 14316269568 16117 18446744073709551615 4194304 4196468 140737344858144 139897336285488 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65848 KiB
[startup+1.5008 s]
/proc/loadavg: 2.01 1.77 1.65 6/211 22089
/proc/meminfo: memFree=30920120/32770624 swapFree=67108860/67108860
[pid=22073] ppid=22070 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (xcsp3-exec) S 22070 22073 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9602979 9740288 345 18446744073709551615 4194304 5098028 140732459958304 140732459956408 140564014158460 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 29220864 140732459962746 140732459962950 140732459962950 140732459966443 0
/proc/22073/statm: 2378 345 289 221 0 87 0
[pid=22075] ppid=22073 vsize=13980732 memory=95420 CPUtime=3.81 cores=0,2,4,6
/proc/22075/stat : 22075 (java) S 22073 22073 18108 0 -1 1077944320 24185 0 0 0 375 6 0 0 20 0 15 0 9602988 14316269568 23855 18446744073709551615 4194304 4196468 140737344858144 140737344840688 139898204065527 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
/proc/22075/statm: 3495183 23855 3188 1 0 3483476 0
[pid=22075/tid=22076] ppid=22073 vsize=13980732 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/22075/task/22076/stat : 22076 (java) R 22073 22073 18108 0 -1 4202560 8696 0 0 0 133 3 0 0 20 0 15 0 9602988 14316269568 23855 18446744073709551615 4194304 4196468 140737344858144 139898208303000 139897843444448 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22077] ppid=22073 vsize=13980732 memory=4498716170645055337 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22077/stat : 22077 (java) S 22073 22073 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 23855 18446744073709551615 4194304 4196468 140737344858144 139898161031952 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22078] ppid=22073 vsize=13980732 memory=6227190092569536311 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22078/stat : 22078 (java) S 22073 22073 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 23855 18446744073709551615 4194304 4196468 140737344858144 139898159979408 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22079] ppid=22073 vsize=13980732 memory=6224939448118567729 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22079/stat : 22079 (java) S 22073 22073 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 23855 18446744073709551615 4194304 4196468 140737344858144 139898158926864 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22080] ppid=22073 vsize=13980732 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22080/stat : 22080 (java) S 22073 22073 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 23855 18446744073709551615 4194304 4196468 140737344858144 139897801469072 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22081] ppid=22073 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22081/stat : 22081 (java) S 22073 22073 18108 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 9602991 14316269568 23855 18446744073709551615 4194304 4196468 140737344858144 139897344706544 139898204076674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22082] ppid=22073 vsize=13980732 memory=140362618486912 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22082/stat : 22082 (java) S 22073 22073 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9602991 14316269568 23855 18446744073709551615 4194304 4196468 140737344858144 139897343652768 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22083] ppid=22073 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/22073/stat : 22073 (xcsp3-exec) S 22070 22073 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9602979 9740288 345 18446744073709551615 4194304 5098028 140732459958304 140732459956408 140564014158460 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 29220864 140732459962746 140732459962950 140732459962950 140732459966443 0
/proc/22073/statm: 2378 345 289 221 0 87 0
[pid=22075] ppid=22073 vsize=13980732 memory=197080 CPUtime=9.01 cores=0,2,4,6
/proc/22075/stat : 22075 (java) S 22073 22073 18108 0 -1 1077944320 29915 0 0 0 893 8 0 0 20 0 15 0 9602988 14316269568 49270 18446744073709551615 4194304 4196468 140737344858144 140737344840688 139898204065527 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
/proc/22075/statm: 3495183 49270 3204 1 0 3483476 0
[pid=22075/tid=22076] ppid=22073 vsize=13980732 memory=15876 CPUtime=6.26 cores=0,2,4,6
/proc/22075/task/22076/stat : 22076 (java) R 22073 22073 18108 0 -1 4202560 9299 0 0 0 621 5 0 0 20 0 15 0 9602988 14316269568 49270 18446744073709551615 4194304 4196468 140737344858144 139898208301976 139897843033744 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22077] ppid=22073 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22077/stat : 22077 (java) S 22073 22073 18108 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 49270 18446744073709551615 4194304 4196468 140737344858144 139898161031952 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22078] ppid=22073 vsize=13980732 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22078/stat : 22078 (java) S 22073 22073 18108 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 49270 18446744073709551615 4194304 4196468 140737344858144 139898159979408 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22079] ppid=22073 vsize=13980732 memory=3264 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22079/stat : 22079 (java) S 22073 22073 18108 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 49270 18446744073709551615 4194304 4196468 140737344858144 139898158926864 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22080] ppid=22073 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22080/stat : 22080 (java) S 22073 22073 18108 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 49270 18446744073709551615 4194304 4196468 140737344858144 139897801469072 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22081] ppid=22073 vsize=13980732 memory=793156 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22081/stat : 22081 (java) S 22073 22073 18108 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 9602991 14316269568 49270 18446744073709551615 4194304 4196468 140737344858144 139897344706544 139898204076674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22082] ppid=22073 vsize=13980732 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22082/stat : 22082 (java) S 22073 22073 18108 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9602991 14316269568 49270 18446744073709551615 4194304 4196468 140737344858144 139897343652768 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22083] ppid=22073 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22083/stat : 22083 (java) S 22073 22073 18108 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9602991 14316269568 49270 18446744073709551615 4194304 4196468 140737344858144 139897342600176 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22084] ppid=22073 vsize=13980732 memory=280725236750128 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22084/stat : 22084 (java) S 22073 22073 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9602994 14316269568 49270 18446744073709551615 4194304 4196468 140737344858144 139897341548752 139898204084123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22085] ppid=22073 vsize=13980732 memory=140362618594416 CPUtime=1.1 cores=0,2,4,6
/proc/22075/task/22085/stat : 22085 (java) S 22073 22073 18108 0 -1 1077944384 5250 0 0 0 109 1 0 0 20 0 15 0 9602994 14316269568 49270 18446744073709551615 4194304 4196468 140737344858144 139897340496368 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22086] ppid=22073 vsize=13980732 memory=-8774313645642428999 CPUtime=1.2 cores=0,2,4,6
/proc/22075/task/22086/stat : 22086 (java) S 22073 22073 18108 0 -1 1077944384 8495 0 0 0 119 1 0 0 20 0 15 0 9602994 14316269568 49270 18446744073709551615 4194304 4196468 140737344858144 139897339443824 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22087] ppid=22073 vsize=13980732 memory=12836 CPUtime=0.42 cores=0,2,4,6
/proc/22075/task/22087/stat : 22087 (java) S 22073 22073 18108 0 -1 1077944384 3926 0 0 0 41 1 0 0 20 0 15 0 9602994 14316269568 49270 18446744073709551615 4194304 4196468 140737344858144 139897338391280 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22088] ppid=22073 vsize=13980732 memory=4107294061976625200 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22088/stat : 22088 (java) S 22073 22073 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9602994 14316269568 49270 18446744073709551615 4194304 4196468 140737344858144 139897337338976 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22089] ppid=22073 vsize=13980732 memory=7805976665520630626 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22089/stat : 22089 (java) S 22073 22073 18108 0 -1 1077944384 479 0 0 0 0 0 0 0 20 0 15 0 9602997 14316269568 49270 18446744073709551615 4194304 4196468 140737344858144 139897336285488 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
Current children cumulated CPU time: 9.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 198460 KiB
[startup+8.00083 s]*
/proc/loadavg: 1.93 1.76 1.64 4/211 22089
/proc/meminfo: memFree=30795832/32770624 swapFree=67108860/67108860
[pid=22073] ppid=22070 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (xcsp3-exec) S 22070 22073 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9602979 9740288 345 18446744073709551615 4194304 5098028 140732459958304 140732459956408 140564014158460 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 29220864 140732459962746 140732459962950 140732459962950 140732459966443 0
/proc/22073/statm: 2378 345 289 221 0 87 0
[pid=22075] ppid=22073 vsize=13980732 memory=199160 CPUtime=10.65 cores=0,2,4,6
/proc/22075/stat : 22075 (java) S 22073 22073 18108 0 -1 1077944320 30069 0 0 0 1056 9 0 0 20 0 15 0 9602988 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 140737344840688 139898204065527 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
/proc/22075/statm: 3495183 49790 3205 1 0 3483476 0
[pid=22075/tid=22076] ppid=22073 vsize=13980732 memory=280725236632768 CPUtime=7.86 cores=0,2,4,6
/proc/22075/task/22076/stat : 22076 (java) R 22073 22073 18108 0 -1 4202560 9300 0 0 0 781 5 0 0 20 0 15 0 9602988 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139898208304240 139897843116140 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22077] ppid=22073 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22077/stat : 22077 (java) S 22073 22073 18108 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139898161031952 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22078] ppid=22073 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22078/stat : 22078 (java) S 22073 22073 18108 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139898159979408 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22079] ppid=22073 vsize=13980732 memory=288230604624101684 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22079/stat : 22079 (java) S 22073 22073 18108 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139898158926864 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22080] ppid=22073 vsize=13980732 memory=13573678025672028 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22080/stat : 22080 (java) S 22073 22073 18108 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897801469072 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22081] ppid=22073 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22081/stat : 22081 (java) S 22073 22073 18108 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 15 0 9602991 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897344706544 139898204076674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22082] ppid=22073 vsize=13980732 memory=7596277812233003879 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22082/stat : 22082 (java) S 22073 22073 18108 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9602991 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897343652768 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22083] ppid=22073 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22083/stat : 22083 (java) S 22073 22073 18108 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9602991 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897342600176 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22084] ppid=22073 vsize=13980732 memory=7649399380036825650 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22084/stat : 22084 (java) S 22073 22073 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9602994 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897341548752 139898204084123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22085] ppid=22073 vsize=13980732 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/22075/task/22085/stat : 22085 (java) S 22073 22073 18108 0 -1 1077944384 5250 0 0 0 109 1 0 0 20 0 15 0 9602994 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897340496368 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22086] ppid=22073 vsize=13980732 memory=82260 CPUtime=1.21 cores=0,2,4,6
/proc/22075/task/22086/stat : 22086 (java) S 22073 22073 18108 0 -1 1077944384 8631 0 0 0 120 1 0 0 20 0 15 0 9602994 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897339443824 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22087] ppid=22073 vsize=13980732 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/22075/task/22087/stat : 22087 (java) S 22073 22073 18108 0 -1 1077944384 3928 0 0 0 42 1 0 0 20 0 15 0 9602994 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897338391280 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22088] ppid=22073 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22088/stat : 22088 (java) S 22073 22073 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9602994 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897337338976 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22089] ppid=22073 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22089/stat : 22089 (java) S 22073 22073 18108 0 -1 1077944384 479 0 0 0 0 0 0 0 20 0 15 0 9602997 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897336285488 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
Current children cumulated CPU time: 10.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 200540 KiB
[startup+8.40084 s]
/proc/loadavg: 1.93 1.76 1.64 4/211 22089
/proc/meminfo: memFree=30795832/32770624 swapFree=67108860/67108860
[pid=22073] ppid=22070 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (xcsp3-exec) S 22070 22073 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9602979 9740288 345 18446744073709551615 4194304 5098028 140732459958304 140732459956408 140564014158460 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 29220864 140732459962746 140732459962950 140732459962950 140732459966443 0
/proc/22073/statm: 2378 345 289 221 0 87 0
[pid=22075] ppid=22073 vsize=13980732 memory=199160 CPUtime=11.04 cores=0,2,4,6
/proc/22075/stat : 22075 (java) S 22073 22073 18108 0 -1 1077944320 30069 0 0 0 1095 9 0 0 20 0 15 0 9602988 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 140737344840688 139898204065527 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
/proc/22075/statm: 3495183 49790 3205 1 0 3483476 0
[pid=22075/tid=22076] ppid=22073 vsize=13980732 memory=1584 CPUtime=8.26 cores=0,2,4,6
/proc/22075/task/22076/stat : 22076 (java) R 22073 22073 18108 0 -1 4202560 9300 0 0 0 821 5 0 0 20 0 15 0 9602988 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139898208304240 139897843115815 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22077] ppid=22073 vsize=13980732 memory=928 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22077/stat : 22077 (java) S 22073 22073 18108 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139898161031952 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22078] ppid=22073 vsize=13980732 memory=2160 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22078/stat : 22078 (java) S 22073 22073 18108 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139898159979408 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22079] ppid=22073 vsize=13980732 memory=844 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22079/stat : 22079 (java) S 22073 22073 18108 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139898158926864 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22080] ppid=22073 vsize=13980732 memory=3908 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22080/stat : 22080 (java) S 22073 22073 18108 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897801469072 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22081] ppid=22073 vsize=13980732 memory=2848 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22081/stat : 22081 (java) S 22073 22073 18108 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 15 0 9602991 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897344706544 139898204076674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22082] ppid=22073 vsize=13980732 memory=2820 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22082/stat : 22082 (java) S 22073 22073 18108 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9602991 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897343652768 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22083] ppid=22073 vsize=13980732 memory=4072 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22083/stat : 22083 (java) S 22073 22073 18108 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9602991 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897342600176 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22084] ppid=22073 vsize=13980732 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22084/stat : 22084 (java) S 22073 22073 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9602994 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897341548752 139898204084123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22085] ppid=22073 vsize=13980732 memory=3264 CPUtime=1.1 cores=0,2,4,6
/proc/22075/task/22085/stat : 22085 (java) S 22073 22073 18108 0 -1 1077944384 5250 0 0 0 109 1 0 0 20 0 15 0 9602994 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897340496368 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22086] ppid=22073 vsize=13980732 memory=1380 CPUtime=1.21 cores=0,2,4,6
/proc/22075/task/22086/stat : 22086 (java) S 22073 22073 18108 0 -1 1077944384 8631 0 0 0 120 1 0 0 20 0 15 0 9602994 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897339443824 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22087] ppid=22073 vsize=13980732 memory=793156 CPUtime=0.43 cores=0,2,4,6
/proc/22075/task/22087/stat : 22087 (java) S 22073 22073 18108 0 -1 1077944384 3928 0 0 0 42 1 0 0 20 0 15 0 9602994 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897338391280 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22088] ppid=22073 vsize=13980732 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22088/stat : 22088 (java) S 22073 22073 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9602994 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897337338976 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22089] ppid=22073 vsize=13980732 memory=2532 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22089/stat : 22089 (java) S 22073 22073 18108 0 -1 1077944384 479 0 0 0 0 0 0 0 20 0 15 0 9602997 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897336285488 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
Current children cumulated CPU time: 11.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 200540 KiB
[startup+8.80083 s]
/proc/loadavg: 1.93 1.76 1.64 4/211 22089
/proc/meminfo: memFree=30795832/32770624 swapFree=67108860/67108860
[pid=22073] ppid=22070 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (xcsp3-exec) S 22070 22073 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9602979 9740288 345 18446744073709551615 4194304 5098028 140732459958304 140732459956408 140564014158460 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 29220864 140732459962746 140732459962950 140732459962950 140732459966443 0
/proc/22073/statm: 2378 345 289 221 0 87 0
[pid=22075] ppid=22073 vsize=13980732 memory=199160 CPUtime=11.44 cores=0,2,4,6
/proc/22075/stat : 22075 (java) S 22073 22073 18108 0 -1 1077944320 30077 0 0 0 1135 9 0 0 20 0 15 0 9602988 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 140737344840688 139898204065527 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
/proc/22075/statm: 3495183 49790 3205 1 0 3483476 0
[pid=22075/tid=22076] ppid=22073 vsize=13980732 memory=199160 CPUtime=8.66 cores=0,2,4,6
/proc/22075/task/22076/stat : 22076 (java) R 22073 22073 18108 0 -1 4202560 9301 0 0 0 861 5 0 0 20 0 15 0 9602988 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139898208304240 139897843341671 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22077] ppid=22073 vsize=13980732 memory=13573678025672028 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22077/stat : 22077 (java) S 22073 22073 18108 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139898161031952 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22078] ppid=22073 vsize=13980732 memory=7521382365680132951 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22078/stat : 22078 (java) S 22073 22073 18108 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139898159979408 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22079] ppid=22073 vsize=13980732 memory=7521382365680132951 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22079/stat : 22079 (java) S 22073 22073 18108 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139898158926864 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22080] ppid=22073 vsize=13980732 memory=7521382365680132951 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22080/stat : 22080 (java) S 22073 22073 18108 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 9602989 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897801469072 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22081] ppid=22073 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22081/stat : 22081 (java) S 22073 22073 18108 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 15 0 9602991 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897344706544 139898204076674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22082] ppid=22073 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22082/stat : 22082 (java) S 22073 22073 18108 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9602991 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897343652768 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22083] ppid=22073 vsize=13980732 memory=3617998926977093504 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22083/stat : 22083 (java) S 22073 22073 18108 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 9602991 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897342600176 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22084] ppid=22073 vsize=13980732 memory=7301550374293618789 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22084/stat : 22084 (java) S 22073 22073 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9602994 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897341548752 139898204084123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22085] ppid=22073 vsize=13980732 memory=7518026621751089001 CPUtime=1.1 cores=0,2,4,6
/proc/22075/task/22085/stat : 22085 (java) S 22073 22073 18108 0 -1 1077944384 5250 0 0 0 109 1 0 0 20 0 15 0 9602994 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897340496368 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22086] ppid=22073 vsize=13980732 memory=5792870831568672100 CPUtime=1.21 cores=0,2,4,6
/proc/22075/task/22086/stat : 22086 (java) S 22073 22073 18108 0 -1 1077944384 8631 0 0 0 120 1 0 0 20 0 15 0 9602994 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897339443824 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22087] ppid=22073 vsize=13980732 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/22075/task/22087/stat : 22087 (java) S 22073 22073 18108 0 -1 1077944384 3935 0 0 0 42 1 0 0 20 0 15 0 9602994 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897338391280 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22088] ppid=22073 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22088/stat : 22088 (java) S 22073 22073 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9602994 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897337338976 139898204075733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
[pid=22075/tid=22089] ppid=22073 vsize=13980732 memory=199160 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22089/stat : 22089 (java) S 22073 22073 18108 0 -1 1077944384 479 0 0 0 0 0 0 0 20 0 15 0 9602997 14316269568 49790 18446744073709551615 4194304 4196468 140737344858144 139897336285488 139898204076674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 11571200 140737344864690 140737344864866 140737344864866 140737344868303 0
Current children cumulated CPU time: 11.44 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 200540 KiB
Child status: 0
Real time (s): 8.88292
CPU time (s): 11.5314
CPU user time (s): 11.433
CPU system time (s): 0.098361
CPU usage (%): 129.815
Max. virtual memory (cumulated for all children) (KiB): 13991956
Max. memory (cumulated for all children) (KiB): 200540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.433
system time used= 0.098361
maximum resident set size= 199576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30932
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2005
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 22073
# total CPU time (s): 11.5314
# total CPU user time (s): 11.433
# total CPU system time (s): 0.098361
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.075702 second user time and 0.119347 second system time
The end