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 (14925 MiB free)
memory of node 1: 16384 MiB (14732 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272428-1502767946/watcher-4272428-1502767946 -o /tmp/evaluation-result-4272428-1502767946/solver-4272428-1502767946 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1100986741 HOME/instance-4272428-1502767946.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
solver pid=31008, runsolver pid=31005
Current StackSize limit: 8192 KiB
[startup+0.1002 s]*
/proc/loadavg: 1.85 1.71 1.68 3/202 31015
/proc/meminfo: memFree=30363080/32770624 swapFree=67108860/67108860
[pid=31008] ppid=31005 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31008/stat : 31008 (xcsp3-exec) S 31005 31008 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 79015206 9740288 345 18446744073709551615 4194304 5098028 140721155609168 140721155607272 140611134198396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 9015296 140721155617144 140721155617349 140721155617349 140721155620843 0
/proc/31008/statm: 2378 345 289 221 0 87 0
[pid=31010] ppid=31008 vsize=13574484 memory=16412 CPUtime=0.01 cores=0,2,4,6
/proc/31010/stat : 31010 (java) S 31008 31008 897 0 -1 1077944320 3948 0 0 0 1 0 0 0 20 0 9 0 79015214 13900271616 4103 18446744073709551615 4194304 4196468 140722799950864 140722799933408 139852324720375 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
/proc/31010/statm: 3393621 4103 2065 1 0 3383118 0
[pid=31010/tid=31011] ppid=31008 vsize=13574484 memory=7311146985107750967 CPUtime=0.01 cores=0,2,4,6
/proc/31010/task/31011/stat : 31011 (java) R 31008 31008 897 0 -1 4202560 2655 0 0 0 1 0 0 0 20 0 9 0 79015215 13900271616 4103 18446744073709551615 4194304 4196468 140722799950864 139852328956136 139852308800862 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31012] ppid=31008 vsize=13574484 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31012/stat : 31012 (java) S 31008 31008 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 79015215 13900271616 4103 18446744073709551615 4194304 4196468 140722799950864 139852259154832 139852324730581 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31013] ppid=31008 vsize=13574484 memory=140395583289826 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31013/stat : 31013 (java) S 31008 31008 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 79015215 13900271616 4103 18446744073709551615 4194304 4196468 140722799950864 139852258102032 139852324730581 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31014] ppid=31008 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31014/stat : 31014 (java) S 31008 31008 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 79015215 13900271616 4103 18446744073709551615 4194304 4196468 140722799950864 139852257049744 139852324730581 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31015] ppid=31008 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31015/stat : 31015 (java) S 31008 31008 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 79015215 13900271616 4103 18446744073709551615 4194304 4196468 140722799950864 139851921538064 139852324730581 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31016] ppid=31008 vsize=13574484 memory=140395583260288 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31016/stat : 31016 (java) S 31008 31008 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 79015217 13900271616 4103 18446744073709551615 4194304 4196468 140722799950864 139851803297904 139852324731522 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31017] ppid=31008 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31017/stat : 31017 (java) S 31008 31008 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 79015217 13900271616 4103 18446744073709551615 4194304 4196468 140722799950864 139851802243872 139852324730581 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31018] ppid=31008 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31018/stat : 31018 (java) S 31008 31008 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 79015217 13900271616 4103 18446744073709551615 4194304 4196468 140722799950864 139851801191600 139852324730581 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 17792 KiB
[startup+0.209937 s]*
/proc/loadavg: 1.85 1.71 1.68 4/211 31024
/proc/meminfo: memFree=30353196/32770624 swapFree=67108860/67108860
[pid=31008] ppid=31005 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31008/stat : 31008 (xcsp3-exec) S 31005 31008 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 79015206 9740288 345 18446744073709551615 4194304 5098028 140721155609168 140721155607272 140611134198396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 9015296 140721155617144 140721155617349 140721155617349 140721155620843 0
/proc/31008/statm: 2378 345 289 221 0 87 0
[pid=31010] ppid=31008 vsize=13974352 memory=28436 CPUtime=0.13 cores=0,2,4,6
/proc/31010/stat : 31010 (java) S 31008 31008 897 0 -1 1077944320 5569 0 0 0 11 2 0 0 20 0 15 0 79015214 14309736448 7109 18446744073709551615 4194304 4196468 140722799950864 140722799933408 139852324720375 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
/proc/31010/statm: 3493588 7109 2843 1 0 3482964 0
[pid=31010/tid=31011] ppid=31008 vsize=13974352 memory=7311146985107750967 CPUtime=0.09 cores=0,2,4,6
/proc/31010/task/31011/stat : 31011 (java) R 31008 31008 897 0 -1 4202560 3506 0 0 0 8 1 0 0 20 0 15 0 79015215 14309736448 7109 18446744073709551615 4194304 4196468 140722799950864 139852328956800 139852324742301 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31012] ppid=31008 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31012/stat : 31012 (java) S 31008 31008 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79015215 14309736448 7109 18446744073709551615 4194304 4196468 140722799950864 139852259154832 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31013] ppid=31008 vsize=13974352 memory=140395583289826 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31013/stat : 31013 (java) S 31008 31008 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79015215 14309736448 7109 18446744073709551615 4194304 4196468 140722799950864 139852258102032 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31014] ppid=31008 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31014/stat : 31014 (java) S 31008 31008 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79015215 14309736448 7109 18446744073709551615 4194304 4196468 140722799950864 139852257049744 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31015] ppid=31008 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31015/stat : 31015 (java) S 31008 31008 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79015215 14309736448 7109 18446744073709551615 4194304 4196468 140722799950864 139851921538064 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31016] ppid=31008 vsize=13974352 memory=140395583260288 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31016/stat : 31016 (java) S 31008 31008 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79015217 14309736448 7109 18446744073709551615 4194304 4196468 140722799950864 139851803297904 139852324731522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31017] ppid=31008 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31017/stat : 31017 (java) S 31008 31008 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79015217 14309736448 7109 18446744073709551615 4194304 4196468 140722799950864 139851802243872 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31018] ppid=31008 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31018/stat : 31018 (java) S 31008 31008 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79015217 14309736448 7109 18446744073709551615 4194304 4196468 140722799950864 139851801191536 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31019] ppid=31008 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31019/stat : 31019 (java) S 31008 31008 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79015220 14309736448 7109 18446744073709551615 4194304 4196468 140722799950864 139851800139856 139852324738971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31020] ppid=31008 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31020/stat : 31020 (java) S 31008 31008 897 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 79015220 14309736448 7109 18446744073709551615 4194304 4196468 140722799950864 139851799087728 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31021] ppid=31008 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31021/stat : 31021 (java) S 31008 31008 897 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 79015220 14309736448 7109 18446744073709551615 4194304 4196468 140722799950864 139851798034928 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31022] ppid=31008 vsize=13974352 memory=140395583260288 CPUtime=0.01 cores=0,2,4,6
/proc/31010/task/31022/stat : 31022 (java) S 31008 31008 897 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 15 0 79015220 14309736448 7109 18446744073709551615 4194304 4196468 140722799950864 139851796982640 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31023] ppid=31008 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31023/stat : 31023 (java) S 31008 31008 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79015220 14309736448 7109 18446744073709551615 4194304 4196468 140722799950864 139851795930080 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31024] ppid=31008 vsize=13974352 memory=140395583260288 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31024/stat : 31024 (java) S 31008 31008 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79015223 14309736448 7109 18446744073709551615 4194304 4196468 140722799950864 139851794876848 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29816 KiB
[startup+0.310337 s]*
/proc/loadavg: 1.85 1.71 1.68 4/211 31024
/proc/meminfo: memFree=30340108/32770624 swapFree=67108860/67108860
[pid=31008] ppid=31005 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31008/stat : 31008 (xcsp3-exec) S 31005 31008 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 79015206 9740288 345 18446744073709551615 4194304 5098028 140721155609168 140721155607272 140611134198396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 9015296 140721155617144 140721155617349 140721155617349 140721155620843 0
/proc/31008/statm: 2378 345 289 221 0 87 0
[pid=31010] ppid=31008 vsize=13978608 memory=40024 CPUtime=0.33 cores=0,2,4,6
/proc/31010/stat : 31010 (java) S 31008 31008 897 0 -1 1077944320 9258 0 0 0 29 4 0 0 20 0 15 0 79015214 14314094592 10006 18446744073709551615 4194304 4196468 140722799950864 140722799933408 139852324720375 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
/proc/31010/statm: 3494652 10006 3003 1 0 3482964 0
[pid=31010/tid=31011] ppid=31008 vsize=13978608 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/31010/task/31011/stat : 31011 (java) R 31008 31008 897 0 -1 4202560 6387 0 0 0 17 2 0 0 20 0 15 0 79015215 14314094592 10006 18446744073709551615 4194304 4196468 140722799950864 139852328941368 139852308800862 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31012] ppid=31008 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31012/stat : 31012 (java) S 31008 31008 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79015215 14314094592 10006 18446744073709551615 4194304 4196468 140722799950864 139852259154832 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31013] ppid=31008 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31013/stat : 31013 (java) S 31008 31008 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79015215 14314094592 10006 18446744073709551615 4194304 4196468 140722799950864 139852258102032 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31014] ppid=31008 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31014/stat : 31014 (java) S 31008 31008 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79015215 14314094592 10006 18446744073709551615 4194304 4196468 140722799950864 139852257049744 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31015] ppid=31008 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31015/stat : 31015 (java) S 31008 31008 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79015215 14314094592 10006 18446744073709551615 4194304 4196468 140722799950864 139851921538064 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31016] ppid=31008 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31016/stat : 31016 (java) S 31008 31008 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79015217 14314094592 10006 18446744073709551615 4194304 4196468 140722799950864 139851803297904 139852324731522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31017] ppid=31008 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31017/stat : 31017 (java) S 31008 31008 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79015217 14314094592 10006 18446744073709551615 4194304 4196468 140722799950864 139851802243872 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31018] ppid=31008 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31018/stat : 31018 (java) S 31008 31008 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79015217 14314094592 10006 18446744073709551615 4194304 4196468 140722799950864 139851801191536 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31019] ppid=31008 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31019/stat : 31019 (java) S 31008 31008 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79015220 14314094592 10006 18446744073709551615 4194304 4196468 140722799950864 139851800139856 139852324738971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31020] ppid=31008 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31010/task/31020/stat : 31020 (java) S 31008 31008 897 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 15 0 79015220 14314094592 10006 18446744073709551615 4194304 4196468 140722799950864 139851799087728 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31021] ppid=31008 vsize=13978608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31010/task/31021/stat : 31021 (java) S 31008 31008 897 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 79015220 14314094592 10006 18446744073709551615 4194304 4196468 140722799950864 139851798034928 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31022] ppid=31008 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31010/task/31022/stat : 31022 (java) S 31008 31008 897 0 -1 1077944384 695 0 0 0 7 0 0 0 20 0 15 0 79015220 14314094592 10006 18446744073709551615 4194304 4196468 140722799950864 139851796982640 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31023] ppid=31008 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31023/stat : 31023 (java) S 31008 31008 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79015220 14314094592 10006 18446744073709551615 4194304 4196468 140722799950864 139851795930080 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31024] ppid=31008 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31024/stat : 31024 (java) S 31008 31008 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79015223 14314094592 10006 18446744073709551615 4194304 4196468 140722799950864 139851794876848 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41404 KiB
[startup+0.701697 s]
/proc/loadavg: 1.85 1.71 1.68 4/211 31024
/proc/meminfo: memFree=30304800/32770624 swapFree=67108860/67108860
[pid=31008] ppid=31005 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31008/stat : 31008 (xcsp3-exec) S 31005 31008 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 79015206 9740288 345 18446744073709551615 4194304 5098028 140721155609168 140721155607272 140611134198396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 9015296 140721155617144 140721155617349 140721155617349 140721155620843 0
/proc/31008/statm: 2378 345 289 221 0 87 0
[pid=31010] ppid=31008 vsize=13978684 memory=234232 CPUtime=1.29 cores=0,2,4,6
/proc/31010/stat : 31010 (java) S 31008 31008 897 0 -1 1077944320 12425 0 0 0 119 10 0 0 20 0 15 0 79015214 14314172416 58558 18446744073709551615 4194304 4196468 140722799950864 140722799933408 139852324720375 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
/proc/31010/statm: 3494671 58558 3168 1 0 3482964 0
[pid=31010/tid=31011] ppid=31008 vsize=13978684 memory=7666631141572832339 CPUtime=0.55 cores=0,2,4,6
/proc/31010/task/31011/stat : 31011 (java) S 31008 31008 897 0 -1 1077944384 7921 0 0 0 50 5 0 0 20 0 15 0 79015215 14314172416 58558 18446744073709551615 4194304 4196468 140722799950864 139852328956848 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31012] ppid=31008 vsize=13978684 memory=33 CPUtime=0.01 cores=0,2,4,6
/proc/31010/task/31012/stat : 31012 (java) R 31008 31008 897 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 15 0 79015215 14314172416 58558 18446744073709551615 4194304 4196468 140722799950864 139852259154832 139852317823438 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31013] ppid=31008 vsize=13978684 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31010/task/31013/stat : 31013 (java) R 31008 31008 897 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 15 0 79015215 14314172416 59070 18446744073709551615 4194304 4196468 140722799950864 139852258102032 139852317823092 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31014] ppid=31008 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31014/stat : 31014 (java) R 31008 31008 897 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 79015215 14314172416 59070 18446744073709551615 4194304 4196468 140722799950864 139852257049632 139852317823256 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31015] ppid=31008 vsize=13978684 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31010/task/31015/stat : 31015 (java) R 31008 31008 897 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 15 0 79015215 14314172416 59070 18446744073709551615 4194304 4196468 140722799950864 139851921535760 139852317823252 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31016] ppid=31008 vsize=13978684 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31016/stat : 31016 (java) S 31008 31008 897 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 79015217 14314172416 59070 18446744073709551615 4194304 4196468 140722799950864 139851803296416 139852324730581 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31017] ppid=31008 vsize=13978684 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31017/stat : 31017 (java) S 31008 31008 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79015217 14314172416 59070 18446744073709551615 4194304 4196468 140722799950864 139851802243872 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31018] ppid=31008 vsize=13978684 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31018/stat : 31018 (java) S 31008 31008 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79015217 14314172416 59070 18446744073709551615 4194304 4196468 140722799950864 139851801191536 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31019] ppid=31008 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31019/stat : 31019 (java) S 31008 31008 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79015220 14314172416 59070 18446744073709551615 4194304 4196468 140722799950864 139851800139856 139852324738971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31020] ppid=31008 vsize=13978684 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/31010/task/31020/stat : 31020 (java) R 31008 31008 897 0 -1 4202560 1129 0 0 0 20 0 0 0 20 0 15 0 79015220 14314172416 59070 18446744073709551615 4194304 4196468 140722799950864 139851799073752 139852317437527 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31021] ppid=31008 vsize=13978684 memory=2529 CPUtime=0.2 cores=0,2,4,6
/proc/31010/task/31021/stat : 31021 (java) S 31008 31008 897 0 -1 1077944384 821 0 0 0 19 1 0 0 20 0 15 0 79015220 14314172416 59070 18446744073709551615 4194304 4196468 140722799950864 139851798014480 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31022] ppid=31008 vsize=13978684 memory=2000 CPUtime=0.23 cores=0,2,4,6
/proc/31010/task/31022/stat : 31022 (java) S 31008 31008 897 0 -1 1077944384 1164 0 0 0 23 0 0 0 20 0 15 0 79015220 14314172416 59070 18446744073709551615 4194304 4196468 140722799950864 139851796982640 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31023] ppid=31008 vsize=13978684 memory=11000 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31023/stat : 31023 (java) S 31008 31008 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79015220 14314172416 59070 18446744073709551615 4194304 4196468 140722799950864 139851795930080 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31024] ppid=31008 vsize=13978684 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31024/stat : 31024 (java) S 31008 31008 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79015223 14314172416 59070 18446744073709551615 4194304 4196468 140722799950864 139851794876848 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 235612 KiB
[startup+1.50077 s]
/proc/loadavg: 1.79 1.70 1.68 3/211 31024
/proc/meminfo: memFree=30111488/32770624 swapFree=67108860/67108860
[pid=31008] ppid=31005 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31008/stat : 31008 (xcsp3-exec) S 31005 31008 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 79015206 9740288 345 18446744073709551615 4194304 5098028 140721155609168 140721155607272 140611134198396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 9015296 140721155617144 140721155617349 140721155617349 140721155620843 0
/proc/31008/statm: 2378 345 289 221 0 87 0
[pid=31010] ppid=31008 vsize=13978684 memory=449204 CPUtime=2.58 cores=0,2,4,6
/proc/31010/stat : 31010 (java) S 31008 31008 897 0 -1 1077944320 13690 0 0 0 240 18 0 0 20 0 15 0 79015214 14314172416 112301 18446744073709551615 4194304 4196468 140722799950864 140722799933408 139852324720375 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
/proc/31010/statm: 3494671 112301 3197 1 0 3482964 0
[pid=31010/tid=31011] ppid=31008 vsize=13978684 memory=0 CPUtime=1.29 cores=0,2,4,6
/proc/31010/task/31011/stat : 31011 (java) R 31008 31008 897 0 -1 4202560 8015 0 0 0 123 6 0 0 20 0 15 0 79015215 14314172416 112301 18446744073709551615 4194304 4196468 140722799950864 139852328957712 139851940007427 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31012] ppid=31008 vsize=13978684 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/31010/task/31012/stat : 31012 (java) S 31008 31008 897 0 -1 1077944384 141 0 0 0 4 2 0 0 20 0 15 0 79015215 14314172416 112301 18446744073709551615 4194304 4196468 140722799950864 139852259154832 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31013] ppid=31008 vsize=13978684 memory=1380 CPUtime=0.05 cores=0,2,4,6
/proc/31010/task/31013/stat : 31013 (java) S 31008 31008 897 0 -1 1077944384 135 0 0 0 3 2 0 0 20 0 15 0 79015215 14314172416 112301 18446744073709551615 4194304 4196468 140722799950864 139852258102032 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31014] ppid=31008 vsize=13978684 memory=270896 CPUtime=0.06 cores=0,2,4,6
/proc/31010/task/31014/stat : 31014 (java) S 31008 31008 897 0 -1 1077944384 137 0 0 0 4 2 0 0 20 0 15 0 79015215 14314172416 112301 18446744073709551615 4194304 4196468 140722799950864 139852257049744 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31015] ppid=31008 vsize=13978684 memory=1200 CPUtime=0.05 cores=0,2,4,6
################
# More data... #
################
/proc/31010/task/31012/stat : 31012 (java) S 31008 31008 897 0 -1 1077944384 158 0 0 0 7 3 0 0 20 0 15 0 79015215 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139852259154832 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31013] ppid=31008 vsize=13980732 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31010/task/31013/stat : 31013 (java) S 31008 31008 897 0 -1 1077944384 159 0 0 0 6 3 0 0 20 0 15 0 79015215 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139852258102032 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31014] ppid=31008 vsize=13980732 memory=49 CPUtime=0.09 cores=0,2,4,6
/proc/31010/task/31014/stat : 31014 (java) S 31008 31008 897 0 -1 1077944384 158 0 0 0 6 3 0 0 20 0 15 0 79015215 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139852257049744 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31015] ppid=31008 vsize=13980732 memory=51 CPUtime=0.09 cores=0,2,4,6
/proc/31010/task/31015/stat : 31015 (java) S 31008 31008 897 0 -1 1077944384 87 0 0 0 7 2 0 0 20 0 15 0 79015215 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851921538064 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31016] ppid=31008 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31016/stat : 31016 (java) S 31008 31008 897 0 -1 1077944384 508 0 0 0 0 0 0 0 20 0 15 0 79015217 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851803297904 139852324731522 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31017] ppid=31008 vsize=13980732 memory=506036 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31017/stat : 31017 (java) S 31008 31008 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 79015217 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851802243936 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31018] ppid=31008 vsize=13980732 memory=7163938815146088808 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31018/stat : 31018 (java) S 31008 31008 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79015217 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851801191552 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31019] ppid=31008 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31019/stat : 31019 (java) S 31008 31008 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79015220 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851800139856 139852324738971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31020] ppid=31008 vsize=13980732 memory=4116 CPUtime=0.49 cores=0,2,4,6
/proc/31010/task/31020/stat : 31020 (java) S 31008 31008 897 0 -1 1077944384 1346 0 0 0 49 0 0 0 20 0 15 0 79015220 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851799087728 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31021] ppid=31008 vsize=13980732 memory=43528 CPUtime=0.51 cores=0,2,4,6
/proc/31010/task/31021/stat : 31021 (java) S 31008 31008 897 0 -1 1077944384 1223 0 0 0 50 1 0 0 20 0 15 0 79015220 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851798034928 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31022] ppid=31008 vsize=13980732 memory=1292 CPUtime=0.31 cores=0,2,4,6
/proc/31010/task/31022/stat : 31022 (java) S 31008 31008 897 0 -1 1077944384 1319 0 0 0 31 0 0 0 20 0 15 0 79015220 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851796982640 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31023] ppid=31008 vsize=13980732 memory=2316 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31023/stat : 31023 (java) S 31008 31008 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79015220 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851795930080 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31024] ppid=31008 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31024/stat : 31024 (java) S 31008 31008 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79015223 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851794876848 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
Current children cumulated CPU time: 4.63 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 717160 KiB
[startup+3.73716 s]
# the end of solver process 31008 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.1682 s, system=0.297606 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20114 s]
/proc/loadavg: 1.79 1.70 1.68 3/211 31024
/proc/meminfo: memFree=29649468/32770624 swapFree=67108860/67108860
[pid=31008] ppid=31005 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31008/stat : 31008 (xcsp3-exec) S 31005 31008 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 79015206 9740288 345 18446744073709551615 4194304 5098028 140721155609168 140721155607272 140611134198396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 9015296 140721155617144 140721155617349 140721155617349 140721155620843 0
/proc/31008/statm: 2378 345 289 221 0 87 0
[pid=31010] ppid=31008 vsize=13980732 memory=715780 CPUtime=4.72 cores=0,2,4,6
/proc/31010/stat : 31010 (java) S 31008 31008 897 0 -1 1077944320 15138 0 0 0 445 27 0 0 20 0 15 0 79015214 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 140722799933408 139852324720375 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
/proc/31010/statm: 3495183 178945 3206 1 0 3483476 0
[pid=31010/tid=31011] ppid=31008 vsize=13980732 memory=-8774313645642428999 CPUtime=2.95 cores=0,2,4,6
/proc/31010/task/31011/stat : 31011 (java) R 31008 31008 897 0 -1 4202560 8880 0 0 0 284 11 0 0 20 0 15 0 79015215 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139852328958376 139851940541509 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31012] ppid=31008 vsize=13980732 memory=270896 CPUtime=0.1 cores=0,2,4,6
/proc/31010/task/31012/stat : 31012 (java) S 31008 31008 897 0 -1 1077944384 158 0 0 0 7 3 0 0 20 0 15 0 79015215 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139852259154832 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31013] ppid=31008 vsize=13980732 memory=1200 CPUtime=0.09 cores=0,2,4,6
/proc/31010/task/31013/stat : 31013 (java) S 31008 31008 897 0 -1 1077944384 159 0 0 0 6 3 0 0 20 0 15 0 79015215 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139852258102032 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31014] ppid=31008 vsize=13980732 memory=1380 CPUtime=0.09 cores=0,2,4,6
/proc/31010/task/31014/stat : 31014 (java) S 31008 31008 897 0 -1 1077944384 158 0 0 0 6 3 0 0 20 0 15 0 79015215 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139852257049744 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31015] ppid=31008 vsize=13980732 memory=245968 CPUtime=0.09 cores=0,2,4,6
/proc/31010/task/31015/stat : 31015 (java) S 31008 31008 897 0 -1 1077944384 87 0 0 0 7 2 0 0 20 0 15 0 79015215 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851921538064 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31016] ppid=31008 vsize=13980732 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31016/stat : 31016 (java) S 31008 31008 897 0 -1 1077944384 508 0 0 0 0 0 0 0 20 0 15 0 79015217 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851803297904 139852324731522 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31017] ppid=31008 vsize=13980732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31017/stat : 31017 (java) S 31008 31008 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 79015217 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851802243936 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31018] ppid=31008 vsize=13980732 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31018/stat : 31018 (java) S 31008 31008 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79015217 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851801191552 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31019] ppid=31008 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31019/stat : 31019 (java) S 31008 31008 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79015220 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851800139856 139852324738971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31020] ppid=31008 vsize=13980732 memory=5788 CPUtime=0.49 cores=0,2,4,6
/proc/31010/task/31020/stat : 31020 (java) S 31008 31008 897 0 -1 1077944384 1346 0 0 0 49 0 0 0 20 0 15 0 79015220 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851799087728 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31021] ppid=31008 vsize=13980732 memory=1712 CPUtime=0.51 cores=0,2,4,6
/proc/31010/task/31021/stat : 31021 (java) S 31008 31008 897 0 -1 1077944384 1223 0 0 0 50 1 0 0 20 0 15 0 79015220 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851798034928 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31022] ppid=31008 vsize=13980732 memory=4616 CPUtime=0.31 cores=0,2,4,6
/proc/31010/task/31022/stat : 31022 (java) S 31008 31008 897 0 -1 1077944384 1319 0 0 0 31 0 0 0 20 0 15 0 79015220 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851796982640 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31023] ppid=31008 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31023/stat : 31023 (java) S 31008 31008 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79015220 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851795930080 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31024] ppid=31008 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31024/stat : 31024 (java) S 31008 31008 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79015223 14316269568 178945 18446744073709551615 4194304 4196468 140722799950864 139851794876848 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
Current children cumulated CPU time: 4.72 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 717160 KiB
[startup+3.60092 s]
/proc/loadavg: 1.79 1.70 1.68 3/211 31024
/proc/meminfo: memFree=29649468/32770624 swapFree=67108860/67108860
[pid=31008] ppid=31005 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31008/stat : 31008 (xcsp3-exec) S 31005 31008 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 79015206 9740288 345 18446744073709551615 4194304 5098028 140721155609168 140721155607272 140611134198396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 9015296 140721155617144 140721155617349 140721155617349 140721155620843 0
/proc/31008/statm: 2378 345 289 221 0 87 0
[pid=31010] ppid=31008 vsize=13980732 memory=715800 CPUtime=5.12 cores=0,2,4,6
/proc/31010/stat : 31010 (java) S 31008 31008 897 0 -1 1077944320 15857 0 0 0 485 27 0 0 20 0 15 0 79015214 14316269568 178950 18446744073709551615 4194304 4196468 140722799950864 140722799933408 139852324720375 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
/proc/31010/statm: 3495183 178950 3206 1 0 3483476 0
[pid=31010/tid=31011] ppid=31008 vsize=13980732 memory=2316 CPUtime=3.35 cores=0,2,4,6
/proc/31010/task/31011/stat : 31011 (java) R 31008 31008 897 0 -1 4202560 9401 0 0 0 324 11 0 0 20 0 15 0 79015215 14316269568 178950 18446744073709551615 4194304 4196468 140722799950864 139852328959264 139852306215997 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31012] ppid=31008 vsize=13980732 memory=1728 CPUtime=0.1 cores=0,2,4,6
/proc/31010/task/31012/stat : 31012 (java) S 31008 31008 897 0 -1 1077944384 158 0 0 0 7 3 0 0 20 0 15 0 79015215 14316269568 178950 18446744073709551615 4194304 4196468 140722799950864 139852259154832 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31013] ppid=31008 vsize=13980732 memory=640 CPUtime=0.09 cores=0,2,4,6
/proc/31010/task/31013/stat : 31013 (java) S 31008 31008 897 0 -1 1077944384 159 0 0 0 6 3 0 0 20 0 15 0 79015215 14316269568 178950 18446744073709551615 4194304 4196468 140722799950864 139852258102032 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31014] ppid=31008 vsize=13980732 memory=1792 CPUtime=0.09 cores=0,2,4,6
/proc/31010/task/31014/stat : 31014 (java) S 31008 31008 897 0 -1 1077944384 158 0 0 0 6 3 0 0 20 0 15 0 79015215 14316269568 178950 18446744073709551615 4194304 4196468 140722799950864 139852257049744 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31015] ppid=31008 vsize=13980732 memory=3904 CPUtime=0.09 cores=0,2,4,6
/proc/31010/task/31015/stat : 31015 (java) S 31008 31008 897 0 -1 1077944384 87 0 0 0 7 2 0 0 20 0 15 0 79015215 14316269568 178950 18446744073709551615 4194304 4196468 140722799950864 139851921538064 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31016] ppid=31008 vsize=13980732 memory=960 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31016/stat : 31016 (java) S 31008 31008 897 0 -1 1077944384 508 0 0 0 0 0 0 0 20 0 15 0 79015217 14316269568 178950 18446744073709551615 4194304 4196468 140722799950864 139851803297904 139852324731522 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31017] ppid=31008 vsize=13980732 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31017/stat : 31017 (java) S 31008 31008 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 79015217 14316269568 178950 18446744073709551615 4194304 4196468 140722799950864 139851802243936 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31018] ppid=31008 vsize=13980732 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31018/stat : 31018 (java) S 31008 31008 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79015217 14316269568 178950 18446744073709551615 4194304 4196468 140722799950864 139851801191552 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31019] ppid=31008 vsize=13980732 memory=4304 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31019/stat : 31019 (java) S 31008 31008 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79015220 14316269568 178950 18446744073709551615 4194304 4196468 140722799950864 139851800139856 139852324738971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31020] ppid=31008 vsize=13980732 memory=1624 CPUtime=0.49 cores=0,2,4,6
/proc/31010/task/31020/stat : 31020 (java) R 31008 31008 897 0 -1 1077944384 1351 0 0 0 49 0 0 0 20 0 15 0 79015220 14316269568 178950 18446744073709551615 4194304 4196468 140722799950864 139851799087728 139852324731522 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31021] ppid=31008 vsize=13980732 memory=928 CPUtime=0.51 cores=0,2,4,6
/proc/31010/task/31021/stat : 31021 (java) S 31008 31008 897 0 -1 1077944384 1225 0 0 0 50 1 0 0 20 0 15 0 79015220 14316269568 178950 18446744073709551615 4194304 4196468 140722799950864 139851798034928 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31022] ppid=31008 vsize=13980732 memory=2164 CPUtime=0.31 cores=0,2,4,6
/proc/31010/task/31022/stat : 31022 (java) R 31008 31008 897 0 -1 4202560 1538 0 0 0 31 0 0 0 20 0 15 0 79015220 14316269568 178950 18446744073709551615 4194304 4196468 140722799950864 139851796982640 139852303269268 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31023] ppid=31008 vsize=13980732 memory=840 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31023/stat : 31023 (java) S 31008 31008 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79015220 14316269568 178950 18446744073709551615 4194304 4196468 140722799950864 139851795930080 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31024] ppid=31008 vsize=13980732 memory=16436 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31024/stat : 31024 (java) S 31008 31008 897 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 79015223 14316269568 178950 18446744073709551615 4194304 4196468 140722799950864 139851794876848 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
Current children cumulated CPU time: 5.12 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 717180 KiB
[startup+3.70153 s]
/proc/loadavg: 1.79 1.70 1.68 3/211 31024
/proc/meminfo: memFree=29649468/32770624 swapFree=67108860/67108860
[pid=31008] ppid=31005 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31008/stat : 31008 (xcsp3-exec) S 31005 31008 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 79015206 9740288 345 18446744073709551615 4194304 5098028 140721155609168 140721155607272 140611134198396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 9015296 140721155617144 140721155617349 140721155617349 140721155620843 0
/proc/31008/statm: 2378 345 289 221 0 87 0
[pid=31010] ppid=31008 vsize=13980732 memory=717204 CPUtime=5.41 cores=0,2,4,6
/proc/31010/stat : 31010 (java) S 31008 31008 897 0 -1 1077944320 20298 0 0 0 513 28 0 0 20 0 15 0 79015214 14316269568 179301 18446744073709551615 4194304 4196468 140722799950864 140722799933408 139852324720375 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
/proc/31010/statm: 3495183 179301 3213 1 0 3483476 0
[pid=31010/tid=31011] ppid=31008 vsize=13980732 memory=715800 CPUtime=3.45 cores=0,2,4,6
/proc/31010/task/31011/stat : 31011 (java) R 31008 31008 897 0 -1 4202560 11281 0 0 0 334 11 0 0 20 0 15 0 79015215 14316269568 179301 18446744073709551615 4194304 4196468 140722799950864 139852328959224 139851941088575 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31012] ppid=31008 vsize=13980732 memory=280790869208960 CPUtime=0.1 cores=0,2,4,6
/proc/31010/task/31012/stat : 31012 (java) S 31008 31008 897 0 -1 1077944384 158 0 0 0 7 3 0 0 20 0 15 0 79015215 14316269568 179301 18446744073709551615 4194304 4196468 140722799950864 139852259154832 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31013] ppid=31008 vsize=13980732 memory=280790869053904 CPUtime=0.09 cores=0,2,4,6
/proc/31010/task/31013/stat : 31013 (java) S 31008 31008 897 0 -1 1077944384 159 0 0 0 6 3 0 0 20 0 15 0 79015215 14316269568 179301 18446744073709551615 4194304 4196468 140722799950864 139852258102032 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31014] ppid=31008 vsize=13980732 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31010/task/31014/stat : 31014 (java) S 31008 31008 897 0 -1 1077944384 158 0 0 0 6 3 0 0 20 0 15 0 79015215 14316269568 179301 18446744073709551615 4194304 4196468 140722799950864 139852257049744 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31015] ppid=31008 vsize=13980732 memory=49 CPUtime=0.09 cores=0,2,4,6
/proc/31010/task/31015/stat : 31015 (java) S 31008 31008 897 0 -1 1077944384 87 0 0 0 7 2 0 0 20 0 15 0 79015215 14316269568 179301 18446744073709551615 4194304 4196468 140722799950864 139851921538064 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31016] ppid=31008 vsize=13980732 memory=51 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31016/stat : 31016 (java) S 31008 31008 897 0 -1 1077944384 698 0 0 0 0 0 0 0 20 0 15 0 79015217 14316269568 179301 18446744073709551615 4194304 4196468 140722799950864 139851803297904 139852324731522 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31017] ppid=31008 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31017/stat : 31017 (java) S 31008 31008 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 79015217 14316269568 179301 18446744073709551615 4194304 4196468 140722799950864 139851802243936 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31018] ppid=31008 vsize=13980732 memory=506036 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31018/stat : 31018 (java) S 31008 31008 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79015217 14316269568 179301 18446744073709551615 4194304 4196468 140722799950864 139851801191552 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31019] ppid=31008 vsize=13980732 memory=7163938815146088808 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31019/stat : 31019 (java) S 31008 31008 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79015220 14316269568 179301 18446744073709551615 4194304 4196468 140722799950864 139851800139856 139852324738971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31020] ppid=31008 vsize=13980732 memory=1380 CPUtime=0.56 cores=0,2,4,6
/proc/31010/task/31020/stat : 31020 (java) R 31008 31008 897 0 -1 4202560 2205 0 0 0 56 0 0 0 20 0 15 0 79015220 14316269568 179301 18446744073709551615 4194304 4196468 140722799950864 139851799087728 139852304375600 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31021] ppid=31008 vsize=13980732 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/31010/task/31021/stat : 31021 (java) S 31008 31008 897 0 -1 1077944384 1924 0 0 0 57 1 0 0 20 0 15 0 79015220 14316269568 179301 18446744073709551615 4194304 4196468 140722799950864 139851798034928 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31022] ppid=31008 vsize=13980732 memory=16465 CPUtime=0.37 cores=0,2,4,6
/proc/31010/task/31022/stat : 31022 (java) S 31008 31008 897 0 -1 1077944384 2316 0 0 0 37 0 0 0 20 0 15 0 79015220 14316269568 179301 18446744073709551615 4194304 4196468 140722799950864 139851796982640 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31023] ppid=31008 vsize=13980732 memory=7079768945012794457 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31023/stat : 31023 (java) S 31008 31008 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79015220 14316269568 179301 18446744073709551615 4194304 4196468 140722799950864 139851795930080 139852324730581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
[pid=31010/tid=31024] ppid=31008 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31010/task/31024/stat : 31024 (java) S 31008 31008 897 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 79015223 14316269568 179301 18446744073709551615 4194304 4196468 140722799950864 139851794876848 139852324731522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 17797120 140722799952305 140722799952481 140722799952481 140722799955919 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 718584 KiB
Child status: 0
Real time (s): 3.73721
CPU time (s): 5.46581
CPU user time (s): 5.1682
CPU system time (s): 0.297606
CPU usage (%): 146.254
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 718584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.1682
system time used= 0.297606
maximum resident set size= 717824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20913
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= 1868
involuntary context switches= 25
# summary of solver processes directly reported to runsolver:
# pid: 31008
# total CPU time (s): 5.46581
# total CPU user time (s): 5.1682
# total CPU system time (s): 0.297606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041324 second user time and 0.081758 second system time
The end