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 (13159 MiB free)
memory of node 1: 16384 MiB (13658 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301222-1532875880/watcher-4301222-1532875880 -o /tmp/evaluation-result-4301222-1532875880/solver-4301222-1532875880 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532875384-10018 --watchdog 312 HOME/xcsp3-exec -seed 1803703058 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301222-1532875880.xml
running on 4 cores: 1,3,5,7
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=10397, runsolver pid=10393
[startup+0.100153 s]*
/proc/loadavg: 1.61 1.61 1.59 5/223 10419
/proc/meminfo: memFree=27432960/32770624 swapFree=67108856/67108860
[pid=10397] ppid=10393 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10397/stat : 10397 (xcsp3-exec) S 10393 10397 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105151196 115843072 364 33554432000 4194304 5098028 140726936437904 140726936436008 140182274306684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38154240 140726936446016 140726936446217 140726936446217 140726936448970 0
/proc/10397/statm: 28282 364 306 221 0 87 0
[pid=10399] ppid=10397 vsize=14082940 memory=28868 CPUtime=0.12 cores=1,3,5,7
/proc/10399/stat : 10399 (java) S 10397 10397 5155 0 -1 1077944320 5573 0 0 0 11 1 0 0 20 0 15 0 105151196 14420930560 7217 33554432000 4194304 4196468 140728063594032 140728063576576 139710847897335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
/proc/10399/statm: 3520735 7217 3023 1 0 3483012 0
[pid=10399/tid=10400] ppid=10397 vsize=14082940 memory=8514701219880730790 CPUtime=0.09 cores=1,3,5,7
/proc/10399/task/10400/stat : 10400 (java) R 10397 10397 5155 0 -1 4202560 3587 0 0 0 8 1 0 0 20 0 15 0 105151196 14420930560 7282 33554432000 4194304 4196468 140728063594032 139710852129024 139710847909270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10401] ppid=10397 vsize=14082940 memory=3472468227617490128 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10401/stat : 10401 (java) S 10397 10397 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105151197 14420930560 7282 33554432000 4194304 4196468 140728063594032 139710800517392 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10402] ppid=10397 vsize=14082940 memory=140098722338432 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10402/stat : 10402 (java) S 10397 10397 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105151197 14420930560 7282 33554432000 4194304 4196468 140728063594032 139710799464848 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10403] ppid=10397 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10403/stat : 10403 (java) S 10397 10397 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105151197 14420930560 7282 33554432000 4194304 4196468 140728063594032 139710798412304 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10404] ppid=10397 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10404/stat : 10404 (java) S 10397 10397 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105151197 14420930560 7282 33554432000 4194304 4196468 140728063594032 139710797359760 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10411] ppid=10397 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10411/stat : 10411 (java) S 10397 10397 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105151198 14420930560 7282 33554432000 4194304 4196468 140728063594032 139710389295600 139710847908482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10412] ppid=10397 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10412/stat : 10412 (java) S 10397 10397 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105151199 14420930560 7282 33554432000 4194304 4196468 140728063594032 139710388241824 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10413] ppid=10397 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10413/stat : 10413 (java) S 10397 10397 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105151199 14420930560 7282 33554432000 4194304 4196468 140728063594032 139710320076272 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10414] ppid=10397 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10414/stat : 10414 (java) S 10397 10397 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105151201 14420930560 7282 33554432000 4194304 4196468 140728063594032 139710319024848 139710847915931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10415] ppid=10397 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10415/stat : 10415 (java) R 10397 10397 5155 0 -1 4202560 422 0 0 0 0 0 0 0 20 0 15 0 105151201 14420930560 7282 33554432000 4194304 4196468 140728063594032 139710317971440 139710847918682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10416] ppid=10397 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10416/stat : 10416 (java) S 10397 10397 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105151201 14420930560 7282 33554432000 4194304 4196468 140728063594032 139710316918896 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10417] ppid=10397 vsize=14082940 memory=140098722338432 CPUtime=0.01 cores=1,3,5,7
/proc/10399/task/10417/stat : 10417 (java) R 10397 10397 5155 0 -1 4202560 319 0 0 0 1 0 0 0 20 0 15 0 105151201 14420930560 7282 33554432000 4194304 4196468 140728063594032 139710315866352 139710826868333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10418] ppid=10397 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10418/stat : 10418 (java) S 10397 10397 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105151201 14420930560 7282 33554432000 4194304 4196468 140728063594032 139710314814048 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10419] ppid=10397 vsize=14082940 memory=140098722338432 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10419/stat : 10419 (java) S 10397 10397 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105151202 14420930560 7282 33554432000 4194304 4196468 140728063594032 139710313761584 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30324 KiB
[startup+0.211093 s]*
/proc/loadavg: 1.61 1.61 1.59 7/223 10419
/proc/meminfo: memFree=27410444/32770624 swapFree=67108856/67108860
[pid=10397] ppid=10393 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10397/stat : 10397 (xcsp3-exec) S 10393 10397 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105151196 115843072 364 33554432000 4194304 5098028 140726936437904 140726936436008 140182274306684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38154240 140726936446016 140726936446217 140726936446217 140726936448970 0
/proc/10397/statm: 28282 364 306 221 0 87 0
[pid=10399] ppid=10397 vsize=14087196 memory=41044 CPUtime=0.34 cores=1,3,5,7
/proc/10399/stat : 10399 (java) S 10397 10397 5155 0 -1 1077944320 8366 0 0 0 32 2 0 0 20 0 15 0 105151196 14425288704 10261 33554432000 4194304 4196468 140728063594032 140728063576576 139710847897335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
/proc/10399/statm: 3521799 10261 3154 1 0 3483012 0
[pid=10399/tid=10400] ppid=10397 vsize=14087196 memory=5854525157017485473 CPUtime=0.19 cores=1,3,5,7
/proc/10399/task/10400/stat : 10400 (java) R 10397 10397 5155 0 -1 4202560 5510 0 0 0 18 1 0 0 20 0 15 0 105151196 14425288704 10261 33554432000 4194304 4196468 140728063594032 139710852118328 139710847919261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10401] ppid=10397 vsize=14087196 memory=3472468227617490128 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10401/stat : 10401 (java) S 10397 10397 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105151197 14425288704 10261 33554432000 4194304 4196468 140728063594032 139710800517392 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10402] ppid=10397 vsize=14087196 memory=140098722338432 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10402/stat : 10402 (java) S 10397 10397 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105151197 14425288704 10261 33554432000 4194304 4196468 140728063594032 139710799464848 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10403] ppid=10397 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10403/stat : 10403 (java) S 10397 10397 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105151197 14425288704 10261 33554432000 4194304 4196468 140728063594032 139710798412304 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10404] ppid=10397 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10404/stat : 10404 (java) S 10397 10397 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105151197 14425288704 10261 33554432000 4194304 4196468 140728063594032 139710797359760 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10411] ppid=10397 vsize=14087196 memory=140098722338432 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10411/stat : 10411 (java) S 10397 10397 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105151198 14425288704 10261 33554432000 4194304 4196468 140728063594032 139710389295600 139710847908482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10412] ppid=10397 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10412/stat : 10412 (java) S 10397 10397 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105151199 14425288704 10261 33554432000 4194304 4196468 140728063594032 139710388241824 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10413] ppid=10397 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10413/stat : 10413 (java) S 10397 10397 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105151199 14425288704 10261 33554432000 4194304 4196468 140728063594032 139710320076272 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10414] ppid=10397 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10414/stat : 10414 (java) S 10397 10397 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105151201 14425288704 10261 33554432000 4194304 4196468 140728063594032 139710319024848 139710847915931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10415] ppid=10397 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10399/task/10415/stat : 10415 (java) R 10397 10397 5155 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 15 0 105151201 14425288704 10261 33554432000 4194304 4196468 140728063594032 139710317971440 139710847908482 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10416] ppid=10397 vsize=14087196 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10399/task/10416/stat : 10416 (java) S 10397 10397 5155 0 -1 1077944384 328 0 0 0 3 0 0 0 20 0 15 0 105151201 14425288704 10261 33554432000 4194304 4196468 140728063594032 139710316918896 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10417] ppid=10397 vsize=14087196 memory=140098722338432 CPUtime=0.08 cores=1,3,5,7
/proc/10399/task/10417/stat : 10417 (java) S 10397 10397 5155 0 -1 1077944384 770 0 0 0 8 0 0 0 20 0 15 0 105151201 14425288704 10261 33554432000 4194304 4196468 140728063594032 139710315866352 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10418] ppid=10397 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10418/stat : 10418 (java) S 10397 10397 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105151201 14425288704 10261 33554432000 4194304 4196468 140728063594032 139710314814048 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10419] ppid=10397 vsize=14087196 memory=140098722338432 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10419/stat : 10419 (java) S 10397 10397 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105151202 14425288704 10261 33554432000 4194304 4196468 140728063594032 139710313761584 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42500 KiB
[startup+0.314592 s]*
/proc/loadavg: 1.61 1.61 1.59 5/223 10419
/proc/meminfo: memFree=27395804/32770624 swapFree=67108856/67108860
[pid=10397] ppid=10393 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10397/stat : 10397 (xcsp3-exec) S 10393 10397 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105151196 115843072 364 33554432000 4194304 5098028 140726936437904 140726936436008 140182274306684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38154240 140726936446016 140726936446217 140726936446217 140726936448970 0
/proc/10397/statm: 28282 364 306 221 0 87 0
[pid=10399] ppid=10397 vsize=14087196 memory=48540 CPUtime=0.53 cores=1,3,5,7
/proc/10399/stat : 10399 (java) S 10397 10397 5155 0 -1 1077944320 9338 0 0 0 50 3 0 0 20 0 15 0 105151196 14425288704 12135 33554432000 4194304 4196468 140728063594032 140728063576576 139710847897335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
/proc/10399/statm: 3521799 12135 3266 1 0 3483012 0
[pid=10399/tid=10400] ppid=10397 vsize=14087196 memory=8514701219881125278 CPUtime=0.3 cores=1,3,5,7
/proc/10399/task/10400/stat : 10400 (java) R 10397 10397 5155 0 -1 4202560 6264 0 0 0 28 2 0 0 20 0 15 0 105151196 14425288704 12206 33554432000 4194304 4196468 140728063594032 139710852131392 139710847919261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10401] ppid=10397 vsize=14087196 memory=3472468227617490128 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10401/stat : 10401 (java) S 10397 10397 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105151197 14425288704 12206 33554432000 4194304 4196468 140728063594032 139710800517392 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10402] ppid=10397 vsize=14087196 memory=140098722338432 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10402/stat : 10402 (java) S 10397 10397 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105151197 14425288704 12206 33554432000 4194304 4196468 140728063594032 139710799464848 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10403] ppid=10397 vsize=14087196 memory=16 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10403/stat : 10403 (java) S 10397 10397 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105151197 14425288704 12206 33554432000 4194304 4196468 140728063594032 139710798412304 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10404] ppid=10397 vsize=14087196 memory=140098612111391 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10404/stat : 10404 (java) S 10397 10397 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105151197 14425288704 12206 33554432000 4194304 4196468 140728063594032 139710797359760 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10411] ppid=10397 vsize=14087196 memory=280197224202016 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10411/stat : 10411 (java) S 10397 10397 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105151198 14425288704 12206 33554432000 4194304 4196468 140728063594032 139710389295600 139710847908482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10412] ppid=10397 vsize=14087196 memory=140098612088335 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10412/stat : 10412 (java) S 10397 10397 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105151199 14425288704 12206 33554432000 4194304 4196468 140728063594032 139710388241824 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10413] ppid=10397 vsize=14087196 memory=280197334435936 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10413/stat : 10413 (java) S 10397 10397 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105151199 14425288704 12206 33554432000 4194304 4196468 140728063594032 139710320076272 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10414] ppid=10397 vsize=14087196 memory=140098612092943 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10414/stat : 10414 (java) S 10397 10397 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105151201 14425288704 12206 33554432000 4194304 4196468 140728063594032 139710319024848 139710847915931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10415] ppid=10397 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10399/task/10415/stat : 10415 (java) S 10397 10397 5155 0 -1 1077944384 579 0 0 0 4 0 0 0 20 0 15 0 105151201 14425288704 12206 33554432000 4194304 4196468 140728063594032 139710317971440 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10416] ppid=10397 vsize=14087196 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/10399/task/10416/stat : 10416 (java) S 10397 10397 5155 0 -1 1077944384 349 0 0 0 4 0 0 0 20 0 15 0 105151201 14425288704 12206 33554432000 4194304 4196468 140728063594032 139710316918896 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10417] ppid=10397 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10399/task/10417/stat : 10417 (java) S 10397 10397 5155 0 -1 1077944384 848 0 0 0 12 0 0 0 20 0 15 0 105151201 14425288704 12206 33554432000 4194304 4196468 140728063594032 139710315866352 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10418] ppid=10397 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10418/stat : 10418 (java) S 10397 10397 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105151201 14425288704 12206 33554432000 4194304 4196468 140728063594032 139710314814048 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10419] ppid=10397 vsize=14087196 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10419/stat : 10419 (java) S 10397 10397 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105151202 14425288704 12206 33554432000 4194304 4196468 140728063594032 139710313761584 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49996 KiB
[startup+0.700804 s]
/proc/loadavg: 1.61 1.61 1.59 5/223 10419
/proc/meminfo: memFree=27368756/32770624 swapFree=67108856/67108860
[pid=10397] ppid=10393 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10397/stat : 10397 (xcsp3-exec) S 10393 10397 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105151196 115843072 364 33554432000 4194304 5098028 140726936437904 140726936436008 140182274306684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38154240 140726936446016 140726936446217 140726936446217 140726936448970 0
/proc/10397/statm: 28282 364 306 221 0 87 0
[pid=10399] ppid=10397 vsize=14089320 memory=88412 CPUtime=1.56 cores=1,3,5,7
/proc/10399/stat : 10399 (java) S 10397 10397 5155 0 -1 1077944320 11699 0 0 0 151 5 0 0 20 0 15 0 105151196 14427463680 22103 33554432000 4194304 4196468 140728063594032 140728063576576 139710847897335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
/proc/10399/statm: 3522330 22103 3360 1 0 3483524 0
[pid=10399/tid=10400] ppid=10397 vsize=14089320 memory=5795117241467496816 CPUtime=0.67 cores=1,3,5,7
/proc/10399/task/10400/stat : 10400 (java) R 10397 10397 5155 0 -1 4202560 7059 0 0 0 63 4 0 0 20 0 15 0 105151196 14427463680 22103 33554432000 4194304 4196468 140728063594032 139710852115600 139710831940965 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10401] ppid=10397 vsize=14089320 memory=4639059895069856102 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10401/stat : 10401 (java) S 10397 10397 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105151197 14427463680 22103 33554432000 4194304 4196468 140728063594032 139710800517392 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10402] ppid=10397 vsize=14089320 memory=4638778424102965584 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10402/stat : 10402 (java) S 10397 10397 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105151197 14427463680 22103 33554432000 4194304 4196468 140728063594032 139710799464848 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10403] ppid=10397 vsize=14089320 memory=7100839870071150693 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10403/stat : 10403 (java) S 10397 10397 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105151197 14427463680 22103 33554432000 4194304 4196468 140728063594032 139710798412304 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10404] ppid=10397 vsize=14089320 memory=-7395679465411340910 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10404/stat : 10404 (java) S 10397 10397 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105151197 14427463680 22103 33554432000 4194304 4196468 140728063594032 139710797359760 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10411] ppid=10397 vsize=14089320 memory=-9001734043636558696 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10411/stat : 10411 (java) S 10397 10397 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105151198 14427463680 22103 33554432000 4194304 4196468 140728063594032 139710389295600 139710847908482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10412] ppid=10397 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10412/stat : 10412 (java) S 10397 10397 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105151199 14427463680 22103 33554432000 4194304 4196468 140728063594032 139710388241824 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10413] ppid=10397 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10413/stat : 10413 (java) S 10397 10397 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105151199 14427463680 22103 33554432000 4194304 4196468 140728063594032 139710320076272 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10414] ppid=10397 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10414/stat : 10414 (java) S 10397 10397 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105151201 14427463680 22103 33554432000 4194304 4196468 140728063594032 139710319024848 139710847915931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10415] ppid=10397 vsize=14089320 memory=30444 CPUtime=0.24 cores=1,3,5,7
/proc/10399/task/10415/stat : 10415 (java) S 10397 10397 5155 0 -1 1077944384 879 0 0 0 24 0 0 0 20 0 15 0 105151201 14427463680 22103 33554432000 4194304 4196468 140728063594032 139710317971440 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10416] ppid=10397 vsize=14089320 memory=1244 CPUtime=0.24 cores=1,3,5,7
/proc/10399/task/10416/stat : 10416 (java) R 10397 10397 5155 0 -1 4202560 811 0 0 0 24 0 0 0 20 0 15 0 105151201 14427463680 22103 33554432000 4194304 4196468 140728063594032 139710316909008 139710840134462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10417] ppid=10397 vsize=14089320 memory=2268 CPUtime=0.38 cores=1,3,5,7
/proc/10399/task/10417/stat : 10417 (java) S 10397 10397 5155 0 -1 1077944384 1642 0 0 0 38 0 0 0 20 0 15 0 105151201 14427463680 22103 33554432000 4194304 4196468 140728063594032 139710315866352 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10418] ppid=10397 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10418/stat : 10418 (java) S 10397 10397 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105151201 14427463680 22103 33554432000 4194304 4196468 140728063594032 139710314814048 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10419] ppid=10397 vsize=14089320 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10419/stat : 10419 (java) S 10397 10397 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105151202 14427463680 22103 33554432000 4194304 4196468 140728063594032 139710313761584 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 89868 KiB
[startup+1.50081 s]
/proc/loadavg: 1.61 1.61 1.59 7/223 10419
/proc/meminfo: memFree=27299392/32770624 swapFree=67108856/67108860
[pid=10397] ppid=10393 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10397/stat : 10397 (xcsp3-exec) S 10393 10397 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105151196 115843072 364 33554432000 4194304 5098028 140726936437904 140726936436008 140182274306684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38154240 140726936446016 140726936446217 140726936446217 140726936448970 0
/proc/10397/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/10399/task/10413/stat : 10413 (java) S 10397 10397 5155 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 105151199 14429560832 65089 33554432000 4194304 4196468 140728063594032 139710320076272 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10414] ppid=10397 vsize=14091368 memory=260356 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10414/stat : 10414 (java) S 10397 10397 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105151201 14429560832 65089 33554432000 4194304 4196468 140728063594032 139710319024848 139710847915931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10415] ppid=10397 vsize=14091368 memory=1456 CPUtime=2.64 cores=1,3,5,7
/proc/10399/task/10415/stat : 10415 (java) S 10397 10397 5155 0 -1 1077944384 13920 0 0 0 262 2 0 0 20 0 15 0 105151201 14429560832 65089 33554432000 4194304 4196468 140728063594032 139710317971440 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10416] ppid=10397 vsize=14091368 memory=1456 CPUtime=2.32 cores=1,3,5,7
/proc/10399/task/10416/stat : 10416 (java) S 10397 10397 5155 0 -1 1077944384 10734 0 0 0 228 4 0 0 20 0 15 0 105151201 14429560832 65089 33554432000 4194304 4196468 140728063594032 139710316918896 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10417] ppid=10397 vsize=14091368 memory=260348 CPUtime=0.67 cores=1,3,5,7
/proc/10399/task/10417/stat : 10417 (java) S 10397 10397 5155 0 -1 1077944384 7889 0 0 0 66 1 0 0 20 0 15 0 105151201 14429560832 65089 33554432000 4194304 4196468 140728063594032 139710315866352 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10418] ppid=10397 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10418/stat : 10418 (java) S 10397 10397 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105151201 14429560832 65089 33554432000 4194304 4196468 140728063594032 139710314814048 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10419] ppid=10397 vsize=14091368 memory=4036 CPUtime=0.01 cores=1,3,5,7
/proc/10399/task/10419/stat : 10419 (java) S 10397 10397 5155 0 -1 1077944384 1063 0 0 0 0 1 0 0 20 0 15 0 105151202 14429560832 65089 33554432000 4194304 4196468 140728063594032 139710313761584 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
Current children cumulated CPU time: 108.17 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 261812 KiB
[startup+162.301 s]
/proc/loadavg: 1.73 1.65 1.61 3/223 10421
/proc/meminfo: memFree=27106656/32770624 swapFree=67108856/67108860
[pid=10397] ppid=10393 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10397/stat : 10397 (xcsp3-exec) S 10393 10397 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105151196 115843072 364 33554432000 4194304 5098028 140726936437904 140726936436008 140182274306684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38154240 140726936446016 140726936446217 140726936446217 140726936448970 0
/proc/10397/statm: 28282 364 306 221 0 87 0
[pid=10399] ppid=10397 vsize=14091368 memory=206032 CPUtime=168.36 cores=1,3,5,7
/proc/10399/stat : 10399 (java) S 10397 10397 5155 0 -1 1077944320 59842 0 0 0 16812 24 0 0 20 0 15 0 105151196 14429560832 51508 33554432000 4194304 4196468 140728063594032 140728063576576 139710847897335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
/proc/10399/statm: 3522842 51508 3414 1 0 3484036 0
[pid=10399/tid=10400] ppid=10397 vsize=14091368 memory=206032 CPUtime=162.15 cores=1,3,5,7
/proc/10399/task/10400/stat : 10400 (java) R 10397 10397 5155 0 -1 4202560 13062 0 0 0 16210 5 0 0 20 0 15 0 105151196 14429560832 51508 33554432000 4194304 4196468 140728063594032 139710852136160 139710476696969 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10401] ppid=10397 vsize=14091368 memory=1456 CPUtime=0.07 cores=1,3,5,7
/proc/10399/task/10401/stat : 10401 (java) S 10397 10397 5155 0 -1 1077944384 2564 0 0 0 6 1 0 0 20 0 15 0 105151197 14429560832 51508 33554432000 4194304 4196468 140728063594032 139710800517392 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10402] ppid=10397 vsize=14091368 memory=1456 CPUtime=0.07 cores=1,3,5,7
/proc/10399/task/10402/stat : 10402 (java) S 10397 10397 5155 0 -1 1077944384 932 0 0 0 6 1 0 0 20 0 15 0 105151197 14429560832 51508 33554432000 4194304 4196468 140728063594032 139710799464848 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10403] ppid=10397 vsize=14091368 memory=216784 CPUtime=0.08 cores=1,3,5,7
/proc/10399/task/10403/stat : 10403 (java) S 10397 10397 5155 0 -1 1077944384 2377 0 0 0 6 2 0 0 20 0 15 0 105151197 14429560832 51508 33554432000 4194304 4196468 140728063594032 139710798412304 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10404] ppid=10397 vsize=14091368 memory=4036 CPUtime=0.08 cores=1,3,5,7
/proc/10399/task/10404/stat : 10404 (java) S 10397 10397 5155 0 -1 1077944384 952 0 0 0 6 2 0 0 20 0 15 0 105151197 14429560832 51508 33554432000 4194304 4196468 140728063594032 139710797359760 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10411] ppid=10397 vsize=14091368 memory=1456 CPUtime=0.03 cores=1,3,5,7
/proc/10399/task/10411/stat : 10411 (java) S 10397 10397 5155 0 -1 1077944384 1640 0 0 0 2 1 0 0 20 0 15 0 105151198 14429560832 51508 33554432000 4194304 4196468 140728063594032 139710389295600 139710847908482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10412] ppid=10397 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10412/stat : 10412 (java) S 10397 10397 5155 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 105151199 14429560832 51508 33554432000 4194304 4196468 140728063594032 139710388241824 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10413] ppid=10397 vsize=14091368 memory=209624 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10413/stat : 10413 (java) S 10397 10397 5155 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 105151199 14429560832 51508 33554432000 4194304 4196468 140728063594032 139710320076272 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10414] ppid=10397 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10414/stat : 10414 (java) S 10397 10397 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105151201 14429560832 51508 33554432000 4194304 4196468 140728063594032 139710319024848 139710847915931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10415] ppid=10397 vsize=14091368 memory=219348 CPUtime=2.69 cores=1,3,5,7
/proc/10399/task/10415/stat : 10415 (java) S 10397 10397 5155 0 -1 1077944384 14186 0 0 0 267 2 0 0 20 0 15 0 105151201 14429560832 51508 33554432000 4194304 4196468 140728063594032 139710317971440 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10416] ppid=10397 vsize=14091368 memory=1456 CPUtime=2.4 cores=1,3,5,7
/proc/10399/task/10416/stat : 10416 (java) S 10397 10397 5155 0 -1 1077944384 13206 0 0 0 235 5 0 0 20 0 15 0 105151201 14429560832 51508 33554432000 4194304 4196468 140728063594032 139710316918896 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10417] ppid=10397 vsize=14091368 memory=4036 CPUtime=0.68 cores=1,3,5,7
/proc/10399/task/10417/stat : 10417 (java) S 10397 10397 5155 0 -1 1077944384 8466 0 0 0 67 1 0 0 20 0 15 0 105151201 14429560832 51508 33554432000 4194304 4196468 140728063594032 139710315866352 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10418] ppid=10397 vsize=14091368 memory=30444 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10418/stat : 10418 (java) S 10397 10397 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105151201 14429560832 51508 33554432000 4194304 4196468 140728063594032 139710314814048 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10419] ppid=10397 vsize=14091368 memory=1244 CPUtime=0.03 cores=1,3,5,7
/proc/10399/task/10419/stat : 10419 (java) S 10397 10397 5155 0 -1 1077944384 1100 0 0 0 1 2 0 0 20 0 15 0 105151202 14429560832 51508 33554432000 4194304 4196468 140728063594032 139710313761584 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
Current children cumulated CPU time: 168.36 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 207488 KiB
[startup+222.301 s]
/proc/loadavg: 1.66 1.65 1.61 3/221 10423
/proc/meminfo: memFree=27160784/32770624 swapFree=67108856/67108860
[pid=10397] ppid=10393 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10397/stat : 10397 (xcsp3-exec) S 10393 10397 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105151196 115843072 364 33554432000 4194304 5098028 140726936437904 140726936436008 140182274306684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38154240 140726936446016 140726936446217 140726936446217 140726936448970 0
/proc/10397/statm: 28282 364 306 221 0 87 0
[pid=10399] ppid=10397 vsize=14091368 memory=178872 CPUtime=228.43 cores=1,3,5,7
/proc/10399/stat : 10399 (java) S 10397 10397 5155 0 -1 1077944320 61804 0 0 0 22818 25 0 0 20 0 15 0 105151196 14429560832 44718 33554432000 4194304 4196468 140728063594032 140728063576576 139710847897335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
/proc/10399/statm: 3522842 44718 3414 1 0 3484036 0
[pid=10399/tid=10400] ppid=10397 vsize=14091368 memory=179900 CPUtime=222.13 cores=1,3,5,7
/proc/10399/task/10400/stat : 10400 (java) R 10397 10397 5155 0 -1 4202560 13586 0 0 0 22208 5 0 0 20 0 15 0 105151196 14429560832 44718 33554432000 4194304 4196468 140728063594032 139710852136848 139710478394869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10401] ppid=10397 vsize=14091368 memory=181956 CPUtime=0.08 cores=1,3,5,7
/proc/10399/task/10401/stat : 10401 (java) S 10397 10397 5155 0 -1 1077944384 2603 0 0 0 7 1 0 0 20 0 15 0 105151197 14429560832 44718 33554432000 4194304 4196468 140728063594032 139710800517392 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10402] ppid=10397 vsize=14091368 memory=181952 CPUtime=0.08 cores=1,3,5,7
/proc/10399/task/10402/stat : 10402 (java) S 10397 10397 5155 0 -1 1077944384 1406 0 0 0 7 1 0 0 20 0 15 0 105151197 14429560832 44718 33554432000 4194304 4196468 140728063594032 139710799464848 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10403] ppid=10397 vsize=14091368 memory=179900 CPUtime=0.09 cores=1,3,5,7
/proc/10399/task/10403/stat : 10403 (java) S 10397 10397 5155 0 -1 1077944384 2418 0 0 0 7 2 0 0 20 0 15 0 105151197 14429560832 44718 33554432000 4194304 4196468 140728063594032 139710798412304 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10404] ppid=10397 vsize=14091368 memory=179900 CPUtime=0.09 cores=1,3,5,7
/proc/10399/task/10404/stat : 10404 (java) S 10397 10397 5155 0 -1 1077944384 968 0 0 0 7 2 0 0 20 0 15 0 105151197 14429560832 44718 33554432000 4194304 4196468 140728063594032 139710797359760 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10411] ppid=10397 vsize=14091368 memory=179900 CPUtime=0.04 cores=1,3,5,7
/proc/10399/task/10411/stat : 10411 (java) S 10397 10397 5155 0 -1 1077944384 1885 0 0 0 3 1 0 0 20 0 15 0 105151198 14429560832 44718 33554432000 4194304 4196468 140728063594032 139710389295600 139710847908482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10412] ppid=10397 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10412/stat : 10412 (java) S 10397 10397 5155 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 105151199 14429560832 44718 33554432000 4194304 4196468 140728063594032 139710388241824 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10413] ppid=10397 vsize=14091368 memory=178872 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10413/stat : 10413 (java) S 10397 10397 5155 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 105151199 14429560832 44718 33554432000 4194304 4196468 140728063594032 139710320076272 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10414] ppid=10397 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10414/stat : 10414 (java) S 10397 10397 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105151201 14429560832 44718 33554432000 4194304 4196468 140728063594032 139710319024848 139710847915931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10415] ppid=10397 vsize=14091368 memory=1456 CPUtime=2.71 cores=1,3,5,7
/proc/10399/task/10415/stat : 10415 (java) S 10397 10397 5155 0 -1 1077944384 14605 0 0 0 269 2 0 0 20 0 15 0 105151201 14429560832 44718 33554432000 4194304 4196468 140728063594032 139710317971440 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10416] ppid=10397 vsize=14091368 memory=1456 CPUtime=2.41 cores=1,3,5,7
/proc/10399/task/10416/stat : 10416 (java) S 10397 10397 5155 0 -1 1077944384 13360 0 0 0 236 5 0 0 20 0 15 0 105151201 14429560832 44718 33554432000 4194304 4196468 140728063594032 139710316918896 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10417] ppid=10397 vsize=14091368 memory=181952 CPUtime=0.68 cores=1,3,5,7
/proc/10399/task/10417/stat : 10417 (java) S 10397 10397 5155 0 -1 1077944384 8487 0 0 0 67 1 0 0 20 0 15 0 105151201 14429560832 44718 33554432000 4194304 4196468 140728063594032 139710315866352 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10418] ppid=10397 vsize=14091368 memory=4036 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10418/stat : 10418 (java) S 10397 10397 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105151201 14429560832 44718 33554432000 4194304 4196468 140728063594032 139710314814048 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10419] ppid=10397 vsize=14091368 memory=2580 CPUtime=0.04 cores=1,3,5,7
/proc/10399/task/10419/stat : 10419 (java) S 10397 10397 5155 0 -1 1077944384 1129 0 0 0 1 3 0 0 20 0 15 0 105151202 14429560832 44718 33554432000 4194304 4196468 140728063594032 139710313761584 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
Current children cumulated CPU time: 228.43 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 180328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+245.801 s]
/proc/loadavg: 1.70 1.67 1.61 3/222 10425
/proc/meminfo: memFree=27183412/32770624 swapFree=67108856/67108860
[pid=10397] ppid=10393 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10397/stat : 10397 (xcsp3-exec) S 10393 10397 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105151196 115843072 364 33554432000 4194304 5098028 140726936437904 140726936436008 140182274306684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38154240 140726936446016 140726936446217 140726936446217 140726936448970 0
/proc/10397/statm: 28282 364 306 221 0 87 0
[pid=10399] ppid=10397 vsize=14091368 memory=161956 CPUtime=252 cores=1,3,5,7
/proc/10399/stat : 10399 (java) S 10397 10397 5155 0 -1 1077944320 63659 0 0 0 25174 26 0 0 20 0 15 0 105151196 14429560832 40489 33554432000 4194304 4196468 140728063594032 140728063576576 139710847897335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
/proc/10399/statm: 3522842 40489 3414 1 0 3484036 0
[pid=10399/tid=10400] ppid=10397 vsize=14091368 memory=13565981461055742 CPUtime=245.61 cores=1,3,5,7
/proc/10399/task/10400/stat : 10400 (java) R 10397 10397 5155 0 -1 4202560 13696 0 0 0 24556 5 0 0 20 0 15 0 105151196 14429560832 40489 33554432000 4194304 4196468 140728063594032 139710852136912 139710477236368 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10401] ppid=10397 vsize=14091368 memory=3047711553320166262 CPUtime=0.1 cores=1,3,5,7
/proc/10399/task/10401/stat : 10401 (java) S 10397 10397 5155 0 -1 1077944384 2606 0 0 0 8 2 0 0 20 0 15 0 105151197 14429560832 40489 33554432000 4194304 4196468 140728063594032 139710800517392 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10402] ppid=10397 vsize=14091368 memory=8514701219730523551 CPUtime=0.09 cores=1,3,5,7
/proc/10399/task/10402/stat : 10402 (java) S 10397 10397 5155 0 -1 1077944384 1408 0 0 0 8 1 0 0 20 0 15 0 105151197 14429560832 40489 33554432000 4194304 4196468 140728063594032 139710799464848 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10403] ppid=10397 vsize=14091368 memory=7811885449632967249 CPUtime=0.1 cores=1,3,5,7
/proc/10399/task/10403/stat : 10403 (java) S 10397 10397 5155 0 -1 1077944384 2421 0 0 0 8 2 0 0 20 0 15 0 105151197 14429560832 40489 33554432000 4194304 4196468 140728063594032 139710798412304 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10404] ppid=10397 vsize=14091368 memory=7234018331914232941 CPUtime=0.1 cores=1,3,5,7
/proc/10399/task/10404/stat : 10404 (java) S 10397 10397 5155 0 -1 1077944384 971 0 0 0 8 2 0 0 20 0 15 0 105151197 14429560832 40489 33554432000 4194304 4196468 140728063594032 139710797359760 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10411] ppid=10397 vsize=14091368 memory=7667730640601115752 CPUtime=0.04 cores=1,3,5,7
/proc/10399/task/10411/stat : 10411 (java) S 10397 10397 5155 0 -1 1077944384 1896 0 0 0 3 1 0 0 20 0 15 0 105151198 14429560832 40489 33554432000 4194304 4196468 140728063594032 139710389295600 139710847908482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10412] ppid=10397 vsize=14091368 memory=5450909908396308010 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10412/stat : 10412 (java) S 10397 10397 5155 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 105151199 14429560832 40489 33554432000 4194304 4196468 140728063594032 139710388241824 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10413] ppid=10397 vsize=14091368 memory=6003410906228024682 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10413/stat : 10413 (java) S 10397 10397 5155 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 105151199 14429560832 40489 33554432000 4194304 4196468 140728063594032 139710320076272 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10414] ppid=10397 vsize=14091368 memory=6003410906228024682 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10414/stat : 10414 (java) S 10397 10397 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105151201 14429560832 40489 33554432000 4194304 4196468 140728063594032 139710319024848 139710847915931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10415] ppid=10397 vsize=14091368 memory=7307766979080318060 CPUtime=2.71 cores=1,3,5,7
/proc/10399/task/10415/stat : 10415 (java) S 10397 10397 5155 0 -1 1077944384 14802 0 0 0 269 2 0 0 20 0 15 0 105151201 14429560832 40489 33554432000 4194304 4196468 140728063594032 139710317971440 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10416] ppid=10397 vsize=14091368 memory=7301276626450147692 CPUtime=2.44 cores=1,3,5,7
/proc/10399/task/10416/stat : 10416 (java) S 10397 10397 5155 0 -1 1077944384 14884 0 0 0 239 5 0 0 20 0 15 0 105151201 14429560832 40489 33554432000 4194304 4196468 140728063594032 139710316918896 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10417] ppid=10397 vsize=14091368 memory=7307461276109399396 CPUtime=0.68 cores=1,3,5,7
/proc/10399/task/10417/stat : 10417 (java) S 10397 10397 5155 0 -1 1077944384 8487 0 0 0 67 1 0 0 20 0 15 0 105151201 14429560832 40489 33554432000 4194304 4196468 140728063594032 139710315866352 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10418] ppid=10397 vsize=14091368 memory=3100 CPUtime=0 cores=1,3,5,7
/proc/10399/task/10418/stat : 10418 (java) S 10397 10397 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105151201 14429560832 40489 33554432000 4194304 4196468 140728063594032 139710314814048 139710847907541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
[pid=10399/tid=10419] ppid=10397 vsize=14091368 memory=1456 CPUtime=0.05 cores=1,3,5,7
/proc/10399/task/10419/stat : 10419 (java) S 10397 10397 5155 0 -1 1077944384 1131 0 0 0 2 3 0 0 20 0 15 0 105151202 14429560832 40489 33554432000 4194304 4196468 140728063594032 139710313761584 139710847908482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39514112 140728063599756 140728063599926 140728063599926 140728063602639 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 163412 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+245.81 s]
# the end of solver process 10397 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001093 s, system=0.001093 s
[startup+245.815 s]
# the end of solver process 10399 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.755 s, system=0.271243 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 245.815
CPU time (s): 252.026
CPU user time (s): 251.755
CPU system time (s): 0.271243
CPU usage (%): 102.527
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 263304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.755
system time used= 0.271243
maximum resident set size= 261848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64584
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9162
involuntary context switches= 208
# summary of solver processes directly reported to runsolver:
# pid: 10397,10399
# total CPU time (s): 252.026
# total CPU user time (s): 251.755
# total CPU system time (s): 0.271243
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44416 second user time and 2.37154 second system time
The end