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 (15214 MiB free)
memory of node 1: 16384 MiB (13736 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269977-1502623447/watcher-4269977-1502623447 -o /tmp/evaluation-result-4269977-1502623447/solver-4269977-1502623447 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28320 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1811926818 HOME/instance-4269977-1502623447.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=1905, runsolver pid=1902
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 1.76 1.92 1.94 3/202 1912
/proc/meminfo: memFree=29640160/32770624 swapFree=67108860/67108860
[pid=1905] ppid=1902 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1905/stat : 1905 (xcsp3-exec) S 1902 1905 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64538034 9740288 344 18446744073709551615 4194304 5098028 140724736662240 140724736660344 140457611911804 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 30539776 140724736663934 140724736664138 140724736664138 140724736667627 0
/proc/1905/statm: 2378 344 289 221 0 87 0
[pid=1907] ppid=1905 vsize=13441356 memory=15420 CPUtime=0.01 cores=0,2,4,6
/proc/1907/stat : 1907 (java) S 1905 1905 17093 0 -1 1077944320 3616 0 0 0 1 0 0 0 20 0 7 0 64538042 13763948544 3855 18446744073709551615 4194304 4196468 140726992300272 140726992282816 140599500230391 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
/proc/1907/statm: 3360339 3855 1961 1 0 3349836 0
[pid=1907/tid=1908] ppid=1905 vsize=13441356 memory=1404226546285847689 CPUtime=0.01 cores=0,2,4,6
/proc/1907/task/1908/stat : 1908 (java) R 1905 1905 17093 0 -1 4202560 2483 0 0 0 1 0 0 0 20 0 7 0 64538042 13763948544 3921 18446744073709551615 4194304 4196468 140726992300272 140599504472848 140599484310878 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1909] ppid=1905 vsize=13441356 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1909/stat : 1909 (java) S 1905 1905 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 64538043 13763948544 3921 18446744073709551615 4194304 4196468 140726992300272 140599457196816 140599500240597 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1910] ppid=1905 vsize=13441356 memory=140141089326720 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1910/stat : 1910 (java) S 1905 1905 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 64538043 13763948544 3921 18446744073709551615 4194304 4196468 140726992300272 140599456144272 140599500240597 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1911] ppid=1905 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1911/stat : 1911 (java) S 1905 1905 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 64538043 13763948544 3921 18446744073709551615 4194304 4196468 140726992300272 140599455091728 140599500240597 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1912] ppid=1905 vsize=13441356 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1912/stat : 1912 (java) S 1905 1905 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 64538043 13763948544 3921 18446744073709551615 4194304 4196468 140726992300272 140599454039184 140599500240597 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1913] ppid=1905 vsize=13441356 memory=140141089326720 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1913/stat : 1913 (java) S 1905 1905 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 64538045 13763948544 3921 18446744073709551615 4194304 4196468 140726992300272 140598685476848 140599500241538 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 16796 KiB
[startup+0.210873 s]*
/proc/loadavg: 1.76 1.92 1.94 4/211 1921
/proc/meminfo: memFree=29630236/32770624 swapFree=67108860/67108860
[pid=1905] ppid=1902 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1905/stat : 1905 (xcsp3-exec) S 1902 1905 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64538034 9740288 344 18446744073709551615 4194304 5098028 140724736662240 140724736660344 140457611911804 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 30539776 140724736663934 140724736664138 140724736664138 140724736667627 0
/proc/1905/statm: 2378 344 289 221 0 87 0
[pid=1907] ppid=1905 vsize=13974352 memory=27720 CPUtime=0.12 cores=0,2,4,6
/proc/1907/stat : 1907 (java) S 1905 1905 17093 0 -1 1077944320 5371 0 0 0 11 1 0 0 20 0 15 0 64538042 14309736448 6930 18446744073709551615 4194304 4196468 140726992300272 140726992282816 140599500230391 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
/proc/1907/statm: 3493588 6930 2849 1 0 3482964 0
[pid=1907/tid=1908] ppid=1905 vsize=13974352 memory=7022364594140610616 CPUtime=0.09 cores=0,2,4,6
/proc/1907/task/1908/stat : 1908 (java) R 1905 1905 17093 0 -1 4202560 3393 0 0 0 8 1 0 0 20 0 15 0 64538042 14309736448 6930 18446744073709551615 4194304 4196468 140726992300272 140599504462496 140599126732045 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1909] ppid=1905 vsize=13974352 memory=343 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1909/stat : 1909 (java) S 1905 1905 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64538043 14309736448 6930 18446744073709551615 4194304 4196468 140726992300272 140599457196816 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1910] ppid=1905 vsize=13974352 memory=3545933419154048672 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1910/stat : 1910 (java) S 1905 1905 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64538043 14309736448 6930 18446744073709551615 4194304 4196468 140726992300272 140599456144272 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1911] ppid=1905 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1911/stat : 1911 (java) S 1905 1905 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64538043 14309736448 6930 18446744073709551615 4194304 4196468 140726992300272 140599455091728 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1912] ppid=1905 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1912/stat : 1912 (java) S 1905 1905 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64538043 14309736448 6930 18446744073709551615 4194304 4196468 140726992300272 140599454039184 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1913] ppid=1905 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1913/stat : 1913 (java) S 1905 1905 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64538045 14309736448 6930 18446744073709551615 4194304 4196468 140726992300272 140598685476848 140599500241538 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1914] ppid=1905 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1914/stat : 1914 (java) S 1905 1905 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64538045 14309736448 6930 18446744073709551615 4194304 4196468 140726992300272 140598684423072 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1915] ppid=1905 vsize=13974352 memory=140141089326720 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1915/stat : 1915 (java) S 1905 1905 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64538045 14309736448 6930 18446744073709551615 4194304 4196468 140726992300272 140598683370480 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1916] ppid=1905 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1916/stat : 1916 (java) S 1905 1905 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64538048 14309736448 6930 18446744073709551615 4194304 4196468 140726992300272 140598682319056 140599500248987 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1917] ppid=1905 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1917/stat : 1917 (java) S 1905 1905 17093 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 64538048 14309736448 6930 18446744073709551615 4194304 4196468 140726992300272 140598681266672 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1918] ppid=1905 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1918/stat : 1918 (java) S 1905 1905 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64538048 14309736448 6930 18446744073709551615 4194304 4196468 140726992300272 140598680214128 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1919] ppid=1905 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1907/task/1919/stat : 1919 (java) R 1905 1905 17093 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 15 0 64538048 14309736448 6930 18446744073709551615 4194304 4196468 140726992300272 140598679161584 140599486554736 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1920] ppid=1905 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1920/stat : 1920 (java) S 1905 1905 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64538048 14309736448 6930 18446744073709551615 4194304 4196468 140726992300272 140598678109280 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1921] ppid=1905 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1921/stat : 1921 (java) S 1905 1905 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64538051 14309736448 6930 18446744073709551615 4194304 4196468 140726992300272 140598677055792 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29096 KiB
[startup+0.310588 s]*
/proc/loadavg: 1.76 1.92 1.94 4/211 1921
/proc/meminfo: memFree=29616604/32770624 swapFree=67108860/67108860
[pid=1905] ppid=1902 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1905/stat : 1905 (xcsp3-exec) S 1902 1905 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64538034 9740288 344 18446744073709551615 4194304 5098028 140724736662240 140724736660344 140457611911804 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 30539776 140724736663934 140724736664138 140724736664138 140724736667627 0
/proc/1905/statm: 2378 344 289 221 0 87 0
[pid=1907] ppid=1905 vsize=13974352 memory=39904 CPUtime=0.32 cores=0,2,4,6
/proc/1907/stat : 1907 (java) S 1905 1905 17093 0 -1 1077944320 9147 0 0 0 29 3 0 0 20 0 15 0 64538042 14309736448 9976 18446744073709551615 4194304 4196468 140726992300272 140726992282816 140599500230391 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
/proc/1907/statm: 3493588 9976 3009 1 0 3482964 0
[pid=1907/tid=1908] ppid=1905 vsize=13975376 memory=6081081524271868777 CPUtime=0.19 cores=0,2,4,6
/proc/1907/task/1908/stat : 1908 (java) R 1905 1905 17093 0 -1 4202560 6305 0 0 0 17 2 0 0 20 0 15 0 64538042 14310785024 10041 18446744073709551615 4194304 4196468 140726992300272 140599504454560 140599492910109 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1909] ppid=1905 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1909/stat : 1909 (java) S 1905 1905 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64538043 14310785024 10041 18446744073709551615 4194304 4196468 140726992300272 140599457196816 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1910] ppid=1905 vsize=13974352 memory=140141089326720 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1910/stat : 1910 (java) S 1905 1905 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64538043 14309736448 10032 18446744073709551615 4194304 4196468 140726992300272 140599456144272 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1911] ppid=1905 vsize=13974352 memory=280281915525984 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1911/stat : 1911 (java) S 1905 1905 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64538043 14309736448 10032 18446744073709551615 4194304 4196468 140726992300272 140599455091728 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1912] ppid=1905 vsize=13974352 memory=67 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1912/stat : 1912 (java) S 1905 1905 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64538043 14309736448 10032 18446744073709551615 4194304 4196468 140726992300272 140599454039184 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1913] ppid=1905 vsize=13974352 memory=280281915535264 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1913/stat : 1913 (java) S 1905 1905 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64538045 14309736448 10032 18446744073709551615 4194304 4196468 140726992300272 140598685476848 140599500241538 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1914] ppid=1905 vsize=13976468 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1914/stat : 1914 (java) S 1905 1905 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64538045 14311903232 10032 18446744073709551615 4194304 4196468 140726992300272 140598684423072 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1915] ppid=1905 vsize=13976468 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1915/stat : 1915 (java) S 1905 1905 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64538045 14311903232 10032 18446744073709551615 4194304 4196468 140726992300272 140598683370480 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1916] ppid=1905 vsize=13976468 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1916/stat : 1916 (java) S 1905 1905 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64538048 14311903232 10032 18446744073709551615 4194304 4196468 140726992300272 140598682319056 140599500248987 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1917] ppid=1905 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1907/task/1917/stat : 1917 (java) S 1905 1905 17093 0 -1 1077944384 673 0 0 0 2 0 0 0 20 0 15 0 64538048 14314094592 10035 18446744073709551615 4194304 4196468 140726992300272 140598681266672 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1918] ppid=1905 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1907/task/1918/stat : 1918 (java) S 1905 1905 17093 0 -1 1077944384 174 0 0 0 2 0 0 0 20 0 15 0 64538048 14314094592 10035 18446744073709551615 4194304 4196468 140726992300272 140598680214128 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1919] ppid=1905 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1907/task/1919/stat : 1919 (java) S 1905 1905 17093 0 -1 1077944384 736 0 0 0 7 0 0 0 20 0 15 0 64538048 14314094592 10035 18446744073709551615 4194304 4196468 140726992300272 140598679161584 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1920] ppid=1905 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1920/stat : 1920 (java) S 1905 1905 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64538048 14314094592 10035 18446744073709551615 4194304 4196468 140726992300272 140598678109280 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1921] ppid=1905 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1921/stat : 1921 (java) S 1905 1905 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64538051 14314094592 10035 18446744073709551615 4194304 4196468 140726992300272 140598677055792 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41280 KiB
[startup+0.701386 s]
/proc/loadavg: 1.76 1.92 1.94 3/211 1921
/proc/meminfo: memFree=29600860/32770624 swapFree=67108860/67108860
[pid=1905] ppid=1902 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1905/stat : 1905 (xcsp3-exec) S 1902 1905 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64538034 9740288 344 18446744073709551615 4194304 5098028 140724736662240 140724736660344 140457611911804 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 30539776 140724736663934 140724736664138 140724736664138 140724736667627 0
/proc/1905/statm: 2378 344 289 221 0 87 0
[pid=1907] ppid=1905 vsize=13978684 memory=103524 CPUtime=1.26 cores=0,2,4,6
/proc/1907/stat : 1907 (java) S 1905 1905 17093 0 -1 1077944320 12455 0 0 0 121 5 0 0 20 0 15 0 64538042 14314172416 25881 18446744073709551615 4194304 4196468 140726992300272 140726992282816 140599500230391 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
/proc/1907/statm: 3494671 25881 3154 1 0 3482964 0
[pid=1907/tid=1908] ppid=1905 vsize=13978684 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/1907/task/1908/stat : 1908 (java) R 1905 1905 17093 0 -1 4202560 7869 0 0 0 53 4 0 0 20 0 15 0 64538042 14314172416 25881 18446744073709551615 4194304 4196468 140726992300272 140599504465024 140599492908405 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1909] ppid=1905 vsize=13978684 memory=140144782869057 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1909/stat : 1909 (java) S 1905 1905 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64538043 14314172416 25881 18446744073709551615 4194304 4196468 140726992300272 140599457196816 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1910] ppid=1905 vsize=13978684 memory=140144782869058 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1910/stat : 1910 (java) S 1905 1905 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64538043 14314172416 25881 18446744073709551615 4194304 4196468 140726992300272 140599456144272 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1911] ppid=1905 vsize=13978684 memory=140144782869060 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1911/stat : 1911 (java) S 1905 1905 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64538043 14314172416 25881 18446744073709551615 4194304 4196468 140726992300272 140599455091728 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1912] ppid=1905 vsize=13978684 memory=140144782869064 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1912/stat : 1912 (java) S 1905 1905 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64538043 14314172416 25881 18446744073709551615 4194304 4196468 140726992300272 140599454039184 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1913] ppid=1905 vsize=13978684 memory=140144782869067 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1913/stat : 1913 (java) S 1905 1905 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 64538045 14314172416 25881 18446744073709551615 4194304 4196468 140726992300272 140598685476848 140599500241538 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1914] ppid=1905 vsize=13978684 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1914/stat : 1914 (java) S 1905 1905 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64538045 14314172416 25881 18446744073709551615 4194304 4196468 140726992300272 140598684423072 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1915] ppid=1905 vsize=13978684 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1915/stat : 1915 (java) S 1905 1905 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64538045 14314172416 25881 18446744073709551615 4194304 4196468 140726992300272 140598683370480 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1916] ppid=1905 vsize=13978684 memory=-6511184166092876942 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1916/stat : 1916 (java) S 1905 1905 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64538048 14314172416 25881 18446744073709551615 4194304 4196468 140726992300272 140598682319056 140599500248987 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1917] ppid=1905 vsize=13978684 memory=-3472574513799858010 CPUtime=0.22 cores=0,2,4,6
/proc/1907/task/1917/stat : 1917 (java) R 1905 1905 17093 0 -1 4202560 1347 0 0 0 22 0 0 0 20 0 15 0 64538048 14314172416 25881 18446744073709551615 4194304 4196468 140726992300272 140598681253216 140599481751513 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1918] ppid=1905 vsize=13978684 memory=-3395018494902226719 CPUtime=0.23 cores=0,2,4,6
/proc/1907/task/1918/stat : 1918 (java) R 1905 1905 17093 0 -1 4202560 784 0 0 0 23 0 0 0 20 0 15 0 64538048 14314172416 25881 18446744073709551615 4194304 4196468 140726992300272 140598680200672 140599479476533 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1919] ppid=1905 vsize=13978684 memory=9124152854131106007 CPUtime=0.21 cores=0,2,4,6
/proc/1907/task/1919/stat : 1919 (java) R 1905 1905 17093 0 -1 4202560 1153 0 0 0 21 0 0 0 20 0 15 0 64538048 14314172416 25881 18446744073709551615 4194304 4196468 140726992300272 140598679158840 140599500242326 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1920] ppid=1905 vsize=13978684 memory=-6452064069391756930 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1920/stat : 1920 (java) S 1905 1905 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64538048 14314172416 25881 18446744073709551615 4194304 4196468 140726992300272 140598678109280 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1921] ppid=1905 vsize=13978684 memory=-6452064069391756930 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1921/stat : 1921 (java) S 1905 1905 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64538051 14314172416 25881 18446744073709551615 4194304 4196468 140726992300272 140598677055792 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 104900 KiB
[startup+1.50079 s]
/proc/loadavg: 1.76 1.92 1.94 3/211 1921
/proc/meminfo: memFree=29489528/32770624 swapFree=67108860/67108860
[pid=1905] ppid=1902 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1905/stat : 1905 (xcsp3-exec) S 1902 1905 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64538034 9740288 344 18446744073709551615 4194304 5098028 140724736662240 140724736660344 140457611911804 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 30539776 140724736663934 140724736664138 140724736664138 140724736667627 0
/proc/1905/statm: 2378 344 289 221 0 87 0
[pid=1907] ppid=1905 vsize=13980732 memory=219584 CPUtime=3.12 cores=0,2,4,6
/proc/1907/stat : 1907 (java) S 1905 1905 17093 0 -1 1077944320 15086 0 0 0 302 10 0 0 20 0 15 0 64538042 14316269568 54896 18446744073709551615 4194304 4196468 140726992300272 140726992282816 140599500230391 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
/proc/1907/statm: 3495183 54896 3195 1 0 3483476 0
[pid=1907/tid=1908] ppid=1905 vsize=13980732 memory=6943526294502006880 CPUtime=1.33 cores=0,2,4,6
/proc/1907/task/1908/stat : 1908 (java) R 1905 1905 17093 0 -1 4202560 8044 0 0 0 128 5 0 0 20 0 15 0 64538042 14316269568 54896 18446744073709551615 4194304 4196468 140726992300272 140599504468560 140599129981690 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1909] ppid=1905 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1907/task/1909/stat : 1909 (java) S 1905 1905 17093 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 64538043 14316269568 54896 18446744073709551615 4194304 4196468 140726992300272 140599457196816 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1910] ppid=1905 vsize=13980732 memory=7680170660397595203 CPUtime=0.01 cores=0,2,4,6
/proc/1907/task/1910/stat : 1910 (java) S 1905 1905 17093 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 15 0 64538043 14316269568 54896 18446744073709551615 4194304 4196468 140726992300272 140599456144272 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1911] ppid=1905 vsize=13980732 memory=8514726395714825349 CPUtime=0.01 cores=0,2,4,6
/proc/1907/task/1911/stat : 1911 (java) S 1905 1905 17093 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 64538043 14316269568 54896 18446744073709551615 4194304 4196468 140726992300272 140599455091728 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1912] ppid=1905 vsize=13980732 memory=9047017150487036575 CPUtime=0.02 cores=0,2,4,6
/proc/1907/task/1912/stat : 1912 (java) S 1905 1905 17093 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 15 0 64538043 14316269568 54896 18446744073709551615 4194304 4196468 140726992300272 140599454039184 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1913] ppid=1905 vsize=13980732 memory=4427205132082312746 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1913/stat : 1913 (java) S 1905 1905 17093 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 64538045 14316269568 54896 18446744073709551615 4194304 4196468 140726992300272 140598685476848 140599500241538 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1914] ppid=1905 vsize=13980732 memory=-7023579799431922829 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/1907/task/1915/stat : 1915 (java) S 1905 1905 17093 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 64538045 14316269568 152792 18446744073709551615 4194304 4196468 140726992300272 140598683370496 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1916] ppid=1905 vsize=13980732 memory=-7880843606118635149 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1916/stat : 1916 (java) S 1905 1905 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64538048 14316269568 152792 18446744073709551615 4194304 4196468 140726992300272 140598682319056 140599500248987 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1917] ppid=1905 vsize=13980732 memory=3904 CPUtime=2.53 cores=0,2,4,6
/proc/1907/task/1917/stat : 1917 (java) S 1905 1905 17093 0 -1 1077944384 15983 0 0 0 252 1 0 0 20 0 15 0 64538048 14316269568 152792 18446744073709551615 4194304 4196468 140726992300272 140598681266672 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1918] ppid=1905 vsize=13980732 memory=2924 CPUtime=2.33 cores=0,2,4,6
/proc/1907/task/1918/stat : 1918 (java) S 1905 1905 17093 0 -1 1077944384 11218 0 0 0 232 1 0 0 20 0 15 0 64538048 14316269568 152792 18446744073709551615 4194304 4196468 140726992300272 140598680214128 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1919] ppid=1905 vsize=13980732 memory=2752 CPUtime=0.48 cores=0,2,4,6
/proc/1907/task/1919/stat : 1919 (java) S 1905 1905 17093 0 -1 1077944384 3379 0 0 0 48 0 0 0 20 0 15 0 64538048 14316269568 152792 18446744073709551615 4194304 4196468 140726992300272 140598679161584 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1920] ppid=1905 vsize=13980732 memory=55 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1920/stat : 1920 (java) S 1905 1905 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64538048 14316269568 152792 18446744073709551615 4194304 4196468 140726992300272 140598678109280 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1921] ppid=1905 vsize=13980732 memory=6944656591801717918 CPUtime=0.05 cores=0,2,4,6
/proc/1907/task/1921/stat : 1921 (java) S 1905 1905 17093 0 -1 1077944384 722 0 0 0 3 2 0 0 20 0 15 0 64538051 14316269568 152792 18446744073709551615 4194304 4196468 140726992300272 140598677055792 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
Current children cumulated CPU time: 107.8 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 612544 KiB
[startup+162.301 s]
/proc/loadavg: 1.98 1.94 1.95 3/212 1940
/proc/meminfo: memFree=25333164/32770624 swapFree=67108860/67108860
[pid=1905] ppid=1902 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1905/stat : 1905 (xcsp3-exec) S 1902 1905 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64538034 9740288 344 18446744073709551615 4194304 5098028 140724736662240 140724736660344 140457611911804 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 30539776 140724736663934 140724736664138 140724736664138 140724736667627 0
/proc/1905/statm: 2378 344 289 221 0 87 0
[pid=1907] ppid=1905 vsize=13980732 memory=733372 CPUtime=168.03 cores=0,2,4,6
/proc/1907/stat : 1907 (java) S 1905 1905 17093 0 -1 1077944320 52819 0 0 0 16768 35 0 0 20 0 15 0 64538042 14316269568 183343 18446744073709551615 4194304 4196468 140726992300272 140726992282816 140599500230391 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
/proc/1907/statm: 3495183 183343 3235 1 0 3483476 0
[pid=1907/tid=1908] ppid=1905 vsize=13980732 memory=733372 CPUtime=162.04 cores=0,2,4,6
/proc/1907/task/1908/stat : 1908 (java) R 1905 1905 17093 0 -1 4202560 14176 0 0 0 16194 10 0 0 20 0 15 0 64538042 14316269568 183343 18446744073709551615 4194304 4196468 140726992300272 140599504466656 140599131374711 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1909] ppid=1905 vsize=13980732 memory=733208 CPUtime=0.07 cores=0,2,4,6
/proc/1907/task/1909/stat : 1909 (java) S 1905 1905 17093 0 -1 1077944384 511 0 0 0 3 4 0 0 20 0 15 0 64538043 14316269568 183343 18446744073709551615 4194304 4196468 140726992300272 140599457196816 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1910] ppid=1905 vsize=13980732 memory=733184 CPUtime=0.07 cores=0,2,4,6
/proc/1907/task/1910/stat : 1910 (java) S 1905 1905 17093 0 -1 1077944384 502 0 0 0 3 4 0 0 20 0 15 0 64538043 14316269568 183343 18446744073709551615 4194304 4196468 140726992300272 140599456144272 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1911] ppid=1905 vsize=13980732 memory=733360 CPUtime=0.07 cores=0,2,4,6
/proc/1907/task/1911/stat : 1911 (java) S 1905 1905 17093 0 -1 1077944384 336 0 0 0 4 3 0 0 20 0 15 0 64538043 14316269568 183343 18446744073709551615 4194304 4196468 140726992300272 140599455091728 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1912] ppid=1905 vsize=13980732 memory=733360 CPUtime=0.08 cores=0,2,4,6
/proc/1907/task/1912/stat : 1912 (java) S 1905 1905 17093 0 -1 1077944384 990 0 0 0 5 3 0 0 20 0 15 0 64538043 14316269568 183343 18446744073709551615 4194304 4196468 140726992300272 140599454039184 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1913] ppid=1905 vsize=13980732 memory=733372 CPUtime=0.01 cores=0,2,4,6
/proc/1907/task/1913/stat : 1913 (java) S 1905 1905 17093 0 -1 1077944384 1417 0 0 0 1 0 0 0 20 0 15 0 64538045 14316269568 183343 18446744073709551615 4194304 4196468 140726992300272 140598685476848 140599500241538 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1914] ppid=1905 vsize=13980732 memory=733372 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1914/stat : 1914 (java) S 1905 1905 17093 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 64538045 14316269568 183343 18446744073709551615 4194304 4196468 140726992300272 140598684423136 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1915] ppid=1905 vsize=13980732 memory=733372 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1915/stat : 1915 (java) S 1905 1905 17093 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64538045 14316269568 183343 18446744073709551615 4194304 4196468 140726992300272 140598683370496 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1916] ppid=1905 vsize=13980732 memory=733372 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1916/stat : 1916 (java) S 1905 1905 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64538048 14316269568 183343 18446744073709551615 4194304 4196468 140726992300272 140598682319056 140599500248987 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1917] ppid=1905 vsize=13980732 memory=1376 CPUtime=2.64 cores=0,2,4,6
/proc/1907/task/1917/stat : 1917 (java) S 1905 1905 17093 0 -1 1077944384 16325 0 0 0 263 1 0 0 20 0 15 0 64538048 14316269568 183343 18446744073709551615 4194304 4196468 140726992300272 140598681266672 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1918] ppid=1905 vsize=13980732 memory=1376 CPUtime=2.37 cores=0,2,4,6
/proc/1907/task/1918/stat : 1918 (java) S 1905 1905 17093 0 -1 1077944384 12579 0 0 0 236 1 0 0 20 0 15 0 64538048 14316269568 183343 18446744073709551615 4194304 4196468 140726992300272 140598680214128 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1919] ppid=1905 vsize=13980732 memory=1376 CPUtime=0.48 cores=0,2,4,6
/proc/1907/task/1919/stat : 1919 (java) S 1905 1905 17093 0 -1 1077944384 3865 0 0 0 48 0 0 0 20 0 15 0 64538048 14316269568 183343 18446744073709551615 4194304 4196468 140726992300272 140598679161584 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1920] ppid=1905 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1920/stat : 1920 (java) S 1905 1905 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64538048 14316269568 183343 18446744073709551615 4194304 4196468 140726992300272 140598678109280 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1921] ppid=1905 vsize=13980732 memory=1376 CPUtime=0.08 cores=0,2,4,6
/proc/1907/task/1921/stat : 1921 (java) S 1905 1905 17093 0 -1 1077944384 769 0 0 0 4 4 0 0 20 0 15 0 64538051 14316269568 183343 18446744073709551615 4194304 4196468 140726992300272 140598677055792 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
Current children cumulated CPU time: 168.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 734748 KiB
[startup+222.301 s]
/proc/loadavg: 2.19 2.00 1.97 3/212 2021
/proc/meminfo: memFree=30392476/32770624 swapFree=67108860/67108860
[pid=1905] ppid=1902 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1905/stat : 1905 (xcsp3-exec) S 1902 1905 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64538034 9740288 344 18446744073709551615 4194304 5098028 140724736662240 140724736660344 140457611911804 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 30539776 140724736663934 140724736664138 140724736664138 140724736667627 0
/proc/1905/statm: 2378 344 289 221 0 87 0
[pid=1907] ppid=1905 vsize=13980732 memory=755960 CPUtime=228.2 cores=0,2,4,6
/proc/1907/stat : 1907 (java) S 1905 1905 17093 0 -1 1077944320 56185 0 0 0 22781 39 0 0 20 0 15 0 64538042 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140726992282816 140599500230391 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
/proc/1907/statm: 3495183 188990 3235 1 0 3483476 0
[pid=1907/tid=1908] ppid=1905 vsize=13980732 memory=755960 CPUtime=222.02 cores=0,2,4,6
/proc/1907/task/1908/stat : 1908 (java) R 1905 1905 17093 0 -1 4202560 14481 0 0 0 22191 11 0 0 20 0 15 0 64538042 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140599504465920 140599131373343 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1909] ppid=1905 vsize=13980732 memory=755960 CPUtime=0.09 cores=0,2,4,6
/proc/1907/task/1909/stat : 1909 (java) S 1905 1905 17093 0 -1 1077944384 564 0 0 0 4 5 0 0 20 0 15 0 64538043 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140599457196816 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1910] ppid=1905 vsize=13980732 memory=755960 CPUtime=0.08 cores=0,2,4,6
/proc/1907/task/1910/stat : 1910 (java) S 1905 1905 17093 0 -1 1077944384 599 0 0 0 4 4 0 0 20 0 15 0 64538043 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140599456144272 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1911] ppid=1905 vsize=13980732 memory=1376 CPUtime=0.08 cores=0,2,4,6
/proc/1907/task/1911/stat : 1911 (java) S 1905 1905 17093 0 -1 1077944384 619 0 0 0 5 3 0 0 20 0 15 0 64538043 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140599455091728 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1912] ppid=1905 vsize=13980732 memory=755960 CPUtime=0.09 cores=0,2,4,6
/proc/1907/task/1912/stat : 1912 (java) S 1905 1905 17093 0 -1 1077944384 1391 0 0 0 6 3 0 0 20 0 15 0 64538043 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140599454039184 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1913] ppid=1905 vsize=13980732 memory=755960 CPUtime=0.01 cores=0,2,4,6
/proc/1907/task/1913/stat : 1913 (java) S 1905 1905 17093 0 -1 1077944384 1570 0 0 0 1 0 0 0 20 0 15 0 64538045 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598685476848 140599500241538 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1914] ppid=1905 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1914/stat : 1914 (java) S 1905 1905 17093 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 64538045 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598684423136 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1915] ppid=1905 vsize=13980732 memory=755896 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1915/stat : 1915 (java) S 1905 1905 17093 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64538045 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598683370496 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1916] ppid=1905 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1916/stat : 1916 (java) S 1905 1905 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64538048 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598682319056 140599500248987 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1917] ppid=1905 vsize=13980732 memory=755960 CPUtime=2.73 cores=0,2,4,6
/proc/1907/task/1917/stat : 1917 (java) S 1905 1905 17093 0 -1 1077944384 18173 0 0 0 272 1 0 0 20 0 15 0 64538048 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598681266672 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1918] ppid=1905 vsize=13980732 memory=755960 CPUtime=2.41 cores=0,2,4,6
/proc/1907/task/1918/stat : 1918 (java) S 1905 1905 17093 0 -1 1077944384 12779 0 0 0 240 1 0 0 20 0 15 0 64538048 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598680214128 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1919] ppid=1905 vsize=13980732 memory=4028 CPUtime=0.49 cores=0,2,4,6
/proc/1907/task/1919/stat : 1919 (java) S 1905 1905 17093 0 -1 1077944384 3884 0 0 0 49 0 0 0 20 0 15 0 64538048 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598679161584 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1920] ppid=1905 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1920/stat : 1920 (java) S 1905 1905 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64538048 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598678109280 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1921] ppid=1905 vsize=13980732 memory=1376 CPUtime=0.12 cores=0,2,4,6
/proc/1907/task/1921/stat : 1921 (java) S 1905 1905 17093 0 -1 1077944384 776 0 0 0 5 7 0 0 20 0 15 0 64538051 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598677055792 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
Current children cumulated CPU time: 228.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 757336 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.14 2.00 1.97 3/212 2022
/proc/meminfo: memFree=30391980/32770624 swapFree=67108860/67108860
[pid=1905] ppid=1902 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1905/stat : 1905 (xcsp3-exec) S 1902 1905 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64538034 9740288 344 18446744073709551615 4194304 5098028 140724736662240 140724736660344 140457611911804 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 30539776 140724736663934 140724736664138 140724736664138 140724736667627 0
/proc/1905/statm: 2378 344 289 221 0 87 0
[pid=1907] ppid=1905 vsize=13980732 memory=755960 CPUtime=245.91 cores=0,2,4,6
/proc/1907/stat : 1907 (java) S 1905 1905 17093 0 -1 1077944320 56279 0 0 0 24551 40 0 0 20 0 15 0 64538042 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140726992282816 140599500230391 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
/proc/1907/statm: 3495183 188990 3235 1 0 3483476 0
[pid=1907/tid=1908] ppid=1905 vsize=13980732 memory=755960 CPUtime=239.72 cores=0,2,4,6
/proc/1907/task/1908/stat : 1908 (java) R 1905 1905 17093 0 -1 4202560 14527 0 0 0 23961 11 0 0 20 0 15 0 64538042 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140599504469368 140599131372290 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1909] ppid=1905 vsize=13980732 memory=1160 CPUtime=0.09 cores=0,2,4,6
/proc/1907/task/1909/stat : 1909 (java) S 1905 1905 17093 0 -1 1077944384 564 0 0 0 4 5 0 0 20 0 15 0 64538043 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140599457196816 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1910] ppid=1905 vsize=13980732 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/1907/task/1910/stat : 1910 (java) S 1905 1905 17093 0 -1 1077944384 599 0 0 0 4 4 0 0 20 0 15 0 64538043 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140599456144272 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1911] ppid=1905 vsize=13980732 memory=1376 CPUtime=0.08 cores=0,2,4,6
/proc/1907/task/1911/stat : 1911 (java) S 1905 1905 17093 0 -1 1077944384 619 0 0 0 5 3 0 0 20 0 15 0 64538043 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140599455091728 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1912] ppid=1905 vsize=13980732 memory=4028 CPUtime=0.09 cores=0,2,4,6
/proc/1907/task/1912/stat : 1912 (java) S 1905 1905 17093 0 -1 1077944384 1391 0 0 0 6 3 0 0 20 0 15 0 64538043 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140599454039184 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1913] ppid=1905 vsize=13980732 memory=36456 CPUtime=0.01 cores=0,2,4,6
/proc/1907/task/1913/stat : 1913 (java) S 1905 1905 17093 0 -1 1077944384 1570 0 0 0 1 0 0 0 20 0 15 0 64538045 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598685476848 140599500241538 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1914] ppid=1905 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1914/stat : 1914 (java) S 1905 1905 17093 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 64538045 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598684423136 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1915] ppid=1905 vsize=13980732 memory=755960 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1915/stat : 1915 (java) S 1905 1905 17093 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64538045 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598683370496 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1916] ppid=1905 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1916/stat : 1916 (java) S 1905 1905 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64538048 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598682319056 140599500248987 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1917] ppid=1905 vsize=13980732 memory=7680170660397595203 CPUtime=2.73 cores=0,2,4,6
/proc/1907/task/1917/stat : 1917 (java) S 1905 1905 17093 0 -1 1077944384 18173 0 0 0 272 1 0 0 20 0 15 0 64538048 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598681266672 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1918] ppid=1905 vsize=13980732 memory=755960 CPUtime=2.41 cores=0,2,4,6
/proc/1907/task/1918/stat : 1918 (java) S 1905 1905 17093 0 -1 1077944384 12779 0 0 0 240 1 0 0 20 0 15 0 64538048 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598680214128 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1919] ppid=1905 vsize=13980732 memory=1380 CPUtime=0.49 cores=0,2,4,6
/proc/1907/task/1919/stat : 1919 (java) S 1905 1905 17093 0 -1 1077944384 3932 0 0 0 49 0 0 0 20 0 15 0 64538048 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598679161584 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1920] ppid=1905 vsize=13980732 memory=439840 CPUtime=0 cores=0,2,4,6
/proc/1907/task/1920/stat : 1920 (java) S 1905 1905 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64538048 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598678109280 140599500240597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
[pid=1907/tid=1921] ppid=1905 vsize=13980732 memory=2248 CPUtime=0.13 cores=0,2,4,6
/proc/1907/task/1921/stat : 1921 (java) S 1905 1905 17093 0 -1 1077944384 776 0 0 0 6 7 0 0 20 0 15 0 64538051 14316269568 188990 18446744073709551615 4194304 4196468 140726992300272 140598677055792 140599500241538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140726992302519 140726992302694 140726992302694 140726992306127 0
Current children cumulated CPU time: 245.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 757336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 1905 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001705 s, system=0.000611 s
[startup+240.025 s]
# the end of solver process 1907 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.53 s, system=0.414755 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): 240.025
CPU time (s): 245.944
CPU user time (s): 245.53
CPU system time (s): 0.414755
CPU usage (%): 102.466
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 757336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.53
system time used= 0.414755
maximum resident set size= 756572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57114
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7923
involuntary context switches= 546
# summary of solver processes directly reported to runsolver:
# pid: 1905,1907
# total CPU time (s): 245.944
# total CPU user time (s): 245.53
# total CPU system time (s): 0.414755
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.69968 second user time and 2.16361 second system time
The end