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 (14899 MiB free)
memory of node 1: 16384 MiB (11999 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399239-1568694581/watcher-4399239-1568694581 -o /tmp/evaluation-result-4399239-1568694581/solver-4399239-1568694581 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568694133-19867 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1336427319 HOME/instance-4399239-1568694581.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=20756, runsolver pid=20753
[startup+0.100586 s]*
/proc/loadavg: 8.65 6.11 3.29 7/234 20772
/proc/meminfo: memFree=27529232/32770624 swapFree=66922404/67108860
[pid=20756] ppid=20753 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20756/stat : 20756 (xcsp3-exec) S 20753 20756 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445395940 115843072 363 33554432000 4194304 5098028 140726268433792 140726268431896 139987760906876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11767808 140726268437370 140726268437613 140726268437613 140726268440522 0
/proc/20756/statm: 28282 363 304 221 0 87 0
[pid=20758] ppid=20756 vsize=15144776 memory=29184 CPUtime=0.13 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20756 19836 0 -1 1077944320 5724 0 0 0 11 2 0 0 20 0 15 0 445395940 15508250624 7296 33554432000 4194304 4196468 140735346764784 140735346747328 139946019122935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
/proc/20758/statm: 3786194 7296 3180 1 0 3748377 0
[pid=20758/tid=20759] ppid=20756 vsize=15144776 memory=7100839878744900722 CPUtime=0.09 cores=0,2,4,6
/proc/20758/task/20759/stat : 20759 (java) R 20756 20756 19836 0 -1 4202560 3613 0 0 0 8 1 0 0 20 0 15 0 445395941 15508250624 7296 33554432000 4194304 4196468 140735346764784 139946023347344 139946003203422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20760] ppid=20756 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20760/stat : 20760 (java) S 20756 20756 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395942 15508250624 7296 33554432000 4194304 4196468 140735346764784 139945947163024 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20761] ppid=20756 vsize=15144776 memory=140113704687232 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20761/stat : 20761 (java) S 20756 20756 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395942 15508250624 7296 33554432000 4194304 4196468 140735346764784 139945946110224 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20762] ppid=20756 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20762/stat : 20762 (java) S 20756 20756 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395942 15508250624 7296 33554432000 4194304 4196468 140735346764784 139945945057936 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20763] ppid=20756 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20763/stat : 20763 (java) S 20756 20756 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445395942 15508250624 7296 33554432000 4194304 4196468 140735346764784 139945944005136 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20764] ppid=20756 vsize=15144776 memory=140113704687232 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20764/stat : 20764 (java) S 20756 20756 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445395943 15508250624 7296 33554432000 4194304 4196468 140735346764784 139944892299888 139946019134082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20765] ppid=20756 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20765/stat : 20765 (java) S 20756 20756 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445395943 15508250624 7296 33554432000 4194304 4196468 140735346764784 139944891245856 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20766] ppid=20756 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20766/stat : 20766 (java) S 20756 20756 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445395944 15508250624 7296 33554432000 4194304 4196468 140735346764784 139944890193520 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20767] ppid=20756 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20767/stat : 20767 (java) S 20756 20756 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445395946 15508250624 7296 33554432000 4194304 4196468 140735346764784 139944889141840 139946019141531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20768] ppid=20756 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20768/stat : 20768 (java) R 20756 20756 19836 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 445395946 15508250624 7296 33554432000 4194304 4196468 140735346764784 139944888088688 139946019134082 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20769] ppid=20756 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20769/stat : 20769 (java) R 20756 20756 19836 0 -1 4202560 152 0 0 0 0 0 0 0 20 0 15 0 445395946 15508250624 7296 33554432000 4194304 4196468 140735346764784 139944887027536 139945999568224 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20770] ppid=20756 vsize=15144776 memory=140113704687232 CPUtime=0.02 cores=0,2,4,6
/proc/20758/task/20770/stat : 20770 (java) R 20756 20756 19836 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 445395946 15508250624 7296 33554432000 4194304 4196468 140735346764784 139944885983600 139945997827675 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20771] ppid=20756 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20771/stat : 20771 (java) S 20756 20756 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445395946 15508250624 7296 33554432000 4194304 4196468 140735346764784 139944884931040 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20772] ppid=20756 vsize=15144776 memory=140113704687232 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20772/stat : 20772 (java) S 20756 20756 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395947 15508250624 7296 33554432000 4194304 4196468 140735346764784 139944883878832 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30636 KiB
[startup+0.21091 s]*
/proc/loadavg: 8.65 6.11 3.29 6/234 20772
/proc/meminfo: memFree=27515888/32770624 swapFree=66922404/67108860
[pid=20756] ppid=20753 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20756/stat : 20756 (xcsp3-exec) S 20753 20756 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445395940 115843072 363 33554432000 4194304 5098028 140726268433792 140726268431896 139987760906876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11767808 140726268437370 140726268437613 140726268437613 140726268440522 0
/proc/20756/statm: 28282 363 304 221 0 87 0
[pid=20758] ppid=20756 vsize=15144776 memory=40984 CPUtime=0.34 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20756 19836 0 -1 1077944320 9436 0 0 0 30 4 0 0 20 0 15 0 445395940 15508250624 10246 33554432000 4194304 4196468 140735346764784 140735346747328 139946019122935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
/proc/20758/statm: 3786194 10246 3315 1 0 3748377 0
[pid=20758/tid=20759] ppid=20756 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/20758/task/20759/stat : 20759 (java) R 20756 20756 19836 0 -1 4202560 6619 0 0 0 17 3 0 0 20 0 15 0 445395941 15508250624 10246 33554432000 4194304 4196468 140735346764784 139946023355664 139946019134870 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20760] ppid=20756 vsize=15144776 memory=2810770 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20760/stat : 20760 (java) S 20756 20756 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395942 15508250624 10246 33554432000 4194304 4196468 140735346764784 139945947163024 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20761] ppid=20756 vsize=15144776 memory=3689772628179719840 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20761/stat : 20761 (java) S 20756 20756 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395942 15508250624 10246 33554432000 4194304 4196468 140735346764784 139945946110224 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20762] ppid=20756 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20762/stat : 20762 (java) S 20756 20756 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395942 15508250624 10246 33554432000 4194304 4196468 140735346764784 139945945057936 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20763] ppid=20756 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20763/stat : 20763 (java) S 20756 20756 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445395942 15508250624 10246 33554432000 4194304 4196468 140735346764784 139945944005136 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20764] ppid=20756 vsize=15144776 memory=140113704687232 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20764/stat : 20764 (java) S 20756 20756 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445395943 15508250624 10246 33554432000 4194304 4196468 140735346764784 139944892299888 139946019134082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20765] ppid=20756 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20765/stat : 20765 (java) S 20756 20756 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445395943 15508250624 10246 33554432000 4194304 4196468 140735346764784 139944891245856 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20766] ppid=20756 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20766/stat : 20766 (java) S 20756 20756 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445395944 15508250624 10246 33554432000 4194304 4196468 140735346764784 139944890193520 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20767] ppid=20756 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20767/stat : 20767 (java) S 20756 20756 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445395946 15508250624 10246 33554432000 4194304 4196468 140735346764784 139944889141840 139946019141531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20768] ppid=20756 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20758/task/20768/stat : 20768 (java) S 20756 20756 19836 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 15 0 445395946 15508250624 10246 33554432000 4194304 4196468 140735346764784 139944888088688 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20769] ppid=20756 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/20758/task/20769/stat : 20769 (java) S 20756 20756 19836 0 -1 1077944384 406 0 0 0 3 0 0 0 20 0 15 0 445395946 15508250624 10246 33554432000 4194304 4196468 140735346764784 139944887035888 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20770] ppid=20756 vsize=15144776 memory=140113704687232 CPUtime=0.08 cores=0,2,4,6
/proc/20758/task/20770/stat : 20770 (java) R 20756 20756 19836 0 -1 4202560 769 0 0 0 8 0 0 0 20 0 15 0 445395946 15508250624 10246 33554432000 4194304 4196468 140735346764784 139944885983600 139946003203422 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20771] ppid=20756 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20771/stat : 20771 (java) S 20756 20756 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445395946 15508250624 10246 33554432000 4194304 4196468 140735346764784 139944884931040 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20772] ppid=20756 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20772/stat : 20772 (java) S 20756 20756 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395947 15508250624 10246 33554432000 4194304 4196468 140735346764784 139944883878832 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42436 KiB
[startup+0.310696 s]*
/proc/loadavg: 8.65 6.11 3.29 7/234 20772
/proc/meminfo: memFree=27511020/32770624 swapFree=66922404/67108860
[pid=20756] ppid=20753 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20756/stat : 20756 (xcsp3-exec) S 20753 20756 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445395940 115843072 363 33554432000 4194304 5098028 140726268433792 140726268431896 139987760906876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11767808 140726268437370 140726268437613 140726268437613 140726268440522 0
/proc/20756/statm: 28282 363 304 221 0 87 0
[pid=20758] ppid=20756 vsize=15149032 memory=49788 CPUtime=0.53 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20756 19836 0 -1 1077944320 10785 0 0 0 48 5 0 0 20 0 15 0 445395940 15512608768 12447 33554432000 4194304 4196468 140735346764784 140735346747328 139946019122935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
/proc/20758/statm: 3787258 12447 3357 1 0 3748377 0
[pid=20758/tid=20759] ppid=20756 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/20758/task/20759/stat : 20759 (java) R 20756 20756 19836 0 -1 4202560 7743 0 0 0 26 3 0 0 20 0 15 0 445395941 15512608768 12475 33554432000 4194304 4196468 140735346764784 139946023350608 139946003203422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20760] ppid=20756 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20760/stat : 20760 (java) S 20756 20756 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395942 15512608768 12475 33554432000 4194304 4196468 140735346764784 139945947163024 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20761] ppid=20756 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20761/stat : 20761 (java) S 20756 20756 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395942 15512608768 12475 33554432000 4194304 4196468 140735346764784 139945946110224 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20762] ppid=20756 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20762/stat : 20762 (java) S 20756 20756 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395942 15512608768 12475 33554432000 4194304 4196468 140735346764784 139945945057936 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20763] ppid=20756 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20763/stat : 20763 (java) S 20756 20756 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445395942 15512608768 12475 33554432000 4194304 4196468 140735346764784 139945944005136 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20764] ppid=20756 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20764/stat : 20764 (java) S 20756 20756 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445395943 15512608768 12475 33554432000 4194304 4196468 140735346764784 139944892299888 139946019134082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20765] ppid=20756 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20765/stat : 20765 (java) S 20756 20756 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445395943 15512608768 12475 33554432000 4194304 4196468 140735346764784 139944891245856 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20766] ppid=20756 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20766/stat : 20766 (java) S 20756 20756 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445395944 15512608768 12475 33554432000 4194304 4196468 140735346764784 139944890193520 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20767] ppid=20756 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20767/stat : 20767 (java) S 20756 20756 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445395946 15512608768 12475 33554432000 4194304 4196468 140735346764784 139944889141840 139946019141531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20768] ppid=20756 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=0,2,4,6
/proc/20758/task/20768/stat : 20768 (java) S 20756 20756 19836 0 -1 1077944384 366 0 0 0 3 0 0 0 20 0 15 0 445395946 15512608768 12475 33554432000 4194304 4196468 140735346764784 139944888088688 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20769] ppid=20756 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/20758/task/20769/stat : 20769 (java) R 20756 20756 19836 0 -1 4202560 497 0 0 0 5 0 0 0 20 0 15 0 445395946 15512608768 12475 33554432000 4194304 4196468 140735346764784 139944887035888 139945996774800 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20770] ppid=20756 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/20758/task/20770/stat : 20770 (java) S 20756 20756 19836 0 -1 1077944384 882 0 0 0 13 0 0 0 20 0 15 0 445395946 15512608768 12475 33554432000 4194304 4196468 140735346764784 139944885983600 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20771] ppid=20756 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20771/stat : 20771 (java) S 20756 20756 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445395946 15512608768 12475 33554432000 4194304 4196468 140735346764784 139944884931040 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20772] ppid=20756 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20772/stat : 20772 (java) S 20756 20756 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395947 15512608768 12475 33554432000 4194304 4196468 140735346764784 139944883878832 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51240 KiB
[startup+0.702121 s]
/proc/loadavg: 8.65 6.11 3.29 8/234 20772
/proc/meminfo: memFree=27495572/32770624 swapFree=66922404/67108860
[pid=20756] ppid=20753 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20756/stat : 20756 (xcsp3-exec) S 20753 20756 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445395940 115843072 363 33554432000 4194304 5098028 140726268433792 140726268431896 139987760906876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11767808 140726268437370 140726268437613 140726268437613 140726268440522 0
/proc/20756/statm: 28282 363 304 221 0 87 0
[pid=20758] ppid=20756 vsize=15417412 memory=99780 CPUtime=1.68 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20756 19836 0 -1 1077944320 15086 0 0 0 161 7 0 0 20 0 19 0 445395940 15787429888 24945 33554432000 4194304 4196468 140735346764784 140735346747328 139946019122935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
/proc/20758/statm: 3854353 24945 3462 1 0 3815453 0
[pid=20758/tid=20759] ppid=20756 vsize=15417412 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/20758/task/20759/stat : 20759 (java) S 20756 20756 19836 0 -1 1077944384 9242 0 0 0 59 5 0 0 20 0 19 0 445395941 15787429888 24945 33554432000 4194304 4196468 140735346764784 139946023363712 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20760] ppid=20756 vsize=15417412 memory=32656 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20760/stat : 20760 (java) S 20756 20756 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445395942 15787429888 24945 33554432000 4194304 4196468 140735346764784 139945947163024 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20761] ppid=20756 vsize=15417412 memory=988 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20761/stat : 20761 (java) S 20756 20756 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445395942 15787429888 24945 33554432000 4194304 4196468 140735346764784 139945946110224 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20762] ppid=20756 vsize=15417412 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20762/stat : 20762 (java) S 20756 20756 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445395942 15787429888 24945 33554432000 4194304 4196468 140735346764784 139945945057936 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20763] ppid=20756 vsize=15417412 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20763/stat : 20763 (java) S 20756 20756 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445395942 15787429888 24945 33554432000 4194304 4196468 140735346764784 139945944005136 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20764] ppid=20756 vsize=15417412 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20764/stat : 20764 (java) S 20756 20756 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445395943 15787429888 24945 33554432000 4194304 4196468 140735346764784 139944892299888 139946019134082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20765] ppid=20756 vsize=15417412 memory=5972 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20765/stat : 20765 (java) S 20756 20756 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445395943 15787429888 24945 33554432000 4194304 4196468 140735346764784 139944891245856 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20766] ppid=20756 vsize=15417412 memory=588 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20766/stat : 20766 (java) S 20756 20756 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445395944 15787429888 24945 33554432000 4194304 4196468 140735346764784 139944890193520 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20767] ppid=20756 vsize=15417412 memory=780 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20767/stat : 20767 (java) S 20756 20756 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445395946 15787429888 24945 33554432000 4194304 4196468 140735346764784 139944889141840 139946019141531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20768] ppid=20756 vsize=15417412 memory=1056 CPUtime=0.25 cores=0,2,4,6
/proc/20758/task/20768/stat : 20768 (java) S 20756 20756 19836 0 -1 1077944384 1101 0 0 0 24 1 0 0 20 0 19 0 445395946 15787429888 24945 33554432000 4194304 4196468 140735346764784 139944888081712 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20769] ppid=20756 vsize=15417412 memory=11620 CPUtime=0.29 cores=0,2,4,6
/proc/20758/task/20769/stat : 20769 (java) R 20756 20756 19836 0 -1 1077944384 1416 0 0 0 29 0 0 0 20 0 19 0 445395946 15787429888 24945 33554432000 4194304 4196468 140735346764784 139944887036016 139946019133141 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20770] ppid=20756 vsize=15417412 memory=3992 CPUtime=0.41 cores=0,2,4,6
/proc/20758/task/20770/stat : 20770 (java) R 20756 20756 19836 0 -1 4202560 1832 0 0 0 41 0 0 0 20 0 19 0 445395946 15787429888 24945 33554432000 4194304 4196468 140735346764784 139944885983728 139946003484722 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20771] ppid=20756 vsize=15417412 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20771/stat : 20771 (java) S 20756 20756 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445395946 15787429888 24945 33554432000 4194304 4196468 140735346764784 139944884931040 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20772] ppid=20756 vsize=15417412 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20772/stat : 20772 (java) S 20756 20756 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445395947 15787429888 24945 33554432000 4194304 4196468 140735346764784 139944883878832 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 101232 KiB
[startup+1.50123 s]
/proc/loadavg: 8.65 6.11 3.29 12/238 20887
/proc/meminfo: memFree=27359668/32770624 swapFree=66922404/67108860
[pid=20756] ppid=20753 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20756/stat : 20756 (xcsp3-exec) S 20753 20756 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445395940 115843072 363 33554432000 4194304 5098028 140726268433792 140726268431896 139987760906876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11767808 140726268437370 140726268437613 140726268437613 140726268440522 0
/proc/20756/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/20758/task/20772/stat : 20772 (java) S 20756 20756 19836 0 -1 1077944384 424 0 0 0 0 1 0 0 20 0 19 0 445395947 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944883878832 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20924] ppid=20756 vsize=15619152 memory=1056 CPUtime=96 cores=0,2,4,6
/proc/20758/task/20924/stat : 20924 (java) R 20756 20756 19836 0 -1 4202560 572 0 0 0 9599 1 0 0 20 0 19 0 445396170 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944558151792 139945625562365 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20925] ppid=20756 vsize=15619152 memory=11620 CPUtime=96.06 cores=0,2,4,6
/proc/20758/task/20925/stat : 20925 (java) R 20756 20756 19836 0 -1 4202560 2247 0 0 0 9605 1 0 0 20 0 19 0 445396170 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944872792312 139945625562179 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20926] ppid=20756 vsize=15619152 memory=3992 CPUtime=96.07 cores=0,2,4,6
/proc/20758/task/20926/stat : 20926 (java) R 20756 20756 19836 0 -1 4202560 1634 0 0 0 9607 0 0 0 20 0 19 0 445396170 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944870686440 139945625562589 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20927] ppid=20756 vsize=15619152 memory=2828 CPUtime=96.07 cores=0,2,4,6
/proc/20758/task/20927/stat : 20927 (java) R 20756 20756 19836 0 -1 4202560 1088 0 0 0 9607 0 0 0 20 0 19 0 445396171 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944873844928 139945626235230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
Current children cumulated CPU time: 393.64 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 290160 KiB
[startup+99.6044 s]
/proc/loadavg: 8.95 6.94 3.88 10/239 20943
/proc/meminfo: memFree=27468556/32770624 swapFree=66922404/67108860
[pid=20756] ppid=20753 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20756/stat : 20756 (xcsp3-exec) S 20753 20756 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445395940 115843072 363 33554432000 4194304 5098028 140726268433792 140726268431896 139987760906876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11767808 140726268437370 140726268437613 140726268437613 140726268440522 0
/proc/20756/statm: 28282 363 304 221 0 87 0
[pid=20758] ppid=20756 vsize=15619152 memory=288708 CPUtime=395.24 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20756 19836 0 -1 1077944320 48975 0 0 0 39505 19 0 0 20 0 19 0 445395940 15994011648 72177 33554432000 4194304 4196468 140735346764784 140735346747328 139946019122935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
/proc/20758/statm: 3904788 72177 3530 1 0 3865888 0
[pid=20758/tid=20759] ppid=20756 vsize=15619152 memory=2692 CPUtime=0.66 cores=0,2,4,6
/proc/20758/task/20759/stat : 20759 (java) S 20756 20756 19836 0 -1 1077944384 9246 0 0 0 61 5 0 0 20 0 19 0 445395941 15994011648 72177 33554432000 4194304 4196468 140735346764784 139946023363712 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20760] ppid=20756 vsize=15619152 memory=1412 CPUtime=0.04 cores=0,2,4,6
/proc/20758/task/20760/stat : 20760 (java) S 20756 20756 19836 0 -1 1077944384 731 0 0 0 3 1 0 0 20 0 19 0 445395942 15994011648 72177 33554432000 4194304 4196468 140735346764784 139945947163024 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20761] ppid=20756 vsize=15619152 memory=3260 CPUtime=0.03 cores=0,2,4,6
/proc/20758/task/20761/stat : 20761 (java) S 20756 20756 19836 0 -1 1077944384 1359 0 0 0 3 0 0 0 20 0 19 0 445395942 15994011648 72177 33554432000 4194304 4196468 140735346764784 139945946110224 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20762] ppid=20756 vsize=15619152 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/20758/task/20762/stat : 20762 (java) S 20756 20756 19836 0 -1 1077944384 1478 0 0 0 3 0 0 0 20 0 19 0 445395942 15994011648 72177 33554432000 4194304 4196468 140735346764784 139945945057936 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20763] ppid=20756 vsize=15619152 memory=3202556 CPUtime=0.03 cores=0,2,4,6
/proc/20758/task/20763/stat : 20763 (java) S 20756 20756 19836 0 -1 1077944384 1240 0 0 0 3 0 0 0 20 0 19 0 445395942 15994011648 72177 33554432000 4194304 4196468 140735346764784 139945944005136 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20764] ppid=20756 vsize=15619152 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/20758/task/20764/stat : 20764 (java) S 20756 20756 19836 0 -1 1077944384 1304 0 0 0 2 0 0 0 20 0 19 0 445395943 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944892299888 139946019134082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20765] ppid=20756 vsize=15619152 memory=288708 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20765/stat : 20765 (java) S 20756 20756 19836 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 445395943 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944891245920 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20766] ppid=20756 vsize=15619152 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20766/stat : 20766 (java) S 20756 20756 19836 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 445395944 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944890193536 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20767] ppid=20756 vsize=15619152 memory=300504 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20767/stat : 20767 (java) S 20756 20756 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445395946 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944889141840 139946019141531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20768] ppid=20756 vsize=15619152 memory=1580 CPUtime=1.84 cores=0,2,4,6
/proc/20758/task/20768/stat : 20768 (java) S 20756 20756 19836 0 -1 1077944384 8630 0 0 0 182 2 0 0 20 0 19 0 445395946 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944888088688 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20769] ppid=20756 vsize=15619152 memory=4642197910265684584 CPUtime=2.1 cores=0,2,4,6
/proc/20758/task/20769/stat : 20769 (java) S 20756 20756 19836 0 -1 1077944384 9305 0 0 0 209 1 0 0 20 0 19 0 445395946 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944887035888 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20770] ppid=20756 vsize=15619152 memory=3616 CPUtime=0.76 cores=0,2,4,6
/proc/20758/task/20770/stat : 20770 (java) S 20756 20756 19836 0 -1 1077944384 5560 0 0 0 76 0 0 0 20 0 19 0 445395946 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944885983600 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20771] ppid=20756 vsize=15619152 memory=32660 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20771/stat : 20771 (java) S 20756 20756 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445395946 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944884931040 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20772] ppid=20756 vsize=15619152 memory=988 CPUtime=0.01 cores=0,2,4,6
/proc/20758/task/20772/stat : 20772 (java) S 20756 20756 19836 0 -1 1077944384 424 0 0 0 0 1 0 0 20 0 19 0 445395947 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944883878832 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20924] ppid=20756 vsize=15619152 memory=2012 CPUtime=96.4 cores=0,2,4,6
/proc/20758/task/20924/stat : 20924 (java) R 20756 20756 19836 0 -1 4202560 572 0 0 0 9639 1 0 0 20 0 19 0 445396170 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944558151792 139945625562389 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20925] ppid=20756 vsize=15619152 memory=1324 CPUtime=96.46 cores=0,2,4,6
/proc/20758/task/20925/stat : 20925 (java) R 20756 20756 19836 0 -1 4202560 2248 0 0 0 9645 1 0 0 20 0 19 0 445396170 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944872792312 139945626405093 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20926] ppid=20756 vsize=15619152 memory=1704 CPUtime=96.47 cores=0,2,4,6
/proc/20758/task/20926/stat : 20926 (java) R 20756 20756 19836 0 -1 4202560 1634 0 0 0 9647 0 0 0 20 0 19 0 445396170 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944870686440 139945625561630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20927] ppid=20756 vsize=15619152 memory=5972 CPUtime=96.47 cores=0,2,4,6
/proc/20758/task/20927/stat : 20927 (java) R 20756 20756 19836 0 -1 4202560 1088 0 0 0 9647 0 0 0 20 0 19 0 445396171 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944873844928 139945626234636 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
Current children cumulated CPU time: 395.24 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 290160 KiB
[startup+100.004 s]*
/proc/loadavg: 8.95 6.94 3.88 9/239 20943
/proc/meminfo: memFree=27468548/32770624 swapFree=66922404/67108860
[pid=20756] ppid=20753 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20756/stat : 20756 (xcsp3-exec) S 20753 20756 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445395940 115843072 363 33554432000 4194304 5098028 140726268433792 140726268431896 139987760906876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11767808 140726268437370 140726268437613 140726268437613 140726268440522 0
/proc/20756/statm: 28282 363 304 221 0 87 0
[pid=20758] ppid=20756 vsize=15619152 memory=288708 CPUtime=396.86 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20756 19836 0 -1 1077944320 48976 0 0 0 39667 19 0 0 20 0 19 0 445395940 15994011648 72177 33554432000 4194304 4196468 140735346764784 140735346747328 139946019122935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
/proc/20758/statm: 3904788 72177 3530 1 0 3865888 0
[pid=20758/tid=20759] ppid=20756 vsize=15619152 memory=8317482817917895235 CPUtime=0.66 cores=0,2,4,6
/proc/20758/task/20759/stat : 20759 (java) S 20756 20756 19836 0 -1 1077944384 9246 0 0 0 61 5 0 0 20 0 19 0 445395941 15994011648 72177 33554432000 4194304 4196468 140735346764784 139946023363712 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20760] ppid=20756 vsize=15619152 memory=4872558044660077418 CPUtime=0.04 cores=0,2,4,6
/proc/20758/task/20760/stat : 20760 (java) S 20756 20756 19836 0 -1 1077944384 731 0 0 0 3 1 0 0 20 0 19 0 445395942 15994011648 72177 33554432000 4194304 4196468 140735346764784 139945947163024 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20761] ppid=20756 vsize=15619152 memory=3007299 CPUtime=0.03 cores=0,2,4,6
/proc/20758/task/20761/stat : 20761 (java) S 20756 20756 19836 0 -1 1077944384 1359 0 0 0 3 0 0 0 20 0 19 0 445395942 15994011648 72177 33554432000 4194304 4196468 140735346764784 139945946110224 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20762] ppid=20756 vsize=15619152 memory=-7809909592676519770 CPUtime=0.03 cores=0,2,4,6
/proc/20758/task/20762/stat : 20762 (java) S 20756 20756 19836 0 -1 1077944384 1478 0 0 0 3 0 0 0 20 0 19 0 445395942 15994011648 72177 33554432000 4194304 4196468 140735346764784 139945945057936 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20763] ppid=20756 vsize=15619152 memory=-6396143665598196068 CPUtime=0.03 cores=0,2,4,6
/proc/20758/task/20763/stat : 20763 (java) S 20756 20756 19836 0 -1 1077944384 1240 0 0 0 3 0 0 0 20 0 19 0 445395942 15994011648 72177 33554432000 4194304 4196468 140735346764784 139945944005136 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20764] ppid=20756 vsize=15619152 memory=9197644171346680226 CPUtime=0.02 cores=0,2,4,6
/proc/20758/task/20764/stat : 20764 (java) S 20756 20756 19836 0 -1 1077944384 1304 0 0 0 2 0 0 0 20 0 19 0 445395943 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944892299888 139946019134082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20765] ppid=20756 vsize=15619152 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20765/stat : 20765 (java) S 20756 20756 19836 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 445395943 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944891245920 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20766] ppid=20756 vsize=15619152 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20766/stat : 20766 (java) S 20756 20756 19836 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 445395944 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944890193536 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20767] ppid=20756 vsize=15619152 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20767/stat : 20767 (java) S 20756 20756 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445395946 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944889141840 139946019141531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20768] ppid=20756 vsize=15619152 memory=6655300316396806240 CPUtime=1.84 cores=0,2,4,6
/proc/20758/task/20768/stat : 20768 (java) S 20756 20756 19836 0 -1 1077944384 8630 0 0 0 182 2 0 0 20 0 19 0 445395946 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944888088688 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20769] ppid=20756 vsize=15619152 memory=6944656592455359580 CPUtime=2.1 cores=0,2,4,6
/proc/20758/task/20769/stat : 20769 (java) S 20756 20756 19836 0 -1 1077944384 9305 0 0 0 209 1 0 0 20 0 19 0 445395946 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944887035888 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20770] ppid=20756 vsize=15619152 memory=6655300316396806240 CPUtime=0.76 cores=0,2,4,6
/proc/20758/task/20770/stat : 20770 (java) S 20756 20756 19836 0 -1 1077944384 5560 0 0 0 76 0 0 0 20 0 19 0 445395946 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944885983600 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20771] ppid=20756 vsize=15619152 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20771/stat : 20771 (java) S 20756 20756 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445395946 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944884931040 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20772] ppid=20756 vsize=15619152 memory=6944656575208382560 CPUtime=0.01 cores=0,2,4,6
/proc/20758/task/20772/stat : 20772 (java) S 20756 20756 19836 0 -1 1077944384 424 0 0 0 0 1 0 0 20 0 19 0 445395947 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944883878832 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20924] ppid=20756 vsize=15619152 memory=6944652177228980320 CPUtime=96.81 cores=0,2,4,6
/proc/20758/task/20924/stat : 20924 (java) R 20756 20756 19836 0 -1 4202560 572 0 0 0 9680 1 0 0 20 0 19 0 445396170 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944558151792 139945626879911 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20925] ppid=20756 vsize=15619152 memory=-6007362509463928468 CPUtime=96.87 cores=0,2,4,6
/proc/20758/task/20925/stat : 20925 (java) R 20756 20756 19836 0 -1 4202560 2248 0 0 0 9686 1 0 0 20 0 19 0 445396170 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944872792312 139945625562466 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20926] ppid=20756 vsize=15619152 memory=6081665334931450980 CPUtime=96.86 cores=0,2,4,6
/proc/20758/task/20926/stat : 20926 (java) R 20756 20756 19836 0 -1 4202560 1635 0 0 0 9686 0 0 0 20 0 19 0 445396170 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944870686440 139945626404279 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20927] ppid=20756 vsize=15619152 memory=1412 CPUtime=96.88 cores=0,2,4,6
/proc/20758/task/20927/stat : 20927 (java) R 20756 20756 19836 0 -1 4202560 1088 0 0 0 9688 0 0 0 20 0 19 0 445396171 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944873844928 139945621689703 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
Current children cumulated CPU time: 396.86 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 290160 KiB
[startup+100.115 s]
/proc/loadavg: 8.95 6.94 3.88 9/239 20943
/proc/meminfo: memFree=27468548/32770624 swapFree=66922404/67108860
[pid=20756] ppid=20753 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20756/stat : 20756 (xcsp3-exec) S 20753 20756 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445395940 115843072 363 33554432000 4194304 5098028 140726268433792 140726268431896 139987760906876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11767808 140726268437370 140726268437613 140726268437613 140726268440522 0
/proc/20756/statm: 28282 363 304 221 0 87 0
[pid=20758] ppid=20756 vsize=15619152 memory=288708 CPUtime=397.27 cores=0,2,4,6
/proc/20758/stat : 20758 (java) S 20756 20756 19836 0 -1 1077944320 48977 0 0 0 39708 19 0 0 20 0 19 0 445395940 15994011648 72177 33554432000 4194304 4196468 140735346764784 140735346747328 139946019122935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
/proc/20758/statm: 3904788 72177 3530 1 0 3865888 0
[pid=20758/tid=20759] ppid=20756 vsize=15619152 memory=300504 CPUtime=0.66 cores=0,2,4,6
/proc/20758/task/20759/stat : 20759 (java) S 20756 20756 19836 0 -1 1077944384 9246 0 0 0 61 5 0 0 20 0 19 0 445395941 15994011648 72177 33554432000 4194304 4196468 140735346764784 139946023363712 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20760] ppid=20756 vsize=15619152 memory=300504 CPUtime=0.04 cores=0,2,4,6
/proc/20758/task/20760/stat : 20760 (java) S 20756 20756 19836 0 -1 1077944384 731 0 0 0 3 1 0 0 20 0 19 0 445395942 15994011648 72177 33554432000 4194304 4196468 140735346764784 139945947163024 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20761] ppid=20756 vsize=15619152 memory=288708 CPUtime=0.03 cores=0,2,4,6
/proc/20758/task/20761/stat : 20761 (java) S 20756 20756 19836 0 -1 1077944384 1359 0 0 0 3 0 0 0 20 0 19 0 445395942 15994011648 72177 33554432000 4194304 4196468 140735346764784 139945946110224 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20762] ppid=20756 vsize=15619152 memory=288708 CPUtime=0.03 cores=0,2,4,6
/proc/20758/task/20762/stat : 20762 (java) S 20756 20756 19836 0 -1 1077944384 1478 0 0 0 3 0 0 0 20 0 19 0 445395942 15994011648 72177 33554432000 4194304 4196468 140735346764784 139945945057936 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20763] ppid=20756 vsize=15619152 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/20758/task/20763/stat : 20763 (java) S 20756 20756 19836 0 -1 1077944384 1240 0 0 0 3 0 0 0 20 0 19 0 445395942 15994011648 72177 33554432000 4194304 4196468 140735346764784 139945944005136 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20764] ppid=20756 vsize=15619152 memory=1000 CPUtime=0.02 cores=0,2,4,6
/proc/20758/task/20764/stat : 20764 (java) S 20756 20756 19836 0 -1 1077944384 1304 0 0 0 2 0 0 0 20 0 19 0 445395943 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944892299888 139946019134082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20765] ppid=20756 vsize=15619152 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20765/stat : 20765 (java) S 20756 20756 19836 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 445395943 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944891245920 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20766] ppid=20756 vsize=15619152 memory=300504 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20766/stat : 20766 (java) S 20756 20756 19836 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 445395944 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944890193536 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20767] ppid=20756 vsize=15619152 memory=312816 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20767/stat : 20767 (java) S 20756 20756 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445395946 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944889141840 139946019141531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20768] ppid=20756 vsize=15619152 memory=3616 CPUtime=1.84 cores=0,2,4,6
/proc/20758/task/20768/stat : 20768 (java) S 20756 20756 19836 0 -1 1077944384 8630 0 0 0 182 2 0 0 20 0 19 0 445395946 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944888088688 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20769] ppid=20756 vsize=15619152 memory=1452 CPUtime=2.1 cores=0,2,4,6
/proc/20758/task/20769/stat : 20769 (java) S 20756 20756 19836 0 -1 1077944384 9305 0 0 0 209 1 0 0 20 0 19 0 445395946 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944887035888 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20770] ppid=20756 vsize=15619152 memory=300504 CPUtime=0.76 cores=0,2,4,6
/proc/20758/task/20770/stat : 20770 (java) S 20756 20756 19836 0 -1 1077944384 5560 0 0 0 76 0 0 0 20 0 19 0 445395946 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944885983600 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20771] ppid=20756 vsize=15619152 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20758/task/20771/stat : 20771 (java) S 20756 20756 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445395946 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944884931040 139946019133141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20772] ppid=20756 vsize=15619152 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/20758/task/20772/stat : 20772 (java) S 20756 20756 19836 0 -1 1077944384 424 0 0 0 0 1 0 0 20 0 19 0 445395947 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944883878832 139946019134082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20924] ppid=20756 vsize=15619152 memory=1452 CPUtime=96.92 cores=0,2,4,6
/proc/20758/task/20924/stat : 20924 (java) R 20756 20756 19836 0 -1 4202560 572 0 0 0 9691 1 0 0 20 0 19 0 445396170 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944558151792 139945625562042 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20925] ppid=20756 vsize=15619152 memory=3616 CPUtime=96.98 cores=0,2,4,6
/proc/20758/task/20925/stat : 20925 (java) R 20756 20756 19836 0 -1 4202560 2248 0 0 0 9697 1 0 0 20 0 19 0 445396170 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944872792312 139945627252574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20926] ppid=20756 vsize=15619152 memory=321540 CPUtime=96.97 cores=0,2,4,6
/proc/20758/task/20926/stat : 20926 (java) R 20756 20756 19836 0 -1 4202560 1636 0 0 0 9697 0 0 0 20 0 19 0 445396170 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944870686440 139945625742537 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
[pid=20758/tid=20927] ppid=20756 vsize=15619152 memory=215304 CPUtime=96.99 cores=0,2,4,6
/proc/20758/task/20927/stat : 20927 (java) R 20756 20756 19836 0 -1 4202560 1088 0 0 0 9699 0 0 0 20 0 19 0 445396171 15994011648 72177 33554432000 4194304 4196468 140735346764784 139944873844928 139945625562161 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27140096 140735346766831 140735346767002 140735346767002 140735346769871 0
Current children cumulated CPU time: 397.27 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 290160 KiB
Child status: 0
Real time (s): 100.171
CPU time (s): 397.471
CPU user time (s): 397.273
CPU system time (s): 0.197707
CPU usage (%): 396.793
Max. virtual memory (cumulated for all children) (KiB): 15732280
Max. memory (cumulated for all children) (KiB): 346036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 397.273
system time used= 0.197707
maximum resident set size= 350268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50587
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6035
involuntary context switches= 7081
# summary of solver processes directly reported to runsolver:
# pid: 20756
# total CPU time (s): 397.471
# total CPU user time (s): 397.273
# total CPU system time (s): 0.197707
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.633936 second user time and 1.1138 second system time
The end