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 (13165 MiB free)
memory of node 1: 16384 MiB (13422 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301252-1532876976/watcher-4301252-1532876976 -o /tmp/evaluation-result-4301252-1532876976/solver-4301252-1532876976 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532875384-10017 --watchdog 312 HOME/xcsp3-exec -seed 1168582228 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301252-1532876976.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Current StackSize limit: 8192 KiB
solver pid=11255, runsolver pid=11252
[startup+0.100163 s]*
/proc/loadavg: 2.03 1.95 1.80 4/221 11271
/proc/meminfo: memFree=27211276/32770624 swapFree=67108856/67108860
[pid=11255] ppid=11252 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11255/stat : 11255 (xcsp3-exec) S 11252 11255 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105260781 115843072 364 33554432000 4194304 5098028 140725054908112 140725054906216 139951272546940 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18767872 140725054915648 140725054915849 140725054915849 140725054918602 0
/proc/11255/statm: 28282 364 306 221 0 87 0
[pid=11257] ppid=11255 vsize=14082940 memory=28584 CPUtime=0.11 cores=0,2,4,6
/proc/11257/stat : 11257 (java) S 11255 11255 5155 0 -1 1077944320 5501 0 0 0 10 1 0 0 20 0 15 0 105260781 14420930560 7146 33554432000 4194304 4196468 140724776910624 140724776893168 140492492205815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
/proc/11257/statm: 3520735 7146 3016 1 0 3483012 0
[pid=11257/tid=11258] ppid=11255 vsize=14082940 memory=8514701219880730790 CPUtime=0.09 cores=0,2,4,6
/proc/11257/task/11258/stat : 11258 (java) R 11255 11255 5155 0 -1 4202560 3507 0 0 0 8 1 0 0 20 0 15 0 105260782 14420930560 7146 33554432000 4194304 4196468 140724776910624 140492496434992 140492476286302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11259] ppid=11255 vsize=14082940 memory=3472468204770206928 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11259/stat : 11259 (java) S 11255 11255 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105260782 14420930560 7146 33554432000 4194304 4196468 140724776910624 140492088011792 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11260] ppid=11255 vsize=14082940 memory=140075875055232 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11260/stat : 11260 (java) S 11255 11255 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105260782 14420930560 7146 33554432000 4194304 4196468 140724776910624 140492086959248 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11261] ppid=11255 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11261/stat : 11261 (java) S 11255 11255 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105260782 14420930560 7146 33554432000 4194304 4196468 140724776910624 140492085906192 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11262] ppid=11255 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11262/stat : 11262 (java) S 11255 11255 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105260782 14420930560 7146 33554432000 4194304 4196468 140724776910624 140492084853648 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11263] ppid=11255 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11263/stat : 11263 (java) S 11255 11255 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105260784 14420930560 7146 33554432000 4194304 4196468 140724776910624 140491832236272 140492492216962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11264] ppid=11255 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11264/stat : 11264 (java) S 11255 11255 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105260784 14420930560 7146 33554432000 4194304 4196468 140724776910624 140491831182496 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11265] ppid=11255 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11265/stat : 11265 (java) S 11255 11255 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105260784 14420930560 7146 33554432000 4194304 4196468 140724776910624 140491830129392 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11266] ppid=11255 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11266/stat : 11266 (java) S 11255 11255 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105260787 14420930560 7146 33554432000 4194304 4196468 140724776910624 140491829077968 140492492224411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11267] ppid=11255 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11267/stat : 11267 (java) S 11255 11255 5155 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 105260787 14420930560 7146 33554432000 4194304 4196468 140724776910624 140491828026096 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11268] ppid=11255 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11268/stat : 11268 (java) S 11255 11255 5155 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 105260787 14420930560 7146 33554432000 4194304 4196468 140724776910624 140491826973552 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11269] ppid=11255 vsize=14082940 memory=140075875055232 CPUtime=0.01 cores=0,2,4,6
/proc/11257/task/11269/stat : 11269 (java) R 11255 11255 5155 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 15 0 105260787 14420930560 7146 33554432000 4194304 4196468 140724776910624 140491825920496 140492492227162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11270] ppid=11255 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11270/stat : 11270 (java) S 11255 11255 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105260787 14420930560 7146 33554432000 4194304 4196468 140724776910624 140491824868192 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11271] ppid=11255 vsize=14082940 memory=140075875055232 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11271/stat : 11271 (java) S 11255 11255 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105260787 14420930560 7146 33554432000 4194304 4196468 140724776910624 140491823815216 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30040 KiB
[startup+0.210813 s]*
/proc/loadavg: 2.03 1.95 1.80 4/221 11271
/proc/meminfo: memFree=27199188/32770624 swapFree=67108856/67108860
[pid=11255] ppid=11252 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11255/stat : 11255 (xcsp3-exec) S 11252 11255 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105260781 115843072 364 33554432000 4194304 5098028 140725054908112 140725054906216 139951272546940 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18767872 140725054915648 140725054915849 140725054915849 140725054918602 0
/proc/11255/statm: 28282 364 306 221 0 87 0
[pid=11257] ppid=11255 vsize=14082940 memory=41108 CPUtime=0.33 cores=0,2,4,6
/proc/11257/stat : 11257 (java) S 11255 11255 5155 0 -1 1077944320 8314 0 0 0 31 2 0 0 20 0 15 0 105260781 14420930560 10277 33554432000 4194304 4196468 140724776910624 140724776893168 140492492205815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
/proc/11257/statm: 3520735 10277 3186 1 0 3483012 0
[pid=11257/tid=11258] ppid=11255 vsize=14082940 memory=5854518564242424225 CPUtime=0.19 cores=0,2,4,6
/proc/11257/task/11258/stat : 11258 (java) R 11255 11255 5155 0 -1 4202560 5422 0 0 0 18 1 0 0 20 0 15 0 105260782 14420930560 10277 33554432000 4194304 4196468 140724776910624 140492496440352 140492476286302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11259] ppid=11255 vsize=14082940 memory=3472468204770206928 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11259/stat : 11259 (java) S 11255 11255 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105260782 14420930560 10277 33554432000 4194304 4196468 140724776910624 140492088011792 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11260] ppid=11255 vsize=14082940 memory=140075875055232 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11260/stat : 11260 (java) S 11255 11255 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105260782 14420930560 10277 33554432000 4194304 4196468 140724776910624 140492086959248 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11261] ppid=11255 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11261/stat : 11261 (java) S 11255 11255 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105260782 14420930560 10277 33554432000 4194304 4196468 140724776910624 140492085906192 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11262] ppid=11255 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11262/stat : 11262 (java) S 11255 11255 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105260782 14420930560 10277 33554432000 4194304 4196468 140724776910624 140492084853648 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11263] ppid=11255 vsize=14082940 memory=140075875055232 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11263/stat : 11263 (java) S 11255 11255 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105260784 14420930560 10277 33554432000 4194304 4196468 140724776910624 140491832236272 140492492216962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11264] ppid=11255 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11264/stat : 11264 (java) S 11255 11255 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105260784 14420930560 10277 33554432000 4194304 4196468 140724776910624 140491831182496 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11265] ppid=11255 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11265/stat : 11265 (java) S 11255 11255 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105260784 14420930560 10277 33554432000 4194304 4196468 140724776910624 140491830129392 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11266] ppid=11255 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11266/stat : 11266 (java) S 11255 11255 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105260787 14420930560 10277 33554432000 4194304 4196468 140724776910624 140491829077968 140492492224411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11267] ppid=11255 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11257/task/11267/stat : 11267 (java) S 11255 11255 5155 0 -1 1077944384 442 0 0 0 2 0 0 0 20 0 15 0 105260787 14420930560 10277 33554432000 4194304 4196468 140724776910624 140491828026096 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11268] ppid=11255 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11257/task/11268/stat : 11268 (java) S 11255 11255 5155 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 15 0 105260787 14420930560 10277 33554432000 4194304 4196468 140724776910624 140491826973552 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11269] ppid=11255 vsize=14082940 memory=140075875055232 CPUtime=0.08 cores=0,2,4,6
/proc/11257/task/11269/stat : 11269 (java) S 11255 11255 5155 0 -1 1077944384 808 0 0 0 8 0 0 0 20 0 15 0 105260787 14420930560 10342 33554432000 4194304 4196468 140724776910624 140491825920496 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11270] ppid=11255 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11270/stat : 11270 (java) S 11255 11255 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105260787 14420930560 10342 33554432000 4194304 4196468 140724776910624 140491824868192 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11271] ppid=11255 vsize=14082940 memory=140075875055232 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11271/stat : 11271 (java) S 11255 11255 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105260787 14420930560 10342 33554432000 4194304 4196468 140724776910624 140491823815216 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42564 KiB
[startup+0.310774 s]*
/proc/loadavg: 2.03 1.95 1.80 4/221 11271
/proc/meminfo: memFree=27193108/32770624 swapFree=67108856/67108860
[pid=11255] ppid=11252 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11255/stat : 11255 (xcsp3-exec) S 11252 11255 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105260781 115843072 364 33554432000 4194304 5098028 140725054908112 140725054906216 139951272546940 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18767872 140725054915648 140725054915849 140725054915849 140725054918602 0
/proc/11255/statm: 28282 364 306 221 0 87 0
[pid=11257] ppid=11255 vsize=14087196 memory=48216 CPUtime=0.52 cores=0,2,4,6
/proc/11257/stat : 11257 (java) S 11255 11255 5155 0 -1 1077944320 9210 0 0 0 49 3 0 0 20 0 15 0 105260781 14425288704 12054 33554432000 4194304 4196468 140724776910624 140724776893168 140492492205815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
/proc/11257/statm: 3521799 12054 3280 1 0 3483012 0
[pid=11257/tid=11258] ppid=11255 vsize=14087196 memory=8514701219881125278 CPUtime=0.29 cores=0,2,4,6
/proc/11257/task/11258/stat : 11258 (java) R 11255 11255 5155 0 -1 4202560 6128 0 0 0 27 2 0 0 20 0 15 0 105260782 14425288704 12054 33554432000 4194304 4196468 140724776910624 140492496436928 140492476286302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11259] ppid=11255 vsize=14087196 memory=3472468204770206928 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11259/stat : 11259 (java) S 11255 11255 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105260782 14425288704 12054 33554432000 4194304 4196468 140724776910624 140492088011792 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11260] ppid=11255 vsize=14087196 memory=140075875055232 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11260/stat : 11260 (java) S 11255 11255 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105260782 14425288704 12054 33554432000 4194304 4196468 140724776910624 140492086959248 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11261] ppid=11255 vsize=14087196 memory=18 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11261/stat : 11261 (java) S 11255 11255 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105260782 14425288704 12054 33554432000 4194304 4196468 140724776910624 140492085906192 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11262] ppid=11255 vsize=14087196 memory=140075727988767 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11262/stat : 11262 (java) S 11255 11255 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105260782 14425288704 12054 33554432000 4194304 4196468 140724776910624 140492084853648 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11263] ppid=11255 vsize=14087196 memory=280151455956768 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11263/stat : 11263 (java) S 11255 11255 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105260784 14425288704 12054 33554432000 4194304 4196468 140724776910624 140491832236272 140492492216962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11264] ppid=11255 vsize=14087196 memory=140075727965711 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11264/stat : 11264 (java) S 11255 11255 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105260784 14425288704 12054 33554432000 4194304 4196468 140724776910624 140491831182496 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11265] ppid=11255 vsize=14087196 memory=280151603030112 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11265/stat : 11265 (java) S 11255 11255 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105260784 14425288704 12054 33554432000 4194304 4196468 140724776910624 140491830129392 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11266] ppid=11255 vsize=14087196 memory=140075727970319 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11266/stat : 11266 (java) S 11255 11255 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105260787 14425288704 12054 33554432000 4194304 4196468 140724776910624 140491829077968 140492492224411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11267] ppid=11255 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11257/task/11267/stat : 11267 (java) S 11255 11255 5155 0 -1 1077944384 464 0 0 0 4 0 0 0 20 0 15 0 105260787 14425288704 12054 33554432000 4194304 4196468 140724776910624 140491828026096 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11268] ppid=11255 vsize=14087196 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/11257/task/11268/stat : 11268 (java) S 11255 11255 5155 0 -1 1077944384 454 0 0 0 5 0 0 0 20 0 15 0 105260787 14425288704 12054 33554432000 4194304 4196468 140724776910624 140491826973552 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11269] ppid=11255 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/11257/task/11269/stat : 11269 (java) S 11255 11255 5155 0 -1 1077944384 875 0 0 0 12 0 0 0 20 0 15 0 105260787 14425288704 12054 33554432000 4194304 4196468 140724776910624 140491825920496 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11270] ppid=11255 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11270/stat : 11270 (java) S 11255 11255 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105260787 14425288704 12054 33554432000 4194304 4196468 140724776910624 140491824868192 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11271] ppid=11255 vsize=14087196 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11271/stat : 11271 (java) S 11255 11255 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105260787 14425288704 12054 33554432000 4194304 4196468 140724776910624 140491823815216 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49672 KiB
[startup+0.70167 s]
/proc/loadavg: 2.03 1.95 1.80 6/221 11271
/proc/meminfo: memFree=27159172/32770624 swapFree=67108856/67108860
[pid=11255] ppid=11252 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11255/stat : 11255 (xcsp3-exec) S 11252 11255 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105260781 115843072 364 33554432000 4194304 5098028 140725054908112 140725054906216 139951272546940 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18767872 140725054915648 140725054915849 140725054915849 140725054918602 0
/proc/11255/statm: 28282 364 306 221 0 87 0
[pid=11257] ppid=11255 vsize=14089320 memory=103728 CPUtime=1.83 cores=0,2,4,6
/proc/11257/stat : 11257 (java) S 11255 11255 5155 0 -1 1077944320 12852 0 0 0 178 5 0 0 20 0 15 0 105260781 14427463680 25932 33554432000 4194304 4196468 140724776910624 140724776893168 140492492205815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
/proc/11257/statm: 3522330 25932 3345 1 0 3483524 0
[pid=11257/tid=11258] ppid=11255 vsize=14089320 memory=57 CPUtime=0.67 cores=0,2,4,6
/proc/11257/task/11258/stat : 11258 (java) S 11255 11255 5155 0 -1 1077944384 6597 0 0 0 64 3 0 0 20 0 15 0 105260782 14427463680 25932 33554432000 4194304 4196468 140724776910624 140492496441024 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11259] ppid=11255 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11259/stat : 11259 (java) S 11255 11255 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105260782 14427463680 25932 33554432000 4194304 4196468 140724776910624 140492088011792 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11260] ppid=11255 vsize=14089320 memory=7886766292050851637 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11260/stat : 11260 (java) S 11255 11255 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105260782 14427463680 25932 33554432000 4194304 4196468 140724776910624 140492086959248 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11261] ppid=11255 vsize=14089320 memory=7450150478939308135 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11261/stat : 11261 (java) S 11255 11255 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105260782 14427463680 25932 33554432000 4194304 4196468 140724776910624 140492085906192 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11262] ppid=11255 vsize=14089320 memory=5859273620209619044 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11262/stat : 11262 (java) S 11255 11255 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105260782 14427463680 25932 33554432000 4194304 4196468 140724776910624 140492084853648 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11263] ppid=11255 vsize=14089320 memory=3053511329498284128 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11263/stat : 11263 (java) S 11255 11255 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105260784 14427463680 25932 33554432000 4194304 4196468 140724776910624 140491832236272 140492492216962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11264] ppid=11255 vsize=14089320 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11264/stat : 11264 (java) S 11255 11255 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105260784 14427463680 25932 33554432000 4194304 4196468 140724776910624 140491831182496 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11265] ppid=11255 vsize=14089320 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11265/stat : 11265 (java) S 11255 11255 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105260784 14427463680 25932 33554432000 4194304 4196468 140724776910624 140491830129392 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11266] ppid=11255 vsize=14089320 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11266/stat : 11266 (java) S 11255 11255 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105260787 14427463680 25932 33554432000 4194304 4196468 140724776910624 140491829077968 140492492224411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11267] ppid=11255 vsize=14089320 memory=1012 CPUtime=0.38 cores=0,2,4,6
/proc/11257/task/11267/stat : 11267 (java) R 11255 11255 5155 0 -1 4202560 1334 0 0 0 38 0 0 0 20 0 15 0 105260787 14427463680 25932 33554432000 4194304 4196468 140724776910624 140491828026096 140492473750776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11268] ppid=11255 vsize=14089320 memory=1948 CPUtime=0.4 cores=0,2,4,6
/proc/11257/task/11268/stat : 11268 (java) R 11255 11255 5155 0 -1 4202560 1611 0 0 0 40 0 0 0 20 0 15 0 105260787 14427463680 25932 33554432000 4194304 4196468 140724776910624 140491826961904 140492475702599 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11269] ppid=11255 vsize=14089320 memory=1188 CPUtime=0.35 cores=0,2,4,6
/proc/11257/task/11269/stat : 11269 (java) R 11255 11255 5155 0 -1 4202560 2003 0 0 0 35 0 0 0 20 0 15 0 105260787 14427463680 25932 33554432000 4194304 4196468 140724776910624 140491825917752 140492485304894 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11270] ppid=11255 vsize=14089320 memory=8448 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11270/stat : 11270 (java) S 11255 11255 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105260787 14427463680 25932 33554432000 4194304 4196468 140724776910624 140491824868192 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11271] ppid=11255 vsize=14089320 memory=15252 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11271/stat : 11271 (java) S 11255 11255 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105260787 14427463680 25932 33554432000 4194304 4196468 140724776910624 140491823815216 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 105184 KiB
[startup+1.50077 s]
/proc/loadavg: 2.03 1.95 1.80 5/221 11271
/proc/meminfo: memFree=27062812/32770624 swapFree=67108856/67108860
[pid=11255] ppid=11252 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11255/stat : 11255 (xcsp3-exec) S 11252 11255 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105260781 115843072 364 33554432000 4194304 5098028 140725054908112 140725054906216 139951272546940 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18767872 140725054915648 140725054915849 140725054915849 140725054918602 0
/proc/11255/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/11257/task/11265/stat : 11265 (java) S 11255 11255 5155 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 105260784 14429560832 247021 33554432000 4194304 4196468 140724776910624 140491830129408 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11266] ppid=11255 vsize=14091368 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11266/stat : 11266 (java) S 11255 11255 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105260787 14429560832 247021 33554432000 4194304 4196468 140724776910624 140491829077968 140492492224411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11267] ppid=11255 vsize=14091368 memory=84 CPUtime=7.52 cores=0,2,4,6
/proc/11257/task/11267/stat : 11267 (java) S 11255 11255 5155 0 -1 1077944384 32466 0 0 0 749 3 0 0 20 0 15 0 105260787 14429560832 247021 33554432000 4194304 4196468 140724776910624 140491828026096 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11268] ppid=11255 vsize=14091368 memory=7738683139386271077 CPUtime=6.68 cores=0,2,4,6
/proc/11257/task/11268/stat : 11268 (java) S 11255 11255 5155 0 -1 1077944384 25612 0 0 0 666 2 0 0 20 0 15 0 105260787 14429560832 247021 33554432000 4194304 4196468 140724776910624 140491826973552 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11269] ppid=11255 vsize=14091368 memory=6003404321958752358 CPUtime=1.25 cores=0,2,4,6
/proc/11257/task/11269/stat : 11269 (java) S 11255 11255 5155 0 -1 1077944384 10803 0 0 0 123 2 0 0 20 0 15 0 105260787 14429560832 247021 33554432000 4194304 4196468 140724776910624 140491825920496 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11270] ppid=11255 vsize=14091368 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11270/stat : 11270 (java) S 11255 11255 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105260787 14429560832 247021 33554432000 4194304 4196468 140724776910624 140491824868192 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11271] ppid=11255 vsize=14091368 memory=916 CPUtime=0.08 cores=0,2,4,6
/proc/11257/task/11271/stat : 11271 (java) S 11255 11255 5155 0 -1 1077944384 305 0 0 0 4 4 0 0 20 0 15 0 105260787 14429560832 247021 33554432000 4194304 4196468 140724776910624 140491823815216 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
Current children cumulated CPU time: 179.05 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 989540 KiB
[startup+222.301 s]
/proc/loadavg: 2.06 2.00 1.85 3/222 11363
/proc/meminfo: memFree=26240804/32770624 swapFree=67108856/67108860
[pid=11255] ppid=11252 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11255/stat : 11255 (xcsp3-exec) S 11252 11255 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105260781 115843072 364 33554432000 4194304 5098028 140725054908112 140725054906216 139951272546940 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18767872 140725054915648 140725054915849 140725054915849 140725054918602 0
/proc/11255/statm: 28282 364 306 221 0 87 0
[pid=11257] ppid=11255 vsize=14091368 memory=988092 CPUtime=239.17 cores=0,2,4,6
/proc/11257/stat : 11257 (java) S 11255 11255 5155 0 -1 1077944320 97083 0 0 0 23848 69 0 0 20 0 15 0 105260781 14429560832 247023 33554432000 4194304 4196468 140724776910624 140724776893168 140492492205815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
/proc/11257/statm: 3522842 247023 3434 1 0 3484036 0
[pid=11257/tid=11258] ppid=11255 vsize=14091368 memory=1188 CPUtime=221.74 cores=0,2,4,6
/proc/11257/task/11258/stat : 11258 (java) R 11255 11255 5155 0 -1 4202560 16181 0 0 0 22164 10 0 0 20 0 15 0 105260782 14429560832 247023 33554432000 4194304 4196468 140724776910624 140492496442528 140492093190172 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11259] ppid=11255 vsize=14091368 memory=8448 CPUtime=0.44 cores=0,2,4,6
/proc/11257/task/11259/stat : 11259 (java) S 11255 11255 5155 0 -1 1077944384 863 0 0 0 33 11 0 0 20 0 15 0 105260782 14429560832 247023 33554432000 4194304 4196468 140724776910624 140492088011792 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11260] ppid=11255 vsize=14091368 memory=15252 CPUtime=0.37 cores=0,2,4,6
/proc/11257/task/11260/stat : 11260 (java) S 11255 11255 5155 0 -1 1077944384 843 0 0 0 28 9 0 0 20 0 15 0 105260782 14429560832 247023 33554432000 4194304 4196468 140724776910624 140492086959248 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11261] ppid=11255 vsize=14091368 memory=303430223234596890 CPUtime=0.42 cores=0,2,4,6
/proc/11257/task/11261/stat : 11261 (java) S 11255 11255 5155 0 -1 1077944384 1311 0 0 0 31 11 0 0 20 0 15 0 105260782 14429560832 247023 33554432000 4194304 4196468 140724776910624 140492085906192 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11262] ppid=11255 vsize=14091368 memory=288230583166042425 CPUtime=0.42 cores=0,2,4,6
/proc/11257/task/11262/stat : 11262 (java) S 11255 11255 5155 0 -1 1077944384 1530 0 0 0 32 10 0 0 20 0 15 0 105260782 14429560832 247023 33554432000 4194304 4196468 140724776910624 140492084853648 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11263] ppid=11255 vsize=14091368 memory=13565981461055742 CPUtime=0.02 cores=0,2,4,6
/proc/11257/task/11263/stat : 11263 (java) S 11255 11255 5155 0 -1 1077944384 1273 0 0 0 2 0 0 0 20 0 15 0 105260784 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491832236272 140492492216962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11264] ppid=11255 vsize=14091368 memory=11860 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11264/stat : 11264 (java) S 11255 11255 5155 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 105260784 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491831182560 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11265] ppid=11255 vsize=14091368 memory=5772 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11265/stat : 11265 (java) S 11255 11255 5155 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 105260784 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491830129408 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11266] ppid=11255 vsize=14091368 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11266/stat : 11266 (java) S 11255 11255 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491829077968 140492492224411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11267] ppid=11255 vsize=14091368 memory=1388 CPUtime=7.57 cores=0,2,4,6
/proc/11257/task/11267/stat : 11267 (java) S 11255 11255 5155 0 -1 1077944384 34624 0 0 0 753 4 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491828026096 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11268] ppid=11255 vsize=14091368 memory=1232 CPUtime=6.72 cores=0,2,4,6
/proc/11257/task/11268/stat : 11268 (java) S 11255 11255 5155 0 -1 1077944384 26581 0 0 0 670 2 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491826973552 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11269] ppid=11255 vsize=14091368 memory=1012 CPUtime=1.25 cores=0,2,4,6
/proc/11257/task/11269/stat : 11269 (java) S 11255 11255 5155 0 -1 1077944384 12138 0 0 0 123 2 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491825920496 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11270] ppid=11255 vsize=14091368 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11270/stat : 11270 (java) S 11255 11255 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491824868192 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11271] ppid=11255 vsize=14091368 memory=1188 CPUtime=0.12 cores=0,2,4,6
/proc/11257/task/11271/stat : 11271 (java) S 11255 11255 5155 0 -1 1077944384 341 0 0 0 6 6 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491823815216 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
Current children cumulated CPU time: 239.17 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 989548 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+235.21 s]
/proc/loadavg: 2.05 2.00 1.86 3/222 11363
/proc/meminfo: memFree=26240680/32770624 swapFree=67108856/67108860
[pid=11255] ppid=11252 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11255/stat : 11255 (xcsp3-exec) S 11252 11255 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105260781 115843072 364 33554432000 4194304 5098028 140725054908112 140725054906216 139951272546940 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18767872 140725054915648 140725054915849 140725054915849 140725054918602 0
/proc/11255/statm: 28282 364 306 221 0 87 0
[pid=11257] ppid=11255 vsize=14091368 memory=988092 CPUtime=252.09 cores=0,2,4,6
/proc/11257/stat : 11257 (java) S 11255 11255 5155 0 -1 1077944320 97085 0 0 0 25139 70 0 0 20 0 15 0 105260781 14429560832 247023 33554432000 4194304 4196468 140724776910624 140724776893168 140492492205815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
/proc/11257/statm: 3522842 247023 3434 1 0 3484036 0
[pid=11257/tid=11258] ppid=11255 vsize=14091368 memory=988092 CPUtime=234.65 cores=0,2,4,6
/proc/11257/task/11258/stat : 11258 (java) R 11255 11255 5155 0 -1 4202560 16183 0 0 0 23455 10 0 0 20 0 15 0 105260782 14429560832 247023 33554432000 4194304 4196468 140724776910624 140492496442528 140492089224576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11259] ppid=11255 vsize=14091368 memory=988092 CPUtime=0.44 cores=0,2,4,6
/proc/11257/task/11259/stat : 11259 (java) S 11255 11255 5155 0 -1 1077944384 863 0 0 0 33 11 0 0 20 0 15 0 105260782 14429560832 247023 33554432000 4194304 4196468 140724776910624 140492088011792 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11260] ppid=11255 vsize=14091368 memory=988092 CPUtime=0.37 cores=0,2,4,6
/proc/11257/task/11260/stat : 11260 (java) S 11255 11255 5155 0 -1 1077944384 843 0 0 0 28 9 0 0 20 0 15 0 105260782 14429560832 247023 33554432000 4194304 4196468 140724776910624 140492086959248 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11261] ppid=11255 vsize=14091368 memory=988092 CPUtime=0.42 cores=0,2,4,6
/proc/11257/task/11261/stat : 11261 (java) S 11255 11255 5155 0 -1 1077944384 1311 0 0 0 31 11 0 0 20 0 15 0 105260782 14429560832 247023 33554432000 4194304 4196468 140724776910624 140492085906192 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11262] ppid=11255 vsize=14091368 memory=988092 CPUtime=0.42 cores=0,2,4,6
/proc/11257/task/11262/stat : 11262 (java) S 11255 11255 5155 0 -1 1077944384 1530 0 0 0 32 10 0 0 20 0 15 0 105260782 14429560832 247023 33554432000 4194304 4196468 140724776910624 140492084853648 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11263] ppid=11255 vsize=14091368 memory=1456 CPUtime=0.02 cores=0,2,4,6
/proc/11257/task/11263/stat : 11263 (java) S 11255 11255 5155 0 -1 1077944384 1273 0 0 0 2 0 0 0 20 0 15 0 105260784 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491832236272 140492492216962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11264] ppid=11255 vsize=14091368 memory=988084 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11264/stat : 11264 (java) S 11255 11255 5155 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 105260784 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491831182560 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11265] ppid=11255 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11265/stat : 11265 (java) S 11255 11255 5155 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 105260784 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491830129408 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11266] ppid=11255 vsize=14091368 memory=988092 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11266/stat : 11266 (java) S 11255 11255 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491829077968 140492492224411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11267] ppid=11255 vsize=14091368 memory=1456 CPUtime=7.57 cores=0,2,4,6
/proc/11257/task/11267/stat : 11267 (java) S 11255 11255 5155 0 -1 1077944384 34624 0 0 0 753 4 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491828026096 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11268] ppid=11255 vsize=14091368 memory=1456 CPUtime=6.72 cores=0,2,4,6
/proc/11257/task/11268/stat : 11268 (java) S 11255 11255 5155 0 -1 1077944384 26581 0 0 0 670 2 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491826973552 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11269] ppid=11255 vsize=14091368 memory=1456 CPUtime=1.25 cores=0,2,4,6
/proc/11257/task/11269/stat : 11269 (java) S 11255 11255 5155 0 -1 1077944384 12138 0 0 0 123 2 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491825920496 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11270] ppid=11255 vsize=14091368 memory=988092 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11270/stat : 11270 (java) S 11255 11255 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491824868192 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11271] ppid=11255 vsize=14091368 memory=928 CPUtime=0.12 cores=0,2,4,6
/proc/11257/task/11271/stat : 11271 (java) S 11255 11255 5155 0 -1 1077944384 341 0 0 0 6 6 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491823815216 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 989548 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+235.22 s]
# the end of solver process 11255 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000753 s, system=0.001507 s
[startup+235.23 s]
# the end of solver process 11257 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.404 s, system=0.715894 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
[startup+235.21 s]
/proc/loadavg: 2.05 2.00 1.86 3/222 11363
/proc/meminfo: memFree=26240680/32770624 swapFree=67108856/67108860
[pid=11255] ppid=11252 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11255/stat : 11255 (xcsp3-exec) S 11252 11255 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105260781 115843072 364 33554432000 4194304 5098028 140725054908112 140725054906216 139951272546940 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18767872 140725054915648 140725054915849 140725054915849 140725054918602 0
/proc/11255/statm: 28282 364 306 221 0 87 0
[pid=11257] ppid=11255 vsize=14091368 memory=988092 CPUtime=252.09 cores=0,2,4,6
/proc/11257/stat : 11257 (java) S 11255 11255 5155 0 -1 1077944320 97085 0 0 0 25139 70 0 0 20 0 15 0 105260781 14429560832 247023 33554432000 4194304 4196468 140724776910624 140724776893168 140492492205815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
/proc/11257/statm: 3522842 247023 3434 1 0 3484036 0
[pid=11257/tid=11258] ppid=11255 vsize=14091368 memory=988092 CPUtime=234.65 cores=0,2,4,6
/proc/11257/task/11258/stat : 11258 (java) R 11255 11255 5155 0 -1 4202560 16183 0 0 0 23455 10 0 0 20 0 15 0 105260782 14429560832 247023 33554432000 4194304 4196468 140724776910624 140492496442528 140492089224576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11259] ppid=11255 vsize=14091368 memory=988092 CPUtime=0.44 cores=0,2,4,6
/proc/11257/task/11259/stat : 11259 (java) S 11255 11255 5155 0 -1 1077944384 863 0 0 0 33 11 0 0 20 0 15 0 105260782 14429560832 247023 33554432000 4194304 4196468 140724776910624 140492088011792 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11260] ppid=11255 vsize=14091368 memory=988092 CPUtime=0.37 cores=0,2,4,6
/proc/11257/task/11260/stat : 11260 (java) S 11255 11255 5155 0 -1 1077944384 843 0 0 0 28 9 0 0 20 0 15 0 105260782 14429560832 247023 33554432000 4194304 4196468 140724776910624 140492086959248 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11261] ppid=11255 vsize=14091368 memory=988092 CPUtime=0.42 cores=0,2,4,6
/proc/11257/task/11261/stat : 11261 (java) S 11255 11255 5155 0 -1 1077944384 1311 0 0 0 31 11 0 0 20 0 15 0 105260782 14429560832 247023 33554432000 4194304 4196468 140724776910624 140492085906192 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11262] ppid=11255 vsize=14091368 memory=988092 CPUtime=0.42 cores=0,2,4,6
/proc/11257/task/11262/stat : 11262 (java) S 11255 11255 5155 0 -1 1077944384 1530 0 0 0 32 10 0 0 20 0 15 0 105260782 14429560832 247023 33554432000 4194304 4196468 140724776910624 140492084853648 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11263] ppid=11255 vsize=14091368 memory=1456 CPUtime=0.02 cores=0,2,4,6
/proc/11257/task/11263/stat : 11263 (java) S 11255 11255 5155 0 -1 1077944384 1273 0 0 0 2 0 0 0 20 0 15 0 105260784 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491832236272 140492492216962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11264] ppid=11255 vsize=14091368 memory=988084 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11264/stat : 11264 (java) S 11255 11255 5155 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 105260784 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491831182560 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11265] ppid=11255 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11265/stat : 11265 (java) S 11255 11255 5155 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 105260784 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491830129408 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11266] ppid=11255 vsize=14091368 memory=988092 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11266/stat : 11266 (java) S 11255 11255 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491829077968 140492492224411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11267] ppid=11255 vsize=14091368 memory=1456 CPUtime=7.57 cores=0,2,4,6
/proc/11257/task/11267/stat : 11267 (java) S 11255 11255 5155 0 -1 1077944384 34624 0 0 0 753 4 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491828026096 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11268] ppid=11255 vsize=14091368 memory=1456 CPUtime=6.72 cores=0,2,4,6
/proc/11257/task/11268/stat : 11268 (java) S 11255 11255 5155 0 -1 1077944384 26581 0 0 0 670 2 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491826973552 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11269] ppid=11255 vsize=14091368 memory=1456 CPUtime=1.25 cores=0,2,4,6
/proc/11257/task/11269/stat : 11269 (java) S 11255 11255 5155 0 -1 1077944384 12138 0 0 0 123 2 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491825920496 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11270] ppid=11255 vsize=14091368 memory=988092 CPUtime=0 cores=0,2,4,6
/proc/11257/task/11270/stat : 11270 (java) S 11255 11255 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491824868192 140492492216021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
[pid=11257/tid=11271] ppid=11255 vsize=14091368 memory=928 CPUtime=0.12 cores=0,2,4,6
/proc/11257/task/11271/stat : 11271 (java) S 11255 11255 5155 0 -1 1077944384 341 0 0 0 6 6 0 0 20 0 15 0 105260787 14429560832 247023 33554432000 4194304 4196468 140724776910624 140491823815216 140492492216962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 34713600 140724776916108 140724776916278 140724776916278 140724776918991 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 989548 KiB
Child status: 143
Real time (s): 235.23
CPU time (s): 252.12
CPU user time (s): 251.404
CPU system time (s): 0.715894
CPU usage (%): 107.18
Max. virtual memory (cumulated for all children) (KiB): 14207772
Max. memory (cumulated for all children) (KiB): 989548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.404
system time used= 0.715894
maximum resident set size= 988540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98053
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8771
involuntary context switches= 335
# summary of solver processes directly reported to runsolver:
# pid: 11255,11257
# total CPU time (s): 252.12
# total CPU user time (s): 251.404
# total CPU system time (s): 0.715894
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.60285 second user time and 2.25265 second system time
The end