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 (14969 MiB free)
memory of node 1: 16384 MiB (14163 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281910-1503112283/watcher-4281910-1503112283 -o /tmp/evaluation-result-4281910-1503112283/solver-4281910-1503112283 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28950 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 936117299 HOME/instance-4281910-1503112283.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=31911, runsolver pid=31908
Current StackSize limit: 8192 KiB
[startup+0.100151 s]*
/proc/loadavg: 1.74 1.79 1.84 2/196 31912
/proc/meminfo: memFree=29832236/32770624 swapFree=67108860/67108860
[pid=31911] ppid=31908 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31911/stat : 31911 (xcsp3-exec) S 31908 31911 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113421365 9740288 345 18446744073709551615 4194304 5098028 140731720673856 140731720671960 140417560257148 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 28504064 140731720679801 140731720680005 140731720680005 140731720683499 0
/proc/31911/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+0.209559 s]*
/proc/loadavg: 1.74 1.79 1.84 3/211 31927
/proc/meminfo: memFree=29819860/32770624 swapFree=67108860/67108860
[pid=31911] ppid=31908 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31911/stat : 31911 (xcsp3-exec) S 31908 31911 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113421365 9740288 345 18446744073709551615 4194304 5098028 140731720673856 140731720671960 140417560257148 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 28504064 140731720679801 140731720680005 140731720680005 140731720683499 0
/proc/31911/statm: 2378 345 289 221 0 87 0
[pid=31913] ppid=31911 vsize=13974352 memory=25240 CPUtime=0.07 cores=0,2,4,6
/proc/31913/stat : 31913 (java) S 31911 31911 28892 0 -1 1077944320 5211 0 0 0 6 1 0 0 20 0 15 0 113421376 14309736448 6310 18446744073709551615 4194304 4196468 140733826910256 140733826892800 139635430067959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
/proc/31913/statm: 3493588 6310 2725 1 0 3482964 0
[pid=31913/tid=31914] ppid=31911 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=0,2,4,6
/proc/31913/task/31914/stat : 31914 (java) R 31911 31911 28892 0 -1 4202560 3365 0 0 0 5 1 0 0 20 0 15 0 113421376 14309736448 6310 18446744073709551615 4194304 4196468 140733826910256 139635434293648 139635430089885 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31915] ppid=31911 vsize=13974352 memory=13729 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31915/stat : 31915 (java) S 31911 31911 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113421377 14309736448 6310 18446744073709551615 4194304 4196468 140733826910256 139635364502544 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31916] ppid=31911 vsize=13974352 memory=3904821152955946656 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31916/stat : 31916 (java) S 31911 31911 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113421377 14309736448 6310 18446744073709551615 4194304 4196468 140733826910256 139635363450000 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31917] ppid=31911 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31917/stat : 31917 (java) S 31911 31911 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113421377 14309736448 6310 18446744073709551615 4194304 4196468 140733826910256 139635362396944 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31918] ppid=31911 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31918/stat : 31918 (java) S 31911 31911 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113421377 14309736448 6310 18446744073709551615 4194304 4196468 140733826910256 139635361344400 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31919] ppid=31911 vsize=13974352 memory=140661040535168 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31919/stat : 31919 (java) S 31911 31911 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113421378 14309736448 6310 18446744073709551615 4194304 4196468 140733826910256 139634908178672 139635430079106 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31920] ppid=31911 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31920/stat : 31920 (java) S 31911 31911 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113421379 14309736448 6310 18446744073709551615 4194304 4196468 140733826910256 139634907124896 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31921] ppid=31911 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31921/stat : 31921 (java) S 31911 31911 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113421379 14309736448 6310 18446744073709551615 4194304 4196468 140733826910256 139634906071792 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31922] ppid=31911 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31922/stat : 31922 (java) S 31911 31911 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113421381 14309736448 6310 18446744073709551615 4194304 4196468 140733826910256 139634905020368 139635430086555 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31923] ppid=31911 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31923/stat : 31923 (java) S 31911 31911 28892 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 113421381 14309736448 6310 18446744073709551615 4194304 4196468 140733826910256 139634903968496 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31924] ppid=31911 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31924/stat : 31924 (java) S 31911 31911 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113421381 14309736448 6310 18446744073709551615 4194304 4196468 140733826910256 139634902915952 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31925] ppid=31911 vsize=13974352 memory=140661040535168 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31925/stat : 31925 (java) S 31911 31911 28892 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 113421381 14309736448 6310 18446744073709551615 4194304 4196468 140733826910256 139634901862896 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31926] ppid=31911 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31926/stat : 31926 (java) S 31911 31911 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113421381 14309736448 6310 18446744073709551615 4194304 4196468 140733826910256 139634900810592 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31927] ppid=31911 vsize=13974352 memory=140661040535168 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31927/stat : 31927 (java) S 31911 31911 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113421386 14309736448 6310 18446744073709551615 4194304 4196468 140733826910256 139634899757616 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26620 KiB
[startup+0.310066 s]*
/proc/loadavg: 1.74 1.79 1.84 3/211 31927
/proc/meminfo: memFree=29805576/32770624 swapFree=67108860/67108860
[pid=31911] ppid=31908 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31911/stat : 31911 (xcsp3-exec) S 31908 31911 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113421365 9740288 345 18446744073709551615 4194304 5098028 140731720673856 140731720671960 140417560257148 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 28504064 140731720679801 140731720680005 140731720680005 140731720683499 0
/proc/31911/statm: 2378 345 289 221 0 87 0
[pid=31913] ppid=31911 vsize=13974352 memory=36736 CPUtime=0.26 cores=0,2,4,6
/proc/31913/stat : 31913 (java) S 31911 31911 28892 0 -1 1077944320 8818 0 0 0 23 3 0 0 20 0 15 0 113421376 14309736448 9184 18446744073709551615 4194304 4196468 140733826910256 140733826892800 139635430067959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
/proc/31913/statm: 3493588 9184 2957 1 0 3482964 0
[pid=31913/tid=31914] ppid=31911 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/31913/task/31914/stat : 31914 (java) R 31911 31911 28892 0 -1 4202560 6058 0 0 0 14 2 0 0 20 0 15 0 113421376 14309736448 9184 18446744073709551615 4194304 4196468 140733826910256 139635434284288 139635414148446 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31915] ppid=31911 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31915/stat : 31915 (java) S 31911 31911 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113421377 14309736448 9184 18446744073709551615 4194304 4196468 140733826910256 139635364502544 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31916] ppid=31911 vsize=13974352 memory=140661040535168 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31916/stat : 31916 (java) S 31911 31911 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113421377 14309736448 9184 18446744073709551615 4194304 4196468 140733826910256 139635363450000 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31917] ppid=31911 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31917/stat : 31917 (java) S 31911 31911 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113421377 14309736448 9184 18446744073709551615 4194304 4196468 140733826910256 139635362396944 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31918] ppid=31911 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31918/stat : 31918 (java) S 31911 31911 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113421377 14309736448 9184 18446744073709551615 4194304 4196468 140733826910256 139635361344400 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31919] ppid=31911 vsize=13974352 memory=140661040535168 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31919/stat : 31919 (java) S 31911 31911 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113421378 14309736448 9184 18446744073709551615 4194304 4196468 140733826910256 139634908178672 139635430079106 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31920] ppid=31911 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31920/stat : 31920 (java) S 31911 31911 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113421379 14309736448 9184 18446744073709551615 4194304 4196468 140733826910256 139634907124896 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31921] ppid=31911 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31921/stat : 31921 (java) S 31911 31911 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113421379 14309736448 9184 18446744073709551615 4194304 4196468 140733826910256 139634906071792 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31922] ppid=31911 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31922/stat : 31922 (java) S 31911 31911 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113421381 14309736448 9184 18446744073709551615 4194304 4196468 140733826910256 139634905020368 139635430086555 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31923] ppid=31911 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31913/task/31923/stat : 31923 (java) R 31911 31911 28892 0 -1 4202560 528 0 0 0 1 0 0 0 20 0 15 0 113421381 14309736448 9184 18446744073709551615 4194304 4196468 140733826910256 139634903968496 139635415267969 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31924] ppid=31911 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/31913/task/31924/stat : 31924 (java) S 31911 31911 28892 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 15 0 113421381 14309736448 9184 18446744073709551615 4194304 4196468 140733826910256 139634902915952 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31925] ppid=31911 vsize=13974352 memory=140661040535168 CPUtime=0.05 cores=0,2,4,6
/proc/31913/task/31925/stat : 31925 (java) S 31911 31911 28892 0 -1 1077944384 716 0 0 0 5 0 0 0 20 0 15 0 113421381 14309736448 9250 18446744073709551615 4194304 4196468 140733826910256 139634901862896 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31926] ppid=31911 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31926/stat : 31926 (java) S 31911 31911 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113421381 14309736448 9250 18446744073709551615 4194304 4196468 140733826910256 139634900810592 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31927] ppid=31911 vsize=13974352 memory=140661040535168 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31927/stat : 31927 (java) S 31911 31911 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113421386 14309736448 9250 18446744073709551615 4194304 4196468 140733826910256 139634899757616 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38116 KiB
[startup+0.700772 s]
/proc/loadavg: 1.74 1.79 1.84 3/211 31927
/proc/meminfo: memFree=29791596/32770624 swapFree=67108860/67108860
[pid=31911] ppid=31908 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31911/stat : 31911 (xcsp3-exec) S 31908 31911 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113421365 9740288 345 18446744073709551615 4194304 5098028 140731720673856 140731720671960 140417560257148 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 28504064 140731720679801 140731720680005 140731720680005 140731720683499 0
/proc/31911/statm: 2378 345 289 221 0 87 0
[pid=31913] ppid=31911 vsize=13980732 memory=78164 CPUtime=1.18 cores=0,2,4,6
/proc/31913/stat : 31913 (java) S 31911 31911 28892 0 -1 1077944320 12615 0 0 0 113 5 0 0 20 0 15 0 113421376 14316269568 19541 18446744073709551615 4194304 4196468 140733826910256 140733826892800 139635430067959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
/proc/31913/statm: 3495183 19541 3168 1 0 3483476 0
[pid=31913/tid=31914] ppid=31911 vsize=13980732 memory=281321834540964 CPUtime=0.54 cores=0,2,4,6
/proc/31913/task/31914/stat : 31914 (java) R 31911 31911 28892 0 -1 4202560 8452 0 0 0 50 4 0 0 20 0 15 0 113421376 14316269568 19541 18446744073709551615 4194304 4196468 140733826910256 139635434303968 139635430079894 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31915] ppid=31911 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31915/stat : 31915 (java) S 31911 31911 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113421377 14316269568 19541 18446744073709551615 4194304 4196468 140733826910256 139635364502544 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31916] ppid=31911 vsize=13980732 memory=7516622583637299309 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31916/stat : 31916 (java) S 31911 31911 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113421377 14316269568 19541 18446744073709551615 4194304 4196468 140733826910256 139635363450000 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31917] ppid=31911 vsize=13980732 memory=7373916858537504097 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31917/stat : 31917 (java) S 31911 31911 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113421377 14316269568 19541 18446744073709551615 4194304 4196468 140733826910256 139635362396944 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31918] ppid=31911 vsize=13980732 memory=6935649255759568960 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31918/stat : 31918 (java) S 31911 31911 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113421377 14316269568 19541 18446744073709551615 4194304 4196468 140733826910256 139635361344400 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31919] ppid=31911 vsize=13980732 memory=8514701219781834910 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31919/stat : 31919 (java) S 31911 31911 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113421378 14316269568 19541 18446744073709551615 4194304 4196468 140733826910256 139634908178672 139635430079106 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31920] ppid=31911 vsize=13980732 memory=-7887927021948682183 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31920/stat : 31920 (java) S 31911 31911 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113421379 14316269568 19541 18446744073709551615 4194304 4196468 140733826910256 139634907124896 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31921] ppid=31911 vsize=13980732 memory=4137282616176187523 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31921/stat : 31921 (java) S 31911 31911 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113421379 14316269568 19541 18446744073709551615 4194304 4196468 140733826910256 139634906071792 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31922] ppid=31911 vsize=13980732 memory=-9001733975035373671 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31922/stat : 31922 (java) S 31911 31911 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113421381 14316269568 19541 18446744073709551615 4194304 4196468 140733826910256 139634905020368 139635430086555 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31923] ppid=31911 vsize=13980732 memory=-6237260532469557610 CPUtime=0.17 cores=0,2,4,6
/proc/31913/task/31923/stat : 31923 (java) R 31911 31911 28892 0 -1 4202560 990 0 0 0 17 0 0 0 20 0 15 0 113421381 14316269568 19541 18446744073709551615 4194304 4196468 140733826910256 139634903955936 139635413974676 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31924] ppid=31911 vsize=13980732 memory=53692 CPUtime=0.18 cores=0,2,4,6
/proc/31913/task/31924/stat : 31924 (java) R 31911 31911 28892 0 -1 4202560 635 0 0 0 18 0 0 0 20 0 15 0 113421381 14316269568 19541 18446744073709551615 4194304 4196468 140733826910256 139634902896856 139635410243116 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31925] ppid=31911 vsize=13980732 memory=-8774313645642428999 CPUtime=0.26 cores=0,2,4,6
/proc/31913/task/31925/stat : 31925 (java) R 31911 31911 28892 0 -1 1077944384 1248 0 0 0 26 0 0 0 20 0 15 0 113421381 14316269568 19541 18446744073709551615 4194304 4196468 140733826910256 139634901862896 139635430079106 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31926] ppid=31911 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31926/stat : 31926 (java) S 31911 31911 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113421381 14316269568 19541 18446744073709551615 4194304 4196468 140733826910256 139634900810592 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31927] ppid=31911 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31927/stat : 31927 (java) S 31911 31911 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113421386 14316269568 19541 18446744073709551615 4194304 4196468 140733826910256 139634899757616 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 79544 KiB
[startup+1.50091 s]
/proc/loadavg: 1.74 1.79 1.84 5/211 31927
/proc/meminfo: memFree=29697060/32770624 swapFree=67108860/67108860
[pid=31911] ppid=31908 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31911/stat : 31911 (xcsp3-exec) S 31908 31911 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113421365 9740288 345 18446744073709551615 4194304 5098028 140731720673856 140731720671960 140417560257148 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 28504064 140731720679801 140731720680005 140731720680005 140731720683499 0
/proc/31911/statm: 2378 345 289 221 0 87 0
[pid=31913] ppid=31911 vsize=13980732 memory=174764 CPUtime=2.89 cores=0,2,4,6
/proc/31913/stat : 31913 (java) S 31911 31911 28892 0 -1 1077944320 16008 0 0 0 282 7 0 0 20 0 15 0 113421376 14316269568 43691 18446744073709551615 4194304 4196468 140733826910256 140733826892800 139635430067959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
/proc/31913/statm: 3495183 43691 3195 1 0 3483476 0
[pid=31913/tid=31914] ppid=31911 vsize=13980732 memory=-8774313645642428999 CPUtime=1.33 cores=0,2,4,6
/proc/31913/task/31914/stat : 31914 (java) R 31911 31911 28892 0 -1 4202560 9173 0 0 0 128 5 0 0 20 0 15 0 113421376 14316269568 43691 18446744073709551615 4194304 4196468 140733826910256 139635434304112 139635045224081 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31915] ppid=31911 vsize=13980732 memory=3472468956336637185 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31915/stat : 31915 (java) S 31911 31911 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113421377 14316269568 43691 18446744073709551615 4194304 4196468 140733826910256 139635364502544 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31916] ppid=31911 vsize=13980732 memory=7162362745734843874 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31916/stat : 31916 (java) S 31911 31911 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113421377 14316269568 43691 18446744073709551615 4194304 4196468 140733826910256 139635363450000 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31917] ppid=31911 vsize=13980732 memory=4207740174563825347 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31917/stat : 31917 (java) S 31911 31911 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113421377 14316269568 43691 18446744073709551615 4194304 4196468 140733826910256 139635362396944 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31918] ppid=31911 vsize=13980732 memory=3472468956336644004 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31918/stat : 31918 (java) S 31911 31911 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113421377 14316269568 43691 18446744073709551615 4194304 4196468 140733826910256 139635361344400 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31919] ppid=31911 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31919/stat : 31919 (java) S 31911 31911 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113421378 14316269568 43691 18446744073709551615 4194304 4196468 140733826910256 139634908178672 139635430079106 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31920] ppid=31911 vsize=13980732 memory=-7609587603227713181 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31920/stat : 31920 (java) S 31911 31911 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113421379 14316269568 43691 18446744073709551615 4194304 4196468 140733826910256 139634907124896 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31921] ppid=31911 vsize=13980732 memory=8305311027921445216 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31921/stat : 31921 (java) S 31911 31911 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113421379 14316269568 43691 18446744073709551615 4194304 4196468 140733826910256 139634906071792 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31922] ppid=31911 vsize=13980732 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31922/stat : 31922 (java) S 31911 31911 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113421381 14316269568 43691 18446744073709551615 4194304 4196468 140733826910256 139634905020368 139635430086555 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31923] ppid=31911 vsize=13980732 memory=-8412652169205224307 CPUtime=0.59 cores=0,2,4,6
/proc/31913/task/31923/stat : 31923 (java) R 31911 31911 28892 0 -1 4202560 1829 0 0 0 59 0 0 0 20 0 15 0 113421381 14316269568 43691 18446744073709551615 4194304 4196468 140733826910256 139634903968496 139635409311855 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31924] ppid=31911 vsize=13980732 memory=-6158907362674458256 CPUtime=0.56 cores=0,2,4,6
/proc/31913/task/31924/stat : 31924 (java) S 31911 31911 28892 0 -1 1077944384 1537 0 0 0 56 0 0 0 20 0 15 0 113421381 14316269568 43691 18446744073709551615 4194304 4196468 140733826910256 139634902915952 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31925] ppid=31911 vsize=13980732 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/31913/task/31925/stat : 31925 (java) S 31911 31911 28892 0 -1 1077944384 2146 0 0 0 37 0 0 0 20 0 15 0 113421381 14316269568 43691 18446744073709551615 4194304 4196468 140733826910256 139634901862896 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31926] ppid=31911 vsize=13980732 memory=-1891255765032775953 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31926/stat : 31926 (java) S 31911 31911 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113421381 14316269568 43691 18446744073709551615 4194304 4196468 140733826910256 139634900810592 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31927] ppid=31911 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31927/stat : 31927 (java) S 31911 31911 28892 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 113421386 14316269568 43691 18446744073709551615 4194304 4196468 140733826910256 139634899757616 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
################
# More data... #
################
/proc/31913/task/31921/stat : 31921 (java) S 31911 31911 28892 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 113421379 14316269568 123910 18446744073709551615 4194304 4196468 140733826910256 139634906071792 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31922] ppid=31911 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31922/stat : 31922 (java) S 31911 31911 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113421381 14316269568 123910 18446744073709551615 4194304 4196468 140733826910256 139634905020368 139635430086555 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31923] ppid=31911 vsize=13980732 memory=1380 CPUtime=1.87 cores=0,2,4,6
/proc/31913/task/31923/stat : 31923 (java) S 31911 31911 28892 0 -1 1077944384 18268 0 0 0 184 3 0 0 20 0 15 0 113421381 14316269568 123910 18446744073709551615 4194304 4196468 140733826910256 139634903968496 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31924] ppid=31911 vsize=13980732 memory=1380 CPUtime=2.2 cores=0,2,4,6
/proc/31913/task/31924/stat : 31924 (java) S 31911 31911 28892 0 -1 1077944384 22259 0 0 0 218 2 0 0 20 0 15 0 113421381 14316269568 123910 18446744073709551615 4194304 4196468 140733826910256 139634902915952 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31925] ppid=31911 vsize=13980732 memory=4028 CPUtime=0.55 cores=0,2,4,6
/proc/31913/task/31925/stat : 31925 (java) S 31911 31911 28892 0 -1 1077944384 9618 0 0 0 53 2 0 0 20 0 15 0 113421381 14316269568 123910 18446744073709551615 4194304 4196468 140733826910256 139634901862896 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31926] ppid=31911 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31926/stat : 31926 (java) S 31911 31911 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113421381 14316269568 123910 18446744073709551615 4194304 4196468 140733826910256 139634900810592 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31927] ppid=31911 vsize=13980732 memory=495640 CPUtime=1.44 cores=0,2,4,6
/proc/31913/task/31927/stat : 31927 (java) S 31911 31911 28892 0 -1 1077944384 2170 0 0 0 71 73 0 0 20 0 15 0 113421386 14316269568 123910 18446744073709551615 4194304 4196468 140733826910256 139634899757616 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
Current children cumulated CPU time: 2388.49 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 497020 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/211 32117
/proc/meminfo: memFree=28913624/32770624 swapFree=67108860/67108860
[pid=31911] ppid=31908 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31911/stat : 31911 (xcsp3-exec) S 31908 31911 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113421365 9740288 345 18446744073709551615 4194304 5098028 140731720673856 140731720671960 140417560257148 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 28504064 140731720679801 140731720680005 140731720680005 140731720683499 0
/proc/31911/statm: 2378 345 289 221 0 87 0
[pid=31913] ppid=31911 vsize=13980732 memory=514072 CPUtime=2448.52 cores=0,2,4,6
/proc/31913/stat : 31913 (java) S 31911 31911 28892 0 -1 1077944320 83239 0 0 0 244763 89 0 0 20 0 15 0 113421376 14316269568 128518 18446744073709551615 4194304 4196468 140733826910256 140733826892800 139635430067959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
/proc/31913/statm: 3495183 128518 3241 1 0 3483476 0
[pid=31913/tid=31914] ppid=31911 vsize=13980732 memory=505880 CPUtime=2441.79 cores=0,2,4,6
/proc/31913/task/31914/stat : 31914 (java) R 31911 31911 28892 0 -1 4202560 25218 0 0 0 244169 10 0 0 20 0 15 0 113421376 14316269568 128518 18446744073709551615 4194304 4196468 140733826910256 139635434306920 139635045100872 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31915] ppid=31911 vsize=13980732 memory=501784 CPUtime=0.11 cores=0,2,4,6
/proc/31913/task/31915/stat : 31915 (java) S 31911 31911 28892 0 -1 1077944384 972 0 0 0 8 3 0 0 20 0 15 0 113421377 14316269568 128518 18446744073709551615 4194304 4196468 140733826910256 139635364502544 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31916] ppid=31911 vsize=13980732 memory=505880 CPUtime=0.12 cores=0,2,4,6
/proc/31913/task/31916/stat : 31916 (java) S 31911 31911 28892 0 -1 1077944384 744 0 0 0 9 3 0 0 20 0 15 0 113421377 14316269568 128518 18446744073709551615 4194304 4196468 140733826910256 139635363450000 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31917] ppid=31911 vsize=13980732 memory=505880 CPUtime=0.12 cores=0,2,4,6
/proc/31913/task/31917/stat : 31917 (java) S 31911 31911 28892 0 -1 1077944384 673 0 0 0 9 3 0 0 20 0 15 0 113421377 14316269568 128518 18446744073709551615 4194304 4196468 140733826910256 139635362396944 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31918] ppid=31911 vsize=13980732 memory=505880 CPUtime=0.12 cores=0,2,4,6
/proc/31913/task/31918/stat : 31918 (java) S 31911 31911 28892 0 -1 1077944384 608 0 0 0 9 3 0 0 20 0 15 0 113421377 14316269568 128518 18446744073709551615 4194304 4196468 140733826910256 139635361344400 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31919] ppid=31911 vsize=13980732 memory=507928 CPUtime=0.07 cores=0,2,4,6
/proc/31913/task/31919/stat : 31919 (java) S 31911 31911 28892 0 -1 1077944384 1339 0 0 0 3 4 0 0 20 0 15 0 113421378 14316269568 128518 18446744073709551615 4194304 4196468 140733826910256 139634908178672 139635430079106 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31920] ppid=31911 vsize=13980732 memory=514072 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31920/stat : 31920 (java) S 31911 31911 28892 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 113421379 14316269568 128518 18446744073709551615 4194304 4196468 140733826910256 139634907124896 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31921] ppid=31911 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31921/stat : 31921 (java) S 31911 31911 28892 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 113421379 14316269568 128518 18446744073709551615 4194304 4196468 140733826910256 139634906071792 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31922] ppid=31911 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31922/stat : 31922 (java) S 31911 31911 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113421381 14316269568 128518 18446744073709551615 4194304 4196468 140733826910256 139634905020368 139635430086555 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31923] ppid=31911 vsize=13980732 memory=512024 CPUtime=1.87 cores=0,2,4,6
/proc/31913/task/31923/stat : 31923 (java) S 31911 31911 28892 0 -1 1077944384 18268 0 0 0 184 3 0 0 20 0 15 0 113421381 14316269568 128518 18446744073709551615 4194304 4196468 140733826910256 139634903968496 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31924] ppid=31911 vsize=13980732 memory=1380 CPUtime=2.2 cores=0,2,4,6
/proc/31913/task/31924/stat : 31924 (java) S 31911 31911 28892 0 -1 1077944384 22259 0 0 0 218 2 0 0 20 0 15 0 113421381 14316269568 128518 18446744073709551615 4194304 4196468 140733826910256 139634902915952 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31925] ppid=31911 vsize=13980732 memory=512024 CPUtime=0.56 cores=0,2,4,6
/proc/31913/task/31925/stat : 31925 (java) S 31911 31911 28892 0 -1 1077944384 9618 0 0 0 54 2 0 0 20 0 15 0 113421381 14316269568 128518 18446744073709551615 4194304 4196468 140733826910256 139634901862896 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31926] ppid=31911 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31926/stat : 31926 (java) S 31911 31911 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113421381 14316269568 128518 18446744073709551615 4194304 4196468 140733826910256 139634900810592 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31927] ppid=31911 vsize=13980732 memory=514072 CPUtime=1.47 cores=0,2,4,6
/proc/31913/task/31927/stat : 31927 (java) S 31911 31911 28892 0 -1 1077944384 2174 0 0 0 73 74 0 0 20 0 15 0 113421386 14316269568 128518 18446744073709551615 4194304 4196468 140733826910256 139634899757616 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
Current children cumulated CPU time: 2448.52 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 515452 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/211 32197
/proc/meminfo: memFree=30506232/32770624 swapFree=67108860/67108860
[pid=31911] ppid=31908 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31911/stat : 31911 (xcsp3-exec) S 31908 31911 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113421365 9740288 345 18446744073709551615 4194304 5098028 140731720673856 140731720671960 140417560257148 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 28504064 140731720679801 140731720680005 140731720680005 140731720683499 0
/proc/31911/statm: 2378 345 289 221 0 87 0
[pid=31913] ppid=31911 vsize=13980732 memory=548888 CPUtime=2508.56 cores=0,2,4,6
/proc/31913/stat : 31913 (java) S 31911 31911 28892 0 -1 1077944320 83689 0 0 0 250765 91 0 0 20 0 15 0 113421376 14316269568 137222 18446744073709551615 4194304 4196468 140733826910256 140733826892800 139635430067959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
/proc/31913/statm: 3495183 137222 3241 1 0 3483476 0
[pid=31913/tid=31914] ppid=31911 vsize=13980732 memory=548888 CPUtime=2501.79 cores=0,2,4,6
/proc/31913/task/31914/stat : 31914 (java) R 31911 31911 28892 0 -1 4202560 25633 0 0 0 250168 11 0 0 20 0 15 0 113421376 14316269568 137222 18446744073709551615 4194304 4196468 140733826910256 139635434306920 139635045100872 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31915] ppid=31911 vsize=13980732 memory=546840 CPUtime=0.11 cores=0,2,4,6
/proc/31913/task/31915/stat : 31915 (java) S 31911 31911 28892 0 -1 1077944384 972 0 0 0 8 3 0 0 20 0 15 0 113421377 14316269568 137222 18446744073709551615 4194304 4196468 140733826910256 139635364502544 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31916] ppid=31911 vsize=13980732 memory=538648 CPUtime=0.12 cores=0,2,4,6
/proc/31913/task/31916/stat : 31916 (java) S 31911 31911 28892 0 -1 1077944384 744 0 0 0 9 3 0 0 20 0 15 0 113421377 14316269568 137222 18446744073709551615 4194304 4196468 140733826910256 139635363450000 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31917] ppid=31911 vsize=13980732 memory=534552 CPUtime=0.12 cores=0,2,4,6
/proc/31913/task/31917/stat : 31917 (java) S 31911 31911 28892 0 -1 1077944384 673 0 0 0 9 3 0 0 20 0 15 0 113421377 14316269568 137222 18446744073709551615 4194304 4196468 140733826910256 139635362396944 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31918] ppid=31911 vsize=13980732 memory=1380 CPUtime=0.12 cores=0,2,4,6
/proc/31913/task/31918/stat : 31918 (java) S 31911 31911 28892 0 -1 1077944384 608 0 0 0 9 3 0 0 20 0 15 0 113421377 14316269568 137222 18446744073709551615 4194304 4196468 140733826910256 139635361344400 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31919] ppid=31911 vsize=13980732 memory=544792 CPUtime=0.07 cores=0,2,4,6
/proc/31913/task/31919/stat : 31919 (java) S 31911 31911 28892 0 -1 1077944384 1345 0 0 0 3 4 0 0 20 0 15 0 113421378 14316269568 137222 18446744073709551615 4194304 4196468 140733826910256 139634908178672 139635430079106 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31920] ppid=31911 vsize=13980732 memory=548888 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31920/stat : 31920 (java) S 31911 31911 28892 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 113421379 14316269568 137222 18446744073709551615 4194304 4196468 140733826910256 139634907124896 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31921] ppid=31911 vsize=13980732 memory=546840 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31921/stat : 31921 (java) S 31911 31911 28892 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 113421379 14316269568 137222 18446744073709551615 4194304 4196468 140733826910256 139634906071792 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31922] ppid=31911 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31922/stat : 31922 (java) S 31911 31911 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113421381 14316269568 137222 18446744073709551615 4194304 4196468 140733826910256 139634905020368 139635430086555 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31923] ppid=31911 vsize=13980732 memory=1380 CPUtime=1.87 cores=0,2,4,6
/proc/31913/task/31923/stat : 31923 (java) S 31911 31911 28892 0 -1 1077944384 18271 0 0 0 184 3 0 0 20 0 15 0 113421381 14316269568 137222 18446744073709551615 4194304 4196468 140733826910256 139634903968496 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31924] ppid=31911 vsize=13980732 memory=1380 CPUtime=2.2 cores=0,2,4,6
/proc/31913/task/31924/stat : 31924 (java) S 31911 31911 28892 0 -1 1077944384 22261 0 0 0 218 2 0 0 20 0 15 0 113421381 14316269568 137222 18446744073709551615 4194304 4196468 140733826910256 139634902915952 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31925] ppid=31911 vsize=13980732 memory=542744 CPUtime=0.56 cores=0,2,4,6
/proc/31913/task/31925/stat : 31925 (java) S 31911 31911 28892 0 -1 1077944384 9620 0 0 0 54 2 0 0 20 0 15 0 113421381 14316269568 137222 18446744073709551615 4194304 4196468 140733826910256 139634901862896 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31926] ppid=31911 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31926/stat : 31926 (java) S 31911 31911 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113421381 14316269568 137222 18446744073709551615 4194304 4196468 140733826910256 139634900810592 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31927] ppid=31911 vsize=13980732 memory=544792 CPUtime=1.51 cores=0,2,4,6
/proc/31913/task/31927/stat : 31927 (java) S 31911 31911 28892 0 -1 1077944384 2196 0 0 0 75 76 0 0 20 0 15 0 113421386 14316269568 137222 18446744073709551615 4194304 4196468 140733826910256 139634899757616 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
Current children cumulated CPU time: 2508.56 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 550268 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.8 s]
/proc/loadavg: 2.00 2.02 2.01 3/211 32197
/proc/meminfo: memFree=30481372/32770624 swapFree=67108860/67108860
[pid=31911] ppid=31908 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31911/stat : 31911 (xcsp3-exec) S 31908 31911 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113421365 9740288 345 18446744073709551615 4194304 5098028 140731720673856 140731720671960 140417560257148 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 28504064 140731720679801 140731720680005 140731720680005 140731720683499 0
/proc/31911/statm: 2378 345 289 221 0 87 0
[pid=31913] ppid=31911 vsize=13980732 memory=555032 CPUtime=2520.06 cores=0,2,4,6
/proc/31913/stat : 31913 (java) S 31911 31911 28892 0 -1 1077944320 83698 0 0 0 251915 91 0 0 20 0 15 0 113421376 14316269568 138758 18446744073709551615 4194304 4196468 140733826910256 140733826892800 139635430067959 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
/proc/31913/statm: 3495183 138758 3241 1 0 3483476 0
[pid=31913/tid=31914] ppid=31911 vsize=13980732 memory=1732 CPUtime=2513.28 cores=0,2,4,6
/proc/31913/task/31914/stat : 31914 (java) R 31911 31911 28892 0 -1 4202560 25642 0 0 0 251317 11 0 0 20 0 15 0 113421376 14316269568 138758 18446744073709551615 4194304 4196468 140733826910256 139635434306920 139635045394228 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31915] ppid=31911 vsize=13980732 memory=5788 CPUtime=0.11 cores=0,2,4,6
/proc/31913/task/31915/stat : 31915 (java) S 31911 31911 28892 0 -1 1077944384 972 0 0 0 8 3 0 0 20 0 15 0 113421377 14316269568 138758 18446744073709551615 4194304 4196468 140733826910256 139635364502544 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31916] ppid=31911 vsize=13980732 memory=3908 CPUtime=0.12 cores=0,2,4,6
/proc/31913/task/31916/stat : 31916 (java) S 31911 31911 28892 0 -1 1077944384 744 0 0 0 9 3 0 0 20 0 15 0 113421377 14316269568 138758 18446744073709551615 4194304 4196468 140733826910256 139635363450000 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31917] ppid=31911 vsize=13980732 memory=3068 CPUtime=0.12 cores=0,2,4,6
/proc/31913/task/31917/stat : 31917 (java) S 31911 31911 28892 0 -1 1077944384 673 0 0 0 9 3 0 0 20 0 15 0 113421377 14316269568 138758 18446744073709551615 4194304 4196468 140733826910256 139635362396944 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31918] ppid=31911 vsize=13980732 memory=2764 CPUtime=0.12 cores=0,2,4,6
/proc/31913/task/31918/stat : 31918 (java) S 31911 31911 28892 0 -1 1077944384 608 0 0 0 9 3 0 0 20 0 15 0 113421377 14316269568 138758 18446744073709551615 4194304 4196468 140733826910256 139635361344400 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31919] ppid=31911 vsize=13980732 memory=1160 CPUtime=0.07 cores=0,2,4,6
/proc/31913/task/31919/stat : 31919 (java) S 31911 31911 28892 0 -1 1077944384 1345 0 0 0 3 4 0 0 20 0 15 0 113421378 14316269568 138758 18446744073709551615 4194304 4196468 140733826910256 139634908178672 139635430079106 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31920] ppid=31911 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31920/stat : 31920 (java) S 31911 31911 28892 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 113421379 14316269568 138758 18446744073709551615 4194304 4196468 140733826910256 139634907124896 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31921] ppid=31911 vsize=13980732 memory=555032 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31921/stat : 31921 (java) S 31911 31911 28892 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 113421379 14316269568 138758 18446744073709551615 4194304 4196468 140733826910256 139634906071792 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31922] ppid=31911 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31922/stat : 31922 (java) S 31911 31911 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113421381 14316269568 138758 18446744073709551615 4194304 4196468 140733826910256 139634905020368 139635430086555 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31923] ppid=31911 vsize=13980732 memory=1444 CPUtime=1.87 cores=0,2,4,6
/proc/31913/task/31923/stat : 31923 (java) S 31911 31911 28892 0 -1 1077944384 18271 0 0 0 184 3 0 0 20 0 15 0 113421381 14316269568 138758 18446744073709551615 4194304 4196468 140733826910256 139634903968496 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31924] ppid=31911 vsize=13980732 memory=1228 CPUtime=2.2 cores=0,2,4,6
/proc/31913/task/31924/stat : 31924 (java) S 31911 31911 28892 0 -1 1077944384 22261 0 0 0 218 2 0 0 20 0 15 0 113421381 14316269568 138758 18446744073709551615 4194304 4196468 140733826910256 139634902915952 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31925] ppid=31911 vsize=13980732 memory=12216 CPUtime=0.56 cores=0,2,4,6
/proc/31913/task/31925/stat : 31925 (java) S 31911 31911 28892 0 -1 1077944384 9620 0 0 0 54 2 0 0 20 0 15 0 113421381 14316269568 138758 18446744073709551615 4194304 4196468 140733826910256 139634901862896 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31926] ppid=31911 vsize=13980732 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/31913/task/31926/stat : 31926 (java) S 31911 31911 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113421381 14316269568 138758 18446744073709551615 4194304 4196468 140733826910256 139634900810592 139635430078165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
[pid=31913/tid=31927] ppid=31911 vsize=13980732 memory=1204 CPUtime=1.52 cores=0,2,4,6
/proc/31913/task/31927/stat : 31927 (java) S 31911 31911 28892 0 -1 1077944384 2196 0 0 0 76 76 0 0 20 0 15 0 113421386 14316269568 138758 18446744073709551615 4194304 4196468 140733826910256 139634899757616 139635430079106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 34820096 140733826916785 140733826916961 140733826916961 140733826920399 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 556412 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.81 s]
# the end of solver process 31911 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001888 s, system=0 s
[startup+2513.81 s]
# the end of solver process 31913 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.17 s, system=0.919142 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
Child status: 143
Real time (s): 2513.81
CPU time (s): 2520.09
CPU user time (s): 2519.17
CPU system time (s): 0.919142
CPU usage (%): 100.25
Max. virtual memory (cumulated for all children) (KiB): 13992116
Max. memory (cumulated for all children) (KiB): 556412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.17
system time used= 0.919142
maximum resident set size= 561744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57612
involuntary context switches= 2805
# summary of solver processes directly reported to runsolver:
# pid: 31911,31913
# total CPU time (s): 2520.09
# total CPU user time (s): 2519.17
# total CPU system time (s): 0.919142
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8499 second user time and 22.9606 second system time
The end