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 (6733 MiB free)
memory of node 1: 16384 MiB (10441 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292640-1532478724/watcher-4292640-1532478724 -o /tmp/evaluation-result-4292640-1532478724/solver-4292640-1532478724 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532470661-17280 --watchdog 2560 HOME/xcsp3-exec -seed 806097817 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292640-1532478724.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
Current StackSize limit: 8192 KiB
solver pid=18402, runsolver pid=18399
[startup+0.100171 s]*
/proc/loadavg: 1.75 1.80 1.84 3/218 18418
/proc/meminfo: memFree=17570624/32770624 swapFree=67108796/67108860
[pid=18402] ppid=18399 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18402/stat : 18402 (xcsp3-exec) S 18399 18402 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 65435562 115843072 363 33554432000 4194304 5098028 140732864404208 140732864402312 139849806135932 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19902464 140732864410683 140732864410884 140732864410884 140732864413642 0
/proc/18402/statm: 28282 363 306 221 0 87 0
[pid=18404] ppid=18402 vsize=14082840 memory=28152 CPUtime=0.12 cores=0,2,4,6
/proc/18404/stat : 18404 (java) S 18402 18402 17249 0 -1 1077944320 5471 0 0 0 10 2 0 0 20 0 15 0 65435563 14420828160 7038 33554432000 4194304 4196468 140737217796832 140737217779376 139933409705719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
/proc/18404/statm: 3520710 7038 2970 1 0 3483008 0
[pid=18404/tid=18405] ppid=18402 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=0,2,4,6
/proc/18404/task/18405/stat : 18405 (java) R 18402 18402 17249 0 -1 4202560 3482 0 0 0 8 1 0 0 20 0 15 0 65435563 14420828160 7103 33554432000 4194304 4196468 140737217796832 139933413937712 139933409717654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18406] ppid=18402 vsize=14082840 memory=3472468811376452816 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18406/stat : 18406 (java) S 18402 18402 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65435564 14420828160 7103 33554432000 4194304 4196468 140737217796832 139933324774032 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18407] ppid=18402 vsize=14082840 memory=140682481301120 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18407/stat : 18407 (java) S 18402 18402 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65435564 14420828160 7103 33554432000 4194304 4196468 140737217796832 139933004065296 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18408] ppid=18402 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18408/stat : 18408 (java) S 18402 18402 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65435564 14420828160 7103 33554432000 4194304 4196468 140737217796832 139933003012496 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18409] ppid=18402 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18409/stat : 18409 (java) S 18402 18402 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65435564 14420828160 7103 33554432000 4194304 4196468 140737217796832 139933001959696 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18410] ppid=18402 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18410/stat : 18410 (java) S 18402 18402 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65435565 14420828160 7103 33554432000 4194304 4196468 140737217796832 139932389301104 139933409716866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18411] ppid=18402 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18411/stat : 18411 (java) S 18402 18402 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65435566 14420828160 7103 33554432000 4194304 4196468 140737217796832 139932388247072 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18412] ppid=18402 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18412/stat : 18412 (java) S 18402 18402 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65435566 14420828160 7103 33554432000 4194304 4196468 140737217796832 139932387194224 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18413] ppid=18402 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18413/stat : 18413 (java) S 18402 18402 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65435568 14420828160 7103 33554432000 4194304 4196468 140737217796832 139932386142544 139933409724315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18414] ppid=18402 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18414/stat : 18414 (java) S 18402 18402 17249 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 65435568 14420828160 7103 33554432000 4194304 4196468 140737217796832 139932385089904 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18415] ppid=18402 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18415/stat : 18415 (java) S 18402 18402 17249 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 65435568 14420828160 7103 33554432000 4194304 4196468 140737217796832 139931941689584 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18416] ppid=18402 vsize=14082840 memory=140682481301120 CPUtime=0.01 cores=0,2,4,6
/proc/18404/task/18416/stat : 18416 (java) R 18402 18402 17249 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 15 0 65435568 14420828160 7103 33554432000 4194304 4196468 140737217796832 139931940636784 139933393786206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18417] ppid=18402 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18417/stat : 18417 (java) S 18402 18402 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65435568 14420828160 7103 33554432000 4194304 4196468 140737217796832 139931939584224 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18418] ppid=18402 vsize=14082840 memory=140682481301120 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18418/stat : 18418 (java) S 18402 18402 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65435569 14420828160 7103 33554432000 4194304 4196468 140737217796832 139931938532528 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29604 KiB
[startup+0.210455 s]*
/proc/loadavg: 1.75 1.80 1.84 4/218 18418
/proc/meminfo: memFree=17558476/32770624 swapFree=67108796/67108860
[pid=18402] ppid=18399 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18402/stat : 18402 (xcsp3-exec) S 18399 18402 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 65435562 115843072 363 33554432000 4194304 5098028 140732864404208 140732864402312 139849806135932 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19902464 140732864410683 140732864410884 140732864410884 140732864413642 0
/proc/18402/statm: 28282 363 306 221 0 87 0
[pid=18404] ppid=18402 vsize=14084956 memory=41228 CPUtime=0.33 cores=0,2,4,6
/proc/18404/stat : 18404 (java) S 18402 18402 17249 0 -1 1077944320 8319 0 0 0 31 2 0 0 20 0 15 0 65435563 14422994944 10307 33554432000 4194304 4196468 140737217796832 140737217779376 139933409705719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
/proc/18404/statm: 3521239 10307 3178 1 0 3483008 0
[pid=18404/tid=18405] ppid=18402 vsize=14084956 memory=5852833021473685665 CPUtime=0.19 cores=0,2,4,6
/proc/18404/task/18405/stat : 18405 (java) D 18402 18402 17249 0 -1 1077944384 5405 0 0 0 18 1 0 0 20 0 15 0 65435563 14422994944 10307 33554432000 4194304 4196468 140737217796832 139933413926712 139933411980999 0 4 0 16800975 18446744072101629476 0 0 -1 2 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18406] ppid=18402 vsize=14084956 memory=3472468811376452816 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18406/stat : 18406 (java) S 18402 18402 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65435564 14422994944 10307 33554432000 4194304 4196468 140737217796832 139933324774032 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18407] ppid=18402 vsize=14084956 memory=140682481301120 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18407/stat : 18407 (java) S 18402 18402 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65435564 14422994944 10307 33554432000 4194304 4196468 140737217796832 139933004065296 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18408] ppid=18402 vsize=14084956 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18408/stat : 18408 (java) S 18402 18402 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65435564 14422994944 10307 33554432000 4194304 4196468 140737217796832 139933003012496 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18409] ppid=18402 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18409/stat : 18409 (java) S 18402 18402 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65435564 14425186304 10310 33554432000 4194304 4196468 140737217796832 139933001959696 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18410] ppid=18402 vsize=14087096 memory=140682481301120 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18410/stat : 18410 (java) S 18402 18402 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 65435565 14425186304 10310 33554432000 4194304 4196468 140737217796832 139932389301104 139933409716866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18411] ppid=18402 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18411/stat : 18411 (java) S 18402 18402 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65435566 14425186304 10310 33554432000 4194304 4196468 140737217796832 139932388247072 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18412] ppid=18402 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18412/stat : 18412 (java) S 18402 18402 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65435566 14425186304 10310 33554432000 4194304 4196468 140737217796832 139932387194224 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18413] ppid=18402 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18413/stat : 18413 (java) S 18402 18402 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65435568 14425186304 10310 33554432000 4194304 4196468 140737217796832 139932386142544 139933409724315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18414] ppid=18402 vsize=14087096 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18404/task/18414/stat : 18414 (java) S 18402 18402 17249 0 -1 1077944384 629 0 0 0 2 0 0 0 20 0 15 0 65435568 14425186304 10310 33554432000 4194304 4196468 140737217796832 139932385089904 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18415] ppid=18402 vsize=14087096 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/18404/task/18415/stat : 18415 (java) S 18402 18402 17249 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 15 0 65435568 14425186304 10310 33554432000 4194304 4196468 140737217796832 139931941689584 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18416] ppid=18402 vsize=14087096 memory=140682481301120 CPUtime=0.08 cores=0,2,4,6
/proc/18404/task/18416/stat : 18416 (java) S 18402 18402 17249 0 -1 1077944384 760 0 0 0 8 0 0 0 20 0 15 0 65435568 14425186304 10310 33554432000 4194304 4196468 140737217796832 139931940636784 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18417] ppid=18402 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18417/stat : 18417 (java) S 18402 18402 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65435568 14425186304 10310 33554432000 4194304 4196468 140737217796832 139931939584224 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18418] ppid=18402 vsize=14087096 memory=140682481301120 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18418/stat : 18418 (java) S 18402 18402 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65435569 14425186304 10310 33554432000 4194304 4196468 140737217796832 139931938532528 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14198084 KiB
Current children cumulated memory: 42680 KiB
[startup+0.310511 s]*
/proc/loadavg: 1.69 1.78 1.84 3/218 18418
/proc/meminfo: memFree=17552388/32770624 swapFree=67108796/67108860
[pid=18402] ppid=18399 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18402/stat : 18402 (xcsp3-exec) S 18399 18402 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 65435562 115843072 363 33554432000 4194304 5098028 140732864404208 140732864402312 139849806135932 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19902464 140732864410683 140732864410884 140732864410884 140732864413642 0
/proc/18402/statm: 28282 363 306 221 0 87 0
[pid=18404] ppid=18402 vsize=14087096 memory=47876 CPUtime=0.5 cores=0,2,4,6
/proc/18404/stat : 18404 (java) S 18402 18402 17249 0 -1 1077944320 9120 0 0 0 47 3 0 0 20 0 15 0 65435563 14425186304 11969 33554432000 4194304 4196468 140737217796832 140737217779376 139933409705719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
/proc/18404/statm: 3521774 11969 3213 1 0 3483008 0
[pid=18404/tid=18405] ppid=18402 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=0,2,4,6
/proc/18404/task/18405/stat : 18405 (java) R 18402 18402 17249 0 -1 4202560 6125 0 0 0 27 2 0 0 20 0 15 0 65435563 14425186304 11969 33554432000 4194304 4196468 140737217796832 139933413939504 139933393786236 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18406] ppid=18402 vsize=14087096 memory=3472468811376452816 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18406/stat : 18406 (java) S 18402 18402 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65435564 14425186304 11969 33554432000 4194304 4196468 140737217796832 139933324774032 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18407] ppid=18402 vsize=14087096 memory=140682481301120 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18407/stat : 18407 (java) S 18402 18402 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65435564 14425186304 11969 33554432000 4194304 4196468 140737217796832 139933004065296 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18408] ppid=18402 vsize=14087096 memory=5 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18408/stat : 18408 (java) S 18402 18402 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65435564 14425186304 11969 33554432000 4194304 4196468 140737217796832 139933003012496 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18409] ppid=18402 vsize=14087096 memory=140682325010463 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18409/stat : 18409 (java) S 18402 18402 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65435564 14425186304 11969 33554432000 4194304 4196468 140737217796832 139933001959696 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18410] ppid=18402 vsize=14087096 memory=281364649981696 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18410/stat : 18410 (java) S 18402 18402 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 65435565 14425186304 11969 33554432000 4194304 4196468 140737217796832 139932389301104 139933409716866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18411] ppid=18402 vsize=14087096 memory=140682324987407 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18411/stat : 18411 (java) S 18402 18402 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65435566 14425186304 11969 33554432000 4194304 4196468 140737217796832 139932388247072 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18412] ppid=18402 vsize=14087096 memory=281364806297696 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18412/stat : 18412 (java) S 18402 18402 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65435566 14425186304 11969 33554432000 4194304 4196468 140737217796832 139932387194224 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18413] ppid=18402 vsize=14087096 memory=140682324992015 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18413/stat : 18413 (java) S 18402 18402 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65435568 14425186304 11969 33554432000 4194304 4196468 140737217796832 139932386142544 139933409724315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18414] ppid=18402 vsize=14087096 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/18404/task/18414/stat : 18414 (java) S 18402 18402 17249 0 -1 1077944384 650 0 0 0 4 0 0 0 20 0 15 0 65435568 14425186304 11969 33554432000 4194304 4196468 140737217796832 139932385089904 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18415] ppid=18402 vsize=14087096 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/18404/task/18415/stat : 18415 (java) S 18402 18402 17249 0 -1 1077944384 221 0 0 0 4 0 0 0 20 0 15 0 65435568 14425186304 11969 33554432000 4194304 4196468 140737217796832 139931941689584 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18416] ppid=18402 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/18404/task/18416/stat : 18416 (java) S 18402 18402 17249 0 -1 1077944384 819 0 0 0 12 0 0 0 20 0 15 0 65435568 14425186304 11969 33554432000 4194304 4196468 140737217796832 139931940636784 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18417] ppid=18402 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18417/stat : 18417 (java) S 18402 18402 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65435568 14425186304 11969 33554432000 4194304 4196468 140737217796832 139931939584224 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18418] ppid=18402 vsize=14087096 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18418/stat : 18418 (java) S 18402 18402 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65435569 14425186304 11969 33554432000 4194304 4196468 140737217796832 139931938532528 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49328 KiB
[startup+0.703458 s]
/proc/loadavg: 1.69 1.78 1.84 5/218 18418
/proc/meminfo: memFree=17514972/32770624 swapFree=67108796/67108860
[pid=18402] ppid=18399 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18402/stat : 18402 (xcsp3-exec) S 18399 18402 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 65435562 115843072 363 33554432000 4194304 5098028 140732864404208 140732864402312 139849806135932 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19902464 140732864410683 140732864410884 140732864410884 140732864413642 0
/proc/18402/statm: 28282 363 306 221 0 87 0
[pid=18404] ppid=18402 vsize=14089220 memory=151280 CPUtime=1.66 cores=0,2,4,6
/proc/18404/stat : 18404 (java) S 18402 18402 17249 0 -1 1077944320 12457 0 0 0 161 5 0 0 20 0 15 0 65435563 14427361280 37820 33554432000 4194304 4196468 140737217796832 140737217779376 139933409705719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
/proc/18404/statm: 3522305 37820 3328 1 0 3483520 0
[pid=18404/tid=18405] ppid=18402 vsize=14089220 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/18404/task/18405/stat : 18405 (java) R 18402 18402 17249 0 -1 4202560 6616 0 0 0 64 4 0 0 20 0 15 0 65435563 14427361280 37820 33554432000 4194304 4196468 140737217796832 139933413939824 139933004163792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18406] ppid=18402 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18406/stat : 18406 (java) S 18402 18402 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65435564 14427361280 37820 33554432000 4194304 4196468 140737217796832 139933324774032 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18407] ppid=18402 vsize=14089220 memory=7813587196152133429 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18407/stat : 18407 (java) S 18402 18402 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65435564 14427361280 37820 33554432000 4194304 4196468 140737217796832 139933004065296 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18408] ppid=18402 vsize=14089220 memory=7084813487281755751 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18408/stat : 18408 (java) S 18402 18402 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65435564 14427361280 37820 33554432000 4194304 4196468 140737217796832 139933003012496 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18409] ppid=18402 vsize=14089220 memory=7666631141572832339 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18409/stat : 18409 (java) S 18402 18402 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65435564 14427361280 37820 33554432000 4194304 4196468 140737217796832 139933001959696 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18410] ppid=18402 vsize=14089220 memory=734122130331934768 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18410/stat : 18410 (java) S 18402 18402 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 65435565 14427361280 37820 33554432000 4194304 4196468 140737217796832 139932389301104 139933409716866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18411] ppid=18402 vsize=14089220 memory=1600 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18411/stat : 18411 (java) S 18402 18402 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65435566 14427361280 37820 33554432000 4194304 4196468 140737217796832 139932388247072 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18412] ppid=18402 vsize=14089220 memory=5024 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18412/stat : 18412 (java) S 18402 18402 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65435566 14427361280 37820 33554432000 4194304 4196468 140737217796832 139932387194224 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18413] ppid=18402 vsize=14089220 memory=4032 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18413/stat : 18413 (java) S 18402 18402 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65435568 14427361280 37820 33554432000 4194304 4196468 140737217796832 139932386142544 139933409724315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18414] ppid=18402 vsize=14089220 memory=1284 CPUtime=0.35 cores=0,2,4,6
/proc/18404/task/18414/stat : 18414 (java) R 18402 18402 17249 0 -1 4202560 1692 0 0 0 35 0 0 0 20 0 15 0 65435568 14427361280 37820 33554432000 4194304 4196468 140737217796832 139932385077536 139933394831784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18415] ppid=18402 vsize=14089220 memory=1088 CPUtime=0.35 cores=0,2,4,6
/proc/18404/task/18415/stat : 18415 (java) R 18402 18402 17249 0 -1 4202560 1438 0 0 0 35 0 0 0 20 0 15 0 65435568 14427361280 37820 33554432000 4194304 4196468 140737217796832 139931941676976 139933389039515 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18416] ppid=18402 vsize=14089220 memory=1796 CPUtime=0.25 cores=0,2,4,6
/proc/18404/task/18416/stat : 18416 (java) R 18402 18402 17249 0 -1 4202560 1404 0 0 0 25 0 0 0 20 0 15 0 65435568 14427361280 37820 33554432000 4194304 4196468 140737217796832 139931940634744 139933388350736 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18417] ppid=18402 vsize=14089220 memory=7012 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18417/stat : 18417 (java) S 18402 18402 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65435568 14427361280 37820 33554432000 4194304 4196468 140737217796832 139931939584224 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18418] ppid=18402 vsize=14089220 memory=15044 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18418/stat : 18418 (java) S 18402 18402 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65435569 14427361280 37820 33554432000 4194304 4196468 140737217796832 139931938532528 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 152732 KiB
[startup+1.5009 s]
/proc/loadavg: 1.69 1.78 1.84 3/218 18418
/proc/meminfo: memFree=17394520/32770624 swapFree=67108796/67108860
[pid=18402] ppid=18399 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18402/stat : 18402 (xcsp3-exec) S 18399 18402 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 65435562 115843072 363 33554432000 4194304 5098028 140732864404208 140732864402312 139849806135932 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19902464 140732864410683 140732864410884 140732864410884 140732864413642 0
/proc/18402/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/18402/stat : 18402 (xcsp3-exec) S 18399 18402 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 65435562 115843072 363 33554432000 4194304 5098028 140732864404208 140732864402312 139849806135932 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19902464 140732864410683 140732864410884 140732864410884 140732864413642 0
/proc/18402/statm: 28282 363 306 221 0 87 0
[pid=18404] ppid=18402 vsize=14089220 memory=324592 CPUtime=715 cores=0,2,4,6
/proc/18404/stat : 18404 (java) S 18402 18402 17249 0 -1 1077944320 49120 0 0 0 71456 44 0 0 20 0 15 0 65435563 14427361280 81148 33554432000 4194304 4196468 140737217796832 140737217779376 139933409705719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
/proc/18404/statm: 3522305 81148 3378 1 0 3483520 0
[pid=18404/tid=18405] ppid=18402 vsize=14089220 memory=324592 CPUtime=710.99 cores=0,2,4,6
/proc/18404/task/18405/stat : 18405 (java) R 18402 18402 17249 0 -1 4202560 12953 0 0 0 71094 5 0 0 20 0 15 0 65435563 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933413944416 139933008494292 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18406] ppid=18402 vsize=14089220 memory=7012 CPUtime=0.09 cores=0,2,4,6
/proc/18404/task/18406/stat : 18406 (java) S 18402 18402 17249 0 -1 1077944384 885 0 0 0 5 4 0 0 20 0 15 0 65435564 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933324774032 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18407] ppid=18402 vsize=14089220 memory=15044 CPUtime=0.09 cores=0,2,4,6
/proc/18404/task/18407/stat : 18407 (java) S 18402 18402 17249 0 -1 1077944384 2009 0 0 0 5 4 0 0 20 0 15 0 65435564 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933004065296 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18408] ppid=18402 vsize=14089220 memory=8876 CPUtime=0.09 cores=0,2,4,6
/proc/18404/task/18408/stat : 18408 (java) S 18402 18402 17249 0 -1 1077944384 1028 0 0 0 5 4 0 0 20 0 15 0 65435564 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933003012496 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18409] ppid=18402 vsize=14089220 memory=1120 CPUtime=0.09 cores=0,2,4,6
/proc/18404/task/18409/stat : 18409 (java) S 18402 18402 17249 0 -1 1077944384 606 0 0 0 5 4 0 0 20 0 15 0 65435564 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933001959696 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18410] ppid=18402 vsize=14089220 memory=792 CPUtime=0.02 cores=0,2,4,6
/proc/18404/task/18410/stat : 18410 (java) S 18402 18402 17249 0 -1 1077944384 1307 0 0 0 1 1 0 0 20 0 15 0 65435565 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932389301104 139933409716866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18411] ppid=18402 vsize=14089220 memory=832 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18411/stat : 18411 (java) S 18402 18402 17249 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 65435566 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932388247136 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18412] ppid=18402 vsize=14089220 memory=1600 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18412/stat : 18412 (java) S 18402 18402 17249 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 65435566 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932387194240 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18413] ppid=18402 vsize=14089220 memory=324592 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18413/stat : 18413 (java) S 18402 18402 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932386142544 139933409724315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18414] ppid=18402 vsize=14089220 memory=19740 CPUtime=1.31 cores=0,2,4,6
/proc/18404/task/18414/stat : 18414 (java) S 18402 18402 17249 0 -1 1077944384 12171 0 0 0 130 1 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932385089904 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18415] ppid=18402 vsize=14089220 memory=2088 CPUtime=1.34 cores=0,2,4,6
/proc/18404/task/18415/stat : 18415 (java) S 18402 18402 17249 0 -1 1077944384 10652 0 0 0 133 1 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139931941689584 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18416] ppid=18402 vsize=14089220 memory=1040 CPUtime=0.46 cores=0,2,4,6
/proc/18404/task/18416/stat : 18416 (java) S 18402 18402 17249 0 -1 1077944384 5375 0 0 0 46 0 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139931940636784 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18417] ppid=18402 vsize=14089220 memory=1628 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18417/stat : 18417 (java) S 18402 18402 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139931939584224 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18418] ppid=18402 vsize=14089220 memory=324592 CPUtime=0.43 cores=0,2,4,6
/proc/18404/task/18418/stat : 18418 (java) S 18402 18402 17249 0 -1 1077944384 794 0 0 0 22 21 0 0 20 0 15 0 65435569 14427361280 81148 33554432000 4194304 4196468 140737217796832 139931938532528 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
Current children cumulated CPU time: 715 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 326044 KiB
[startup+711.601 s]
/proc/loadavg: 1.86 1.84 1.85 3/218 18438
/proc/meminfo: memFree=17265776/32770624 swapFree=67108796/67108860
[pid=18402] ppid=18399 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18402/stat : 18402 (xcsp3-exec) S 18399 18402 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 65435562 115843072 363 33554432000 4194304 5098028 140732864404208 140732864402312 139849806135932 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19902464 140732864410683 140732864410884 140732864410884 140732864413642 0
/proc/18402/statm: 28282 363 306 221 0 87 0
[pid=18404] ppid=18402 vsize=14089220 memory=324592 CPUtime=715.4 cores=0,2,4,6
/proc/18404/stat : 18404 (java) S 18402 18402 17249 0 -1 1077944320 49120 0 0 0 71496 44 0 0 20 0 15 0 65435563 14427361280 81148 33554432000 4194304 4196468 140737217796832 140737217779376 139933409705719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
/proc/18404/statm: 3522305 81148 3378 1 0 3483520 0
[pid=18404/tid=18405] ppid=18402 vsize=14089220 memory=2088 CPUtime=711.39 cores=0,2,4,6
/proc/18404/task/18405/stat : 18405 (java) R 18402 18402 17249 0 -1 4202560 12953 0 0 0 71134 5 0 0 20 0 15 0 65435563 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933413944416 139933008425063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18406] ppid=18402 vsize=14089220 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/18404/task/18406/stat : 18406 (java) S 18402 18402 17249 0 -1 1077944384 885 0 0 0 5 4 0 0 20 0 15 0 65435564 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933324774032 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18407] ppid=18402 vsize=14089220 memory=324592 CPUtime=0.09 cores=0,2,4,6
/proc/18404/task/18407/stat : 18407 (java) S 18402 18402 17249 0 -1 1077944384 2009 0 0 0 5 4 0 0 20 0 15 0 65435564 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933004065296 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18408] ppid=18402 vsize=14089220 memory=13852958290872887 CPUtime=0.09 cores=0,2,4,6
/proc/18404/task/18408/stat : 18408 (java) S 18402 18402 17249 0 -1 1077944384 1028 0 0 0 5 4 0 0 20 0 15 0 65435564 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933003012496 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18409] ppid=18402 vsize=14089220 memory=840 CPUtime=0.09 cores=0,2,4,6
/proc/18404/task/18409/stat : 18409 (java) S 18402 18402 17249 0 -1 1077944384 606 0 0 0 5 4 0 0 20 0 15 0 65435564 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933001959696 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18410] ppid=18402 vsize=14089220 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/18404/task/18410/stat : 18410 (java) S 18402 18402 17249 0 -1 1077944384 1307 0 0 0 1 1 0 0 20 0 15 0 65435565 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932389301104 139933409716866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18411] ppid=18402 vsize=14089220 memory=916 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18411/stat : 18411 (java) S 18402 18402 17249 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 65435566 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932388247136 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18412] ppid=18402 vsize=14089220 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18412/stat : 18412 (java) S 18402 18402 17249 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 65435566 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932387194240 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18413] ppid=18402 vsize=14089220 memory=2600 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18413/stat : 18413 (java) S 18402 18402 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932386142544 139933409724315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18414] ppid=18402 vsize=14089220 memory=314436 CPUtime=1.31 cores=0,2,4,6
/proc/18404/task/18414/stat : 18414 (java) S 18402 18402 17249 0 -1 1077944384 12171 0 0 0 130 1 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932385089904 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18415] ppid=18402 vsize=14089220 memory=4100 CPUtime=1.34 cores=0,2,4,6
/proc/18404/task/18415/stat : 18415 (java) S 18402 18402 17249 0 -1 1077944384 10652 0 0 0 133 1 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139931941689584 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18416] ppid=18402 vsize=14089220 memory=1040 CPUtime=0.46 cores=0,2,4,6
/proc/18404/task/18416/stat : 18416 (java) S 18402 18402 17249 0 -1 1077944384 5375 0 0 0 46 0 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139931940636784 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18417] ppid=18402 vsize=14089220 memory=1628 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18417/stat : 18417 (java) S 18402 18402 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139931939584224 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18418] ppid=18402 vsize=14089220 memory=8876 CPUtime=0.43 cores=0,2,4,6
/proc/18404/task/18418/stat : 18418 (java) S 18402 18402 17249 0 -1 1077944384 794 0 0 0 22 21 0 0 20 0 15 0 65435569 14427361280 81148 33554432000 4194304 4196468 140737217796832 139931938532528 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
Current children cumulated CPU time: 715.4 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 326044 KiB
[startup+711.801 s]
/proc/loadavg: 1.86 1.84 1.85 3/218 18438
/proc/meminfo: memFree=17265776/32770624 swapFree=67108796/67108860
[pid=18402] ppid=18399 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18402/stat : 18402 (xcsp3-exec) S 18399 18402 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 65435562 115843072 363 33554432000 4194304 5098028 140732864404208 140732864402312 139849806135932 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19902464 140732864410683 140732864410884 140732864410884 140732864413642 0
/proc/18402/statm: 28282 363 306 221 0 87 0
[pid=18404] ppid=18402 vsize=14089220 memory=324592 CPUtime=715.6 cores=0,2,4,6
/proc/18404/stat : 18404 (java) S 18402 18402 17249 0 -1 1077944320 49120 0 0 0 71516 44 0 0 20 0 15 0 65435563 14427361280 81148 33554432000 4194304 4196468 140737217796832 140737217779376 139933409705719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
/proc/18404/statm: 3522305 81148 3378 1 0 3483520 0
[pid=18404/tid=18405] ppid=18402 vsize=14089220 memory=832 CPUtime=711.59 cores=0,2,4,6
/proc/18404/task/18405/stat : 18405 (java) R 18402 18402 17249 0 -1 4202560 12953 0 0 0 71154 5 0 0 20 0 15 0 65435563 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933413944416 139933008425422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18406] ppid=18402 vsize=14089220 memory=1600 CPUtime=0.09 cores=0,2,4,6
/proc/18404/task/18406/stat : 18406 (java) S 18402 18402 17249 0 -1 1077944384 885 0 0 0 5 4 0 0 20 0 15 0 65435564 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933324774032 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18407] ppid=18402 vsize=14089220 memory=5024 CPUtime=0.09 cores=0,2,4,6
/proc/18404/task/18407/stat : 18407 (java) S 18402 18402 17249 0 -1 1077944384 2009 0 0 0 5 4 0 0 20 0 15 0 65435564 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933004065296 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18408] ppid=18402 vsize=14089220 memory=4032 CPUtime=0.09 cores=0,2,4,6
/proc/18404/task/18408/stat : 18408 (java) S 18402 18402 17249 0 -1 1077944384 1028 0 0 0 5 4 0 0 20 0 15 0 65435564 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933003012496 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18409] ppid=18402 vsize=14089220 memory=1284 CPUtime=0.09 cores=0,2,4,6
/proc/18404/task/18409/stat : 18409 (java) S 18402 18402 17249 0 -1 1077944384 606 0 0 0 5 4 0 0 20 0 15 0 65435564 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933001959696 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18410] ppid=18402 vsize=14089220 memory=1088 CPUtime=0.02 cores=0,2,4,6
/proc/18404/task/18410/stat : 18410 (java) S 18402 18402 17249 0 -1 1077944384 1307 0 0 0 1 1 0 0 20 0 15 0 65435565 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932389301104 139933409716866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18411] ppid=18402 vsize=14089220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18411/stat : 18411 (java) S 18402 18402 17249 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 65435566 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932388247136 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18412] ppid=18402 vsize=14089220 memory=7012 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18412/stat : 18412 (java) S 18402 18402 17249 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 65435566 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932387194240 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18413] ppid=18402 vsize=14089220 memory=15044 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18413/stat : 18413 (java) S 18402 18402 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932386142544 139933409724315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18414] ppid=18402 vsize=14089220 memory=16628 CPUtime=1.31 cores=0,2,4,6
/proc/18404/task/18414/stat : 18414 (java) S 18402 18402 17249 0 -1 1077944384 12171 0 0 0 130 1 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932385089904 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18415] ppid=18402 vsize=14089220 memory=17804 CPUtime=1.34 cores=0,2,4,6
/proc/18404/task/18415/stat : 18415 (java) S 18402 18402 17249 0 -1 1077944384 10652 0 0 0 133 1 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139931941689584 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18416] ppid=18402 vsize=14089220 memory=4016 CPUtime=0.46 cores=0,2,4,6
/proc/18404/task/18416/stat : 18416 (java) S 18402 18402 17249 0 -1 1077944384 5375 0 0 0 46 0 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139931940636784 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18417] ppid=18402 vsize=14089220 memory=644 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18417/stat : 18417 (java) S 18402 18402 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139931939584224 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18418] ppid=18402 vsize=14089220 memory=1676 CPUtime=0.43 cores=0,2,4,6
/proc/18404/task/18418/stat : 18418 (java) S 18402 18402 17249 0 -1 1077944384 794 0 0 0 22 21 0 0 20 0 15 0 65435569 14427361280 81148 33554432000 4194304 4196468 140737217796832 139931938532528 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
Current children cumulated CPU time: 715.6 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 326044 KiB
[startup+711.901 s]
/proc/loadavg: 1.86 1.84 1.85 3/218 18438
/proc/meminfo: memFree=17265776/32770624 swapFree=67108796/67108860
[pid=18402] ppid=18399 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18402/stat : 18402 (xcsp3-exec) S 18399 18402 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 65435562 115843072 363 33554432000 4194304 5098028 140732864404208 140732864402312 139849806135932 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19902464 140732864410683 140732864410884 140732864410884 140732864413642 0
/proc/18402/statm: 28282 363 306 221 0 87 0
[pid=18404] ppid=18402 vsize=14089220 memory=324592 CPUtime=715.7 cores=0,2,4,6
/proc/18404/stat : 18404 (java) S 18402 18402 17249 0 -1 1077944320 49120 0 0 0 71526 44 0 0 20 0 15 0 65435563 14427361280 81148 33554432000 4194304 4196468 140737217796832 140737217779376 139933409705719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
/proc/18404/statm: 3522305 81148 3378 1 0 3483520 0
[pid=18404/tid=18405] ppid=18402 vsize=14089220 memory=324592 CPUtime=711.69 cores=0,2,4,6
/proc/18404/task/18405/stat : 18405 (java) R 18402 18402 17249 0 -1 4202560 12953 0 0 0 71164 5 0 0 20 0 15 0 65435563 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933413944416 139933008425202 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18406] ppid=18402 vsize=14089220 memory=324592 CPUtime=0.09 cores=0,2,4,6
/proc/18404/task/18406/stat : 18406 (java) S 18402 18402 17249 0 -1 1077944384 885 0 0 0 5 4 0 0 20 0 15 0 65435564 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933324774032 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18407] ppid=18402 vsize=14089220 memory=314420 CPUtime=0.09 cores=0,2,4,6
/proc/18404/task/18407/stat : 18407 (java) S 18402 18402 17249 0 -1 1077944384 2009 0 0 0 5 4 0 0 20 0 15 0 65435564 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933004065296 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18408] ppid=18402 vsize=14089220 memory=314436 CPUtime=0.09 cores=0,2,4,6
/proc/18404/task/18408/stat : 18408 (java) S 18402 18402 17249 0 -1 1077944384 1028 0 0 0 5 4 0 0 20 0 15 0 65435564 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933003012496 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18409] ppid=18402 vsize=14089220 memory=324592 CPUtime=0.09 cores=0,2,4,6
/proc/18404/task/18409/stat : 18409 (java) S 18402 18402 17249 0 -1 1077944384 606 0 0 0 5 4 0 0 20 0 15 0 65435564 14427361280 81148 33554432000 4194304 4196468 140737217796832 139933001959696 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18410] ppid=18402 vsize=14089220 memory=324592 CPUtime=0.02 cores=0,2,4,6
/proc/18404/task/18410/stat : 18410 (java) S 18402 18402 17249 0 -1 1077944384 1307 0 0 0 1 1 0 0 20 0 15 0 65435565 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932389301104 139933409716866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18411] ppid=18402 vsize=14089220 memory=324592 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18411/stat : 18411 (java) S 18402 18402 17249 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 65435566 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932388247136 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18412] ppid=18402 vsize=14089220 memory=324592 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18412/stat : 18412 (java) S 18402 18402 17249 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 65435566 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932387194240 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18413] ppid=18402 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18413/stat : 18413 (java) S 18402 18402 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932386142544 139933409724315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18414] ppid=18402 vsize=14089220 memory=1452 CPUtime=1.31 cores=0,2,4,6
/proc/18404/task/18414/stat : 18414 (java) S 18402 18402 17249 0 -1 1077944384 12171 0 0 0 130 1 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139932385089904 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18415] ppid=18402 vsize=14089220 memory=324592 CPUtime=1.34 cores=0,2,4,6
/proc/18404/task/18415/stat : 18415 (java) S 18402 18402 17249 0 -1 1077944384 10652 0 0 0 133 1 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139931941689584 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18416] ppid=18402 vsize=14089220 memory=1452 CPUtime=0.46 cores=0,2,4,6
/proc/18404/task/18416/stat : 18416 (java) S 18402 18402 17249 0 -1 1077944384 5375 0 0 0 46 0 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139931940636784 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18417] ppid=18402 vsize=14089220 memory=19740 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18417/stat : 18417 (java) S 18402 18402 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65435568 14427361280 81148 33554432000 4194304 4196468 140737217796832 139931939584224 139933409715925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
[pid=18404/tid=18418] ppid=18402 vsize=14089220 memory=960 CPUtime=0.43 cores=0,2,4,6
/proc/18404/task/18418/stat : 18418 (java) S 18402 18402 17249 0 -1 1077944384 794 0 0 0 22 21 0 0 20 0 15 0 65435569 14427361280 81148 33554432000 4194304 4196468 140737217796832 139931938532528 139933409716866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 23248896 140737217799297 140737217799473 140737217799473 140737217802191 0
Current children cumulated CPU time: 715.7 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 326044 KiB
Child status: 0
Real time (s): 711.976
CPU time (s): 715.791
CPU user time (s): 715.338
CPU system time (s): 0.453272
CPU usage (%): 100.536
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 326044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 715.338
system time used= 0.453272
maximum resident set size= 324956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50226
page faults= 0
swaps= 0
block input operations= 0
block output operations= 712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17863
involuntary context switches= 878
# summary of solver processes directly reported to runsolver:
# pid: 18402
# total CPU time (s): 715.791
# total CPU user time (s): 715.338
# total CPU system time (s): 0.453272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.77609 second user time and 6.63614 second system time
The end