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 (13065 MiB free)
memory of node 1: 16384 MiB (13572 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292307-1532335831/watcher-4292307-1532335831 -o /tmp/evaluation-result-4292307-1532335831/solver-4292307-1532335831 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532328652-14413 --watchdog 2560 HOME/xcsp3-exec -seed 1314543636 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292307-1532335831.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16238, runsolver pid=16235
Current StackSize limit: 8192 KiB
[startup+0.10018 s]*
/proc/loadavg: 1.96 2.08 2.11 3/221 16254
/proc/meminfo: memFree=27259020/32770624 swapFree=67108860/67108860
[pid=16238] ppid=16235 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16238/stat : 16238 (xcsp3-exec) S 16235 16238 14382 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 51146346 115843072 364 33554432000 4194304 5098028 140735839140144 140735839138248 140233808380540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33755136 140735839142970 140735839143172 140735839143172 140735839145930 0
/proc/16238/statm: 28282 364 306 221 0 87 0
[pid=16240] ppid=16238 vsize=14082840 memory=29640 CPUtime=0.12 cores=0,2,4,6
/proc/16240/stat : 16240 (java) S 16238 16238 14382 0 -1 1077944320 5249 0 0 0 11 1 0 0 20 0 15 0 51146346 14420828160 7410 33554432000 4194304 4196468 140731091596880 140731091579424 140620888870647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
/proc/16240/statm: 3520710 7410 3007 1 0 3483008 0
[pid=16240/tid=16241] ppid=16238 vsize=14082840 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/16240/task/16241/stat : 16241 (java) R 16238 16238 14382 0 -1 4202560 3271 0 0 0 8 0 0 0 20 0 15 0 51146347 14420828160 7410 33554432000 4194304 4196468 140731091596880 140620893095464 140620526019087 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16242] ppid=16238 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16242/stat : 16242 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14420828160 7410 33554432000 4194304 4196468 140731091596880 140620484164752 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16243] ppid=16238 vsize=14082840 memory=139734777976448 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16243/stat : 16243 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14420828160 7410 33554432000 4194304 4196468 140731091596880 140620483111952 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16244] ppid=16238 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16244/stat : 16244 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14420828160 7410 33554432000 4194304 4196468 140731091596880 140620482059152 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16245] ppid=16238 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16245/stat : 16245 (java) S 16238 16238 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51146347 14420828160 7410 33554432000 4194304 4196468 140731091596880 140620481006352 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16246] ppid=16238 vsize=14082840 memory=139734777976448 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16246/stat : 16246 (java) S 16238 16238 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51146349 14420828160 7410 33554432000 4194304 4196468 140731091596880 140620363143536 140620888881794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16247] ppid=16238 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16247/stat : 16247 (java) S 16238 16238 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51146349 14420828160 7410 33554432000 4194304 4196468 140731091596880 140620362089504 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16248] ppid=16238 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16248/stat : 16248 (java) S 16238 16238 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51146349 14420828160 7410 33554432000 4194304 4196468 140731091596880 140620361036656 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16249] ppid=16238 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16249/stat : 16249 (java) S 16238 16238 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51146352 14420828160 7410 33554432000 4194304 4196468 140731091596880 140620359984976 140620888889243 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16250] ppid=16238 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16250/stat : 16250 (java) R 16238 16238 14382 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 51146352 14420828160 7410 33554432000 4194304 4196468 140731091596880 140620358933360 140620888881794 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16251] ppid=16238 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16251/stat : 16251 (java) S 16238 16238 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51146352 14420828160 7410 33554432000 4194304 4196468 140731091596880 140620357880560 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16252] ppid=16238 vsize=14082840 memory=139734777976448 CPUtime=0.01 cores=0,2,4,6
/proc/16240/task/16252/stat : 16252 (java) R 16238 16238 14382 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 15 0 51146352 14420828160 7410 33554432000 4194304 4196468 140731091596880 140620356827760 140620888878000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16253] ppid=16238 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16253/stat : 16253 (java) S 16238 16238 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51146352 14420828160 7410 33554432000 4194304 4196468 140731091596880 140620355775200 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16254] ppid=16238 vsize=14082840 memory=139734777976448 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16254/stat : 16254 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146352 14420828160 7410 33554432000 4194304 4196468 140731091596880 140620354722480 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 31096 KiB
[startup+0.210701 s]*
/proc/loadavg: 1.96 2.08 2.11 5/221 16254
/proc/meminfo: memFree=27248848/32770624 swapFree=67108860/67108860
[pid=16238] ppid=16235 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16238/stat : 16238 (xcsp3-exec) S 16235 16238 14382 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 51146346 115843072 364 33554432000 4194304 5098028 140735839140144 140735839138248 140233808380540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33755136 140735839142970 140735839143172 140735839143172 140735839145930 0
/proc/16238/statm: 28282 364 306 221 0 87 0
[pid=16240] ppid=16238 vsize=14082840 memory=40892 CPUtime=0.34 cores=0,2,4,6
/proc/16240/stat : 16240 (java) S 16238 16238 14382 0 -1 1077944320 7726 0 0 0 31 3 0 0 20 0 15 0 51146346 14420828160 10223 33554432000 4194304 4196468 140731091596880 140731091579424 140620888870647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
/proc/16240/statm: 3520710 10223 3170 1 0 3483008 0
[pid=16240/tid=16241] ppid=16238 vsize=14087096 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/16240/task/16241/stat : 16241 (java) R 16238 16238 14382 0 -1 4202560 5026 0 0 0 18 2 0 0 20 0 15 0 51146347 14425186304 10226 33554432000 4194304 4196468 140731091596880 140620893091640 140620881552578 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16242] ppid=16238 vsize=14087096 memory=13660 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16242/stat : 16242 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14425186304 10226 33554432000 4194304 4196468 140731091596880 140620484164752 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16243] ppid=16238 vsize=14087096 memory=139734778283312 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16243/stat : 16243 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14425186304 10226 33554432000 4194304 4196468 140731091596880 140620483111952 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16244] ppid=16238 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16244/stat : 16244 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14425186304 10226 33554432000 4194304 4196468 140731091596880 140620482059152 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16245] ppid=16238 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16245/stat : 16245 (java) S 16238 16238 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51146347 14425186304 10226 33554432000 4194304 4196468 140731091596880 140620481006352 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16246] ppid=16238 vsize=14087096 memory=139734777976448 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16246/stat : 16246 (java) S 16238 16238 14382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51146349 14425186304 10226 33554432000 4194304 4196468 140731091596880 140620363143536 140620888881794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16247] ppid=16238 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16247/stat : 16247 (java) S 16238 16238 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51146349 14425186304 10226 33554432000 4194304 4196468 140731091596880 140620362089504 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16248] ppid=16238 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16248/stat : 16248 (java) S 16238 16238 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51146349 14425186304 10226 33554432000 4194304 4196468 140731091596880 140620361036656 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16249] ppid=16238 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16249/stat : 16249 (java) S 16238 16238 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51146352 14425186304 10226 33554432000 4194304 4196468 140731091596880 140620359984976 140620888889243 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16250] ppid=16238 vsize=14087096 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16240/task/16250/stat : 16250 (java) S 16238 16238 14382 0 -1 1077944384 633 0 0 0 2 0 0 0 20 0 15 0 51146352 14425186304 10226 33554432000 4194304 4196468 140731091596880 140620358933360 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16251] ppid=16238 vsize=14087096 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16240/task/16251/stat : 16251 (java) S 16238 16238 14382 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 15 0 51146352 14425186304 10226 33554432000 4194304 4196468 140731091596880 140620357880560 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16252] ppid=16238 vsize=14087096 memory=139734777976448 CPUtime=0.07 cores=0,2,4,6
/proc/16240/task/16252/stat : 16252 (java) S 16238 16238 14382 0 -1 1077944384 676 0 0 0 7 0 0 0 20 0 15 0 51146352 14425186304 10226 33554432000 4194304 4196468 140731091596880 140620356827760 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16253] ppid=16238 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16253/stat : 16253 (java) S 16238 16238 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51146352 14425186304 10226 33554432000 4194304 4196468 140731091596880 140620355775200 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16254] ppid=16238 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16254/stat : 16254 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146352 14425186304 10226 33554432000 4194304 4196468 140731091596880 140620354722480 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42348 KiB
[startup+0.311086 s]*
/proc/loadavg: 1.96 2.08 2.11 3/221 16254
/proc/meminfo: memFree=27232116/32770624 swapFree=67108860/67108860
[pid=16238] ppid=16235 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16238/stat : 16238 (xcsp3-exec) S 16235 16238 14382 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 51146346 115843072 364 33554432000 4194304 5098028 140735839140144 140735839138248 140233808380540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33755136 140735839142970 140735839143172 140735839143172 140735839145930 0
/proc/16238/statm: 28282 364 306 221 0 87 0
[pid=16240] ppid=16238 vsize=14087096 memory=47488 CPUtime=0.51 cores=0,2,4,6
/proc/16240/stat : 16240 (java) S 16238 16238 14382 0 -1 1077944320 8585 0 0 0 48 3 0 0 20 0 15 0 51146346 14425186304 11872 33554432000 4194304 4196468 140731091596880 140731091579424 140620888870647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
/proc/16240/statm: 3521774 11872 3205 1 0 3483008 0
[pid=16240/tid=16241] ppid=16238 vsize=14087096 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/16240/task/16241/stat : 16241 (java) R 16238 16238 14382 0 -1 4202560 5720 0 0 0 27 2 0 0 20 0 15 0 51146347 14425186304 11881 33554432000 4194304 4196468 140731091596880 140620893101760 140620872951134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16242] ppid=16238 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16242/stat : 16242 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14425186304 11881 33554432000 4194304 4196468 140731091596880 140620484164752 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16243] ppid=16238 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16243/stat : 16243 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14425186304 11881 33554432000 4194304 4196468 140731091596880 140620483111952 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16244] ppid=16238 vsize=14087096 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16244/stat : 16244 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14425186304 11881 33554432000 4194304 4196468 140731091596880 140620482059152 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16245] ppid=16238 vsize=14087096 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16245/stat : 16245 (java) S 16238 16238 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51146347 14425186304 11881 33554432000 4194304 4196468 140731091596880 140620481006352 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16246] ppid=16238 vsize=14087096 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16246/stat : 16246 (java) S 16238 16238 14382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51146349 14425186304 11881 33554432000 4194304 4196468 140731091596880 140620363143536 140620888881794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16247] ppid=16238 vsize=14087096 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16247/stat : 16247 (java) S 16238 16238 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51146349 14425186304 11881 33554432000 4194304 4196468 140731091596880 140620362089504 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16248] ppid=16238 vsize=14087096 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16248/stat : 16248 (java) S 16238 16238 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51146349 14425186304 11881 33554432000 4194304 4196468 140731091596880 140620361036656 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16249] ppid=16238 vsize=14087096 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16249/stat : 16249 (java) S 16238 16238 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51146352 14425186304 11881 33554432000 4194304 4196468 140731091596880 140620359984976 140620888889243 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16250] ppid=16238 vsize=14087096 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/16240/task/16250/stat : 16250 (java) S 16238 16238 14382 0 -1 1077944384 640 0 0 0 4 0 0 0 20 0 15 0 51146352 14425186304 11881 33554432000 4194304 4196468 140731091596880 140620358933360 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16251] ppid=16238 vsize=14087096 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16240/task/16251/stat : 16251 (java) S 16238 16238 14382 0 -1 1077944384 114 0 0 0 3 0 0 0 20 0 15 0 51146352 14425186304 11881 33554432000 4194304 4196468 140731091596880 140620357880560 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16252] ppid=16238 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/16240/task/16252/stat : 16252 (java) R 16238 16238 14382 0 -1 4202560 809 0 0 0 12 0 0 0 20 0 15 0 51146352 14425186304 11881 33554432000 4194304 4196468 140731091596880 140620356827760 140620888882582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16253] ppid=16238 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16253/stat : 16253 (java) S 16238 16238 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51146352 14425186304 11881 33554432000 4194304 4196468 140731091596880 140620355775200 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16254] ppid=16238 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16254/stat : 16254 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146352 14425186304 11881 33554432000 4194304 4196468 140731091596880 140620354722480 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48944 KiB
[startup+0.710747 s]*
/proc/loadavg: 1.96 2.08 2.11 4/221 16254
/proc/meminfo: memFree=27231296/32770624 swapFree=67108860/67108860
[pid=16238] ppid=16235 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16238/stat : 16238 (xcsp3-exec) S 16235 16238 14382 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 51146346 115843072 364 33554432000 4194304 5098028 140735839140144 140735839138248 140233808380540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33755136 140735839142970 140735839143172 140735839143172 140735839145930 0
/proc/16238/statm: 28282 364 306 221 0 87 0
[pid=16240] ppid=16238 vsize=14089220 memory=59212 CPUtime=0.87 cores=0,2,4,6
/proc/16240/stat : 16240 (java) S 16238 16238 14382 0 -1 1077944320 10014 0 0 0 82 5 0 0 20 0 15 0 51146346 14427361280 14803 33554432000 4194304 4196468 140731091596880 140731091579424 140620888870647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
/proc/16240/statm: 3522305 14803 3290 1 0 3483520 0
[pid=16240/tid=16241] ppid=16238 vsize=14089220 memory=6791534058613427641 CPUtime=0.45 cores=0,2,4,6
/proc/16240/task/16241/stat : 16241 (java) S 16238 16238 14382 0 -1 1077944384 6424 0 0 0 42 3 0 0 20 0 15 0 51146347 14427361280 14803 33554432000 4194304 4196468 140731091596880 140620893090368 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16242] ppid=16238 vsize=14089220 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16242/stat : 16242 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 14803 33554432000 4194304 4196468 140731091596880 140620484164752 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16243] ppid=16238 vsize=14089220 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16243/stat : 16243 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 14803 33554432000 4194304 4196468 140731091596880 140620483111952 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16244] ppid=16238 vsize=14089220 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16244/stat : 16244 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 14803 33554432000 4194304 4196468 140731091596880 140620482059152 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16245] ppid=16238 vsize=14089220 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16245/stat : 16245 (java) S 16238 16238 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 14803 33554432000 4194304 4196468 140731091596880 140620481006352 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16246] ppid=16238 vsize=14089220 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16246/stat : 16246 (java) S 16238 16238 14382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51146349 14427361280 14803 33554432000 4194304 4196468 140731091596880 140620363143536 140620888881794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16247] ppid=16238 vsize=14089220 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16247/stat : 16247 (java) S 16238 16238 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51146349 14427361280 14803 33554432000 4194304 4196468 140731091596880 140620362089504 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16248] ppid=16238 vsize=14089220 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16248/stat : 16248 (java) S 16238 16238 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51146349 14427361280 14803 33554432000 4194304 4196468 140731091596880 140620361036656 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16249] ppid=16238 vsize=14089220 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16249/stat : 16249 (java) S 16238 16238 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51146352 14427361280 14803 33554432000 4194304 4196468 140731091596880 140620359984976 140620888889243 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16250] ppid=16238 vsize=14089220 memory=4426078206164241782 CPUtime=0.09 cores=0,2,4,6
/proc/16240/task/16250/stat : 16250 (java) S 16238 16238 14382 0 -1 1077944384 860 0 0 0 9 0 0 0 20 0 15 0 51146352 14427361280 14803 33554432000 4194304 4196468 140731091596880 140620358933360 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16251] ppid=16238 vsize=14089220 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16240/task/16251/stat : 16251 (java) R 16238 16238 14382 0 -1 1077944384 234 0 0 0 8 0 0 0 20 0 15 0 51146352 14427361280 14803 33554432000 4194304 4196468 140731091596880 140620357880560 140620888881794 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16252] ppid=16238 vsize=14089220 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/16240/task/16252/stat : 16252 (java) R 16238 16238 14382 0 -1 4202560 1191 0 0 0 22 0 0 0 20 0 15 0 51146352 14427361280 14803 33554432000 4194304 4196468 140731091596880 140620356827760 140620881967356 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16253] ppid=16238 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16253/stat : 16253 (java) S 16238 16238 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51146352 14427361280 14803 33554432000 4194304 4196468 140731091596880 140620355775200 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16254] ppid=16238 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16254/stat : 16254 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146352 14427361280 14803 33554432000 4194304 4196468 140731091596880 140620354722480 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
Current children cumulated CPU time: 0.87 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 60668 KiB
[startup+1.50075 s]
/proc/loadavg: 1.96 2.08 2.11 5/221 16254
/proc/meminfo: memFree=27211008/32770624 swapFree=67108860/67108860
[pid=16238] ppid=16235 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16238/stat : 16238 (xcsp3-exec) S 16235 16238 14382 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 51146346 115843072 364 33554432000 4194304 5098028 140735839140144 140735839138248 140233808380540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33755136 140735839142970 140735839143172 140735839143172 140735839145930 0
/proc/16238/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/16238/stat : 16238 (xcsp3-exec) S 16235 16238 14382 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 51146346 115843072 364 33554432000 4194304 5098028 140735839140144 140735839138248 140233808380540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33755136 140735839142970 140735839143172 140735839143172 140735839145930 0
/proc/16238/statm: 28282 364 306 221 0 87 0
[pid=16240] ppid=16238 vsize=14089220 memory=134108 CPUtime=10.47 cores=0,2,4,6
/proc/16240/stat : 16240 (java) S 16238 16238 14382 0 -1 1077944320 28712 0 0 0 1039 8 0 0 20 0 15 0 51146346 14427361280 33527 33554432000 4194304 4196468 140731091596880 140731091579424 140620888870647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
/proc/16240/statm: 3522305 33527 3358 1 0 3483520 0
[pid=16240/tid=16241] ppid=16238 vsize=14089220 memory=6791534058613427641 CPUtime=7.12 cores=0,2,4,6
/proc/16240/task/16241/stat : 16241 (java) R 16238 16238 14382 0 -1 4202560 8002 0 0 0 708 4 0 0 20 0 15 0 51146347 14427361280 33527 33554432000 4194304 4196468 140731091596880 140620893107768 140620530630813 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16242] ppid=16238 vsize=14089220 memory=16780 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16242/stat : 16242 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 33527 33554432000 4194304 4196468 140731091596880 140620484164752 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16243] ppid=16238 vsize=14089220 memory=2396 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16243/stat : 16243 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 33527 33554432000 4194304 4196468 140731091596880 140620483111952 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16244] ppid=16238 vsize=14089220 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16244/stat : 16244 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 33527 33554432000 4194304 4196468 140731091596880 140620482059152 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16245] ppid=16238 vsize=14089220 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16245/stat : 16245 (java) S 16238 16238 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 33527 33554432000 4194304 4196468 140731091596880 140620481006352 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16246] ppid=16238 vsize=14089220 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16246/stat : 16246 (java) S 16238 16238 14382 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 15 0 51146349 14427361280 33527 33554432000 4194304 4196468 140731091596880 140620363143536 140620888881794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16247] ppid=16238 vsize=14089220 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16247/stat : 16247 (java) S 16238 16238 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51146349 14427361280 33527 33554432000 4194304 4196468 140731091596880 140620362089504 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16248] ppid=16238 vsize=14089220 memory=796 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16248/stat : 16248 (java) S 16238 16238 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51146349 14427361280 33527 33554432000 4194304 4196468 140731091596880 140620361036656 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16249] ppid=16238 vsize=14089220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16249/stat : 16249 (java) S 16238 16238 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51146352 14427361280 33527 33554432000 4194304 4196468 140731091596880 140620359984976 140620888889243 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16250] ppid=16238 vsize=14089220 memory=1424 CPUtime=1.39 cores=0,2,4,6
/proc/16240/task/16250/stat : 16250 (java) S 16238 16238 14382 0 -1 1077944384 8787 0 0 0 138 1 0 0 20 0 15 0 51146352 14427361280 33527 33554432000 4194304 4196468 140731091596880 140620358933360 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16251] ppid=16238 vsize=14089220 memory=10940 CPUtime=1.42 cores=0,2,4,6
/proc/16240/task/16251/stat : 16251 (java) S 16238 16238 14382 0 -1 1077944384 6457 0 0 0 142 0 0 0 20 0 15 0 51146352 14427361280 33527 33554432000 4194304 4196468 140731091596880 140620357880560 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16252] ppid=16238 vsize=14089220 memory=1200 CPUtime=0.5 cores=0,2,4,6
/proc/16240/task/16252/stat : 16252 (java) S 16238 16238 14382 0 -1 1077944384 3228 0 0 0 49 1 0 0 20 0 15 0 51146352 14427361280 33527 33554432000 4194304 4196468 140731091596880 140620356827760 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16253] ppid=16238 vsize=14089220 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16253/stat : 16253 (java) S 16238 16238 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51146352 14427361280 33527 33554432000 4194304 4196468 140731091596880 140620355775200 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16254] ppid=16238 vsize=14089220 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16254/stat : 16254 (java) S 16238 16238 14382 0 -1 1077944384 576 0 0 0 0 0 0 0 20 0 15 0 51146352 14427361280 33527 33554432000 4194304 4196468 140731091596880 140620354722480 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
Current children cumulated CPU time: 10.47 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 135564 KiB
[startup+7.80076 s]
/proc/loadavg: 1.97 2.08 2.11 3/221 16254
/proc/meminfo: memFree=27158304/32770624 swapFree=67108860/67108860
[pid=16238] ppid=16235 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16238/stat : 16238 (xcsp3-exec) S 16235 16238 14382 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 51146346 115843072 364 33554432000 4194304 5098028 140735839140144 140735839138248 140233808380540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33755136 140735839142970 140735839143172 140735839143172 140735839145930 0
/proc/16238/statm: 28282 364 306 221 0 87 0
[pid=16240] ppid=16238 vsize=14089220 memory=138204 CPUtime=10.89 cores=0,2,4,6
/proc/16240/stat : 16240 (java) S 16238 16238 14382 0 -1 1077944320 28822 0 0 0 1081 8 0 0 20 0 15 0 51146346 14427361280 34551 33554432000 4194304 4196468 140731091596880 140731091579424 140620888870647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
/proc/16240/statm: 3522305 34551 3358 1 0 3483520 0
[pid=16240/tid=16241] ppid=16238 vsize=14089220 memory=2396 CPUtime=7.52 cores=0,2,4,6
/proc/16240/task/16241/stat : 16241 (java) R 16238 16238 14382 0 -1 4202560 8006 0 0 0 748 4 0 0 20 0 15 0 51146347 14427361280 34551 33554432000 4194304 4196468 140731091596880 140620893107768 140620529170747 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16242] ppid=16238 vsize=14089220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16242/stat : 16242 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 34551 33554432000 4194304 4196468 140731091596880 140620484164752 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16243] ppid=16238 vsize=14089220 memory=644 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16243/stat : 16243 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 34551 33554432000 4194304 4196468 140731091596880 140620483111952 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16244] ppid=16238 vsize=14089220 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16244/stat : 16244 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 34551 33554432000 4194304 4196468 140731091596880 140620482059152 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16245] ppid=16238 vsize=14089220 memory=132060 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16245/stat : 16245 (java) S 16238 16238 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 34551 33554432000 4194304 4196468 140731091596880 140620481006352 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16246] ppid=16238 vsize=14089220 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16246/stat : 16246 (java) S 16238 16238 14382 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 15 0 51146349 14427361280 34551 33554432000 4194304 4196468 140731091596880 140620363143536 140620888881794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16247] ppid=16238 vsize=14089220 memory=796 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16247/stat : 16247 (java) S 16238 16238 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51146349 14427361280 34551 33554432000 4194304 4196468 140731091596880 140620362089504 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16248] ppid=16238 vsize=14089220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16248/stat : 16248 (java) S 16238 16238 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51146349 14427361280 34551 33554432000 4194304 4196468 140731091596880 140620361036656 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16249] ppid=16238 vsize=14089220 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16249/stat : 16249 (java) S 16238 16238 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51146352 14427361280 34551 33554432000 4194304 4196468 140731091596880 140620359984976 140620888889243 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16250] ppid=16238 vsize=14089220 memory=10940 CPUtime=1.41 cores=0,2,4,6
/proc/16240/task/16250/stat : 16250 (java) S 16238 16238 14382 0 -1 1077944384 8893 0 0 0 140 1 0 0 20 0 15 0 51146352 14427361280 34551 33554432000 4194304 4196468 140731091596880 140620358933360 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16251] ppid=16238 vsize=14089220 memory=1200 CPUtime=1.42 cores=0,2,4,6
/proc/16240/task/16251/stat : 16251 (java) S 16238 16238 14382 0 -1 1077944384 6457 0 0 0 142 0 0 0 20 0 15 0 51146352 14427361280 34551 33554432000 4194304 4196468 140731091596880 140620357880560 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16252] ppid=16238 vsize=14089220 memory=1228 CPUtime=0.5 cores=0,2,4,6
/proc/16240/task/16252/stat : 16252 (java) S 16238 16238 14382 0 -1 1077944384 3228 0 0 0 49 1 0 0 20 0 15 0 51146352 14427361280 34551 33554432000 4194304 4196468 140731091596880 140620356827760 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16253] ppid=16238 vsize=14089220 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16253/stat : 16253 (java) S 16238 16238 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51146352 14427361280 34551 33554432000 4194304 4196468 140731091596880 140620355775200 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16254] ppid=16238 vsize=14089220 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16254/stat : 16254 (java) S 16238 16238 14382 0 -1 1077944384 576 0 0 0 0 0 0 0 20 0 15 0 51146352 14427361280 34551 33554432000 4194304 4196468 140731091596880 140620354722480 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
Current children cumulated CPU time: 10.89 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 139660 KiB
[startup+8.20076 s]*
/proc/loadavg: 1.97 2.08 2.11 3/221 16254
/proc/meminfo: memFree=27152160/32770624 swapFree=67108860/67108860
[pid=16238] ppid=16235 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16238/stat : 16238 (xcsp3-exec) S 16235 16238 14382 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 51146346 115843072 364 33554432000 4194304 5098028 140735839140144 140735839138248 140233808380540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33755136 140735839142970 140735839143172 140735839143172 140735839145930 0
/proc/16238/statm: 28282 364 306 221 0 87 0
[pid=16240] ppid=16238 vsize=14089220 memory=140252 CPUtime=11.3 cores=0,2,4,6
/proc/16240/stat : 16240 (java) S 16238 16238 14382 0 -1 1077944320 28827 0 0 0 1122 8 0 0 20 0 15 0 51146346 14427361280 35063 33554432000 4194304 4196468 140731091596880 140731091579424 140620888870647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
/proc/16240/statm: 3522305 35063 3358 1 0 3483520 0
[pid=16240/tid=16241] ppid=16238 vsize=14089220 memory=6791534058613427641 CPUtime=7.93 cores=0,2,4,6
/proc/16240/task/16241/stat : 16241 (java) R 16238 16238 14382 0 -1 4202560 8009 0 0 0 789 4 0 0 20 0 15 0 51146347 14427361280 35063 33554432000 4194304 4196468 140731091596880 140620893107776 140620530383553 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16242] ppid=16238 vsize=14089220 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16242/stat : 16242 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 35063 33554432000 4194304 4196468 140731091596880 140620484164752 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16243] ppid=16238 vsize=14089220 memory=-5587106306044206369 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16243/stat : 16243 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 35063 33554432000 4194304 4196468 140731091596880 140620483111952 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16244] ppid=16238 vsize=14089220 memory=-7357787915995474596 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16244/stat : 16244 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 35063 33554432000 4194304 4196468 140731091596880 140620482059152 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16245] ppid=16238 vsize=14089220 memory=-7812193691855986592 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16245/stat : 16245 (java) S 16238 16238 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 35063 33554432000 4194304 4196468 140731091596880 140620481006352 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16246] ppid=16238 vsize=14089220 memory=-7684191407570971757 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16246/stat : 16246 (java) S 16238 16238 14382 0 -1 1077944384 362 0 0 0 0 0 0 0 20 0 15 0 51146349 14427361280 35063 33554432000 4194304 4196468 140731091596880 140620363143536 140620888881794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16247] ppid=16238 vsize=14089220 memory=7896318971486248851 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16247/stat : 16247 (java) S 16238 16238 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51146349 14427361280 35063 33554432000 4194304 4196468 140731091596880 140620362089504 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16248] ppid=16238 vsize=14089220 memory=8546823402028195750 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16248/stat : 16248 (java) S 16238 16238 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51146349 14427361280 35063 33554432000 4194304 4196468 140731091596880 140620361036656 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16249] ppid=16238 vsize=14089220 memory=4137280412607091059 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16249/stat : 16249 (java) S 16238 16238 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51146352 14427361280 35063 33554432000 4194304 4196468 140731091596880 140620359984976 140620888889243 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16250] ppid=16238 vsize=14089220 memory=-7882018838379555936 CPUtime=1.41 cores=0,2,4,6
/proc/16240/task/16250/stat : 16250 (java) S 16238 16238 14382 0 -1 1077944384 8893 0 0 0 140 1 0 0 20 0 15 0 51146352 14427361280 35063 33554432000 4194304 4196468 140731091596880 140620358933360 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16251] ppid=16238 vsize=14089220 memory=8187704045996132563 CPUtime=1.42 cores=0,2,4,6
/proc/16240/task/16251/stat : 16251 (java) S 16238 16238 14382 0 -1 1077944384 6457 0 0 0 142 0 0 0 20 0 15 0 51146352 14427361280 35063 33554432000 4194304 4196468 140731091596880 140620357880560 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16252] ppid=16238 vsize=14089220 memory=-7101718590825193272 CPUtime=0.5 cores=0,2,4,6
/proc/16240/task/16252/stat : 16252 (java) S 16238 16238 14382 0 -1 1077944384 3228 0 0 0 49 1 0 0 20 0 15 0 51146352 14427361280 35063 33554432000 4194304 4196468 140731091596880 140620356827760 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16253] ppid=16238 vsize=14089220 memory=-7101718590825193272 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16253/stat : 16253 (java) S 16238 16238 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51146352 14427361280 35063 33554432000 4194304 4196468 140731091596880 140620355775200 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16254] ppid=16238 vsize=14089220 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16254/stat : 16254 (java) S 16238 16238 14382 0 -1 1077944384 576 0 0 0 0 0 0 0 20 0 15 0 51146352 14427361280 35063 33554432000 4194304 4196468 140731091596880 140620354722480 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
Current children cumulated CPU time: 11.3 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 141708 KiB
[startup+8.31039 s]
/proc/loadavg: 1.97 2.08 2.11 3/221 16254
/proc/meminfo: memFree=27152160/32770624 swapFree=67108860/67108860
[pid=16238] ppid=16235 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16238/stat : 16238 (xcsp3-exec) S 16235 16238 14382 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 51146346 115843072 364 33554432000 4194304 5098028 140735839140144 140735839138248 140233808380540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33755136 140735839142970 140735839143172 140735839143172 140735839145930 0
/proc/16238/statm: 28282 364 306 221 0 87 0
[pid=16240] ppid=16238 vsize=14089220 memory=142300 CPUtime=11.4 cores=0,2,4,6
/proc/16240/stat : 16240 (java) S 16238 16238 14382 0 -1 1077944320 28830 0 0 0 1132 8 0 0 20 0 15 0 51146346 14427361280 35575 33554432000 4194304 4196468 140731091596880 140731091579424 140620888870647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
/proc/16240/statm: 3522305 35575 3358 1 0 3483520 0
[pid=16240/tid=16241] ppid=16238 vsize=14089220 memory=7822038052226416701 CPUtime=8.03 cores=0,2,4,6
/proc/16240/task/16241/stat : 16241 (java) R 16238 16238 14382 0 -1 4202560 8012 0 0 0 799 4 0 0 20 0 15 0 51146347 14427361280 35575 33554432000 4194304 4196468 140731091596880 140620893107664 140620531092888 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16242] ppid=16238 vsize=14089220 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16242/stat : 16242 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 35575 33554432000 4194304 4196468 140731091596880 140620484164752 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16243] ppid=16238 vsize=14089220 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16243/stat : 16243 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 35575 33554432000 4194304 4196468 140731091596880 140620483111952 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16244] ppid=16238 vsize=14089220 memory=140252 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16244/stat : 16244 (java) S 16238 16238 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 35575 33554432000 4194304 4196468 140731091596880 140620482059152 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16245] ppid=16238 vsize=14089220 memory=10420 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16245/stat : 16245 (java) S 16238 16238 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51146347 14427361280 35575 33554432000 4194304 4196468 140731091596880 140620481006352 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16246] ppid=16238 vsize=14089220 memory=56 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16246/stat : 16246 (java) S 16238 16238 14382 0 -1 1077944384 362 0 0 0 0 0 0 0 20 0 15 0 51146349 14427361280 35575 33554432000 4194304 4196468 140731091596880 140620363143536 140620888881794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16247] ppid=16238 vsize=14089220 memory=8377424916951425120 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16247/stat : 16247 (java) S 16238 16238 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51146349 14427361280 35575 33554432000 4194304 4196468 140731091596880 140620362089504 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16248] ppid=16238 vsize=14089220 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16248/stat : 16248 (java) S 16238 16238 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51146349 14427361280 35575 33554432000 4194304 4196468 140731091596880 140620361036656 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16249] ppid=16238 vsize=14089220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16249/stat : 16249 (java) S 16238 16238 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51146352 14427361280 35575 33554432000 4194304 4196468 140731091596880 140620359984976 140620888889243 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16250] ppid=16238 vsize=14089220 memory=916 CPUtime=1.41 cores=0,2,4,6
/proc/16240/task/16250/stat : 16250 (java) S 16238 16238 14382 0 -1 1077944384 8893 0 0 0 140 1 0 0 20 0 15 0 51146352 14427361280 35575 33554432000 4194304 4196468 140731091596880 140620358933360 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16251] ppid=16238 vsize=14089220 memory=1456 CPUtime=1.42 cores=0,2,4,6
/proc/16240/task/16251/stat : 16251 (java) S 16238 16238 14382 0 -1 1077944384 6457 0 0 0 142 0 0 0 20 0 15 0 51146352 14427361280 35575 33554432000 4194304 4196468 140731091596880 140620357880560 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16252] ppid=16238 vsize=14089220 memory=796 CPUtime=0.5 cores=0,2,4,6
/proc/16240/task/16252/stat : 16252 (java) S 16238 16238 14382 0 -1 1077944384 3228 0 0 0 49 1 0 0 20 0 15 0 51146352 14427361280 35575 33554432000 4194304 4196468 140731091596880 140620356827760 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16253] ppid=16238 vsize=14089220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16253/stat : 16253 (java) S 16238 16238 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51146352 14427361280 35575 33554432000 4194304 4196468 140731091596880 140620355775200 140620888880853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
[pid=16240/tid=16254] ppid=16238 vsize=14089220 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/16240/task/16254/stat : 16254 (java) S 16238 16238 14382 0 -1 1077944384 576 0 0 0 0 0 0 0 20 0 15 0 51146352 14427361280 35575 33554432000 4194304 4196468 140731091596880 140620354722480 140620888881794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20381696 140731091604609 140731091604785 140731091604785 140731091607503 0
Current children cumulated CPU time: 11.4 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 143756 KiB
Child status: 0
Real time (s): 8.38446
CPU time (s): 11.4835
CPU user time (s): 11.397
CPU system time (s): 0.086535
CPU usage (%): 136.962
Max. virtual memory (cumulated for all children) (KiB): 14204404
Max. memory (cumulated for all children) (KiB): 143756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.397
system time used= 0.086535
maximum resident set size= 144752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29834
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2492
involuntary context switches= 39
# summary of solver processes directly reported to runsolver:
# pid: 16238
# total CPU time (s): 11.4835
# total CPU user time (s): 11.397
# total CPU system time (s): 0.086535
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083346 second user time and 0.116078 second system time
The end