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 (10960 MiB free)
memory of node 1: 16384 MiB (15332 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272566-1502858342/watcher-4272566-1502858342 -o /tmp/evaluation-result-4272566-1502858342/solver-4272566-1502858342 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 509440664 HOME/instance-4272566-1502858342.xml
running on 4 cores: 1,3,5,7
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=14827, runsolver pid=14824
[startup+0.100156 s]*
/proc/loadavg: 1.98 1.93 1.95 2/196 14828
/proc/meminfo: memFree=26924312/32770624 swapFree=67108860/67108860
[pid=14827] ppid=14824 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/14827/stat : 14827 (runsolver) D 14824 14827 897 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 88054814 34791424 113 18446744073709551615 4194304 4346622 140736811600512 140736811597144 139902361248471 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6446216 6449568 10801152 140736811606071 140736811606564 140736811606564 140736811610058 0
/proc/14827/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.208994 s]*
/proc/loadavg: 1.98 1.93 1.95 2/210 14842
/proc/meminfo: memFree=26914124/32770624 swapFree=67108860/67108860
[pid=14827] ppid=14824 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14827/stat : 14827 (xcsp3-exec) S 14824 14827 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 88054814 9740288 344 18446744073709551615 4194304 5098028 140722837298176 140722837296280 140639247204988 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 11 0 0 7196144 7232144 7684096 140722837303673 140722837303877 140722837303877 140722837307371 0
/proc/14827/statm: 2378 344 289 221 0 87 0
[pid=14829] ppid=14827 vsize=13973868 memory=20892 CPUtime=0.05 cores=1,3,5,7
/proc/14829/stat : 14829 (java) S 14827 14827 897 0 -1 1077944320 4636 0 0 0 4 1 0 0 20 0 15 0 88054825 14309240832 5223 18446744073709551615 4194304 4196468 140728511195232 140728511177776 140507468668663 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
/proc/14829/statm: 3493467 5223 2570 1 0 3482964 0
[pid=14829/tid=14830] ppid=14827 vsize=13973868 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/14829/task/14830/stat : 14830 (java) R 14827 14827 897 0 -1 4202560 2807 0 0 0 3 1 0 0 20 0 15 0 88054826 14309240832 5735 18446744073709551615 4194304 4196468 140728511195232 140507472910944 140507461346677 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14831] ppid=14827 vsize=13973868 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14831/stat : 14831 (java) S 14827 14827 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88054826 14309240832 5735 18446744073709551615 4194304 4196468 140728511195232 140507440511504 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14832] ppid=14827 vsize=13973868 memory=139902364213370 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14832/stat : 14832 (java) S 14827 14827 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88054826 14309240832 5735 18446744073709551615 4194304 4196468 140728511195232 140507067968144 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14833] ppid=14827 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14833/stat : 14833 (java) S 14827 14827 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88054826 14309240832 5735 18446744073709551615 4194304 4196468 140728511195232 140507066915088 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14834] ppid=14827 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14834/stat : 14834 (java) S 14827 14827 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88054826 14309240832 5735 18446744073709551615 4194304 4196468 140728511195232 140507065862544 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14835] ppid=14827 vsize=13973868 memory=139902364198528 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14835/stat : 14835 (java) S 14827 14827 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88054828 14309240832 5735 18446744073709551615 4194304 4196468 140728511195232 140506947193584 140507468679810 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14836] ppid=14827 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14836/stat : 14836 (java) S 14827 14827 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88054828 14309240832 5735 18446744073709551615 4194304 4196468 140728511195232 140506946139808 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14837] ppid=14827 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14837/stat : 14837 (java) S 14827 14827 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88054828 14309240832 5735 18446744073709551615 4194304 4196468 140728511195232 140506945086704 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14838] ppid=14827 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14838/stat : 14838 (java) S 14827 14827 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88054831 14309240832 5735 18446744073709551615 4194304 4196468 140728511195232 140506944035280 140507468687259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14839] ppid=14827 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14839/stat : 14839 (java) S 14827 14827 897 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 88054831 14309240832 5735 18446744073709551615 4194304 4196468 140728511195232 140506942982384 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14840] ppid=14827 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14840/stat : 14840 (java) S 14827 14827 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88054831 14309240832 5735 18446744073709551615 4194304 4196468 140728511195232 140506941929840 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14841] ppid=14827 vsize=13973868 memory=139902364198528 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14841/stat : 14841 (java) R 14827 14827 897 0 -1 4202560 233 0 0 0 0 0 0 0 20 0 15 0 88054831 14309240832 5735 18446744073709551615 4194304 4196468 140728511195232 140506940876784 140507468690010 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14842] ppid=14827 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14842/stat : 14842 (java) S 14827 14827 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88054831 14309240832 5735 18446744073709551615 4194304 4196468 140728511195232 140506939824480 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14843] ppid=14827 vsize=13973868 memory=139902364198528 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14843/stat : 14843 (java) S 14827 14827 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88054835 14309240832 5735 18446744073709551615 4194304 4196468 140728511195232 140506938772528 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 22268 KiB
[startup+0.310059 s]*
/proc/loadavg: 1.98 1.93 1.95 4/211 14843
/proc/meminfo: memFree=26901512/32770624 swapFree=67108860/67108860
[pid=14827] ppid=14824 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14827/stat : 14827 (xcsp3-exec) S 14824 14827 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 88054814 9740288 344 18446744073709551615 4194304 5098028 140722837298176 140722837296280 140639247204988 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 11 0 0 7196144 7232144 7684096 140722837303673 140722837303877 140722837303877 140722837307371 0
/proc/14827/statm: 2378 344 289 221 0 87 0
[pid=14829] ppid=14827 vsize=13974352 memory=35112 CPUtime=0.24 cores=1,3,5,7
/proc/14829/stat : 14829 (java) S 14827 14827 897 0 -1 1077944320 6133 0 0 0 22 2 0 0 20 0 15 0 88054825 14309736448 8778 18446744073709551615 4194304 4196468 140728511195232 140728511177776 140507468668663 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
/proc/14829/statm: 3493588 8778 2980 1 0 3482964 0
[pid=14829/tid=14830] ppid=14827 vsize=13975376 memory=-8774313645642428999 CPUtime=0.14 cores=1,3,5,7
/proc/14829/task/14830/stat : 14830 (java) R 14827 14827 897 0 -1 4202560 3578 0 0 0 13 1 0 0 20 0 15 0 88054826 14310785024 8909 18446744073709551615 4194304 4196468 140728511195232 140507472879904 140507461348381 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14831] ppid=14827 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14831/stat : 14831 (java) S 14827 14827 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88054826 14310785024 8909 18446744073709551615 4194304 4196468 140728511195232 140507440511504 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14832] ppid=14827 vsize=13975376 memory=139902364198528 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14832/stat : 14832 (java) S 14827 14827 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88054826 14310785024 8909 18446744073709551615 4194304 4196468 140728511195232 140507067968144 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14833] ppid=14827 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14833/stat : 14833 (java) S 14827 14827 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88054826 14310785024 8909 18446744073709551615 4194304 4196468 140728511195232 140507066915088 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14834] ppid=14827 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14834/stat : 14834 (java) S 14827 14827 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88054826 14310785024 8975 18446744073709551615 4194304 4196468 140728511195232 140507065862544 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14835] ppid=14827 vsize=13975376 memory=139902364198528 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14835/stat : 14835 (java) S 14827 14827 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88054828 14310785024 8975 18446744073709551615 4194304 4196468 140728511195232 140506947193584 140507468679810 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14836] ppid=14827 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14836/stat : 14836 (java) S 14827 14827 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88054828 14310785024 8975 18446744073709551615 4194304 4196468 140728511195232 140506946139808 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14837] ppid=14827 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14837/stat : 14837 (java) S 14827 14827 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88054828 14310785024 8975 18446744073709551615 4194304 4196468 140728511195232 140506945086704 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14838] ppid=14827 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14838/stat : 14838 (java) S 14827 14827 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88054831 14310785024 8975 18446744073709551615 4194304 4196468 140728511195232 140506944035280 140507468687259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14839] ppid=14827 vsize=13975376 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14829/task/14839/stat : 14839 (java) S 14827 14827 897 0 -1 1077944384 607 0 0 0 1 0 0 0 20 0 15 0 88054831 14310785024 9041 18446744073709551615 4194304 4196468 140728511195232 140506942982384 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14840] ppid=14827 vsize=13975376 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14829/task/14840/stat : 14840 (java) S 14827 14827 897 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 15 0 88054831 14310785024 9041 18446744073709551615 4194304 4196468 140728511195232 140506941929840 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14841] ppid=14827 vsize=13975376 memory=139902364198528 CPUtime=0.05 cores=1,3,5,7
/proc/14829/task/14841/stat : 14841 (java) S 14827 14827 897 0 -1 1077944384 703 0 0 0 5 0 0 0 20 0 15 0 88054831 14310785024 9041 18446744073709551615 4194304 4196468 140728511195232 140506940876784 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14842] ppid=14827 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14842/stat : 14842 (java) S 14827 14827 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88054831 14310785024 9041 18446744073709551615 4194304 4196468 140728511195232 140506939824480 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14843] ppid=14827 vsize=13975376 memory=139902364198528 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14843/stat : 14843 (java) S 14827 14827 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88054835 14310785024 9041 18446744073709551615 4194304 4196468 140728511195232 140506938772528 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 36488 KiB
[startup+0.702876 s]
/proc/loadavg: 1.98 1.93 1.95 4/211 14843
/proc/meminfo: memFree=26888424/32770624 swapFree=67108860/67108860
[pid=14827] ppid=14824 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14827/stat : 14827 (xcsp3-exec) S 14824 14827 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 88054814 9740288 344 18446744073709551615 4194304 5098028 140722837298176 140722837296280 140639247204988 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 11 0 0 7196144 7232144 7684096 140722837303673 140722837303877 140722837303877 140722837307371 0
/proc/14827/statm: 2378 344 289 221 0 87 0
[pid=14829] ppid=14827 vsize=13980732 memory=64372 CPUtime=1.18 cores=1,3,5,7
/proc/14829/stat : 14829 (java) S 14827 14827 897 0 -1 1077944320 12654 0 0 0 114 4 0 0 20 0 15 0 88054825 14316269568 16093 18446744073709551615 4194304 4196468 140728511195232 140728511177776 140507468668663 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
/proc/14829/statm: 3495183 16093 3163 1 0 3483476 0
[pid=14829/tid=14830] ppid=14827 vsize=13980732 memory=1228 CPUtime=0.52 cores=1,3,5,7
/proc/14829/task/14830/stat : 14830 (java) R 14827 14827 897 0 -1 4202560 8078 0 0 0 49 3 0 0 20 0 15 0 88054826 14316269568 16093 18446744073709551615 4194304 4196468 140728511195232 140507472904960 140507468690589 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14831] ppid=14827 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14831/stat : 14831 (java) S 14827 14827 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88054826 14316269568 16093 18446744073709551615 4194304 4196468 140728511195232 140507440511504 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14832] ppid=14827 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14832/stat : 14832 (java) S 14827 14827 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88054826 14316269568 16093 18446744073709551615 4194304 4196468 140728511195232 140507067968144 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14833] ppid=14827 vsize=13980732 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14833/stat : 14833 (java) S 14827 14827 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88054826 14316269568 16093 18446744073709551615 4194304 4196468 140728511195232 140507066915088 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14834] ppid=14827 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14834/stat : 14834 (java) S 14827 14827 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88054826 14316269568 16093 18446744073709551615 4194304 4196468 140728511195232 140507065862544 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14835] ppid=14827 vsize=13980732 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14835/stat : 14835 (java) S 14827 14827 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 88054828 14316269568 16093 18446744073709551615 4194304 4196468 140728511195232 140506947193584 140507468679810 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14836] ppid=14827 vsize=13980732 memory=10164 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14836/stat : 14836 (java) S 14827 14827 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88054828 14316269568 16093 18446744073709551615 4194304 4196468 140728511195232 140506946139808 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14837] ppid=14827 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14837/stat : 14837 (java) S 14827 14827 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88054828 14316269568 16093 18446744073709551615 4194304 4196468 140728511195232 140506945086704 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14838] ppid=14827 vsize=13980732 memory=4049915979246953827 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14838/stat : 14838 (java) S 14827 14827 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88054831 14316269568 16093 18446744073709551615 4194304 4196468 140728511195232 140506944035280 140507468687259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14839] ppid=14827 vsize=13980732 memory=279804502953024 CPUtime=0.18 cores=1,3,5,7
/proc/14829/task/14839/stat : 14839 (java) R 14827 14827 897 0 -1 4202560 1098 0 0 0 18 0 0 0 20 0 15 0 88054831 14316269568 16093 18446744073709551615 4194304 4196468 140728511195232 140506942960912 140507449368200 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14840] ppid=14827 vsize=13980732 memory=279804502953216 CPUtime=0.15 cores=1,3,5,7
/proc/14829/task/14840/stat : 14840 (java) R 14827 14827 897 0 -1 4202560 914 0 0 0 15 0 0 0 20 0 15 0 88054831 14316269568 16093 18446744073709551615 4194304 4196468 140728511195232 140506941918192 140507452957520 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14841] ppid=14827 vsize=13980732 memory=279804502953408 CPUtime=0.29 cores=1,3,5,7
/proc/14829/task/14841/stat : 14841 (java) S 14827 14827 897 0 -1 1077944384 1256 0 0 0 29 0 0 0 20 0 15 0 88054831 14316269568 16093 18446744073709551615 4194304 4196468 140728511195232 140506940876784 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14842] ppid=14827 vsize=13980732 memory=279804502953600 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14842/stat : 14842 (java) S 14827 14827 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88054831 14316269568 16093 18446744073709551615 4194304 4196468 140728511195232 140506939824480 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14843] ppid=14827 vsize=13980732 memory=279804502953792 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14843/stat : 14843 (java) S 14827 14827 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88054835 14316269568 16093 18446744073709551615 4194304 4196468 140728511195232 140506938772528 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65748 KiB
[startup+1.50089 s]
/proc/loadavg: 1.98 1.93 1.95 5/211 14843
/proc/meminfo: memFree=26849380/32770624 swapFree=67108860/67108860
[pid=14827] ppid=14824 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14827/stat : 14827 (xcsp3-exec) S 14824 14827 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 88054814 9740288 344 18446744073709551615 4194304 5098028 140722837298176 140722837296280 140639247204988 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 11 0 0 7196144 7232144 7684096 140722837303673 140722837303877 140722837303877 140722837307371 0
/proc/14827/statm: 2378 344 289 221 0 87 0
[pid=14829] ppid=14827 vsize=13980732 memory=137664 CPUtime=3.76 cores=1,3,5,7
/proc/14829/stat : 14829 (java) S 14827 14827 897 0 -1 1077944320 33631 0 0 0 369 7 0 0 20 0 15 0 88054825 14316269568 34416 18446744073709551615 4194304 4196468 140728511195232 140728511177776 140507468668663 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
/proc/14829/statm: 3495183 34416 3201 1 0 3483476 0
[pid=14829/tid=14830] ppid=14827 vsize=13980732 memory=14126745276138156 CPUtime=1.32 cores=1,3,5,7
/proc/14829/task/14830/stat : 14830 (java) R 14827 14827 897 0 -1 4202560 8732 0 0 0 128 4 0 0 20 0 15 0 88054826 14316269568 34416 18446744073709551615 4194304 4196468 140728511195232 140507472905840 140507468680598 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14831] ppid=14827 vsize=13980732 memory=279804502887968 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14831/stat : 14831 (java) S 14827 14827 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88054826 14316269568 34416 18446744073709551615 4194304 4196468 140728511195232 140507440511504 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14832] ppid=14827 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14832/stat : 14832 (java) S 14827 14827 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88054826 14316269568 34416 18446744073709551615 4194304 4196468 140728511195232 140507067968144 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14833] ppid=14827 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14833/stat : 14833 (java) S 14827 14827 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88054826 14316269568 34416 18446744073709551615 4194304 4196468 140728511195232 140507066915088 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14834] ppid=14827 vsize=13980732 memory=77856 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14834/stat : 14834 (java) S 14827 14827 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88054826 14316269568 34416 18446744073709551615 4194304 4196468 140728511195232 140507065862544 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14835] ppid=14827 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14835/stat : 14835 (java) S 14827 14827 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 88054828 14316269568 34416 18446744073709551615 4194304 4196468 140728511195232 140506947193584 140507468679810 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14836] ppid=14827 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14836/stat : 14836 (java) S 14827 14827 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88054828 14316269568 34416 18446744073709551615 4194304 4196468 140728511195232 140506946139808 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14837] ppid=14827 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14837/stat : 14837 (java) S 14827 14827 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88054828 14316269568 34416 18446744073709551615 4194304 4196468 140728511195232 140506945086704 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14838] ppid=14827 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14838/stat : 14838 (java) S 14827 14827 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88054831 14316269568 34416 18446744073709551615 4194304 4196468 140728511195232 140506944035280 140507468687259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14839] ppid=14827 vsize=13980732 memory=48416 CPUtime=0.96 cores=1,3,5,7
/proc/14829/task/14839/stat : 14839 (java) R 14827 14827 897 0 -1 4202560 11736 0 0 0 95 1 0 0 20 0 15 0 88054831 14316269568 34416 18446744073709551615 4194304 4196468 140728511195232 140506942962280 140507449026565 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14840] ppid=14827 vsize=13980732 memory=1292 CPUtime=0.93 cores=1,3,5,7
/proc/14829/task/14840/stat : 14840 (java) R 14827 14827 897 0 -1 4202560 7912 0 0 0 92 1 0 0 20 0 15 0 88054831 14316269568 34416 18446744073709551615 4194304 4196468 140728511195232 140506941914328 140507468682512 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14841] ppid=14827 vsize=13980732 memory=33 CPUtime=0.51 cores=1,3,5,7
/proc/14829/task/14841/stat : 14841 (java) R 14827 14827 897 0 -1 1077944384 3941 0 0 0 51 0 0 0 20 0 15 0 88054831 14316269568 34416 18446744073709551615 4194304 4196468 140728511195232 140506940876784 140507468679810 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14842] ppid=14827 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14842/stat : 14842 (java) S 14827 14827 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88054831 14316269568 34416 18446744073709551615 4194304 4196468 140728511195232 140506939824480 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14843] ppid=14827 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14843/stat : 14843 (java) S 14827 14827 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88054835 14316269568 34416 18446744073709551615 4194304 4196468 140728511195232 140506938772528 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
################
# More data... #
################
/proc/14829/task/14837/stat : 14837 (java) S 14827 14827 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 88054828 14316269568 112640 18446744073709551615 4194304 4196468 140728511195232 140506945086704 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14838] ppid=14827 vsize=13980732 memory=48544 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14838/stat : 14838 (java) S 14827 14827 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88054831 14316269568 112640 18446744073709551615 4194304 4196468 140728511195232 140506944035280 140507468687259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14839] ppid=14827 vsize=13980732 memory=1292 CPUtime=5.19 cores=1,3,5,7
/proc/14829/task/14839/stat : 14839 (java) S 14827 14827 897 0 -1 1077944384 27843 0 0 0 515 4 0 0 20 0 15 0 88054831 14316269568 112640 18446744073709551615 4194304 4196468 140728511195232 140506942982384 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14840] ppid=14827 vsize=13980732 memory=1624 CPUtime=4.84 cores=1,3,5,7
/proc/14829/task/14840/stat : 14840 (java) S 14827 14827 897 0 -1 1077944384 28291 0 0 0 480 4 0 0 20 0 15 0 88054831 14316269568 112640 18446744073709551615 4194304 4196468 140728511195232 140506941929840 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14841] ppid=14827 vsize=13980732 memory=928 CPUtime=0.82 cores=1,3,5,7
/proc/14829/task/14841/stat : 14841 (java) S 14827 14827 897 0 -1 1077944384 10318 0 0 0 81 1 0 0 20 0 15 0 88054831 14316269568 112640 18446744073709551615 4194304 4196468 140728511195232 140506940876784 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14842] ppid=14827 vsize=13980732 memory=461828 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14842/stat : 14842 (java) S 14827 14827 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88054831 14316269568 112640 18446744073709551615 4194304 4196468 140728511195232 140506939824480 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14843] ppid=14827 vsize=13980732 memory=4616 CPUtime=1.28 cores=1,3,5,7
/proc/14829/task/14843/stat : 14843 (java) S 14827 14827 897 0 -1 1077944384 1833 0 0 0 57 71 0 0 20 0 15 0 88054835 14316269568 112640 18446744073709551615 4194304 4196468 140728511195232 140506938772528 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
Current children cumulated CPU time: 2454.45 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 451936 KiB
[startup+2442.3 s]
/proc/loadavg: 1.27 1.38 1.45 3/211 15087
/proc/meminfo: memFree=30168324/32770624 swapFree=67108860/67108860
[pid=14827] ppid=14824 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14827/stat : 14827 (xcsp3-exec) S 14824 14827 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 88054814 9740288 344 18446744073709551615 4194304 5098028 140722837298176 140722837296280 140639247204988 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 11 0 0 7196144 7232144 7684096 140722837303673 140722837303877 140722837303877 140722837307371 0
/proc/14827/statm: 2378 344 289 221 0 87 0
[pid=14829] ppid=14827 vsize=13980732 memory=408828 CPUtime=2516.12 cores=1,3,5,7
/proc/14829/stat : 14829 (java) S 14827 14827 897 0 -1 1077944320 285342 0 0 0 251080 532 0 0 20 0 15 0 88054825 14316269568 102207 18446744073709551615 4194304 4196468 140728511195232 140728511177776 140507468668663 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
/proc/14829/statm: 3495183 102207 3260 1 0 3483476 0
[pid=14829/tid=14830] ppid=14827 vsize=13980732 memory=415176 CPUtime=2417.73 cores=1,3,5,7
/proc/14829/task/14830/stat : 14830 (java) R 14827 14827 897 0 -1 4202560 114668 0 0 0 241725 48 0 0 20 0 15 0 88054826 14316269568 102207 18446744073709551615 4194304 4196468 140728511195232 140507472908128 140507115782241 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14831] ppid=14827 vsize=13980732 memory=422880 CPUtime=20.95 cores=1,3,5,7
/proc/14829/task/14831/stat : 14831 (java) S 14827 14827 897 0 -1 1077944384 16765 0 0 0 2002 93 0 0 20 0 15 0 88054826 14316269568 102207 18446744073709551615 4194304 4196468 140728511195232 140507440511504 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14832] ppid=14827 vsize=13980732 memory=1376 CPUtime=20.94 cores=1,3,5,7
/proc/14829/task/14832/stat : 14832 (java) S 14827 14827 897 0 -1 1077944384 15033 0 0 0 1999 95 0 0 20 0 15 0 88054826 14316269568 102207 18446744073709551615 4194304 4196468 140728511195232 140507067968144 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14833] ppid=14827 vsize=13980732 memory=463920 CPUtime=20.96 cores=1,3,5,7
/proc/14829/task/14833/stat : 14833 (java) S 14827 14827 897 0 -1 1077944384 16425 0 0 0 2000 96 0 0 20 0 15 0 88054826 14316269568 102207 18446744073709551615 4194304 4196468 140728511195232 140507066915088 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14834] ppid=14827 vsize=13980732 memory=415176 CPUtime=20.96 cores=1,3,5,7
/proc/14829/task/14834/stat : 14834 (java) S 14827 14827 897 0 -1 1077944384 17397 0 0 0 2000 96 0 0 20 0 15 0 88054826 14316269568 102207 18446744073709551615 4194304 4196468 140728511195232 140507065862544 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14835] ppid=14827 vsize=13980732 memory=1376 CPUtime=2.33 cores=1,3,5,7
/proc/14829/task/14835/stat : 14835 (java) S 14827 14827 897 0 -1 1077944384 35424 0 0 0 186 47 0 0 20 0 15 0 88054828 14316269568 102207 18446744073709551615 4194304 4196468 140728511195232 140506947193584 140507468679810 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14836] ppid=14827 vsize=13980732 memory=463920 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14836/stat : 14836 (java) S 14827 14827 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 88054828 14316269568 102207 18446744073709551615 4194304 4196468 140728511195232 140506946139808 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14837] ppid=14827 vsize=13980732 memory=409536 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14837/stat : 14837 (java) S 14827 14827 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 88054828 14316269568 102207 18446744073709551615 4194304 4196468 140728511195232 140506945086704 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14838] ppid=14827 vsize=13980732 memory=400812 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14838/stat : 14838 (java) S 14827 14827 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88054831 14316269568 102207 18446744073709551615 4194304 4196468 140728511195232 140506944035280 140507468687259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14839] ppid=14827 vsize=13980732 memory=408828 CPUtime=5.19 cores=1,3,5,7
/proc/14829/task/14839/stat : 14839 (java) S 14827 14827 897 0 -1 1077944384 27843 0 0 0 515 4 0 0 20 0 15 0 88054831 14316269568 102207 18446744073709551615 4194304 4196468 140728511195232 140506942982384 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14840] ppid=14827 vsize=13980732 memory=1376 CPUtime=4.84 cores=1,3,5,7
/proc/14829/task/14840/stat : 14840 (java) S 14827 14827 897 0 -1 1077944384 28291 0 0 0 480 4 0 0 20 0 15 0 88054831 14316269568 102207 18446744073709551615 4194304 4196468 140728511195232 140506941929840 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14841] ppid=14827 vsize=13980732 memory=1376 CPUtime=0.82 cores=1,3,5,7
/proc/14829/task/14841/stat : 14841 (java) S 14827 14827 897 0 -1 1077944384 10318 0 0 0 81 1 0 0 20 0 15 0 88054831 14316269568 102207 18446744073709551615 4194304 4196468 140728511195232 140506940876784 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14842] ppid=14827 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14842/stat : 14842 (java) S 14827 14827 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88054831 14316269568 102207 18446744073709551615 4194304 4196468 140728511195232 140506939824480 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14843] ppid=14827 vsize=13980732 memory=400812 CPUtime=1.32 cores=1,3,5,7
/proc/14829/task/14843/stat : 14843 (java) S 14827 14827 897 0 -1 1077944384 1837 0 0 0 59 73 0 0 20 0 15 0 88054835 14316269568 102207 18446744073709551615 4194304 4196468 140728511195232 140506938772528 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
Current children cumulated CPU time: 2516.12 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 410204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2446.11 s]
/proc/loadavg: 1.33 1.39 1.45 3/211 15087
/proc/meminfo: memFree=30145852/32770624 swapFree=67108860/67108860
[pid=14827] ppid=14824 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14827/stat : 14827 (xcsp3-exec) S 14824 14827 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 88054814 9740288 344 18446744073709551615 4194304 5098028 140722837298176 140722837296280 140639247204988 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 11 0 0 7196144 7232144 7684096 140722837303673 140722837303877 140722837303877 140722837307371 0
/proc/14827/statm: 2378 344 289 221 0 87 0
[pid=14829] ppid=14827 vsize=13980732 memory=437580 CPUtime=2520.03 cores=1,3,5,7
/proc/14829/stat : 14829 (java) S 14827 14827 897 0 -1 1077944320 285397 0 0 0 251467 536 0 0 20 0 15 0 88054825 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140728511177776 140507468668663 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
/proc/14829/statm: 3495183 109395 3260 1 0 3483476 0
[pid=14829/tid=14830] ppid=14827 vsize=13980732 memory=415008 CPUtime=2421.51 cores=1,3,5,7
/proc/14829/task/14830/stat : 14830 (java) R 14827 14827 897 0 -1 4202560 114677 0 0 0 242102 49 0 0 20 0 15 0 88054826 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140507472908016 140507114765345 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14831] ppid=14827 vsize=13980732 memory=409536 CPUtime=20.99 cores=1,3,5,7
/proc/14829/task/14831/stat : 14831 (java) S 14827 14827 897 0 -1 1077944384 16773 0 0 0 2005 94 0 0 20 0 15 0 88054826 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140507440511504 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14832] ppid=14827 vsize=13980732 memory=463920 CPUtime=20.98 cores=1,3,5,7
/proc/14829/task/14832/stat : 14832 (java) S 14827 14827 897 0 -1 1077944384 15041 0 0 0 2002 96 0 0 20 0 15 0 88054826 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140507067968144 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14833] ppid=14827 vsize=13980732 memory=1376 CPUtime=20.99 cores=1,3,5,7
/proc/14829/task/14833/stat : 14833 (java) S 14827 14827 897 0 -1 1077944384 16434 0 0 0 2002 97 0 0 20 0 15 0 88054826 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140507066915088 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14834] ppid=14827 vsize=13980732 memory=463920 CPUtime=20.98 cores=1,3,5,7
/proc/14829/task/14834/stat : 14834 (java) S 14827 14827 897 0 -1 1077944384 17404 0 0 0 2002 96 0 0 20 0 15 0 88054826 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140507065862544 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14835] ppid=14827 vsize=13980732 memory=1376 CPUtime=2.33 cores=1,3,5,7
/proc/14829/task/14835/stat : 14835 (java) S 14827 14827 897 0 -1 1077944384 35438 0 0 0 186 47 0 0 20 0 15 0 88054828 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506947193584 140507468679810 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14836] ppid=14827 vsize=13980732 memory=422880 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14836/stat : 14836 (java) S 14827 14827 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 88054828 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506946139808 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14837] ppid=14827 vsize=13980732 memory=431392 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14837/stat : 14837 (java) S 14827 14827 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 88054828 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506945086704 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14838] ppid=14827 vsize=13980732 memory=437580 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14838/stat : 14838 (java) S 14827 14827 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88054831 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506944035280 140507468687259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14839] ppid=14827 vsize=13980732 memory=1376 CPUtime=5.19 cores=1,3,5,7
/proc/14829/task/14839/stat : 14839 (java) S 14827 14827 897 0 -1 1077944384 27843 0 0 0 515 4 0 0 20 0 15 0 88054831 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506942982384 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14840] ppid=14827 vsize=13980732 memory=33 CPUtime=4.84 cores=1,3,5,7
/proc/14829/task/14840/stat : 14840 (java) S 14827 14827 897 0 -1 1077944384 28291 0 0 0 480 4 0 0 20 0 15 0 88054831 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506941929840 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14841] ppid=14827 vsize=13980732 memory=-7028383565733675155 CPUtime=0.82 cores=1,3,5,7
/proc/14829/task/14841/stat : 14841 (java) S 14827 14827 897 0 -1 1077944384 10318 0 0 0 81 1 0 0 20 0 15 0 88054831 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506940876784 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14842] ppid=14827 vsize=13980732 memory=400812 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14842/stat : 14842 (java) S 14827 14827 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88054831 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506939824480 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14843] ppid=14827 vsize=13980732 memory=1376 CPUtime=1.32 cores=1,3,5,7
/proc/14829/task/14843/stat : 14843 (java) S 14827 14827 897 0 -1 1077944384 1837 0 0 0 59 73 0 0 20 0 15 0 88054835 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506938772528 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 438956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2446.12 s]
# the end of solver process 14827 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001978 s
[startup+2446.12 s]
# the end of solver process 14829 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.68 s, system=5.36643 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2446.11 s]
/proc/loadavg: 1.33 1.39 1.45 3/211 15087
/proc/meminfo: memFree=30145852/32770624 swapFree=67108860/67108860
[pid=14827] ppid=14824 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14827/stat : 14827 (xcsp3-exec) S 14824 14827 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 88054814 9740288 344 18446744073709551615 4194304 5098028 140722837298176 140722837296280 140639247204988 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 11 0 0 7196144 7232144 7684096 140722837303673 140722837303877 140722837303877 140722837307371 0
/proc/14827/statm: 2378 344 289 221 0 87 0
[pid=14829] ppid=14827 vsize=13980732 memory=437580 CPUtime=2520.03 cores=1,3,5,7
/proc/14829/stat : 14829 (java) S 14827 14827 897 0 -1 1077944320 285397 0 0 0 251467 536 0 0 20 0 15 0 88054825 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140728511177776 140507468668663 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
/proc/14829/statm: 3495183 109395 3260 1 0 3483476 0
[pid=14829/tid=14830] ppid=14827 vsize=13980732 memory=415008 CPUtime=2421.51 cores=1,3,5,7
/proc/14829/task/14830/stat : 14830 (java) R 14827 14827 897 0 -1 4202560 114677 0 0 0 242102 49 0 0 20 0 15 0 88054826 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140507472908016 140507114765345 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14831] ppid=14827 vsize=13980732 memory=409536 CPUtime=20.99 cores=1,3,5,7
/proc/14829/task/14831/stat : 14831 (java) S 14827 14827 897 0 -1 1077944384 16773 0 0 0 2005 94 0 0 20 0 15 0 88054826 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140507440511504 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14832] ppid=14827 vsize=13980732 memory=463920 CPUtime=20.98 cores=1,3,5,7
/proc/14829/task/14832/stat : 14832 (java) S 14827 14827 897 0 -1 1077944384 15041 0 0 0 2002 96 0 0 20 0 15 0 88054826 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140507067968144 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14833] ppid=14827 vsize=13980732 memory=1376 CPUtime=20.99 cores=1,3,5,7
/proc/14829/task/14833/stat : 14833 (java) S 14827 14827 897 0 -1 1077944384 16434 0 0 0 2002 97 0 0 20 0 15 0 88054826 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140507066915088 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14834] ppid=14827 vsize=13980732 memory=463920 CPUtime=20.98 cores=1,3,5,7
/proc/14829/task/14834/stat : 14834 (java) S 14827 14827 897 0 -1 1077944384 17404 0 0 0 2002 96 0 0 20 0 15 0 88054826 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140507065862544 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14835] ppid=14827 vsize=13980732 memory=1376 CPUtime=2.33 cores=1,3,5,7
/proc/14829/task/14835/stat : 14835 (java) S 14827 14827 897 0 -1 1077944384 35438 0 0 0 186 47 0 0 20 0 15 0 88054828 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506947193584 140507468679810 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14836] ppid=14827 vsize=13980732 memory=422880 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14836/stat : 14836 (java) S 14827 14827 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 88054828 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506946139808 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14837] ppid=14827 vsize=13980732 memory=431392 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14837/stat : 14837 (java) S 14827 14827 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 88054828 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506945086704 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14838] ppid=14827 vsize=13980732 memory=437580 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14838/stat : 14838 (java) S 14827 14827 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88054831 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506944035280 140507468687259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14839] ppid=14827 vsize=13980732 memory=1376 CPUtime=5.19 cores=1,3,5,7
/proc/14829/task/14839/stat : 14839 (java) S 14827 14827 897 0 -1 1077944384 27843 0 0 0 515 4 0 0 20 0 15 0 88054831 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506942982384 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14840] ppid=14827 vsize=13980732 memory=33 CPUtime=4.84 cores=1,3,5,7
/proc/14829/task/14840/stat : 14840 (java) S 14827 14827 897 0 -1 1077944384 28291 0 0 0 480 4 0 0 20 0 15 0 88054831 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506941929840 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14841] ppid=14827 vsize=13980732 memory=-7028383565733675155 CPUtime=0.82 cores=1,3,5,7
/proc/14829/task/14841/stat : 14841 (java) S 14827 14827 897 0 -1 1077944384 10318 0 0 0 81 1 0 0 20 0 15 0 88054831 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506940876784 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14842] ppid=14827 vsize=13980732 memory=400812 CPUtime=0 cores=1,3,5,7
/proc/14829/task/14842/stat : 14842 (java) S 14827 14827 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88054831 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506939824480 140507468678869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
[pid=14829/tid=14843] ppid=14827 vsize=13980732 memory=1376 CPUtime=1.32 cores=1,3,5,7
/proc/14829/task/14843/stat : 14843 (java) S 14827 14827 897 0 -1 1077944384 1837 0 0 0 59 73 0 0 20 0 15 0 88054835 14316269568 109395 18446744073709551615 4194304 4196468 140728511195232 140506938772528 140507468679810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 6742016 140728511201713 140728511201889 140728511201889 140728511205327 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 438956 KiB
Child status: 143
Real time (s): 2446.12
CPU time (s): 2520.05
CPU user time (s): 2514.68
CPU system time (s): 5.36643
CPU usage (%): 103.022
Max. virtual memory (cumulated for all children) (KiB): 13993156
Max. memory (cumulated for all children) (KiB): 545856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.68
system time used= 5.36643
maximum resident set size= 549516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286073
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97464
involuntary context switches= 4199
# summary of solver processes directly reported to runsolver:
# pid: 14827,14829
# total CPU time (s): 2520.05
# total CPU user time (s): 2514.68
# total CPU system time (s): 5.36643
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2067 second user time and 22.7024 second system time
The end