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 (9113 MiB free)
memory of node 1: 16384 MiB (3420 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403489-1568991007/watcher-4403489-1568991007 -o /var/tmp/evaluation-result-4403489-1568991007/solver-4403489-1568991007 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node145-1568987924-19057 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 379919259 HOME/instance-4403489-1568991007.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.101097 s]*
/proc/loadavg: 6.54 7.04 7.32 6/230 22089
/proc/meminfo: memFree=12818812/32770624 swapFree=66966844/67108860
[pid=22073] ppid=22070 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (xcsp3-exec) S 22070 22073 19026 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475037133 115843072 363 33554432000 4194304 5098028 140724129840288 140724129838392 139872902914684 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17928192 140724129842007 140724129842265 140724129842265 140724129845190 0
/proc/22073/statm: 28282 363 305 221 0 87 0
[pid=22075] ppid=22073 vsize=15144776 memory=28744 CPUtime=0.13 cores=0,2,4,6
/proc/22075/stat : 22075 (java) S 22073 22073 19026 0 -1 1077944320 5692 0 0 0 12 1 0 0 20 0 15 0 475037133 15508250624 7186 33554432000 4194304 4196468 140721104632848 140721104615392 139968260927223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
/proc/22075/statm: 3786194 7186 3115 1 0 3748377 0
[pid=22075/tid=22076] ppid=22073 vsize=15144776 memory=8180089925722843723 CPUtime=0.08 cores=0,2,4,6
/proc/22075/task/22076/stat : 22076 (java) R 22073 22073 19026 0 -1 4202560 3613 0 0 0 8 0 0 0 20 0 15 0 475037133 15508250624 7252 33554432000 4194304 4196468 140721104632848 139968265158368 139968245055569 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22077] ppid=22073 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22077/stat : 22077 (java) S 22073 22073 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475037134 15508250624 7252 33554432000 4194304 4196468 140721104632848 139967853570832 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22078] ppid=22073 vsize=15144776 memory=140075050337920 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22078/stat : 22078 (java) S 22073 22073 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475037134 15508250624 7252 33554432000 4194304 4196468 140721104632848 139967852518288 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22079] ppid=22073 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22079/stat : 22079 (java) S 22073 22073 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475037134 15508250624 7252 33554432000 4194304 4196468 140721104632848 139967851465744 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22080] ppid=22073 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22080/stat : 22080 (java) S 22073 22073 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475037134 15508250624 7252 33554432000 4194304 4196468 140721104632848 139967850413200 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22081] ppid=22073 vsize=15144776 memory=140075050337920 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22081/stat : 22081 (java) S 22073 22073 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475037135 15508250624 7252 33554432000 4194304 4196468 140721104632848 139967134898160 139968260938370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22082] ppid=22073 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22082/stat : 22082 (java) S 22073 22073 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475037136 15508250624 7252 33554432000 4194304 4196468 140721104632848 139967133844384 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22083] ppid=22073 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22083/stat : 22083 (java) S 22073 22073 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475037136 15508250624 7252 33554432000 4194304 4196468 140721104632848 139967132791792 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22084] ppid=22073 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22084/stat : 22084 (java) S 22073 22073 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475037139 15508250624 7252 33554432000 4194304 4196468 140721104632848 139967131740368 139968260945819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22085] ppid=22073 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22085/stat : 22085 (java) R 22073 22073 19026 0 -1 4202560 343 0 0 0 0 0 0 0 20 0 15 0 475037139 15508250624 7252 33554432000 4194304 4196468 140721104632848 139967130687984 139968238760080 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22086] ppid=22073 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22086/stat : 22086 (java) R 22073 22073 19026 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475037139 15508250624 7252 33554432000 4194304 4196468 140721104632848 139967129635440 139968260938370 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22087] ppid=22073 vsize=15144776 memory=140075050337920 CPUtime=0.02 cores=0,2,4,6
/proc/22075/task/22087/stat : 22087 (java) S 22073 22073 19026 0 -1 1077944384 325 0 0 0 2 0 0 0 20 0 15 0 475037139 15508250624 7252 33554432000 4194304 4196468 140721104632848 139967128582896 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22088] ppid=22073 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22088/stat : 22088 (java) S 22073 22073 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475037139 15508250624 7252 33554432000 4194304 4196468 140721104632848 139967127530592 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22089] ppid=22073 vsize=15144776 memory=140075050337920 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22089/stat : 22089 (java) S 22073 22073 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475037139 15508250624 7252 33554432000 4194304 4196468 140721104632848 139967126477104 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30196 KiB
[startup+0.210858 s]*
/proc/loadavg: 6.54 7.04 7.32 7/230 22089
/proc/meminfo: memFree=12805208/32770624 swapFree=66966844/67108860
[pid=22073] ppid=22070 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (xcsp3-exec) S 22070 22073 19026 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475037133 115843072 363 33554432000 4194304 5098028 140724129840288 140724129838392 139872902914684 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17928192 140724129842007 140724129842265 140724129842265 140724129845190 0
/proc/22073/statm: 28282 363 305 221 0 87 0
[pid=22075] ppid=22073 vsize=15144776 memory=41192 CPUtime=0.34 cores=0,2,4,6
/proc/22075/stat : 22075 (java) S 22073 22073 19026 0 -1 1077944320 9501 0 0 0 31 3 0 0 20 0 15 0 475037133 15508250624 10298 33554432000 4194304 4196468 140721104632848 140721104615392 139968260927223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
/proc/22075/statm: 3786194 10298 3313 1 0 3748377 0
[pid=22075/tid=22076] ppid=22073 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/22075/task/22076/stat : 22076 (java) R 22073 22073 19026 0 -1 4202560 6623 0 0 0 18 2 0 0 20 0 15 0 475037133 15508250624 10298 33554432000 4194304 4196468 140721104632848 139968265156944 139968260939158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22077] ppid=22073 vsize=15144776 memory=9276 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22077/stat : 22077 (java) S 22073 22073 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475037134 15508250624 10298 33554432000 4194304 4196468 140721104632848 139967853570832 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22078] ppid=22073 vsize=15144776 memory=3526922 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22078/stat : 22078 (java) S 22073 22073 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475037134 15508250624 10298 33554432000 4194304 4196468 140721104632848 139967852518288 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22079] ppid=22073 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22079/stat : 22079 (java) S 22073 22073 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475037134 15508250624 10298 33554432000 4194304 4196468 140721104632848 139967851465744 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22080] ppid=22073 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22080/stat : 22080 (java) S 22073 22073 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475037134 15508250624 10298 33554432000 4194304 4196468 140721104632848 139967850413200 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22081] ppid=22073 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22081/stat : 22081 (java) S 22073 22073 19026 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475037135 15508250624 10298 33554432000 4194304 4196468 140721104632848 139967134898160 139968260938370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22082] ppid=22073 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22082/stat : 22082 (java) S 22073 22073 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475037136 15508250624 10298 33554432000 4194304 4196468 140721104632848 139967133844384 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22083] ppid=22073 vsize=15144776 memory=140075050337920 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22083/stat : 22083 (java) S 22073 22073 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475037136 15508250624 10298 33554432000 4194304 4196468 140721104632848 139967132791792 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22084] ppid=22073 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22084/stat : 22084 (java) S 22073 22073 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475037139 15508250624 10298 33554432000 4194304 4196468 140721104632848 139967131740368 139968260945819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22085] ppid=22073 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22075/task/22085/stat : 22085 (java) S 22073 22073 19026 0 -1 1077944384 545 0 0 0 2 0 0 0 20 0 15 0 475037139 15508250624 10298 33554432000 4194304 4196468 140721104632848 139967130687984 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22086] ppid=22073 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22075/task/22086/stat : 22086 (java) S 22073 22073 19026 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 475037139 15508250624 10298 33554432000 4194304 4196468 140721104632848 139967129635440 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22087] ppid=22073 vsize=15144776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22075/task/22087/stat : 22087 (java) R 22073 22073 19026 0 -1 4202560 766 0 0 0 8 0 0 0 20 0 15 0 475037139 15508250624 10298 33554432000 4194304 4196468 140721104632848 139967128582896 139968239067100 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22088] ppid=22073 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22088/stat : 22088 (java) S 22073 22073 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475037139 15508250624 10298 33554432000 4194304 4196468 140721104632848 139967127530592 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22089] ppid=22073 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22089/stat : 22089 (java) S 22073 22073 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475037139 15508250624 10298 33554432000 4194304 4196468 140721104632848 139967126477104 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42644 KiB
[startup+0.311944 s]*
/proc/loadavg: 6.54 7.04 7.32 6/230 22089
/proc/meminfo: memFree=12796776/32770624 swapFree=66966844/67108860
[pid=22073] ppid=22070 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (xcsp3-exec) S 22070 22073 19026 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475037133 115843072 363 33554432000 4194304 5098028 140724129840288 140724129838392 139872902914684 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17928192 140724129842007 140724129842265 140724129842265 140724129845190 0
/proc/22073/statm: 28282 363 305 221 0 87 0
[pid=22075] ppid=22073 vsize=15149032 memory=49772 CPUtime=0.53 cores=0,2,4,6
/proc/22075/stat : 22075 (java) S 22073 22073 19026 0 -1 1077944320 10769 0 1 0 49 4 0 0 20 0 15 0 475037133 15512608768 12443 33554432000 4194304 4196468 140721104632848 140721104615392 139968260927223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
/proc/22075/statm: 3787258 12443 3365 1 0 3748377 0
[pid=22075/tid=22076] ppid=22073 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/22075/task/22076/stat : 22076 (java) R 22073 22073 19026 0 -1 4202560 7744 0 1 0 27 3 0 0 20 0 15 0 475037133 15512608768 12468 33554432000 4194304 4196468 140721104632848 139968265158336 139968244970853 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22077] ppid=22073 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22077/stat : 22077 (java) S 22073 22073 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475037134 15512608768 12468 33554432000 4194304 4196468 140721104632848 139967853570832 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22078] ppid=22073 vsize=15149032 memory=3525492 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22078/stat : 22078 (java) S 22073 22073 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475037134 15512608768 12468 33554432000 4194304 4196468 140721104632848 139967852518288 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22079] ppid=22073 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22079/stat : 22079 (java) S 22073 22073 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475037134 15512608768 12468 33554432000 4194304 4196468 140721104632848 139967851465744 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22080] ppid=22073 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22080/stat : 22080 (java) S 22073 22073 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475037134 15512608768 12468 33554432000 4194304 4196468 140721104632848 139967850413200 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22081] ppid=22073 vsize=15149032 memory=140075050337920 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22081/stat : 22081 (java) S 22073 22073 19026 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475037135 15512608768 12468 33554432000 4194304 4196468 140721104632848 139967134898160 139968260938370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22082] ppid=22073 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22082/stat : 22082 (java) S 22073 22073 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475037136 15512608768 12468 33554432000 4194304 4196468 140721104632848 139967133844384 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22083] ppid=22073 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22083/stat : 22083 (java) S 22073 22073 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475037136 15512608768 12468 33554432000 4194304 4196468 140721104632848 139967132791792 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22084] ppid=22073 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22084/stat : 22084 (java) S 22073 22073 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475037139 15512608768 12468 33554432000 4194304 4196468 140721104632848 139967131740368 139968260945819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22085] ppid=22073 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22075/task/22085/stat : 22085 (java) R 22073 22073 19026 0 -1 1077944384 547 0 0 0 4 0 0 0 20 0 15 0 475037139 15512608768 12468 33554432000 4194304 4196468 140721104632848 139967130687984 139968260938370 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22086] ppid=22073 vsize=15149032 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/22075/task/22086/stat : 22086 (java) R 22073 22073 19026 0 -1 4202560 354 0 0 0 4 0 0 0 20 0 15 0 475037139 15512608768 12468 33554432000 4194304 4196468 140721104632848 139967129625824 139968240174588 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22087] ppid=22073 vsize=15149032 memory=140075050337920 CPUtime=0.13 cores=0,2,4,6
/proc/22075/task/22087/stat : 22087 (java) S 22073 22073 19026 0 -1 1077944384 822 0 0 0 13 0 0 0 20 0 15 0 475037139 15512608768 12468 33554432000 4194304 4196468 140721104632848 139967128582896 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22088] ppid=22073 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22088/stat : 22088 (java) S 22073 22073 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475037139 15512608768 12468 33554432000 4194304 4196468 140721104632848 139967127530592 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22089] ppid=22073 vsize=15149032 memory=140075050337920 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22089/stat : 22089 (java) S 22073 22073 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475037139 15512608768 12468 33554432000 4194304 4196468 140721104632848 139967126477104 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51224 KiB
[startup+0.704599 s]
/proc/loadavg: 6.54 7.04 7.32 9/230 22089
/proc/meminfo: memFree=12783776/32770624 swapFree=66966844/67108860
[pid=22073] ppid=22070 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (xcsp3-exec) S 22070 22073 19026 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475037133 115843072 363 33554432000 4194304 5098028 140724129840288 140724129838392 139872902914684 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17928192 140724129842007 140724129842265 140724129842265 140724129845190 0
/proc/22073/statm: 28282 363 305 221 0 87 0
[pid=22075] ppid=22073 vsize=15417412 memory=83324 CPUtime=1.51 cores=0,2,4,6
/proc/22075/stat : 22075 (java) S 22073 22073 19026 0 -1 1077944320 15089 0 1 0 145 6 0 0 20 0 19 0 475037133 15787429888 20831 33554432000 4194304 4196468 140721104632848 140721104615392 139968260927223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
/proc/22075/statm: 3854353 20831 3463 1 0 3815453 0
[pid=22075/tid=22076] ppid=22073 vsize=15417412 memory=2120 CPUtime=0.6 cores=0,2,4,6
/proc/22075/task/22076/stat : 22076 (java) S 22073 22073 19026 0 -1 1077944384 9397 0 1 0 56 4 0 0 20 0 19 0 475037133 15787429888 20831 33554432000 4194304 4196468 140721104632848 139968265168000 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22077] ppid=22073 vsize=15417412 memory=508 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22077/stat : 22077 (java) S 22073 22073 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475037134 15787429888 20831 33554432000 4194304 4196468 140721104632848 139967853570832 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22078] ppid=22073 vsize=15417412 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22078/stat : 22078 (java) S 22073 22073 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475037134 15787429888 20831 33554432000 4194304 4196468 140721104632848 139967852518288 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22079] ppid=22073 vsize=15417412 memory=932 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22079/stat : 22079 (java) S 22073 22073 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475037134 15787429888 20831 33554432000 4194304 4196468 140721104632848 139967851465744 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22080] ppid=22073 vsize=15417412 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22080/stat : 22080 (java) S 22073 22073 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475037134 15787429888 20831 33554432000 4194304 4196468 140721104632848 139967850413200 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22081] ppid=22073 vsize=15417412 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22081/stat : 22081 (java) S 22073 22073 19026 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475037135 15787429888 20831 33554432000 4194304 4196468 140721104632848 139967134898160 139968260938370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22082] ppid=22073 vsize=15417412 memory=864 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22082/stat : 22082 (java) S 22073 22073 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475037136 15787429888 20831 33554432000 4194304 4196468 140721104632848 139967133844384 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22083] ppid=22073 vsize=15417412 memory=1976 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22083/stat : 22083 (java) S 22073 22073 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475037136 15787429888 20831 33554432000 4194304 4196468 140721104632848 139967132791792 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22084] ppid=22073 vsize=15417412 memory=2496 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22084/stat : 22084 (java) S 22073 22073 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475037139 15787429888 20831 33554432000 4194304 4196468 140721104632848 139967131740368 139968260945819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22085] ppid=22073 vsize=15417412 memory=7302135314614015842 CPUtime=0.17 cores=0,2,4,6
/proc/22075/task/22085/stat : 22085 (java) R 22073 22073 19026 0 -1 4202560 1110 0 0 0 17 0 0 0 20 0 19 0 475037139 15787429888 20831 33554432000 4194304 4196468 140721104632848 139967130667048 139968246298505 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22086] ppid=22073 vsize=15417412 memory=5933324745011127660 CPUtime=0.21 cores=0,2,4,6
/proc/22075/task/22086/stat : 22086 (java) R 22073 22073 19026 0 -1 4202560 917 0 0 0 21 0 0 0 20 0 19 0 475037139 15787429888 20831 33554432000 4194304 4196468 140721104632848 139967129613416 139968253164350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22087] ppid=22073 vsize=15417412 memory=7223887401239728208 CPUtime=0.35 cores=0,2,4,6
/proc/22075/task/22087/stat : 22087 (java) S 22073 22073 19026 0 -1 1077944384 1673 0 0 0 35 0 0 0 20 0 19 0 475037139 15787429888 20831 33554432000 4194304 4196468 140721104632848 139967128580688 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22088] ppid=22073 vsize=15417412 memory=7223887401239728208 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22088/stat : 22088 (java) S 22073 22073 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475037139 15787429888 20831 33554432000 4194304 4196468 140721104632848 139967127530592 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22089] ppid=22073 vsize=15417412 memory=7597400392198480464 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22089/stat : 22089 (java) S 22073 22073 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475037139 15787429888 20831 33554432000 4194304 4196468 140721104632848 139967126477104 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 84776 KiB
[startup+1.50653 s]
/proc/loadavg: 6.54 7.04 7.32 9/234 22093
/proc/meminfo: memFree=12748248/32770624 swapFree=66966844/67108860
[pid=22073] ppid=22070 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (xcsp3-exec) S 22070 22073 19026 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475037133 115843072 363 33554432000 4194304 5098028 140724129840288 140724129838392 139872902914684 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17928192 140724129842007 140724129842265 140724129842265 140724129845190 0
/proc/22073/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/22075/stat : 22075 (java) S 22073 22073 19026 0 -1 1077944320 95917 0 1 0 206813 165 0 0 20 0 19 0 475037133 15789527040 85521 33554432000 4194304 4196468 140721104632848 140721104615392 139968260927223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
/proc/22075/statm: 3854865 85521 3541 1 0 3815965 0
[pid=22075/tid=22076] ppid=22073 vsize=15419460 memory=7897517683652307531 CPUtime=0.6 cores=0,2,4,6
/proc/22075/task/22076/stat : 22076 (java) S 22073 22073 19026 0 -1 1077944384 9397 0 1 0 56 4 0 0 20 0 19 0 475037133 15789527040 85521 33554432000 4194304 4196468 140721104632848 139968265168000 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22077] ppid=22073 vsize=15419460 memory=8514726395715349656 CPUtime=1.79 cores=0,2,4,6
/proc/22075/task/22077/stat : 22077 (java) S 22073 22073 19026 0 -1 1077944384 4643 0 0 0 170 9 0 0 20 0 19 0 475037134 15789527040 85521 33554432000 4194304 4196468 140721104632848 139967853570832 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22078] ppid=22073 vsize=15419460 memory=3047711553320166262 CPUtime=1.79 cores=0,2,4,6
/proc/22075/task/22078/stat : 22078 (java) S 22073 22073 19026 0 -1 1077944384 3252 0 0 0 169 10 0 0 20 0 19 0 475037134 15789527040 85521 33554432000 4194304 4196468 140721104632848 139967852518288 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22079] ppid=22073 vsize=15419460 memory=7824336315716348491 CPUtime=1.77 cores=0,2,4,6
/proc/22075/task/22079/stat : 22079 (java) S 22073 22073 19026 0 -1 1077944384 2127 0 0 0 168 9 0 0 20 0 19 0 475037134 15789527040 85521 33554432000 4194304 4196468 140721104632848 139967851465744 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22080] ppid=22073 vsize=15419460 memory=7882264071965666153 CPUtime=1.79 cores=0,2,4,6
/proc/22075/task/22080/stat : 22080 (java) S 22073 22073 19026 0 -1 1077944384 2377 0 0 0 170 9 0 0 20 0 19 0 475037134 15789527040 85521 33554432000 4194304 4196468 140721104632848 139967850413200 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22081] ppid=22073 vsize=15419460 memory=7740958153548589395 CPUtime=2.08 cores=0,2,4,6
/proc/22075/task/22081/stat : 22081 (java) S 22073 22073 19026 0 -1 1077944384 13149 0 0 0 88 120 0 0 20 0 19 0 475037135 15789527040 85521 33554432000 4194304 4196468 140721104632848 139967134898160 139968260938370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22082] ppid=22073 vsize=15419460 memory=7666927996725781870 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22082/stat : 22082 (java) S 22073 22073 19026 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475037136 15789527040 85521 33554432000 4194304 4196468 140721104632848 139967133844448 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22083] ppid=22073 vsize=15419460 memory=7235710566141946944 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22083/stat : 22083 (java) S 22073 22073 19026 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 19 0 475037136 15789527040 85521 33554432000 4194304 4196468 140721104632848 139967132791808 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22084] ppid=22073 vsize=15419460 memory=7235710566141946944 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22084/stat : 22084 (java) S 22073 22073 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475037139 15789527040 85521 33554432000 4194304 4196468 140721104632848 139967131740368 139968260945819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22085] ppid=22073 vsize=15419460 memory=-8813974798734826869 CPUtime=3.39 cores=0,2,4,6
/proc/22075/task/22085/stat : 22085 (java) S 22073 22073 19026 0 -1 1077944384 17197 0 0 0 336 3 0 0 20 0 19 0 475037139 15789527040 85521 33554432000 4194304 4196468 140721104632848 139967130687984 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22086] ppid=22073 vsize=15419460 memory=7444561708933015404 CPUtime=4.13 cores=0,2,4,6
/proc/22075/task/22086/stat : 22086 (java) S 22073 22073 19026 0 -1 1077944384 17585 0 0 0 411 2 0 0 20 0 19 0 475037139 15789527040 85521 33554432000 4194304 4196468 140721104632848 139967129635440 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22087] ppid=22073 vsize=15419460 memory=6370458686923893607 CPUtime=0.64 cores=0,2,4,6
/proc/22075/task/22087/stat : 22087 (java) S 22073 22073 19026 0 -1 1077944384 8687 0 0 0 63 1 0 0 20 0 19 0 475037139 15789527040 85521 33554432000 4194304 4196468 140721104632848 139967128582896 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22088] ppid=22073 vsize=15419460 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22088/stat : 22088 (java) S 22073 22073 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475037139 15789527040 85521 33554432000 4194304 4196468 140721104632848 139967127530592 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22089] ppid=22073 vsize=15419460 memory=288230617509003574 CPUtime=0.12 cores=0,2,4,6
/proc/22075/task/22089/stat : 22089 (java) S 22073 22073 19026 0 -1 1077944384 1676 0 0 0 4 8 0 0 20 0 19 0 475037139 15789527040 85521 33554432000 4194304 4196468 140721104632848 139967126477104 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22090] ppid=22073 vsize=15419460 memory=14408211662899591 CPUtime=512.91 cores=0,2,4,6
/proc/22075/task/22090/stat : 22090 (java) R 22073 22073 19026 0 -1 4202560 4118 0 0 0 51289 2 0 0 20 0 19 0 475037197 15789527040 85521 33554432000 4194304 4196468 140721104632848 139967117257488 139967904922334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22091] ppid=22073 vsize=15419460 memory=1568 CPUtime=513.85 cores=0,2,4,6
/proc/22075/task/22091/stat : 22091 (java) R 22073 22073 19026 0 -1 4202560 2982 0 0 0 51383 2 0 0 20 0 19 0 475037197 15789527040 85521 33554432000 4194304 4196468 140721104632848 139967116205760 139967905903952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22092] ppid=22073 vsize=15419460 memory=1444 CPUtime=512.54 cores=0,2,4,6
/proc/22075/task/22092/stat : 22092 (java) R 22073 22073 19026 0 -1 4202560 2664 0 0 0 51252 2 0 0 20 0 19 0 475037197 15789527040 85521 33554432000 4194304 4196468 140721104632848 139967115156464 139967905264987 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22093] ppid=22073 vsize=15419460 memory=864 CPUtime=512.23 cores=0,2,4,6
/proc/22075/task/22093/stat : 22093 (java) R 22073 22073 19026 0 -1 4202560 4652 0 0 0 51222 1 0 0 20 0 19 0 475037197 15789527040 85521 33554432000 4194304 4196468 140721104632848 139967114100192 139967905940327 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
Current children cumulated CPU time: 2069.78 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 343536 KiB
[startup+582.301 s]
/proc/loadavg: 8.31 8.17 7.79 9/237 22229
/proc/meminfo: memFree=25138464/32770624 swapFree=66966844/67108860
[pid=22073] ppid=22070 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (xcsp3-exec) S 22070 22073 19026 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475037133 115843072 363 33554432000 4194304 5098028 140724129840288 140724129838392 139872902914684 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17928192 140724129842007 140724129842265 140724129842265 140724129845190 0
/proc/22073/statm: 28282 363 305 221 0 87 0
[pid=22075] ppid=22073 vsize=15419460 memory=331932 CPUtime=2307.39 cores=0,2,4,6
/proc/22075/stat : 22075 (java) S 22073 22073 19026 0 -1 1077944320 100403 0 1 0 230549 190 0 0 20 0 19 0 475037133 15789527040 82983 33554432000 4194304 4196468 140721104632848 140721104615392 139968260927223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
/proc/22075/statm: 3854865 82983 3541 1 0 3815965 0
[pid=22075/tid=22076] ppid=22073 vsize=15419460 memory=14408211662899591 CPUtime=0.6 cores=0,2,4,6
/proc/22075/task/22076/stat : 22076 (java) S 22073 22073 19026 0 -1 1077944384 9397 0 1 0 56 4 0 0 20 0 19 0 475037133 15789527040 82983 33554432000 4194304 4196468 140721104632848 139968265168000 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22077] ppid=22073 vsize=15419460 memory=3284 CPUtime=2.07 cores=0,2,4,6
/proc/22075/task/22077/stat : 22077 (java) S 22073 22073 19026 0 -1 1077944384 4864 0 0 0 197 10 0 0 20 0 19 0 475037134 15789527040 82983 33554432000 4194304 4196468 140721104632848 139967853570832 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22078] ppid=22073 vsize=15419460 memory=1452 CPUtime=2.08 cores=0,2,4,6
/proc/22075/task/22078/stat : 22078 (java) S 22073 22073 19026 0 -1 1077944384 3383 0 0 0 197 11 0 0 20 0 19 0 475037134 15789527040 82983 33554432000 4194304 4196468 140721104632848 139967852518288 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22079] ppid=22073 vsize=15419460 memory=311412 CPUtime=2.05 cores=0,2,4,6
/proc/22075/task/22079/stat : 22079 (java) S 22073 22073 19026 0 -1 1077944384 2541 0 0 0 195 10 0 0 20 0 19 0 475037134 15789527040 82983 33554432000 4194304 4196468 140721104632848 139967851465744 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22080] ppid=22073 vsize=15419460 memory=1660 CPUtime=2.07 cores=0,2,4,6
/proc/22075/task/22080/stat : 22080 (java) S 22073 22073 19026 0 -1 1077944384 2505 0 0 0 197 10 0 0 20 0 19 0 475037134 15789527040 82983 33554432000 4194304 4196468 140721104632848 139967850413200 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22081] ppid=22073 vsize=15419460 memory=1398722017469774279 CPUtime=2.45 cores=0,2,4,6
/proc/22075/task/22081/stat : 22081 (java) S 22073 22073 19026 0 -1 1077944384 13792 0 0 0 102 143 0 0 20 0 19 0 475037135 15789527040 82983 33554432000 4194304 4196468 140721104632848 139967134898160 139968260938370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22082] ppid=22073 vsize=15419460 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22082/stat : 22082 (java) S 22073 22073 19026 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475037136 15789527040 82983 33554432000 4194304 4196468 140721104632848 139967133844448 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22083] ppid=22073 vsize=15419460 memory=334500 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22083/stat : 22083 (java) S 22073 22073 19026 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 19 0 475037136 15789527040 82983 33554432000 4194304 4196468 140721104632848 139967132791808 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22084] ppid=22073 vsize=15419460 memory=1398722017469774279 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22084/stat : 22084 (java) S 22073 22073 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475037139 15789527040 82983 33554432000 4194304 4196468 140721104632848 139967131740368 139968260945819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22085] ppid=22073 vsize=15419460 memory=4126316290023845779 CPUtime=3.39 cores=0,2,4,6
/proc/22075/task/22085/stat : 22085 (java) S 22073 22073 19026 0 -1 1077944384 17197 0 0 0 336 3 0 0 20 0 19 0 475037139 15789527040 82983 33554432000 4194304 4196468 140721104632848 139967130687984 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22086] ppid=22073 vsize=15419460 memory=4126316290023845779 CPUtime=4.13 cores=0,2,4,6
/proc/22075/task/22086/stat : 22086 (java) S 22073 22073 19026 0 -1 1077944384 17585 0 0 0 411 2 0 0 20 0 19 0 475037139 15789527040 82983 33554432000 4194304 4196468 140721104632848 139967129635440 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22087] ppid=22073 vsize=15419460 memory=3736 CPUtime=0.64 cores=0,2,4,6
/proc/22075/task/22087/stat : 22087 (java) S 22073 22073 19026 0 -1 1077944384 8754 0 0 0 63 1 0 0 20 0 19 0 475037139 15789527040 82983 33554432000 4194304 4196468 140721104632848 139967128582896 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22088] ppid=22073 vsize=15419460 memory=-6519613052471072158 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22088/stat : 22088 (java) S 22073 22073 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475037139 15789527040 82983 33554432000 4194304 4196468 140721104632848 139967127530592 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22089] ppid=22073 vsize=15419460 memory=7661283121528267885 CPUtime=0.13 cores=0,2,4,6
/proc/22075/task/22089/stat : 22089 (java) S 22073 22073 19026 0 -1 1077944384 1689 0 0 0 4 9 0 0 20 0 19 0 475037139 15789527040 82983 33554432000 4194304 4196468 140721104632848 139967126477104 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22090] ppid=22073 vsize=15419460 memory=5933607298024107371 CPUtime=571.99 cores=0,2,4,6
/proc/22075/task/22090/stat : 22090 (java) R 22073 22073 19026 0 -1 4202560 4559 0 0 0 57197 2 0 0 20 0 19 0 475037197 15789527040 82983 33554432000 4194304 4196468 140721104632848 139967117257448 139967905314380 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22091] ppid=22073 vsize=15419460 memory=6370454249988254568 CPUtime=572.99 cores=0,2,4,6
/proc/22075/task/22091/stat : 22091 (java) R 22073 22073 19026 0 -1 4202560 3321 0 0 0 57297 2 0 0 20 0 19 0 475037197 15789527040 82983 33554432000 4194304 4196468 140721104632848 139967116206056 139967905607312 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22092] ppid=22073 vsize=15419460 memory=140079218738432 CPUtime=571.39 cores=0,2,4,6
/proc/22075/task/22092/stat : 22092 (java) R 22073 22073 19026 0 -1 4202560 2899 0 0 0 57137 2 0 0 20 0 19 0 475037197 15789527040 82983 33554432000 4194304 4196468 140721104632848 139967115152480 139968241769501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22093] ppid=22073 vsize=15419460 memory=-7884216888071124160 CPUtime=571.28 cores=0,2,4,6
/proc/22075/task/22093/stat : 22093 (java) R 22073 22073 19026 0 -1 4202560 6506 0 0 0 57126 2 0 0 20 0 19 0 475037197 15789527040 82983 33554432000 4194304 4196468 140721104632848 139967114103680 139967904625898 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
Current children cumulated CPU time: 2307.39 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 333384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+636.101 s]*
/proc/loadavg: 8.36 8.21 7.82 9/237 22233
/proc/meminfo: memFree=25128500/32770624 swapFree=66966844/67108860
[pid=22073] ppid=22070 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (xcsp3-exec) S 22070 22073 19026 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475037133 115843072 363 33554432000 4194304 5098028 140724129840288 140724129838392 139872902914684 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17928192 140724129842007 140724129842265 140724129842265 140724129845190 0
/proc/22073/statm: 28282 363 305 221 0 87 0
[pid=22075] ppid=22073 vsize=15419460 memory=346652 CPUtime=2520.22 cores=0,2,4,6
/proc/22075/stat : 22075 (java) S 22073 22073 19026 0 -1 1077944320 102166 0 1 0 251801 221 0 0 20 0 19 0 475037133 15789527040 86663 33554432000 4194304 4196468 140721104632848 140721104615392 139968260927223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
/proc/22075/statm: 3854865 86663 3541 1 0 3815965 0
[pid=22075/tid=22076] ppid=22073 vsize=15419460 memory=1398722017469774279 CPUtime=0.6 cores=0,2,4,6
/proc/22075/task/22076/stat : 22076 (java) S 22073 22073 19026 0 -1 1077944384 9397 0 1 0 56 4 0 0 20 0 19 0 475037133 15789527040 86663 33554432000 4194304 4196468 140721104632848 139968265168000 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22077] ppid=22073 vsize=15419460 memory=4126316290023845779 CPUtime=2.39 cores=0,2,4,6
/proc/22075/task/22077/stat : 22077 (java) S 22073 22073 19026 0 -1 1077944384 4968 0 0 0 229 10 0 0 20 0 19 0 475037134 15789527040 86663 33554432000 4194304 4196468 140721104632848 139967853570832 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22078] ppid=22073 vsize=15419460 memory=347880 CPUtime=2.39 cores=0,2,4,6
/proc/22075/task/22078/stat : 22078 (java) S 22073 22073 19026 0 -1 1077944384 3503 0 0 0 228 11 0 0 20 0 19 0 475037134 15789527040 86663 33554432000 4194304 4196468 140721104632848 139967852518288 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22079] ppid=22073 vsize=15419460 memory=2120 CPUtime=2.37 cores=0,2,4,6
/proc/22075/task/22079/stat : 22079 (java) S 22073 22073 19026 0 -1 1077944384 2657 0 0 0 226 11 0 0 20 0 19 0 475037134 15789527040 86663 33554432000 4194304 4196468 140721104632848 139967851465744 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22080] ppid=22073 vsize=15419460 memory=508 CPUtime=2.4 cores=0,2,4,6
/proc/22075/task/22080/stat : 22080 (java) S 22073 22073 19026 0 -1 1077944384 2607 0 0 0 229 11 0 0 20 0 19 0 475037134 15789527040 86663 33554432000 4194304 4196468 140721104632848 139967850413200 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22081] ppid=22073 vsize=15419460 memory=14066017897321 CPUtime=2.9 cores=0,2,4,6
/proc/22075/task/22081/stat : 22081 (java) S 22073 22073 19026 0 -1 1077944384 14002 0 0 0 118 172 0 0 20 0 19 0 475037135 15789527040 86663 33554432000 4194304 4196468 140721104632848 139967134898160 139968260938370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22082] ppid=22073 vsize=15419460 memory=301741399194468649 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22082/stat : 22082 (java) S 22073 22073 19026 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475037136 15789527040 86663 33554432000 4194304 4196468 140721104632848 139967133844448 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22083] ppid=22073 vsize=15419460 memory=15817789847897574 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22083/stat : 22083 (java) S 22073 22073 19026 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 19 0 475037136 15789527040 86663 33554432000 4194304 4196468 140721104632848 139967132791808 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22084] ppid=22073 vsize=15419460 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22084/stat : 22084 (java) S 22073 22073 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475037139 15789527040 86663 33554432000 4194304 4196468 140721104632848 139967131740368 139968260945819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22085] ppid=22073 vsize=15419460 memory=290763875102753065 CPUtime=3.39 cores=0,2,4,6
/proc/22075/task/22085/stat : 22085 (java) S 22073 22073 19026 0 -1 1077944384 17199 0 0 0 336 3 0 0 20 0 19 0 475037139 15789527040 86663 33554432000 4194304 4196468 140721104632848 139967130687984 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22086] ppid=22073 vsize=15419460 memory=15817789847897574 CPUtime=4.13 cores=0,2,4,6
/proc/22075/task/22086/stat : 22086 (java) S 22073 22073 19026 0 -1 1077944384 17587 0 0 0 411 2 0 0 20 0 19 0 475037139 15789527040 86663 33554432000 4194304 4196468 140721104632848 139967129635440 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22087] ppid=22073 vsize=15419460 memory=6944656592455360604 CPUtime=0.64 cores=0,2,4,6
/proc/22075/task/22087/stat : 22087 (java) S 22073 22073 19026 0 -1 1077944384 8756 0 0 0 63 1 0 0 20 0 19 0 475037139 15789527040 86663 33554432000 4194304 4196468 140721104632848 139967128582896 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22088] ppid=22073 vsize=15419460 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/22075/task/22088/stat : 22088 (java) S 22073 22073 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475037139 15789527040 86663 33554432000 4194304 4196468 140721104632848 139967127530592 139968260937429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22089] ppid=22073 vsize=15419460 memory=280149846294576 CPUtime=0.15 cores=0,2,4,6
/proc/22075/task/22089/stat : 22089 (java) S 22073 22073 19026 0 -1 1077944384 1695 0 0 0 5 10 0 0 20 0 19 0 475037139 15789527040 86663 33554432000 4194304 4196468 140721104632848 139967126477104 139968260938370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22090] ppid=22073 vsize=15419460 memory=6944652177228980320 CPUtime=624.73 cores=0,2,4,6
/proc/22075/task/22090/stat : 22090 (java) R 22073 22073 19026 0 -1 4202560 4947 0 0 0 62470 3 0 0 20 0 19 0 475037197 15789527040 86663 33554432000 4194304 4196468 140721104632848 139967117257752 139967905400850 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22091] ppid=22073 vsize=15419460 memory=6944656592455360604 CPUtime=625.95 cores=0,2,4,6
/proc/22075/task/22091/stat : 22091 (java) R 22073 22073 19026 0 -1 4202560 3337 0 0 0 62593 2 0 0 20 0 19 0 475037197 15789527040 86663 33554432000 4194304 4196468 140721104632848 139967116205648 139967905904126 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22092] ppid=22073 vsize=15419460 memory=6944656575208382560 CPUtime=624.14 cores=0,2,4,6
/proc/22075/task/22092/stat : 22092 (java) R 22073 22073 19026 0 -1 4202560 3156 0 0 0 62412 2 0 0 20 0 19 0 475037197 15789527040 86663 33554432000 4194304 4196468 140721104632848 139967115153608 139967905402245 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
[pid=22075/tid=22093] ppid=22073 vsize=15419460 memory=6944652177228980320 CPUtime=623.91 cores=0,2,4,6
/proc/22075/task/22093/stat : 22093 (java) R 22073 22073 19026 0 -1 4202560 6944 0 0 0 62389 2 0 0 20 0 19 0 475037197 15789527040 86663 33554432000 4194304 4196468 140721104632848 139967114103920 139967905940532 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29401088 140721104634843 140721104635018 140721104635018 140721104637903 0
Current children cumulated CPU time: 2520.22 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 348104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+636.137 s]
# the end of solver process 22073 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00078 s, system=0.00156 s
[startup+636.2 s]
# the end of solver process 22075 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.33 s, system=2.22247 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 636.2
CPU time (s): 2520.56
CPU user time (s): 2518.33
CPU system time (s): 2.22247
CPU usage (%): 396.189
Max. virtual memory (cumulated for all children) (KiB): 15534672
Max. memory (cumulated for all children) (KiB): 498104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.33
system time used= 2.22247
maximum resident set size= 499508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103045
page faults= 1
swaps= 0
block input operations= 176
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46773
involuntary context switches= 44257
# summary of solver processes directly reported to runsolver:
# pid: 22073,22075
# total CPU time (s): 2520.56
# total CPU user time (s): 2518.33
# total CPU system time (s): 2.22247
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.14403 second user time and 6.90397 second system time
The end