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 (15216 MiB free)
memory of node 1: 16384 MiB (15193 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269968-1502623206/watcher-4269968-1502623206 -o /tmp/evaluation-result-4269968-1502623206/solver-4269968-1502623206 -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 312770984 HOME/instance-4269968-1502623206.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=1741, runsolver pid=1738
Current StackSize limit: 8192 KiB
[startup+0.101557 s]*
/proc/loadavg: 1.69 1.91 1.96 3/201 1748
/proc/meminfo: memFree=31131944/32770624 swapFree=67108860/67108860
[pid=1741] ppid=1738 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1741/stat : 1741 (xcsp3-exec) S 1738 1741 17093 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64513896 9740288 344 18446744073709551615 4194304 5098028 140723261869296 140723261867400 139786524103292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 36601856 140723261870463 140723261870666 140723261870666 140723261874155 0
/proc/1741/statm: 2378 344 289 221 0 87 0
[pid=1743] ppid=1741 vsize=13441356 memory=15948 CPUtime=0.01 cores=0,2,4,6
/proc/1743/stat : 1743 (java) S 1741 1741 17093 0 -1 1077944320 3740 0 0 0 1 0 0 0 20 0 7 0 64513904 13763948544 3987 18446744073709551615 4194304 4196468 140722021519616 140722021502160 140233091272439 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
/proc/1743/statm: 3360339 3987 2024 1 0 3349836 0
[pid=1743/tid=1744] ppid=1741 vsize=13507920 memory=1404226546285847689 CPUtime=0.01 cores=0,2,4,6
/proc/1743/task/1744/stat : 1744 (java) R 1741 1741 17093 0 -1 4202560 2568 0 0 0 1 0 0 0 20 0 8 0 64513904 13832110080 4055 18446744073709551615 4194304 4196468 140722021519616 140233095505576 140233075352926 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1745] ppid=1741 vsize=13507920 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1745/stat : 1745 (java) S 1741 1741 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 64513905 13832110080 4055 18446744073709551615 4194304 4196468 140722021519616 140233033218320 140233091282645 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1746] ppid=1741 vsize=13507920 memory=140240029959808 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1746/stat : 1746 (java) S 1741 1741 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 64513905 13832110080 4055 18446744073709551615 4194304 4196468 140722021519616 140233032165776 140233091282645 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1747] ppid=1741 vsize=13507920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1747/stat : 1747 (java) S 1741 1741 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 64513905 13832110080 4055 18446744073709551615 4194304 4196468 140722021519616 140232689719824 140233091282645 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1748] ppid=1741 vsize=13507920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1748/stat : 1748 (java) S 1741 1741 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 64513905 13832110080 4055 18446744073709551615 4194304 4196468 140722021519616 140232688667280 140233091282645 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1749] ppid=1741 vsize=13507920 memory=140240029959808 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1749/stat : 1749 (java) S 1741 1741 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 64513906 13832110080 4055 18446744073709551615 4194304 4196468 140722021519616 140232636951024 140233091283586 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1750] ppid=1741 vsize=13507920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1750/stat : 1750 (java) S 1741 1741 17093 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 8 0 64513907 13832110080 4055 18446744073709551615 4194304 4196468 140722021519616 140232635896144 140233091282645 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 17324 KiB
[startup+0.209781 s]*
/proc/loadavg: 1.69 1.91 1.96 3/210 1757
/proc/meminfo: memFree=31121436/32770624 swapFree=67108860/67108860
[pid=1741] ppid=1738 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1741/stat : 1741 (xcsp3-exec) S 1738 1741 17093 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64513896 9740288 344 18446744073709551615 4194304 5098028 140723261869296 140723261867400 139786524103292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 36601856 140723261870463 140723261870666 140723261870666 140723261874155 0
/proc/1741/statm: 2378 344 289 221 0 87 0
[pid=1743] ppid=1741 vsize=13974352 memory=29664 CPUtime=0.11 cores=0,2,4,6
/proc/1743/stat : 1743 (java) S 1741 1741 17093 0 -1 1077944320 5336 0 0 0 10 1 0 0 20 0 15 0 64513904 14309736448 7416 18446744073709551615 4194304 4196468 140722021519616 140722021502160 140233091272439 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
/proc/1743/statm: 3493588 7416 2852 1 0 3482964 0
[pid=1743/tid=1744] ppid=1741 vsize=13974352 memory=7022364594140610616 CPUtime=0.08 cores=0,2,4,6
/proc/1743/task/1744/stat : 1744 (java) R 1741 1741 17093 0 -1 4202560 3363 0 0 0 8 0 0 0 20 0 15 0 64513904 14309736448 7416 18446744073709551615 4194304 4196468 140722021519616 140233095504432 140233091284374 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1745] ppid=1741 vsize=13974352 memory=4294981025 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1745/stat : 1745 (java) S 1741 1741 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64513905 14309736448 7416 18446744073709551615 4194304 4196468 140722021519616 140233033218320 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1746] ppid=1741 vsize=13974352 memory=140240029984147 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1746/stat : 1746 (java) S 1741 1741 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64513905 14309736448 7416 18446744073709551615 4194304 4196468 140722021519616 140233032165776 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1747] ppid=1741 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1747/stat : 1747 (java) S 1741 1741 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64513905 14309736448 7416 18446744073709551615 4194304 4196468 140722021519616 140232689719824 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1748] ppid=1741 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1748/stat : 1748 (java) S 1741 1741 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64513905 14309736448 7416 18446744073709551615 4194304 4196468 140722021519616 140232688667280 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1749] ppid=1741 vsize=13974352 memory=140240029959808 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1749/stat : 1749 (java) S 1741 1741 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64513906 14309736448 7416 18446744073709551615 4194304 4196468 140722021519616 140232636951024 140233091283586 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1750] ppid=1741 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1750/stat : 1750 (java) S 1741 1741 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64513907 14309736448 7416 18446744073709551615 4194304 4196468 140722021519616 140232635897248 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1751] ppid=1741 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1751/stat : 1751 (java) S 1741 1741 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64513907 14309736448 7416 18446744073709551615 4194304 4196468 140722021519616 140232634844656 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1752] ppid=1741 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1752/stat : 1752 (java) S 1741 1741 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64513909 14309736448 7416 18446744073709551615 4194304 4196468 140722021519616 140232633793232 140233091291035 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1753] ppid=1741 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1753/stat : 1753 (java) S 1741 1741 17093 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 64513909 14309736448 7416 18446744073709551615 4194304 4196468 140722021519616 140232632739824 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1754] ppid=1741 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1754/stat : 1754 (java) S 1741 1741 17093 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 64513910 14309736448 7416 18446744073709551615 4194304 4196468 140722021519616 140232631687280 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1755] ppid=1741 vsize=13974352 memory=140240029959808 CPUtime=0.01 cores=0,2,4,6
/proc/1743/task/1755/stat : 1755 (java) R 1741 1741 17093 0 -1 4202560 247 0 0 0 1 0 0 0 20 0 15 0 64513910 14309736448 7416 18446744073709551615 4194304 4196468 140722021519616 140232630634736 140233091293786 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1756] ppid=1741 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1756/stat : 1756 (java) S 1741 1741 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64513910 14309736448 7416 18446744073709551615 4194304 4196468 140722021519616 140232629582432 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1757] ppid=1741 vsize=13974352 memory=140240029959808 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1757/stat : 1757 (java) S 1741 1741 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64513914 14309736448 7416 18446744073709551615 4194304 4196468 140722021519616 140231999482672 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 31040 KiB
[startup+0.310187 s]*
/proc/loadavg: 1.69 1.91 1.96 4/210 1757
/proc/meminfo: memFree=31108480/32770624 swapFree=67108860/67108860
[pid=1741] ppid=1738 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1741/stat : 1741 (xcsp3-exec) S 1738 1741 17093 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64513896 9740288 344 18446744073709551615 4194304 5098028 140723261869296 140723261867400 139786524103292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 36601856 140723261870463 140723261870666 140723261870666 140723261874155 0
/proc/1741/statm: 2378 344 289 221 0 87 0
[pid=1743] ppid=1741 vsize=13974352 memory=41588 CPUtime=0.31 cores=0,2,4,6
/proc/1743/stat : 1743 (java) S 1741 1741 17093 0 -1 1077944320 9088 0 0 0 29 2 0 0 20 0 15 0 64513904 14309736448 10397 18446744073709551615 4194304 4196468 140722021519616 140722021502160 140233091272439 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
/proc/1743/statm: 3493588 10397 3008 1 0 3482964 0
[pid=1743/tid=1744] ppid=1741 vsize=13974352 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/1743/task/1744/stat : 1744 (java) R 1741 1741 17093 0 -1 4202560 6284 0 0 0 17 2 0 0 20 0 15 0 64513904 14309736448 10397 18446744073709551615 4194304 4196468 140722021519616 140233095506416 140233075352926 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1745] ppid=1741 vsize=13974352 memory=4294981025 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1745/stat : 1745 (java) S 1741 1741 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64513905 14309736448 10397 18446744073709551615 4194304 4196468 140722021519616 140233033218320 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1746] ppid=1741 vsize=13974352 memory=140240029984147 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1746/stat : 1746 (java) S 1741 1741 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64513905 14309736448 10397 18446744073709551615 4194304 4196468 140722021519616 140233032165776 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1747] ppid=1741 vsize=13974352 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1747/stat : 1747 (java) S 1741 1741 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64513905 14309736448 10397 18446744073709551615 4194304 4196468 140722021519616 140232689719824 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1748] ppid=1741 vsize=13974352 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1748/stat : 1748 (java) S 1741 1741 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64513905 14309736448 10397 18446744073709551615 4194304 4196468 140722021519616 140232688667280 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1749] ppid=1741 vsize=13974352 memory=4211961815571083255 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1749/stat : 1749 (java) S 1741 1741 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64513906 14309736448 10397 18446744073709551615 4194304 4196468 140722021519616 140232636951024 140233091283586 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1750] ppid=1741 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1750/stat : 1750 (java) S 1741 1741 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64513907 14309736448 10397 18446744073709551615 4194304 4196468 140722021519616 140232635897248 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1751] ppid=1741 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1751/stat : 1751 (java) S 1741 1741 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64513907 14309736448 10397 18446744073709551615 4194304 4196468 140722021519616 140232634844656 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1752] ppid=1741 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1752/stat : 1752 (java) S 1741 1741 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64513909 14309736448 10397 18446744073709551615 4194304 4196468 140722021519616 140232633793232 140233091291035 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1753] ppid=1741 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1743/task/1753/stat : 1753 (java) R 1741 1741 17093 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 15 0 64513909 14309736448 10397 18446744073709551615 4194304 4196468 140722021519616 140232632739824 140233091283586 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1754] ppid=1741 vsize=13974352 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1743/task/1754/stat : 1754 (java) S 1741 1741 17093 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 64513910 14309736448 10397 18446744073709551615 4194304 4196468 140722021519616 140232631687280 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1755] ppid=1741 vsize=13974352 memory=140240029959808 CPUtime=0.07 cores=0,2,4,6
/proc/1743/task/1755/stat : 1755 (java) R 1741 1741 17093 0 -1 4202560 715 0 0 0 7 0 0 0 20 0 15 0 64513910 14309736448 10397 18446744073709551615 4194304 4196468 140722021519616 140232630634736 140233091293786 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1756] ppid=1741 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1756/stat : 1756 (java) S 1741 1741 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64513910 14309736448 10397 18446744073709551615 4194304 4196468 140722021519616 140232629582432 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1757] ppid=1741 vsize=13974352 memory=140240029959808 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1757/stat : 1757 (java) S 1741 1741 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64513914 14309736448 10397 18446744073709551615 4194304 4196468 140722021519616 140231999482672 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 42964 KiB
[startup+0.704566 s]
/proc/loadavg: 1.69 1.91 1.96 3/210 1757
/proc/meminfo: memFree=31098672/32770624 swapFree=67108860/67108860
[pid=1741] ppid=1738 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1741/stat : 1741 (xcsp3-exec) S 1738 1741 17093 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64513896 9740288 344 18446744073709551615 4194304 5098028 140723261869296 140723261867400 139786524103292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 36601856 140723261870463 140723261870666 140723261870666 140723261874155 0
/proc/1741/statm: 2378 344 289 221 0 87 0
[pid=1743] ppid=1741 vsize=13978684 memory=93748 CPUtime=1.29 cores=0,2,4,6
/proc/1743/stat : 1743 (java) S 1741 1741 17093 0 -1 1077944320 12991 0 0 0 125 4 0 0 20 0 15 0 64513904 14314172416 23437 18446744073709551615 4194304 4196468 140722021519616 140722021502160 140233091272439 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
/proc/1743/statm: 3494671 23437 3167 1 0 3482964 0
[pid=1743/tid=1744] ppid=1741 vsize=13978684 memory=280479752371424 CPUtime=0.56 cores=0,2,4,6
/proc/1743/task/1744/stat : 1744 (java) R 1741 1741 17093 0 -1 4202560 7916 0 0 0 53 3 0 0 20 0 15 0 64513904 14314172416 23437 18446744073709551615 4194304 4196468 140722021519616 140233095509664 140232715558681 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1745] ppid=1741 vsize=13978684 memory=2110590483241988 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1745/stat : 1745 (java) S 1741 1741 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64513905 14314172416 23437 18446744073709551615 4194304 4196468 140722021519616 140233033218320 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1746] ppid=1741 vsize=13978684 memory=280479752281152 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1746/stat : 1746 (java) S 1741 1741 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64513905 14314172416 23437 18446744073709551615 4194304 4196468 140722021519616 140233032165776 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1747] ppid=1741 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1747/stat : 1747 (java) S 1741 1741 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64513905 14314172416 23437 18446744073709551615 4194304 4196468 140722021519616 140232689719824 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1748] ppid=1741 vsize=13978684 memory=140239876161521 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1748/stat : 1748 (java) S 1741 1741 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64513905 14314172416 23437 18446744073709551615 4194304 4196468 140722021519616 140232688667280 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1749] ppid=1741 vsize=13978684 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1749/stat : 1749 (java) S 1741 1741 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64513906 14314172416 23437 18446744073709551615 4194304 4196468 140722021519616 140232636951024 140233091283586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1750] ppid=1741 vsize=13978684 memory=280479752299200 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1750/stat : 1750 (java) S 1741 1741 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64513907 14314172416 23437 18446744073709551615 4194304 4196468 140722021519616 140232635897248 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1751] ppid=1741 vsize=13978684 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1751/stat : 1751 (java) S 1741 1741 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64513907 14314172416 23437 18446744073709551615 4194304 4196468 140722021519616 140232634844656 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1752] ppid=1741 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1752/stat : 1752 (java) S 1741 1741 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64513909 14314172416 23437 18446744073709551615 4194304 4196468 140722021519616 140232633793232 140233091291035 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1753] ppid=1741 vsize=13978684 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/1743/task/1753/stat : 1753 (java) R 1741 1741 17093 0 -1 4202560 1156 0 0 0 23 0 0 0 20 0 15 0 64513909 14314172416 23437 18446744073709551615 4194304 4196468 140722021519616 140232632738224 140233091284374 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1754] ppid=1741 vsize=13978684 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/1743/task/1754/stat : 1754 (java) R 1741 1741 17093 0 -1 4202560 1325 0 0 0 22 0 0 0 20 0 15 0 64513910 14314172416 23437 18446744073709551615 4194304 4196468 140722021519616 140232631667088 140233070989575 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1755] ppid=1741 vsize=13978684 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/1743/task/1755/stat : 1755 (java) R 1741 1741 17093 0 -1 1077944384 1288 0 0 0 25 0 0 0 20 0 15 0 64513910 14314172416 23437 18446744073709551615 4194304 4196468 140722021519616 140232630629776 140233091282645 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1756] ppid=1741 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1756/stat : 1756 (java) S 1741 1741 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64513910 14314172416 23437 18446744073709551615 4194304 4196468 140722021519616 140232629582432 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1757] ppid=1741 vsize=13978684 memory=-2276395272229541278 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1757/stat : 1757 (java) S 1741 1741 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64513914 14314172416 23437 18446744073709551615 4194304 4196468 140722021519616 140231999482672 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 95124 KiB
[startup+1.50088 s]
/proc/loadavg: 1.69 1.91 1.96 3/210 1757
/proc/meminfo: memFree=31001376/32770624 swapFree=67108860/67108860
[pid=1741] ppid=1738 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1741/stat : 1741 (xcsp3-exec) S 1738 1741 17093 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64513896 9740288 344 18446744073709551615 4194304 5098028 140723261869296 140723261867400 139786524103292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 36601856 140723261870463 140723261870666 140723261870666 140723261874155 0
/proc/1741/statm: 2378 344 289 221 0 87 0
[pid=1743] ppid=1741 vsize=13978684 memory=186132 CPUtime=2.22 cores=0,2,4,6
/proc/1743/stat : 1743 (java) S 1741 1741 17093 0 -1 1077944320 13155 0 0 0 217 5 0 0 20 0 15 0 64513904 14314172416 46533 18446744073709551615 4194304 4196468 140722021519616 140722021502160 140233091272439 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
/proc/1743/statm: 3494671 46533 3170 1 0 3482964 0
[pid=1743/tid=1744] ppid=1741 vsize=13978684 memory=4028 CPUtime=1.35 cores=0,2,4,6
/proc/1743/task/1744/stat : 1744 (java) R 1741 1741 17093 0 -1 4202560 7963 0 0 0 131 4 0 0 20 0 15 0 64513904 14314172416 46533 18446744073709551615 4194304 4196468 140722021519616 140233095511000 140233076353410 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1745] ppid=1741 vsize=13978684 memory=36432 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1745/stat : 1745 (java) S 1741 1741 17093 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 64513905 14314172416 46533 18446744073709551615 4194304 4196468 140722021519616 140233033218320 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1746] ppid=1741 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1746/stat : 1746 (java) S 1741 1741 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 64513905 14314172416 46533 18446744073709551615 4194304 4196468 140722021519616 140233032165776 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1747] ppid=1741 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1747/stat : 1747 (java) S 1741 1741 17093 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 64513905 14314172416 46533 18446744073709551615 4194304 4196468 140722021519616 140232689719824 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1748] ppid=1741 vsize=13978684 memory=7878636118388929013 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1748/stat : 1748 (java) S 1741 1741 17093 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 64513905 14314172416 46533 18446744073709551615 4194304 4196468 140722021519616 140232688667280 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1749] ppid=1741 vsize=13978684 memory=2317753097046303873 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/1743/task/1751/stat : 1751 (java) S 1741 1741 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 64513907 14316269568 370234 18446744073709551615 4194304 4196468 140722021519616 140232634844672 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1752] ppid=1741 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1752/stat : 1752 (java) S 1741 1741 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64513909 14316269568 370234 18446744073709551615 4194304 4196468 140722021519616 140232633793232 140233091291035 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1753] ppid=1741 vsize=13980732 memory=246 CPUtime=2.63 cores=0,2,4,6
/proc/1743/task/1753/stat : 1753 (java) S 1741 1741 17093 0 -1 1077944384 14817 0 0 0 262 1 0 0 20 0 15 0 64513909 14316269568 370234 18446744073709551615 4194304 4196468 140722021519616 140232632739824 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1754] ppid=1741 vsize=13980732 memory=53 CPUtime=2.46 cores=0,2,4,6
/proc/1743/task/1754/stat : 1754 (java) S 1741 1741 17093 0 -1 1077944384 15486 0 0 0 244 2 0 0 20 0 15 0 64513910 14316269568 370234 18446744073709551615 4194304 4196468 140722021519616 140232631687280 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1755] ppid=1741 vsize=13980732 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/1743/task/1755/stat : 1755 (java) S 1741 1741 17093 0 -1 1077944384 3536 0 0 0 52 1 0 0 20 0 15 0 64513910 14316269568 370234 18446744073709551615 4194304 4196468 140722021519616 140232630634736 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1756] ppid=1741 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1756/stat : 1756 (java) S 1741 1741 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64513910 14316269568 370234 18446744073709551615 4194304 4196468 140722021519616 140232629582432 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1757] ppid=1741 vsize=13980732 memory=36432 CPUtime=0.05 cores=0,2,4,6
/proc/1743/task/1757/stat : 1757 (java) S 1741 1741 17093 0 -1 1077944384 432 0 0 0 3 2 0 0 20 0 15 0 64513914 14316269568 370234 18446744073709551615 4194304 4196468 140722021519616 140231999482672 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
Current children cumulated CPU time: 108.86 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1482312 KiB
[startup+162.301 s]
/proc/loadavg: 2.01 1.96 1.96 3/211 1762
/proc/meminfo: memFree=29430100/32770624 swapFree=67108860/67108860
[pid=1741] ppid=1738 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1741/stat : 1741 (xcsp3-exec) S 1738 1741 17093 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64513896 9740288 344 18446744073709551615 4194304 5098028 140723261869296 140723261867400 139786524103292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 36601856 140723261870463 140723261870666 140723261870666 140723261874155 0
/proc/1741/statm: 2378 344 289 221 0 87 0
[pid=1743] ppid=1741 vsize=13980732 memory=1709544 CPUtime=169.37 cores=0,2,4,6
/proc/1743/stat : 1743 (java) S 1741 1741 17093 0 -1 1077944320 63685 0 0 0 16823 114 0 0 20 0 15 0 64513904 14316269568 427386 18446744073709551615 4194304 4196468 140722021519616 140722021502160 140233091272439 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
/proc/1743/statm: 3495183 427386 3233 1 0 3483476 0
[pid=1743/tid=1744] ppid=1741 vsize=13980732 memory=1709544 CPUtime=161.52 cores=0,2,4,6
/proc/1743/task/1744/stat : 1744 (java) R 1741 1741 17093 0 -1 4202560 18085 0 0 0 16138 14 0 0 20 0 15 0 64513904 14316269568 427386 18446744073709551615 4194304 4196468 140722021519616 140233095511208 140232718360008 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1745] ppid=1741 vsize=13980732 memory=1709544 CPUtime=0.49 cores=0,2,4,6
/proc/1743/task/1745/stat : 1745 (java) S 1741 1741 17093 0 -1 1077944384 709 0 0 0 27 22 0 0 20 0 15 0 64513905 14316269568 427386 18446744073709551615 4194304 4196468 140722021519616 140233033218320 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1746] ppid=1741 vsize=13980732 memory=1709544 CPUtime=0.48 cores=0,2,4,6
/proc/1743/task/1746/stat : 1746 (java) S 1741 1741 17093 0 -1 1077944384 1001 0 0 0 24 24 0 0 20 0 15 0 64513905 14316269568 427386 18446744073709551615 4194304 4196468 140722021519616 140233032165776 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1747] ppid=1741 vsize=13980732 memory=1709544 CPUtime=0.49 cores=0,2,4,6
/proc/1743/task/1747/stat : 1747 (java) S 1741 1741 17093 0 -1 1077944384 1598 0 0 0 28 21 0 0 20 0 15 0 64513905 14316269568 427386 18446744073709551615 4194304 4196468 140722021519616 140232689719824 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1748] ppid=1741 vsize=13980732 memory=1376 CPUtime=0.48 cores=0,2,4,6
/proc/1743/task/1748/stat : 1748 (java) S 1741 1741 17093 0 -1 1077944384 1247 0 0 0 27 21 0 0 20 0 15 0 64513905 14316269568 427386 18446744073709551615 4194304 4196468 140722021519616 140232688667280 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1749] ppid=1741 vsize=13980732 memory=1709544 CPUtime=0.1 cores=0,2,4,6
/proc/1743/task/1749/stat : 1749 (java) S 1741 1741 17093 0 -1 1077944384 5295 0 0 0 10 0 0 0 20 0 15 0 64513906 14316269568 427386 18446744073709551615 4194304 4196468 140722021519616 140232636951024 140233091283586 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1750] ppid=1741 vsize=13980732 memory=1709544 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1750/stat : 1750 (java) S 1741 1741 17093 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 64513907 14316269568 427386 18446744073709551615 4194304 4196468 140722021519616 140232635897312 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1751] ppid=1741 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1751/stat : 1751 (java) S 1741 1741 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 64513907 14316269568 427386 18446744073709551615 4194304 4196468 140722021519616 140232634844672 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1752] ppid=1741 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1752/stat : 1752 (java) S 1741 1741 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64513909 14316269568 427386 18446744073709551615 4194304 4196468 140722021519616 140232633793232 140233091291035 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1753] ppid=1741 vsize=13980732 memory=0 CPUtime=2.63 cores=0,2,4,6
/proc/1743/task/1753/stat : 1753 (java) S 1741 1741 17093 0 -1 1077944384 14820 0 0 0 262 1 0 0 20 0 15 0 64513909 14316269568 427386 18446744073709551615 4194304 4196468 140722021519616 140232632739824 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1754] ppid=1741 vsize=13980732 memory=1709544 CPUtime=2.46 cores=0,2,4,6
/proc/1743/task/1754/stat : 1754 (java) S 1741 1741 17093 0 -1 1077944384 15494 0 0 0 244 2 0 0 20 0 15 0 64513910 14316269568 427386 18446744073709551615 4194304 4196468 140722021519616 140232631687280 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1755] ppid=1741 vsize=13980732 memory=1709544 CPUtime=0.53 cores=0,2,4,6
/proc/1743/task/1755/stat : 1755 (java) S 1741 1741 17093 0 -1 1077944384 3649 0 0 0 52 1 0 0 20 0 15 0 64513910 14316269568 427386 18446744073709551615 4194304 4196468 140722021519616 140232630634736 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1756] ppid=1741 vsize=13980732 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1756/stat : 1756 (java) S 1741 1741 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64513910 14316269568 427386 18446744073709551615 4194304 4196468 140722021519616 140232629582432 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1757] ppid=1741 vsize=13980732 memory=796 CPUtime=0.09 cores=0,2,4,6
/proc/1743/task/1757/stat : 1757 (java) S 1741 1741 17093 0 -1 1077944384 461 0 0 0 5 4 0 0 20 0 15 0 64513914 14316269568 427386 18446744073709551615 4194304 4196468 140722021519616 140231999482672 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
Current children cumulated CPU time: 169.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1710920 KiB
[startup+222.301 s]
/proc/loadavg: 1.96 1.96 1.96 3/211 1842
/proc/meminfo: memFree=28951392/32770624 swapFree=67108860/67108860
[pid=1741] ppid=1738 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1741/stat : 1741 (xcsp3-exec) S 1738 1741 17093 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64513896 9740288 344 18446744073709551615 4194304 5098028 140723261869296 140723261867400 139786524103292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 36601856 140723261870463 140723261870666 140723261870666 140723261874155 0
/proc/1741/statm: 2378 344 289 221 0 87 0
[pid=1743] ppid=1741 vsize=13980732 memory=1756184 CPUtime=229.41 cores=0,2,4,6
/proc/1743/stat : 1743 (java) S 1741 1741 17093 0 -1 1077944320 64468 0 0 0 22824 117 0 0 20 0 15 0 64513904 14316269568 439046 18446744073709551615 4194304 4196468 140722021519616 140722021502160 140233091272439 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
/proc/1743/statm: 3495183 439046 3233 1 0 3483476 0
[pid=1743/tid=1744] ppid=1741 vsize=13980732 memory=1376 CPUtime=221.51 cores=0,2,4,6
/proc/1743/task/1744/stat : 1744 (java) R 1741 1741 17093 0 -1 4202560 18864 0 0 0 22136 15 0 0 20 0 15 0 64513904 14316269568 439046 18446744073709551615 4194304 4196468 140722021519616 140233095511208 140232718360081 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1745] ppid=1741 vsize=13980732 memory=1709544 CPUtime=0.49 cores=0,2,4,6
/proc/1743/task/1745/stat : 1745 (java) S 1741 1741 17093 0 -1 1077944384 709 0 0 0 27 22 0 0 20 0 15 0 64513905 14316269568 439046 18446744073709551615 4194304 4196468 140722021519616 140233033218320 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1746] ppid=1741 vsize=13980732 memory=1739800 CPUtime=0.48 cores=0,2,4,6
/proc/1743/task/1746/stat : 1746 (java) S 1741 1741 17093 0 -1 1077944384 1001 0 0 0 24 24 0 0 20 0 15 0 64513905 14316269568 439046 18446744073709551615 4194304 4196468 140722021519616 140233032165776 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1747] ppid=1741 vsize=13980732 memory=1376 CPUtime=0.49 cores=0,2,4,6
/proc/1743/task/1747/stat : 1747 (java) S 1741 1741 17093 0 -1 1077944384 1598 0 0 0 28 21 0 0 20 0 15 0 64513905 14316269568 439046 18446744073709551615 4194304 4196468 140722021519616 140232689719824 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1748] ppid=1741 vsize=13980732 memory=1754136 CPUtime=0.48 cores=0,2,4,6
/proc/1743/task/1748/stat : 1748 (java) S 1741 1741 17093 0 -1 1077944384 1247 0 0 0 27 21 0 0 20 0 15 0 64513905 14316269568 439046 18446744073709551615 4194304 4196468 140722021519616 140232688667280 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1749] ppid=1741 vsize=13980732 memory=1747992 CPUtime=0.1 cores=0,2,4,6
/proc/1743/task/1749/stat : 1749 (java) S 1741 1741 17093 0 -1 1077944384 5295 0 0 0 10 0 0 0 20 0 15 0 64513906 14316269568 439046 18446744073709551615 4194304 4196468 140722021519616 140232636951024 140233091283586 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1750] ppid=1741 vsize=13980732 memory=1709544 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1750/stat : 1750 (java) S 1741 1741 17093 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 64513907 14316269568 439046 18446744073709551615 4194304 4196468 140722021519616 140232635897312 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1751] ppid=1741 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1751/stat : 1751 (java) S 1741 1741 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 64513907 14316269568 439046 18446744073709551615 4194304 4196468 140722021519616 140232634844672 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1752] ppid=1741 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1752/stat : 1752 (java) S 1741 1741 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64513909 14316269568 439046 18446744073709551615 4194304 4196468 140722021519616 140232633793232 140233091291035 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1753] ppid=1741 vsize=13980732 memory=1721368 CPUtime=2.63 cores=0,2,4,6
/proc/1743/task/1753/stat : 1753 (java) S 1741 1741 17093 0 -1 1077944384 14820 0 0 0 262 1 0 0 20 0 15 0 64513909 14316269568 439046 18446744073709551615 4194304 4196468 140722021519616 140232632739824 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1754] ppid=1741 vsize=13980732 memory=0 CPUtime=2.46 cores=0,2,4,6
/proc/1743/task/1754/stat : 1754 (java) S 1741 1741 17093 0 -1 1077944384 15494 0 0 0 244 2 0 0 20 0 15 0 64513910 14316269568 439046 18446744073709551615 4194304 4196468 140722021519616 140232631687280 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1755] ppid=1741 vsize=13980732 memory=1727512 CPUtime=0.53 cores=0,2,4,6
/proc/1743/task/1755/stat : 1755 (java) S 1741 1741 17093 0 -1 1077944384 3649 0 0 0 52 1 0 0 20 0 15 0 64513910 14316269568 439046 18446744073709551615 4194304 4196468 140722021519616 140232630634736 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1756] ppid=1741 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1756/stat : 1756 (java) S 1741 1741 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64513910 14316269568 439046 18446744073709551615 4194304 4196468 140722021519616 140232629582432 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1757] ppid=1741 vsize=13980732 memory=36432 CPUtime=0.12 cores=0,2,4,6
/proc/1743/task/1757/stat : 1757 (java) S 1741 1741 17093 0 -1 1077944384 465 0 0 0 7 5 0 0 20 0 15 0 64513914 14316269568 439046 18446744073709551615 4194304 4196468 140722021519616 140231999482672 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
Current children cumulated CPU time: 229.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1757560 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.83 1.93 1.95 3/211 1843
/proc/meminfo: memFree=27623864/32770624 swapFree=67108860/67108860
[pid=1741] ppid=1738 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1741/stat : 1741 (xcsp3-exec) S 1738 1741 17093 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64513896 9740288 344 18446744073709551615 4194304 5098028 140723261869296 140723261867400 139786524103292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 36601856 140723261870463 140723261870666 140723261870666 140723261874155 0
/proc/1741/statm: 2378 344 289 221 0 87 0
[pid=1743] ppid=1741 vsize=13980732 memory=2030944 CPUtime=247.13 cores=0,2,4,6
/proc/1743/stat : 1743 (java) S 1741 1741 17093 0 -1 1077944320 66093 0 0 0 24592 121 0 0 20 0 15 0 64513904 14316269568 507736 18446744073709551615 4194304 4196468 140722021519616 140722021502160 140233091272439 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
/proc/1743/statm: 3495183 507736 3237 1 0 3483476 0
[pid=1743/tid=1744] ppid=1741 vsize=13980732 memory=6933928925625698159 CPUtime=239.22 cores=0,2,4,6
/proc/1743/task/1744/stat : 1744 (java) R 1741 1741 17093 0 -1 4202560 19318 0 0 0 23903 19 0 0 20 0 15 0 64513904 14316269568 507736 18446744073709551615 4194304 4196468 140722021519616 140233095511088 140232718358983 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1745] ppid=1741 vsize=13980732 memory=4126316290023845779 CPUtime=0.5 cores=0,2,4,6
/proc/1743/task/1745/stat : 1745 (java) S 1741 1741 17093 0 -1 1077944384 784 0 0 0 27 23 0 0 20 0 15 0 64513905 14316269568 507736 18446744073709551615 4194304 4196468 140722021519616 140233033218320 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1746] ppid=1741 vsize=13980732 memory=1732 CPUtime=0.49 cores=0,2,4,6
/proc/1743/task/1746/stat : 1746 (java) S 1741 1741 17093 0 -1 1077944384 1533 0 0 0 24 25 0 0 20 0 15 0 64513905 14316269568 507736 18446744073709551615 4194304 4196468 140722021519616 140233032165776 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1747] ppid=1741 vsize=13980732 memory=4028 CPUtime=0.5 cores=0,2,4,6
/proc/1743/task/1747/stat : 1747 (java) S 1741 1741 17093 0 -1 1077944384 1631 0 0 0 29 21 0 0 20 0 15 0 64513905 14316269568 507736 18446744073709551615 4194304 4196468 140722021519616 140232689719824 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1748] ppid=1741 vsize=13980732 memory=36432 CPUtime=0.49 cores=0,2,4,6
/proc/1743/task/1748/stat : 1748 (java) S 1741 1741 17093 0 -1 1077944384 1335 0 0 0 28 21 0 0 20 0 15 0 64513905 14316269568 507736 18446744073709551615 4194304 4196468 140722021519616 140232688667280 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1749] ppid=1741 vsize=13980732 memory=7680170660397595203 CPUtime=0.1 cores=0,2,4,6
/proc/1743/task/1749/stat : 1749 (java) S 1741 1741 17093 0 -1 1077944384 5528 0 0 0 10 0 0 0 20 0 15 0 64513906 14316269568 507736 18446744073709551615 4194304 4196468 140722021519616 140232636951024 140233091283586 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1750] ppid=1741 vsize=13980732 memory=12200 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1750/stat : 1750 (java) S 1741 1741 17093 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 64513907 14316269568 507736 18446744073709551615 4194304 4196468 140722021519616 140232635897312 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1751] ppid=1741 vsize=13980732 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1751/stat : 1751 (java) S 1741 1741 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 64513907 14316269568 507736 18446744073709551615 4194304 4196468 140722021519616 140232634844672 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1752] ppid=1741 vsize=13980732 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1752/stat : 1752 (java) S 1741 1741 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64513909 14316269568 507736 18446744073709551615 4194304 4196468 140722021519616 140232633793232 140233091291035 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1753] ppid=1741 vsize=13980732 memory=1000 CPUtime=2.63 cores=0,2,4,6
/proc/1743/task/1753/stat : 1753 (java) S 1741 1741 17093 0 -1 1077944384 14823 0 0 0 262 1 0 0 20 0 15 0 64513909 14316269568 507736 18446744073709551615 4194304 4196468 140722021519616 140232632739824 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1754] ppid=1741 vsize=13980732 memory=796 CPUtime=2.46 cores=0,2,4,6
/proc/1743/task/1754/stat : 1754 (java) S 1741 1741 17093 0 -1 1077944384 15507 0 0 0 244 2 0 0 20 0 15 0 64513910 14316269568 507736 18446744073709551615 4194304 4196468 140722021519616 140232631687280 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1755] ppid=1741 vsize=13980732 memory=10960 CPUtime=0.54 cores=0,2,4,6
/proc/1743/task/1755/stat : 1755 (java) S 1741 1741 17093 0 -1 1077944384 3801 0 0 0 53 1 0 0 20 0 15 0 64513910 14316269568 507736 18446744073709551615 4194304 4196468 140722021519616 140232630634736 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1756] ppid=1741 vsize=13980732 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/1743/task/1756/stat : 1756 (java) S 1741 1741 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64513910 14316269568 507736 18446744073709551615 4194304 4196468 140722021519616 140232629582432 140233091282645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
[pid=1743/tid=1757] ppid=1741 vsize=13980732 memory=1992 CPUtime=0.14 cores=0,2,4,6
/proc/1743/task/1757/stat : 1757 (java) S 1741 1741 17093 0 -1 1077944384 507 0 0 0 8 6 0 0 20 0 15 0 64513914 14316269568 507736 18446744073709551615 4194304 4196468 140722021519616 140231999482672 140233091283586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30683136 140722021527991 140722021528166 140722021528166 140722021531599 0
Current children cumulated CPU time: 247.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2032320 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 1741 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000834 s, system=0.001197 s
[startup+240.031 s]
# the end of solver process 1743 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.942 s, system=1.22765 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.031
CPU time (s): 247.17
CPU user time (s): 245.942
CPU system time (s): 1.22765
CPU usage (%): 102.974
Max. virtual memory (cumulated for all children) (KiB): 13992100
Max. memory (cumulated for all children) (KiB): 2032320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.942
system time used= 1.22765
maximum resident set size= 2031344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67180
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7673
involuntary context switches= 271
# summary of solver processes directly reported to runsolver:
# pid: 1741,1743
# total CPU time (s): 247.17
# total CPU user time (s): 245.942
# total CPU system time (s): 1.22765
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49086 second user time and 2.31426 second system time
The end