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 (9795 MiB free)
memory of node 1: 16384 MiB (12659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301951-1532887111/watcher-4301951-1532887111 -o /tmp/evaluation-result-4301951-1532887111/solver-4301951-1532887111 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6428 --watchdog 312 HOME/xcsp3-exec -seed 1414525080 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301951-1532887111.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=14003, runsolver pid=14000
[startup+0.100238 s]*
/proc/loadavg: 2.02 2.01 1.95 3/217 14019
/proc/meminfo: memFree=22973944/32770624 swapFree=67108860/67108860
[pid=14003] ppid=14000 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14003/stat : 14003 (xcsp3-exec) S 14000 14003 6396 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 106274313 115843072 363 33554432000 4194304 5098028 140725152373968 140725152372072 140642881307260 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19210240 140725152375872 140725152376073 140725152376073 140725152378826 0
/proc/14003/statm: 28282 363 306 221 0 87 0
[pid=14005] ppid=14003 vsize=14082940 memory=31556 CPUtime=0.11 cores=1,3,5,7
/proc/14005/stat : 14005 (java) S 14003 14003 6396 0 -1 1077944320 5742 0 0 0 10 1 0 0 20 0 15 0 106274313 14420930560 7889 33554432000 4194304 4196468 140721816616240 140721816598784 139868761202423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
/proc/14005/statm: 3520735 7889 3014 1 0 3483012 0
[pid=14005/tid=14006] ppid=14003 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/14005/task/14006/stat : 14006 (java) R 14003 14003 6396 0 -1 4202560 3751 0 0 0 8 1 0 0 20 0 15 0 106274313 14420930560 7889 33554432000 4194304 4196468 140721816616240 139868765435696 139868745246053 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14007] ppid=14003 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14007/stat : 14007 (java) S 14003 14003 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106274314 14420930560 7889 33554432000 4194304 4196468 140721816616240 139868698802704 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14008] ppid=14003 vsize=14082940 memory=139725328500352 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14008/stat : 14008 (java) S 14003 14003 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106274314 14420930560 7889 33554432000 4194304 4196468 140721816616240 139868355697296 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14009] ppid=14003 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14009/stat : 14009 (java) S 14003 14003 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106274314 14420930560 7889 33554432000 4194304 4196468 140721816616240 139868354644240 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14010] ppid=14003 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14010/stat : 14010 (java) S 14003 14003 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106274314 14420930560 7889 33554432000 4194304 4196468 140721816616240 139868353591696 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14011] ppid=14003 vsize=14082940 memory=139725328500352 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14011/stat : 14011 (java) S 14003 14003 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106274315 14420930560 7889 33554432000 4194304 4196468 140721816616240 139868302547696 139868761213570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14012] ppid=14003 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14012/stat : 14012 (java) S 14003 14003 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106274316 14420930560 7889 33554432000 4194304 4196468 140721816616240 139868301493920 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14013] ppid=14003 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14013/stat : 14013 (java) S 14003 14003 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106274316 14420930560 7889 33554432000 4194304 4196468 140721816616240 139868300440816 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14014] ppid=14003 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14014/stat : 14014 (java) S 14003 14003 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106274318 14420930560 7889 33554432000 4194304 4196468 140721816616240 139868299389392 139868761221019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14015] ppid=14003 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14015/stat : 14015 (java) S 14003 14003 6396 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 106274318 14420930560 7889 33554432000 4194304 4196468 140721816616240 139868298336496 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14016] ppid=14003 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14016/stat : 14016 (java) S 14003 14003 6396 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 106274318 14420930560 7889 33554432000 4194304 4196468 140721816616240 139868297283952 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14017] ppid=14003 vsize=14082940 memory=139725328500352 CPUtime=0.01 cores=1,3,5,7
/proc/14005/task/14017/stat : 14017 (java) S 14003 14003 6396 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 15 0 106274319 14420930560 7889 33554432000 4194304 4196468 140721816616240 139868296230896 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14018] ppid=14003 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14018/stat : 14018 (java) S 14003 14003 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106274319 14420930560 7889 33554432000 4194304 4196468 140721816616240 139867665459552 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14019] ppid=14003 vsize=14082940 memory=139725328500352 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14019/stat : 14019 (java) S 14003 14003 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106274319 14420930560 7889 33554432000 4194304 4196468 140721816616240 139867664407600 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 33008 KiB
[startup+0.212378 s]*
/proc/loadavg: 2.02 2.01 1.95 4/217 14019
/proc/meminfo: memFree=22962780/32770624 swapFree=67108860/67108860
[pid=14003] ppid=14000 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14003/stat : 14003 (xcsp3-exec) S 14000 14003 6396 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 106274313 115843072 363 33554432000 4194304 5098028 140725152373968 140725152372072 140642881307260 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19210240 140725152375872 140725152376073 140725152376073 140725152378826 0
/proc/14003/statm: 28282 363 306 221 0 87 0
[pid=14005] ppid=14003 vsize=14082940 memory=43140 CPUtime=0.34 cores=1,3,5,7
/proc/14005/stat : 14005 (java) S 14003 14003 6396 0 -1 1077944320 8313 0 0 0 31 3 0 0 20 0 15 0 106274313 14420930560 10785 33554432000 4194304 4196468 140721816616240 140721816598784 139868761202423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
/proc/14005/statm: 3520735 10785 3192 1 0 3483012 0
[pid=14005/tid=14006] ppid=14003 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/14005/task/14006/stat : 14006 (java) R 14003 14003 6396 0 -1 4202560 5462 0 0 0 18 1 0 0 20 0 15 0 106274313 14420930560 10785 33554432000 4194304 4196468 140721816616240 139868765436960 139868745282910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14007] ppid=14003 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14007/stat : 14007 (java) S 14003 14003 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106274314 14420930560 10785 33554432000 4194304 4196468 140721816616240 139868698802704 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14008] ppid=14003 vsize=14082940 memory=3473040880013035168 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14008/stat : 14008 (java) S 14003 14003 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106274314 14420930560 10785 33554432000 4194304 4196468 140721816616240 139868355697296 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14009] ppid=14003 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14009/stat : 14009 (java) S 14003 14003 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106274314 14420930560 10785 33554432000 4194304 4196468 140721816616240 139868354644240 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14010] ppid=14003 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14010/stat : 14010 (java) S 14003 14003 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106274314 14420930560 10785 33554432000 4194304 4196468 140721816616240 139868353591696 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14011] ppid=14003 vsize=14082940 memory=139725328500352 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14011/stat : 14011 (java) S 14003 14003 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106274315 14420930560 10785 33554432000 4194304 4196468 140721816616240 139868302547696 139868761213570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14012] ppid=14003 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14012/stat : 14012 (java) S 14003 14003 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106274316 14420930560 10785 33554432000 4194304 4196468 140721816616240 139868301493920 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14013] ppid=14003 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14013/stat : 14013 (java) S 14003 14003 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106274316 14420930560 10785 33554432000 4194304 4196468 140721816616240 139868300440816 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14014] ppid=14003 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14014/stat : 14014 (java) S 14003 14003 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106274318 14420930560 10785 33554432000 4194304 4196468 140721816616240 139868299389392 139868761221019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14015] ppid=14003 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14005/task/14015/stat : 14015 (java) S 14003 14003 6396 0 -1 1077944384 634 0 0 0 3 0 0 0 20 0 15 0 106274318 14420930560 10785 33554432000 4194304 4196468 140721816616240 139868298336496 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14016] ppid=14003 vsize=14082940 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14005/task/14016/stat : 14016 (java) S 14003 14003 6396 0 -1 1077944384 157 0 0 0 1 0 0 0 20 0 15 0 106274318 14420930560 10785 33554432000 4194304 4196468 140721816616240 139868297283952 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14017] ppid=14003 vsize=14082940 memory=139725328500352 CPUtime=0.07 cores=1,3,5,7
/proc/14005/task/14017/stat : 14017 (java) S 14003 14003 6396 0 -1 1077944384 762 0 0 0 7 0 0 0 20 0 15 0 106274319 14420930560 10785 33554432000 4194304 4196468 140721816616240 139868296230896 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14018] ppid=14003 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14018/stat : 14018 (java) S 14003 14003 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106274319 14420930560 10785 33554432000 4194304 4196468 140721816616240 139867665459552 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14019] ppid=14003 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14019/stat : 14019 (java) S 14003 14003 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106274319 14420930560 10785 33554432000 4194304 4196468 140721816616240 139867664407600 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 44592 KiB
[startup+0.311516 s]*
/proc/loadavg: 2.02 2.01 1.95 4/217 14019
/proc/meminfo: memFree=22956328/32770624 swapFree=67108860/67108860
[pid=14003] ppid=14000 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14003/stat : 14003 (xcsp3-exec) S 14000 14003 6396 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 106274313 115843072 363 33554432000 4194304 5098028 140725152373968 140725152372072 140642881307260 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19210240 140725152375872 140725152376073 140725152376073 140725152378826 0
/proc/14003/statm: 28282 363 306 221 0 87 0
[pid=14005] ppid=14003 vsize=14087196 memory=50116 CPUtime=0.53 cores=1,3,5,7
/proc/14005/stat : 14005 (java) S 14003 14003 6396 0 -1 1077944320 9207 0 0 0 49 4 0 0 20 0 15 0 106274313 14425288704 12529 33554432000 4194304 4196468 140721816616240 140721816598784 139868761202423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
/proc/14005/statm: 3521799 12529 3245 1 0 3483012 0
[pid=14005/tid=14006] ppid=14003 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/14005/task/14006/stat : 14006 (java) R 14003 14003 6396 0 -1 4202560 6166 0 0 0 27 2 0 0 20 0 15 0 106274313 14425288704 12529 33554432000 4194304 4196468 140721816616240 139868765436816 139868745282910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14007] ppid=14003 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14007/stat : 14007 (java) S 14003 14003 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106274314 14425288704 12529 33554432000 4194304 4196468 140721816616240 139868698802704 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14008] ppid=14003 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14008/stat : 14008 (java) S 14003 14003 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106274314 14425288704 12529 33554432000 4194304 4196468 140721816616240 139868355697296 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14009] ppid=14003 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14009/stat : 14009 (java) S 14003 14003 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106274314 14425288704 12529 33554432000 4194304 4196468 140721816616240 139868354644240 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14010] ppid=14003 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14010/stat : 14010 (java) S 14003 14003 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106274314 14425288704 12529 33554432000 4194304 4196468 140721816616240 139868353591696 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14011] ppid=14003 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14011/stat : 14011 (java) S 14003 14003 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106274315 14425288704 12529 33554432000 4194304 4196468 140721816616240 139868302547696 139868761213570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14012] ppid=14003 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14012/stat : 14012 (java) S 14003 14003 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106274316 14425288704 12529 33554432000 4194304 4196468 140721816616240 139868301493920 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14013] ppid=14003 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14013/stat : 14013 (java) S 14003 14003 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106274316 14425288704 12529 33554432000 4194304 4196468 140721816616240 139868300440816 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14014] ppid=14003 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14014/stat : 14014 (java) S 14003 14003 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106274318 14425288704 12529 33554432000 4194304 4196468 140721816616240 139868299389392 139868761221019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14015] ppid=14003 vsize=14087196 memory=4628975386420216973 CPUtime=0.05 cores=1,3,5,7
/proc/14005/task/14015/stat : 14015 (java) S 14003 14003 6396 0 -1 1077944384 651 0 0 0 5 0 0 0 20 0 15 0 106274318 14425288704 12529 33554432000 4194304 4196468 140721816616240 139868298336496 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14016] ppid=14003 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/14005/task/14016/stat : 14016 (java) S 14003 14003 6396 0 -1 1077944384 265 0 0 0 4 0 0 0 20 0 15 0 106274318 14425288704 12529 33554432000 4194304 4196468 140721816616240 139868297283952 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14017] ppid=14003 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/14005/task/14017/stat : 14017 (java) S 14003 14003 6396 0 -1 1077944384 826 0 0 0 12 0 0 0 20 0 15 0 106274319 14425288704 12529 33554432000 4194304 4196468 140721816616240 139868296230896 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14018] ppid=14003 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14018/stat : 14018 (java) S 14003 14003 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106274319 14425288704 12529 33554432000 4194304 4196468 140721816616240 139867665459552 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14019] ppid=14003 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14019/stat : 14019 (java) S 14003 14003 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106274319 14425288704 12529 33554432000 4194304 4196468 140721816616240 139867664407600 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 51568 KiB
[startup+0.701388 s]
/proc/loadavg: 2.02 2.01 1.95 6/217 14019
/proc/meminfo: memFree=22935236/32770624 swapFree=67108860/67108860
[pid=14003] ppid=14000 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14003/stat : 14003 (xcsp3-exec) S 14000 14003 6396 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 106274313 115843072 363 33554432000 4194304 5098028 140725152373968 140725152372072 140642881307260 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19210240 140725152375872 140725152376073 140725152376073 140725152378826 0
/proc/14003/statm: 28282 363 306 221 0 87 0
[pid=14005] ppid=14003 vsize=14089320 memory=94420 CPUtime=1.7 cores=1,3,5,7
/proc/14005/stat : 14005 (java) S 14003 14003 6396 0 -1 1077944320 13210 0 0 0 165 5 0 0 20 0 15 0 106274313 14427463680 23605 33554432000 4194304 4196468 140721816616240 140721816598784 139868761202423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
/proc/14005/statm: 3522330 23605 3352 1 0 3483524 0
[pid=14005/tid=14006] ppid=14003 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/14005/task/14006/stat : 14006 (java) R 14003 14003 6396 0 -1 4202560 6986 0 0 0 64 3 0 0 20 0 15 0 106274313 14427463680 23605 33554432000 4194304 4196468 140721816616240 139868765439536 139868381904901 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14007] ppid=14003 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14007/stat : 14007 (java) S 14003 14003 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106274314 14427463680 23605 33554432000 4194304 4196468 140721816616240 139868698802704 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14008] ppid=14003 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14008/stat : 14008 (java) S 14003 14003 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106274314 14427463680 23605 33554432000 4194304 4196468 140721816616240 139868355697296 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14009] ppid=14003 vsize=14089320 memory=30236 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14009/stat : 14009 (java) S 14003 14003 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106274314 14427463680 23605 33554432000 4194304 4196468 140721816616240 139868354644240 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14010] ppid=14003 vsize=14089320 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14010/stat : 14010 (java) S 14003 14003 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106274314 14427463680 23605 33554432000 4194304 4196468 140721816616240 139868353591696 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14011] ppid=14003 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14011/stat : 14011 (java) S 14003 14003 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106274315 14427463680 23605 33554432000 4194304 4196468 140721816616240 139868302547696 139868761213570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14012] ppid=14003 vsize=14089320 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14012/stat : 14012 (java) S 14003 14003 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106274316 14427463680 23605 33554432000 4194304 4196468 140721816616240 139868301493920 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14013] ppid=14003 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14013/stat : 14013 (java) S 14003 14003 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106274316 14427463680 23605 33554432000 4194304 4196468 140721816616240 139868300440816 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14014] ppid=14003 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14014/stat : 14014 (java) S 14003 14003 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106274318 14427463680 23605 33554432000 4194304 4196468 140721816616240 139868299389392 139868761221019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14015] ppid=14003 vsize=14089320 memory=5408 CPUtime=0.28 cores=1,3,5,7
/proc/14005/task/14015/stat : 14015 (java) R 14003 14003 6396 0 -1 4202560 1768 0 0 0 28 0 0 0 20 0 15 0 106274318 14427463680 23605 33554432000 4194304 4196468 140721816616240 139868298322520 139868744586976 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14016] ppid=14003 vsize=14089320 memory=1008 CPUtime=0.29 cores=1,3,5,7
/proc/14005/task/14016/stat : 14016 (java) R 14003 14003 6396 0 -1 4202560 1043 0 0 0 29 0 0 0 20 0 15 0 106274318 14427463680 23605 33554432000 4194304 4196468 140721816616240 139868297268272 139868741954859 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14017] ppid=14003 vsize=14089320 memory=9992 CPUtime=0.43 cores=1,3,5,7
/proc/14005/task/14017/stat : 14017 (java) R 14003 14003 6396 0 -1 4202560 2106 0 0 0 42 1 0 0 20 0 15 0 106274319 14427463680 23605 33554432000 4194304 4196468 140721816616240 139868296227832 139868754302270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14018] ppid=14003 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14018/stat : 14018 (java) S 14003 14003 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106274319 14427463680 23605 33554432000 4194304 4196468 140721816616240 139867665459552 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14019] ppid=14003 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14019/stat : 14019 (java) S 14003 14003 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106274319 14427463680 23605 33554432000 4194304 4196468 140721816616240 139867664407600 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 95872 KiB
[startup+1.50088 s]
/proc/loadavg: 2.02 2.01 1.95 6/217 14019
/proc/meminfo: memFree=22883516/32770624 swapFree=67108860/67108860
[pid=14003] ppid=14000 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14003/stat : 14003 (xcsp3-exec) S 14000 14003 6396 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 106274313 115843072 363 33554432000 4194304 5098028 140725152373968 140725152372072 140642881307260 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19210240 140725152375872 140725152376073 140725152376073 140725152378826 0
/proc/14003/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/14003/stat : 14003 (xcsp3-exec) S 14000 14003 6396 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 106274313 115843072 363 33554432000 4194304 5098028 140725152373968 140725152372072 140642881307260 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19210240 140725152375872 140725152376073 140725152376073 140725152378826 0
/proc/14003/statm: 28282 363 306 221 0 87 0
[pid=14005] ppid=14003 vsize=14089320 memory=215320 CPUtime=30.67 cores=1,3,5,7
/proc/14005/stat : 14005 (java) S 14003 14003 6396 0 -1 1077944320 41973 0 0 0 3056 11 0 0 20 0 15 0 106274313 14427463680 53830 33554432000 4194304 4196468 140721816616240 140721816598784 139868761202423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
/proc/14005/statm: 3522330 53830 3408 1 0 3483524 0
[pid=14005/tid=14006] ppid=14003 vsize=14089320 memory=30236 CPUtime=27.12 cores=1,3,5,7
/proc/14005/task/14006/stat : 14006 (java) R 14003 14003 6396 0 -1 4202560 9340 0 0 0 2708 4 0 0 20 0 15 0 106274313 14427463680 53830 33554432000 4194304 4196468 140721816616240 139868765441696 139868385171303 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14007] ppid=14003 vsize=14089320 memory=1292 CPUtime=0.01 cores=1,3,5,7
/proc/14005/task/14007/stat : 14007 (java) S 14003 14003 6396 0 -1 1077944384 819 0 0 0 1 0 0 0 20 0 15 0 106274314 14427463680 53830 33554432000 4194304 4196468 140721816616240 139868698802704 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14008] ppid=14003 vsize=14089320 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/14005/task/14008/stat : 14008 (java) S 14003 14003 6396 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 106274314 14427463680 53830 33554432000 4194304 4196468 140721816616240 139868355697296 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14009] ppid=14003 vsize=14089320 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/14005/task/14009/stat : 14009 (java) S 14003 14003 6396 0 -1 1077944384 491 0 0 0 1 0 0 0 20 0 15 0 106274314 14427463680 53830 33554432000 4194304 4196468 140721816616240 139868354644240 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14010] ppid=14003 vsize=14089320 memory=931856 CPUtime=0.01 cores=1,3,5,7
/proc/14005/task/14010/stat : 14010 (java) S 14003 14003 6396 0 -1 1077944384 1311 0 0 0 1 0 0 0 20 0 15 0 106274314 14427463680 53830 33554432000 4194304 4196468 140721816616240 139868353591696 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14011] ppid=14003 vsize=14089320 memory=1408 CPUtime=0.01 cores=1,3,5,7
/proc/14005/task/14011/stat : 14011 (java) S 14003 14003 6396 0 -1 1077944384 913 0 0 0 1 0 0 0 20 0 15 0 106274315 14427463680 53830 33554432000 4194304 4196468 140721816616240 139868302547696 139868761213570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14012] ppid=14003 vsize=14089320 memory=56 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14012/stat : 14012 (java) S 14003 14003 6396 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 106274316 14427463680 53830 33554432000 4194304 4196468 140721816616240 139868301493920 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14013] ppid=14003 vsize=14089320 memory=7234576917979478634 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14013/stat : 14013 (java) S 14003 14003 6396 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 106274316 14427463680 53830 33554432000 4194304 4196468 140721816616240 139868300440816 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14014] ppid=14003 vsize=14089320 memory=-9001733975035308135 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14014/stat : 14014 (java) S 14003 14003 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106274318 14427463680 53830 33554432000 4194304 4196468 140721816616240 139868299389392 139868761221019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14015] ppid=14003 vsize=14089320 memory=4209357772117481859 CPUtime=1.35 cores=1,3,5,7
/proc/14005/task/14015/stat : 14015 (java) S 14003 14003 6396 0 -1 1077944384 10455 0 0 0 134 1 0 0 20 0 15 0 106274318 14427463680 53830 33554432000 4194304 4196468 140721816616240 139868298336496 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14016] ppid=14003 vsize=14089320 memory=7510432583741839257 CPUtime=1.43 cores=1,3,5,7
/proc/14005/task/14016/stat : 14016 (java) S 14003 14003 6396 0 -1 1077944384 10834 0 0 0 141 2 0 0 20 0 15 0 106274318 14427463680 53830 33554432000 4194304 4196468 140721816616240 139868297283952 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14017] ppid=14003 vsize=14089320 memory=215320 CPUtime=0.62 cores=1,3,5,7
/proc/14005/task/14017/stat : 14017 (java) S 14003 14003 6396 0 -1 1077944384 5195 0 0 0 61 1 0 0 20 0 15 0 106274319 14427463680 53830 33554432000 4194304 4196468 140721816616240 139868296230896 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14018] ppid=14003 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14018/stat : 14018 (java) S 14003 14003 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106274319 14427463680 53830 33554432000 4194304 4196468 140721816616240 139867665459552 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14019] ppid=14003 vsize=14089320 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14019/stat : 14019 (java) S 14003 14003 6396 0 -1 1077944384 960 0 0 0 0 0 0 0 20 0 15 0 106274319 14427463680 53830 33554432000 4194304 4196468 140721816616240 139867664407600 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
Current children cumulated CPU time: 30.67 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 216772 KiB
[startup+28.8008 s]
/proc/loadavg: 1.96 2.00 1.95 3/217 14019
/proc/meminfo: memFree=22785228/32770624 swapFree=67108860/67108860
[pid=14003] ppid=14000 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14003/stat : 14003 (xcsp3-exec) S 14000 14003 6396 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 106274313 115843072 363 33554432000 4194304 5098028 140725152373968 140725152372072 140642881307260 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19210240 140725152375872 140725152376073 140725152376073 140725152378826 0
/proc/14003/statm: 28282 363 306 221 0 87 0
[pid=14005] ppid=14003 vsize=14089320 memory=212752 CPUtime=32.27 cores=1,3,5,7
/proc/14005/stat : 14005 (java) S 14003 14003 6396 0 -1 1077944320 42070 0 0 0 3216 11 0 0 20 0 15 0 106274313 14427463680 53188 33554432000 4194304 4196468 140721816616240 140721816598784 139868761202423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
/proc/14005/statm: 3522330 53188 3408 1 0 3483524 0
[pid=14005/tid=14006] ppid=14003 vsize=14089320 memory=5911750213964844521 CPUtime=28.72 cores=1,3,5,7
/proc/14005/task/14006/stat : 14006 (java) R 14003 14003 6396 0 -1 4202560 9427 0 0 0 2868 4 0 0 20 0 15 0 106274313 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868765441344 139868383976525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14007] ppid=14003 vsize=14089320 memory=739410800085800113 CPUtime=0.01 cores=1,3,5,7
/proc/14005/task/14007/stat : 14007 (java) S 14003 14003 6396 0 -1 1077944384 820 0 0 0 1 0 0 0 20 0 15 0 106274314 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868698802704 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14008] ppid=14003 vsize=14089320 memory=8319222865919181460 CPUtime=0.01 cores=1,3,5,7
/proc/14005/task/14008/stat : 14008 (java) S 14003 14003 6396 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 106274314 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868355697296 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14009] ppid=14003 vsize=14089320 memory=3472468021378847440 CPUtime=0.02 cores=1,3,5,7
/proc/14005/task/14009/stat : 14009 (java) S 14003 14003 6396 0 -1 1077944384 492 0 0 0 2 0 0 0 20 0 15 0 106274314 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868354644240 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14010] ppid=14003 vsize=14089320 memory=4785048659696849648 CPUtime=0.02 cores=1,3,5,7
/proc/14005/task/14010/stat : 14010 (java) S 14003 14003 6396 0 -1 1077944384 1313 0 0 0 2 0 0 0 20 0 15 0 106274314 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868353591696 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14011] ppid=14003 vsize=14089320 memory=139725218276064 CPUtime=0.01 cores=1,3,5,7
/proc/14005/task/14011/stat : 14011 (java) S 14003 14003 6396 0 -1 1077944384 919 0 0 0 1 0 0 0 20 0 15 0 106274315 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868302547696 139868761213570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14012] ppid=14003 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14012/stat : 14012 (java) S 14003 14003 6396 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 106274316 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868301493920 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14013] ppid=14003 vsize=14089320 memory=14134428972616243 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14013/stat : 14013 (java) S 14003 14003 6396 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 106274316 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868300440816 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14014] ppid=14003 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14014/stat : 14014 (java) S 14003 14003 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106274318 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868299389392 139868761221019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14015] ppid=14003 vsize=14089320 memory=215820 CPUtime=1.35 cores=1,3,5,7
/proc/14005/task/14015/stat : 14015 (java) S 14003 14003 6396 0 -1 1077944384 10455 0 0 0 134 1 0 0 20 0 15 0 106274318 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868298336496 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14016] ppid=14003 vsize=14089320 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/14005/task/14016/stat : 14016 (java) S 14003 14003 6396 0 -1 1077944384 10834 0 0 0 141 2 0 0 20 0 15 0 106274318 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868297283952 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14017] ppid=14003 vsize=14089320 memory=288230583149265199 CPUtime=0.62 cores=1,3,5,7
/proc/14005/task/14017/stat : 14017 (java) S 14003 14003 6396 0 -1 1077944384 5195 0 0 0 61 1 0 0 20 0 15 0 106274319 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868296230896 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14018] ppid=14003 vsize=14089320 memory=14411510181004820 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14018/stat : 14018 (java) S 14003 14003 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106274319 14427463680 53188 33554432000 4194304 4196468 140721816616240 139867665459552 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14019] ppid=14003 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14019/stat : 14019 (java) S 14003 14003 6396 0 -1 1077944384 960 0 0 0 0 0 0 0 20 0 15 0 106274319 14427463680 53188 33554432000 4194304 4196468 140721816616240 139867664407600 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
Current children cumulated CPU time: 32.27 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 214204 KiB
[startup+29.6008 s]
/proc/loadavg: 1.96 2.00 1.95 3/217 14019
/proc/meminfo: memFree=22787828/32770624 swapFree=67108860/67108860
[pid=14003] ppid=14000 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14003/stat : 14003 (xcsp3-exec) S 14000 14003 6396 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 106274313 115843072 363 33554432000 4194304 5098028 140725152373968 140725152372072 140642881307260 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19210240 140725152375872 140725152376073 140725152376073 140725152378826 0
/proc/14003/statm: 28282 363 306 221 0 87 0
[pid=14005] ppid=14003 vsize=14089320 memory=212752 CPUtime=33.08 cores=1,3,5,7
/proc/14005/stat : 14005 (java) S 14003 14003 6396 0 -1 1077944320 42085 0 0 0 3297 11 0 0 20 0 15 0 106274313 14427463680 53188 33554432000 4194304 4196468 140721816616240 140721816598784 139868761202423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
/proc/14005/statm: 3522330 53188 3408 1 0 3483524 0
[pid=14005/tid=14006] ppid=14003 vsize=14089320 memory=1728 CPUtime=29.52 cores=1,3,5,7
/proc/14005/task/14006/stat : 14006 (java) R 14003 14003 6396 0 -1 4202560 9433 0 0 0 2948 4 0 0 20 0 15 0 106274313 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868765441344 139868384444989 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14007] ppid=14003 vsize=14089320 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14005/task/14007/stat : 14007 (java) S 14003 14003 6396 0 -1 1077944384 820 0 0 0 2 0 0 0 20 0 15 0 106274314 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868698802704 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14008] ppid=14003 vsize=14089320 memory=4128 CPUtime=0.01 cores=1,3,5,7
/proc/14005/task/14008/stat : 14008 (java) S 14003 14003 6396 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 106274314 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868355697296 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14009] ppid=14003 vsize=14089320 memory=30236 CPUtime=0.02 cores=1,3,5,7
/proc/14005/task/14009/stat : 14009 (java) S 14003 14003 6396 0 -1 1077944384 493 0 0 0 2 0 0 0 20 0 15 0 106274314 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868354644240 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14010] ppid=14003 vsize=14089320 memory=1292 CPUtime=0.02 cores=1,3,5,7
/proc/14005/task/14010/stat : 14010 (java) S 14003 14003 6396 0 -1 1077944384 1314 0 0 0 2 0 0 0 20 0 15 0 106274314 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868353591696 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14011] ppid=14003 vsize=14089320 memory=2416 CPUtime=0.02 cores=1,3,5,7
/proc/14005/task/14011/stat : 14011 (java) S 14003 14003 6396 0 -1 1077944384 919 0 0 0 2 0 0 0 20 0 15 0 106274315 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868302547696 139868761213570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14012] ppid=14003 vsize=14089320 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14012/stat : 14012 (java) S 14003 14003 6396 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 106274316 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868301493920 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14013] ppid=14003 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14013/stat : 14013 (java) S 14003 14003 6396 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 106274316 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868300440816 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14014] ppid=14003 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14014/stat : 14014 (java) S 14003 14003 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106274318 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868299389392 139868761221019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14015] ppid=14003 vsize=14089320 memory=5408 CPUtime=1.35 cores=1,3,5,7
/proc/14005/task/14015/stat : 14015 (java) S 14003 14003 6396 0 -1 1077944384 10457 0 0 0 134 1 0 0 20 0 15 0 106274318 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868298336496 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14016] ppid=14003 vsize=14089320 memory=1008 CPUtime=1.43 cores=1,3,5,7
/proc/14005/task/14016/stat : 14016 (java) S 14003 14003 6396 0 -1 1077944384 10836 0 0 0 141 2 0 0 20 0 15 0 106274318 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868297283952 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14017] ppid=14003 vsize=14089320 memory=9992 CPUtime=0.62 cores=1,3,5,7
/proc/14005/task/14017/stat : 14017 (java) S 14003 14003 6396 0 -1 1077944384 5197 0 0 0 61 1 0 0 20 0 15 0 106274319 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868296230896 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14018] ppid=14003 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14018/stat : 14018 (java) S 14003 14003 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106274319 14427463680 53188 33554432000 4194304 4196468 140721816616240 139867665459552 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14019] ppid=14003 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14019/stat : 14019 (java) S 14003 14003 6396 0 -1 1077944384 960 0 0 0 0 0 0 0 20 0 15 0 106274319 14427463680 53188 33554432000 4194304 4196468 140721816616240 139867664407600 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
Current children cumulated CPU time: 33.08 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 214204 KiB
[startup+29.8008 s]
/proc/loadavg: 1.96 2.00 1.95 3/217 14019
/proc/meminfo: memFree=22787828/32770624 swapFree=67108860/67108860
[pid=14003] ppid=14000 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14003/stat : 14003 (xcsp3-exec) S 14000 14003 6396 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 106274313 115843072 363 33554432000 4194304 5098028 140725152373968 140725152372072 140642881307260 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19210240 140725152375872 140725152376073 140725152376073 140725152378826 0
/proc/14003/statm: 28282 363 306 221 0 87 0
[pid=14005] ppid=14003 vsize=14089320 memory=212752 CPUtime=33.28 cores=1,3,5,7
/proc/14005/stat : 14005 (java) S 14003 14003 6396 0 -1 1077944320 42085 0 0 0 3317 11 0 0 20 0 15 0 106274313 14427463680 53188 33554432000 4194304 4196468 140721816616240 140721816598784 139868761202423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
/proc/14005/statm: 3522330 53188 3408 1 0 3483524 0
[pid=14005/tid=14006] ppid=14003 vsize=14089320 memory=960 CPUtime=29.72 cores=1,3,5,7
/proc/14005/task/14006/stat : 14006 (java) R 14003 14003 6396 0 -1 4202560 9433 0 0 0 2968 4 0 0 20 0 15 0 106274313 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868765441344 139868385533698 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14007] ppid=14003 vsize=14089320 memory=1232 CPUtime=0.02 cores=1,3,5,7
/proc/14005/task/14007/stat : 14007 (java) S 14003 14003 6396 0 -1 1077944384 820 0 0 0 2 0 0 0 20 0 15 0 106274314 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868698802704 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14008] ppid=14003 vsize=14089320 memory=2344 CPUtime=0.01 cores=1,3,5,7
/proc/14005/task/14008/stat : 14008 (java) S 14003 14003 6396 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 106274314 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868355697296 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14009] ppid=14003 vsize=14089320 memory=932 CPUtime=0.02 cores=1,3,5,7
/proc/14005/task/14009/stat : 14009 (java) S 14003 14003 6396 0 -1 1077944384 493 0 0 0 2 0 0 0 20 0 15 0 106274314 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868354644240 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14010] ppid=14003 vsize=14089320 memory=1580 CPUtime=0.02 cores=1,3,5,7
/proc/14005/task/14010/stat : 14010 (java) S 14003 14003 6396 0 -1 1077944384 1314 0 0 0 2 0 0 0 20 0 15 0 106274314 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868353591696 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14011] ppid=14003 vsize=14089320 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/14005/task/14011/stat : 14011 (java) S 14003 14003 6396 0 -1 1077944384 919 0 0 0 2 0 0 0 20 0 15 0 106274315 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868302547696 139868761213570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14012] ppid=14003 vsize=14089320 memory=215320 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14012/stat : 14012 (java) S 14003 14003 6396 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 106274316 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868301493920 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14013] ppid=14003 vsize=14089320 memory=636 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14013/stat : 14013 (java) S 14003 14003 6396 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 106274316 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868300440816 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14014] ppid=14003 vsize=14089320 memory=960 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14014/stat : 14014 (java) S 14003 14003 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106274318 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868299389392 139868761221019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14015] ppid=14003 vsize=14089320 memory=1232 CPUtime=1.35 cores=1,3,5,7
/proc/14005/task/14015/stat : 14015 (java) S 14003 14003 6396 0 -1 1077944384 10457 0 0 0 134 1 0 0 20 0 15 0 106274318 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868298336496 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14016] ppid=14003 vsize=14089320 memory=2344 CPUtime=1.43 cores=1,3,5,7
/proc/14005/task/14016/stat : 14016 (java) S 14003 14003 6396 0 -1 1077944384 10836 0 0 0 141 2 0 0 20 0 15 0 106274318 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868297283952 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14017] ppid=14003 vsize=14089320 memory=932 CPUtime=0.62 cores=1,3,5,7
/proc/14005/task/14017/stat : 14017 (java) S 14003 14003 6396 0 -1 1077944384 5197 0 0 0 61 1 0 0 20 0 15 0 106274319 14427463680 53188 33554432000 4194304 4196468 140721816616240 139868296230896 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14018] ppid=14003 vsize=14089320 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14018/stat : 14018 (java) S 14003 14003 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106274319 14427463680 53188 33554432000 4194304 4196468 140721816616240 139867665459552 139868761212629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
[pid=14005/tid=14019] ppid=14003 vsize=14089320 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/14005/task/14019/stat : 14019 (java) S 14003 14003 6396 0 -1 1077944384 960 0 0 0 0 0 0 0 20 0 15 0 106274319 14427463680 53188 33554432000 4194304 4196468 140721816616240 139867664407600 139868761213570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 38617088 140721816618124 140721816618294 140721816618294 140721816621007 0
Current children cumulated CPU time: 33.28 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 214204 KiB
Child status: 0
Real time (s): 29.895
CPU time (s): 33.3812
CPU user time (s): 33.2598
CPU system time (s): 0.12138
CPU usage (%): 111.661
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 220200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.2598
system time used= 0.12138
maximum resident set size= 218748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43392
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3142
involuntary context switches= 72
# summary of solver processes directly reported to runsolver:
# pid: 14003
# total CPU time (s): 33.3812
# total CPU user time (s): 33.2598
# total CPU system time (s): 0.12138
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.178966 second user time and 0.334318 second system time
The end