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 (14710 MiB free)
memory of node 1: 16384 MiB (15359 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272214-1502670934/watcher-4272214-1502670934 -o /tmp/evaluation-result-4272214-1502670934/solver-4272214-1502670934 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 46040182 HOME/instance-4272214-1502670934.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12661, runsolver pid=12658
[startup+0.100153 s]*
/proc/loadavg: 1.65 1.65 1.63 4/201 12664
/proc/meminfo: memFree=30791348/32770624 swapFree=67108860/67108860
[pid=12661] ppid=12658 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12661/stat : 12661 (xcsp3-exec) S 12658 12661 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 69314106 9740288 345 18446744073709551615 4194304 5098028 140735014831536 140735014829640 139994190721660 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 22216704 140735014834554 140735014834757 140735014834757 140735014838251 0
/proc/12661/statm: 2378 345 289 221 0 87 0
[pid=12663] ppid=12661 vsize=13358712 memory=13772 CPUtime=0 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12661 897 0 -1 1077944320 2677 0 0 0 0 0 0 0 20 0 6 0 69314116 13679321088 3443 18446744073709551615 4194304 4196468 140734669132496 140734669115040 139967235854071 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
/proc/12663/statm: 3339678 3443 1407 1 0 3329175 0
[pid=12663/tid=12664] ppid=12661 vsize=13358712 memory=8390339637985935414 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12661 897 0 -1 4202560 1656 0 0 0 0 0 0 0 20 0 6 0 69314116 13679321088 3641 18446744073709551615 4194304 4196468 140734669132496 139967240090192 139967196835702 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12665] ppid=12661 vsize=13358712 memory=288230596118065508 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12665/stat : 12665 (java) S 12661 12661 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 69314117 13679321088 3641 18446744073709551615 4194304 4196468 140734669132496 139967155267856 139967235864277 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12666] ppid=12661 vsize=13358712 memory=139652519882407 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12666/stat : 12666 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 69314117 13679321088 3641 18446744073709551615 4194304 4196468 140734669132496 139967154215312 139967235864277 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12667] ppid=12661 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 69314117 13679321088 3641 18446744073709551615 4194304 4196468 140734669132496 139967153162768 139967235864277 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12668] ppid=12661 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 69314117 13679321088 3641 18446744073709551615 4194304 4196468 140734669132496 139967152110224 139967235864277 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15152 KiB
[startup+0.210088 s]*
/proc/loadavg: 1.65 1.65 1.63 2/213 12676
/proc/meminfo: memFree=30782464/32770624 swapFree=67108860/67108860
[pid=12661] ppid=12658 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12661/stat : 12661 (xcsp3-exec) S 12658 12661 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 69314106 9740288 345 18446744073709551615 4194304 5098028 140735014831536 140735014829640 139994190721660 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 22216704 140735014834554 140735014834757 140735014834757 140735014838251 0
/proc/12661/statm: 2378 345 289 221 0 87 0
[pid=12663] ppid=12661 vsize=13974352 memory=23496 CPUtime=0.06 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12661 897 0 -1 1077944320 4783 0 0 0 5 1 0 0 20 0 15 0 69314116 14309736448 5874 18446744073709551615 4194304 4196468 140734669132496 140734669115040 139967235854071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
/proc/12663/statm: 3493588 5874 2719 1 0 3482964 0
[pid=12663/tid=12664] ppid=12661 vsize=13974352 memory=8390339637985935414 CPUtime=0.04 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12661 897 0 -1 4202560 2939 0 0 0 4 0 0 0 20 0 15 0 69314116 14309736448 5874 18446744073709551615 4194304 4196468 140734669132496 139967240085424 139967217260370 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12665] ppid=12661 vsize=13974352 memory=307370894534390116 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12665/stat : 12665 (java) S 12661 12661 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69314117 14309736448 5874 18446744073709551615 4194304 4196468 140734669132496 139967155267856 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12666] ppid=12661 vsize=13974352 memory=139652519882407 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12666/stat : 12666 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69314117 14309736448 5874 18446744073709551615 4194304 4196468 140734669132496 139967154215312 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12667] ppid=12661 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69314117 14309736448 5874 18446744073709551615 4194304 4196468 140734669132496 139967153162768 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12668] ppid=12661 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69314117 14309736448 5874 18446744073709551615 4194304 4196468 140734669132496 139967152110224 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12669] ppid=12661 vsize=13974352 memory=139652519204480 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12669/stat : 12669 (java) S 12661 12661 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69314118 14309736448 5874 18446744073709551615 4194304 4196468 140734669132496 139966578932208 139967235865218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12670] ppid=12661 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12670/stat : 12670 (java) S 12661 12661 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 69314119 14309736448 5874 18446744073709551615 4194304 4196468 140734669132496 139966577878432 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12671] ppid=12661 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12671/stat : 12671 (java) S 12661 12661 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 69314119 14309736448 5874 18446744073709551615 4194304 4196468 140734669132496 139966576825840 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12672] ppid=12661 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12672/stat : 12672 (java) S 12661 12661 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69314121 14309736448 5874 18446744073709551615 4194304 4196468 140734669132496 139966575774416 139967235872667 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12673] ppid=12661 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12673/stat : 12673 (java) S 12661 12661 897 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 69314121 14309736448 5874 18446744073709551615 4194304 4196468 140734669132496 139966574721008 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12674] ppid=12661 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12674/stat : 12674 (java) S 12661 12661 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69314121 14309736448 5874 18446744073709551615 4194304 4196468 140734669132496 139966573668464 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12675] ppid=12661 vsize=13974352 memory=139652519204480 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12675/stat : 12675 (java) R 12661 12661 897 0 -1 4202560 238 0 0 0 0 0 0 0 20 0 15 0 69314121 14309736448 5874 18446744073709551615 4194304 4196468 140734669132496 139966572615920 139967235875418 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12676] ppid=12661 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12676/stat : 12676 (java) S 12661 12661 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69314122 14309736448 5874 18446744073709551615 4194304 4196468 140734669132496 139966571563616 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12677] ppid=12661 vsize=13974352 memory=139652519204480 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12677/stat : 12677 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69314128 14309736448 5874 18446744073709551615 4194304 4196468 140734669132496 139966570511152 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24876 KiB
[startup+0.310454 s]*
/proc/loadavg: 1.65 1.65 1.63 3/214 12677
/proc/meminfo: memFree=30766808/32770624 swapFree=67108860/67108860
[pid=12661] ppid=12658 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12661/stat : 12661 (xcsp3-exec) S 12658 12661 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 69314106 9740288 345 18446744073709551615 4194304 5098028 140735014831536 140735014829640 139994190721660 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 22216704 140735014834554 140735014834757 140735014834757 140735014838251 0
/proc/12661/statm: 2378 345 289 221 0 87 0
[pid=12663] ppid=12661 vsize=13974352 memory=37000 CPUtime=0.25 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12661 897 0 -1 1077944320 8400 0 0 0 22 3 0 0 20 0 15 0 69314116 14309736448 9250 18446744073709551615 4194304 4196468 140734669132496 140734669115040 139967235854071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
/proc/12663/statm: 3493588 9250 2973 1 0 3482964 0
[pid=12663/tid=12664] ppid=12661 vsize=13974352 memory=8390339637985935414 CPUtime=0.15 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12661 897 0 -1 4202560 5639 0 0 0 13 2 0 0 20 0 15 0 69314116 14309736448 9250 18446744073709551615 4194304 4196468 140734669132496 139967240067520 139967219934558 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12665] ppid=12661 vsize=13974352 memory=301741395000176996 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12665/stat : 12665 (java) S 12661 12661 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69314117 14309736448 9250 18446744073709551615 4194304 4196468 140734669132496 139967155267856 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12666] ppid=12661 vsize=13974352 memory=139652519882407 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12666/stat : 12666 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69314117 14309736448 9250 18446744073709551615 4194304 4196468 140734669132496 139967154215312 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12667] ppid=12661 vsize=13974352 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69314117 14309736448 9250 18446744073709551615 4194304 4196468 140734669132496 139967153162768 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12668] ppid=12661 vsize=13974352 memory=3472328279047811119 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69314117 14309736448 9250 18446744073709551615 4194304 4196468 140734669132496 139967152110224 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12669] ppid=12661 vsize=13974352 memory=4211961228060327927 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12669/stat : 12669 (java) S 12661 12661 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69314118 14309736448 9250 18446744073709551615 4194304 4196468 140734669132496 139966578932208 139967235865218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12670] ppid=12661 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12670/stat : 12670 (java) S 12661 12661 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 69314119 14309736448 9250 18446744073709551615 4194304 4196468 140734669132496 139966577878432 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12671] ppid=12661 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12671/stat : 12671 (java) S 12661 12661 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 69314119 14309736448 9250 18446744073709551615 4194304 4196468 140734669132496 139966576825840 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12672] ppid=12661 vsize=13974352 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12672/stat : 12672 (java) S 12661 12661 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69314121 14309736448 9250 18446744073709551615 4194304 4196468 140734669132496 139966575774416 139967235872667 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12673] ppid=12661 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12663/task/12673/stat : 12673 (java) S 12661 12661 897 0 -1 1077944384 510 0 0 0 1 0 0 0 20 0 15 0 69314121 14309736448 9250 18446744073709551615 4194304 4196468 140734669132496 139966574721008 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12674] ppid=12661 vsize=13974352 memory=3472328296227679279 CPUtime=0.01 cores=1,3,5,7
/proc/12663/task/12674/stat : 12674 (java) S 12661 12661 897 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 69314121 14309736448 9250 18446744073709551615 4194304 4196468 140734669132496 139966573668464 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12675] ppid=12661 vsize=13974352 memory=139652519204480 CPUtime=0.05 cores=1,3,5,7
/proc/12663/task/12675/stat : 12675 (java) S 12661 12661 897 0 -1 1077944384 700 0 0 0 5 0 0 0 20 0 15 0 69314121 14309736448 9250 18446744073709551615 4194304 4196468 140734669132496 139966572615920 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12676] ppid=12661 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12676/stat : 12676 (java) S 12661 12661 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69314122 14309736448 9250 18446744073709551615 4194304 4196468 140734669132496 139966571563616 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12677] ppid=12661 vsize=13974352 memory=139652519204480 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12677/stat : 12677 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69314128 14309736448 9250 18446744073709551615 4194304 4196468 140734669132496 139966570511152 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38380 KiB
[startup+0.709739 s]
/proc/loadavg: 1.65 1.65 1.63 3/214 12677
/proc/meminfo: memFree=30756948/32770624 swapFree=67108860/67108860
[pid=12661] ppid=12658 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12661/stat : 12661 (xcsp3-exec) S 12658 12661 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 69314106 9740288 345 18446744073709551615 4194304 5098028 140735014831536 140735014829640 139994190721660 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 22216704 140735014834554 140735014834757 140735014834757 140735014838251 0
/proc/12661/statm: 2378 345 289 221 0 87 0
[pid=12663] ppid=12661 vsize=13980732 memory=65968 CPUtime=1.12 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12661 897 0 -1 1077944320 12571 0 0 0 107 5 0 0 20 0 15 0 69314116 14316269568 16492 18446744073709551615 4194304 4196468 140734669132496 140734669115040 139967235854071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
/proc/12663/statm: 3495183 16492 3174 1 0 3483476 0
[pid=12663/tid=12664] ppid=12661 vsize=13980732 memory=7301550361408716898 CPUtime=0.53 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12661 897 0 -1 4202560 8071 0 0 0 49 4 0 0 20 0 15 0 69314116 14316269568 16492 18446744073709551615 4194304 4196468 140734669132496 139967240078008 139967219934558 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12665] ppid=12661 vsize=13980732 memory=2452 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12665/stat : 12665 (java) S 12661 12661 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69314117 14316269568 16492 18446744073709551615 4194304 4196468 140734669132496 139967155267856 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12666] ppid=12661 vsize=13980732 memory=279304810280448 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12666/stat : 12666 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69314117 14316269568 16492 18446744073709551615 4194304 4196468 140734669132496 139967154215312 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12667] ppid=12661 vsize=13980732 memory=24 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69314117 14316269568 16492 18446744073709551615 4194304 4196468 140734669132496 139967153162768 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12668] ppid=12661 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69314117 14316269568 16492 18446744073709551615 4194304 4196468 140734669132496 139967152110224 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12669] ppid=12661 vsize=13980732 memory=317 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12669/stat : 12669 (java) S 12661 12661 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 69314118 14316269568 16492 18446744073709551615 4194304 4196468 140734669132496 139966578932208 139967235865218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12670] ppid=12661 vsize=13980732 memory=262 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12670/stat : 12670 (java) S 12661 12661 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 69314119 14316269568 16492 18446744073709551615 4194304 4196468 140734669132496 139966577878432 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12671] ppid=12661 vsize=13980732 memory=895 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12671/stat : 12671 (java) S 12661 12661 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 69314119 14316269568 16492 18446744073709551615 4194304 4196468 140734669132496 139966576825840 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12672] ppid=12661 vsize=13980732 memory=238 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12672/stat : 12672 (java) S 12661 12661 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69314121 14316269568 16492 18446744073709551615 4194304 4196468 140734669132496 139966575774416 139967235872667 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12673] ppid=12661 vsize=13980732 memory=57 CPUtime=0.13 cores=1,3,5,7
/proc/12663/task/12673/stat : 12673 (java) S 12661 12661 897 0 -1 1077944384 885 0 0 0 13 0 0 0 20 0 15 0 69314121 14316269568 16492 18446744073709551615 4194304 4196468 140734669132496 139966574721008 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12674] ppid=12661 vsize=13980732 memory=4116 CPUtime=0.14 cores=1,3,5,7
/proc/12663/task/12674/stat : 12674 (java) R 12661 12661 897 0 -1 4202560 921 0 0 0 14 0 0 0 20 0 15 0 69314121 14316269568 16492 18446744073709551615 4194304 4196468 140734669132496 139966573654136 139967214020552 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12675] ppid=12661 vsize=13980732 memory=6657 CPUtime=0.29 cores=1,3,5,7
/proc/12663/task/12675/stat : 12675 (java) S 12661 12661 897 0 -1 1077944384 1390 0 0 0 29 0 0 0 20 0 15 0 69314121 14316269568 16492 18446744073709551615 4194304 4196468 140734669132496 139966572615920 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12676] ppid=12661 vsize=13980732 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12676/stat : 12676 (java) S 12661 12661 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69314122 14316269568 16492 18446744073709551615 4194304 4196468 140734669132496 139966571563616 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12677] ppid=12661 vsize=13980732 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12677/stat : 12677 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69314128 14316269568 16492 18446744073709551615 4194304 4196468 140734669132496 139966570511152 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67348 KiB
[startup+1.50088 s]
/proc/loadavg: 1.65 1.65 1.63 5/214 12677
/proc/meminfo: memFree=30713848/32770624 swapFree=67108860/67108860
[pid=12661] ppid=12658 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12661/stat : 12661 (xcsp3-exec) S 12658 12661 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 69314106 9740288 345 18446744073709551615 4194304 5098028 140735014831536 140735014829640 139994190721660 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 22216704 140735014834554 140735014834757 140735014834757 140735014838251 0
/proc/12661/statm: 2378 345 289 221 0 87 0
[pid=12663] ppid=12661 vsize=13980732 memory=125596 CPUtime=3.5 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12661 897 0 -1 1077944320 39069 0 0 0 342 8 0 0 20 0 15 0 69314116 14316269568 31399 18446744073709551615 4194304 4196468 140734669132496 140734669115040 139967235854071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
/proc/12663/statm: 3495183 31399 3192 1 0 3483476 0
[pid=12663/tid=12664] ppid=12661 vsize=13980732 memory=0 CPUtime=1.32 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12661 897 0 -1 4202560 9088 0 0 0 128 4 0 0 20 0 15 0 69314116 14316269568 31399 18446744073709551615 4194304 4196468 140734669132496 139967240091544 139967235866006 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12665] ppid=12661 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12665/stat : 12665 (java) S 12661 12661 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69314117 14316269568 31399 18446744073709551615 4194304 4196468 140734669132496 139967155267856 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12666] ppid=12661 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12666/stat : 12666 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69314117 14316269568 31399 18446744073709551615 4194304 4196468 140734669132496 139967154215312 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12667] ppid=12661 vsize=13980732 memory=194029442589422 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69314117 14316269568 31399 18446744073709551615 4194304 4196468 140734669132496 139967153162768 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12668] ppid=12661 vsize=13980732 memory=279304810278048 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12661 12661 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69314117 14316269568 31399 18446744073709551615 4194304 4196468 140734669132496 139967152110224 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12669] ppid=12661 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12669/stat : 12669 (java) S 12661 12661 897 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 69314118 14316269568 31399 18446744073709551615 4194304 4196468 140734669132496 139966578932208 139967235865218 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12670] ppid=12661 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12670/stat : 12670 (java) S 12661 12661 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 69314119 14316269568 31399 18446744073709551615 4194304 4196468 140734669132496 139966577878432 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12671] ppid=12661 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/12663/task/12671/stat : 12671 (java) S 12661 12661 897 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 69314119 14316269568 83242 18446744073709551615 4194304 4196468 140734669132496 139966576825856 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12672] ppid=12661 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12672/stat : 12672 (java) S 12661 12661 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69314121 14316269568 83242 18446744073709551615 4194304 4196468 140734669132496 139966575774416 139967235872667 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12673] ppid=12661 vsize=13980732 memory=1380 CPUtime=7.12 cores=1,3,5,7
/proc/12663/task/12673/stat : 12673 (java) S 12661 12661 897 0 -1 1077944384 43415 0 0 0 708 4 0 0 20 0 15 0 69314121 14316269568 83242 18446744073709551615 4194304 4196468 140734669132496 139966574721008 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12674] ppid=12661 vsize=13980732 memory=1380 CPUtime=6.61 cores=1,3,5,7
/proc/12663/task/12674/stat : 12674 (java) S 12661 12661 897 0 -1 1077944384 36079 0 0 0 658 3 0 0 20 0 15 0 69314121 14316269568 83242 18446744073709551615 4194304 4196468 140734669132496 139966573668464 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12675] ppid=12661 vsize=13980732 memory=4116 CPUtime=0.96 cores=1,3,5,7
/proc/12663/task/12675/stat : 12675 (java) S 12661 12661 897 0 -1 1077944384 13068 0 0 0 94 2 0 0 20 0 15 0 69314121 14316269568 83242 18446744073709551615 4194304 4196468 140734669132496 139966572615920 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12676] ppid=12661 vsize=13980732 memory=39008 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12676/stat : 12676 (java) S 12661 12661 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69314122 14316269568 83242 18446744073709551615 4194304 4196468 140734669132496 139966571563616 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12677] ppid=12661 vsize=13980732 memory=840 CPUtime=0.55 cores=1,3,5,7
/proc/12663/task/12677/stat : 12677 (java) S 12661 12661 897 0 -1 1077944384 2203 0 0 0 22 33 0 0 20 0 15 0 69314128 14316269568 83242 18446744073709551615 4194304 4196468 140734669132496 139966570511152 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
Current children cumulated CPU time: 2412.78 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 334348 KiB
[startup+2442.3 s]
/proc/loadavg: 1.68 1.47 1.45 5/215 12923
/proc/meminfo: memFree=30616556/32770624 swapFree=67108860/67108860
[pid=12661] ppid=12658 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12661/stat : 12661 (xcsp3-exec) S 12658 12661 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 69314106 9740288 345 18446744073709551615 4194304 5098028 140735014831536 140735014829640 139994190721660 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 22216704 140735014834554 140735014834757 140735014834757 140735014838251 0
/proc/12661/statm: 2378 345 289 221 0 87 0
[pid=12663] ppid=12661 vsize=13980732 memory=332456 CPUtime=2473.34 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12661 897 0 -1 1077944320 179050 0 0 0 247217 117 0 0 20 0 15 0 69314116 14316269568 83114 18446744073709551615 4194304 4196468 140734669132496 140734669115040 139967235854071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
/proc/12663/statm: 3495183 83114 3262 1 0 3483476 0
[pid=12663/tid=12664] ppid=12661 vsize=13980732 memory=332456 CPUtime=2435.36 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12661 897 0 -1 4202560 35701 0 0 0 243527 9 0 0 20 0 15 0 69314116 14316269568 83114 18446744073709551615 4194304 4196468 140734669132496 139967240093280 139966833446144 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12665] ppid=12661 vsize=13980732 memory=1380 CPUtime=5.42 cores=1,3,5,7
/proc/12663/task/12665/stat : 12665 (java) S 12661 12661 897 0 -1 1077944384 8649 0 0 0 527 15 0 0 20 0 15 0 69314117 14316269568 83114 18446744073709551615 4194304 4196468 140734669132496 139967155267856 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12666] ppid=12661 vsize=13980732 memory=332968 CPUtime=5.45 cores=1,3,5,7
/proc/12663/task/12666/stat : 12666 (java) S 12661 12661 897 0 -1 1077944384 8886 0 0 0 529 16 0 0 20 0 15 0 69314117 14316269568 83114 18446744073709551615 4194304 4196468 140734669132496 139967154215312 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12667] ppid=12661 vsize=13980732 memory=332456 CPUtime=5.42 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12661 12661 897 0 -1 1077944384 9005 0 0 0 526 16 0 0 20 0 15 0 69314117 14316269568 83114 18446744073709551615 4194304 4196468 140734669132496 139967153162768 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12668] ppid=12661 vsize=13980732 memory=332456 CPUtime=5.43 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12661 12661 897 0 -1 1077944384 8840 0 0 0 527 16 0 0 20 0 15 0 69314117 14316269568 83114 18446744073709551615 4194304 4196468 140734669132496 139967152110224 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12669] ppid=12661 vsize=13980732 memory=332456 CPUtime=0.91 cores=1,3,5,7
/proc/12663/task/12669/stat : 12669 (java) S 12661 12661 897 0 -1 1077944384 11815 0 0 0 82 9 0 0 20 0 15 0 69314118 14316269568 83114 18446744073709551615 4194304 4196468 140734669132496 139966578932208 139967235865218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12670] ppid=12661 vsize=13980732 memory=332456 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12670/stat : 12670 (java) S 12661 12661 897 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 69314119 14316269568 83114 18446744073709551615 4194304 4196468 140734669132496 139966577878496 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12671] ppid=12661 vsize=13980732 memory=332456 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12671/stat : 12671 (java) S 12661 12661 897 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 69314119 14316269568 83114 18446744073709551615 4194304 4196468 140734669132496 139966576825856 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12672] ppid=12661 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12672/stat : 12672 (java) S 12661 12661 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69314121 14316269568 83114 18446744073709551615 4194304 4196468 140734669132496 139966575774416 139967235872667 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12673] ppid=12661 vsize=13980732 memory=1380 CPUtime=7.12 cores=1,3,5,7
/proc/12663/task/12673/stat : 12673 (java) S 12661 12661 897 0 -1 1077944384 43415 0 0 0 708 4 0 0 20 0 15 0 69314121 14316269568 83114 18446744073709551615 4194304 4196468 140734669132496 139966574721008 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12674] ppid=12661 vsize=13980732 memory=1380 CPUtime=6.61 cores=1,3,5,7
/proc/12663/task/12674/stat : 12674 (java) S 12661 12661 897 0 -1 1077944384 36079 0 0 0 658 3 0 0 20 0 15 0 69314121 14316269568 83114 18446744073709551615 4194304 4196468 140734669132496 139966573668464 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12675] ppid=12661 vsize=13980732 memory=332456 CPUtime=0.96 cores=1,3,5,7
/proc/12663/task/12675/stat : 12675 (java) S 12661 12661 897 0 -1 1077944384 13100 0 0 0 94 2 0 0 20 0 15 0 69314121 14316269568 83114 18446744073709551615 4194304 4196468 140734669132496 139966572615920 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12676] ppid=12661 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12676/stat : 12676 (java) S 12661 12661 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69314122 14316269568 83114 18446744073709551615 4194304 4196468 140734669132496 139966571563616 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12677] ppid=12661 vsize=13980732 memory=332456 CPUtime=0.56 cores=1,3,5,7
/proc/12663/task/12677/stat : 12677 (java) S 12661 12661 897 0 -1 1077944384 2213 0 0 0 22 34 0 0 20 0 15 0 69314128 14316269568 83114 18446744073709551615 4194304 4196468 140734669132496 139966570511152 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
Current children cumulated CPU time: 2473.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 333836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2488.5 s]
/proc/loadavg: 1.63 1.50 1.46 3/212 12924
/proc/meminfo: memFree=30472244/32770624 swapFree=67108860/67108860
[pid=12661] ppid=12658 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12661/stat : 12661 (xcsp3-exec) S 12658 12661 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 69314106 9740288 345 18446744073709551615 4194304 5098028 140735014831536 140735014829640 139994190721660 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 22216704 140735014834554 140735014834757 140735014834757 140735014838251 0
/proc/12661/statm: 2378 345 289 221 0 87 0
[pid=12663] ppid=12661 vsize=13980732 memory=331428 CPUtime=2520.04 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12661 897 0 -1 1077944320 179600 0 0 0 251885 119 0 0 20 0 15 0 69314116 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 140734669115040 139967235854071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
/proc/12663/statm: 3495183 82857 3262 1 0 3483476 0
[pid=12663/tid=12664] ppid=12661 vsize=13980732 memory=331428 CPUtime=2481.36 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12661 897 0 -1 4202560 35941 0 0 0 248127 9 0 0 20 0 15 0 69314116 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139967240093280 139966835925404 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12665] ppid=12661 vsize=13980732 memory=331428 CPUtime=5.59 cores=1,3,5,7
/proc/12663/task/12665/stat : 12665 (java) S 12661 12661 897 0 -1 1077944384 8664 0 0 0 543 16 0 0 20 0 15 0 69314117 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139967155267856 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12666] ppid=12661 vsize=13980732 memory=331428 CPUtime=5.62 cores=1,3,5,7
/proc/12663/task/12666/stat : 12666 (java) S 12661 12661 897 0 -1 1077944384 8958 0 0 0 546 16 0 0 20 0 15 0 69314117 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139967154215312 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12667] ppid=12661 vsize=13980732 memory=1380 CPUtime=5.58 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12661 12661 897 0 -1 1077944384 9025 0 0 0 542 16 0 0 20 0 15 0 69314117 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139967153162768 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12668] ppid=12661 vsize=13980732 memory=331428 CPUtime=5.59 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12661 12661 897 0 -1 1077944384 8855 0 0 0 543 16 0 0 20 0 15 0 69314117 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139967152110224 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12669] ppid=12661 vsize=13980732 memory=331428 CPUtime=0.95 cores=1,3,5,7
/proc/12663/task/12669/stat : 12669 (java) S 12661 12661 897 0 -1 1077944384 11984 0 0 0 85 10 0 0 20 0 15 0 69314118 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966578932208 139967235865218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12670] ppid=12661 vsize=13980732 memory=331428 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12670/stat : 12670 (java) S 12661 12661 897 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 69314119 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966577878496 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12671] ppid=12661 vsize=13980732 memory=331428 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12671/stat : 12671 (java) S 12661 12661 897 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 69314119 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966576825856 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12672] ppid=12661 vsize=13980732 memory=279303267398141 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12672/stat : 12672 (java) S 12661 12661 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69314121 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966575774416 139967235872667 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12673] ppid=12661 vsize=13980732 memory=331428 CPUtime=7.12 cores=1,3,5,7
/proc/12663/task/12673/stat : 12673 (java) S 12661 12661 897 0 -1 1077944384 43417 0 0 0 708 4 0 0 20 0 15 0 69314121 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966574721008 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12674] ppid=12661 vsize=13980732 memory=331428 CPUtime=6.61 cores=1,3,5,7
/proc/12663/task/12674/stat : 12674 (java) S 12661 12661 897 0 -1 1077944384 36081 0 0 0 658 3 0 0 20 0 15 0 69314121 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966573668464 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12675] ppid=12661 vsize=13980732 memory=1380 CPUtime=0.96 cores=1,3,5,7
/proc/12663/task/12675/stat : 12675 (java) S 12661 12661 897 0 -1 1077944384 13102 0 0 0 94 2 0 0 20 0 15 0 69314121 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966572615920 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12676] ppid=12661 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12676/stat : 12676 (java) S 12661 12661 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69314122 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966571563616 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12677] ppid=12661 vsize=13980732 memory=331428 CPUtime=0.58 cores=1,3,5,7
/proc/12663/task/12677/stat : 12677 (java) S 12661 12661 897 0 -1 1077944384 2226 0 0 0 23 35 0 0 20 0 15 0 69314128 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966570511152 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 332808 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2488.51 s]
# the end of solver process 12661 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001877 s
[startup+2488.51 s]
# the end of solver process 12663 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.86 s, system=1.19842 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2488.5 s]
/proc/loadavg: 1.63 1.50 1.46 3/212 12924
/proc/meminfo: memFree=30472244/32770624 swapFree=67108860/67108860
[pid=12661] ppid=12658 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12661/stat : 12661 (xcsp3-exec) S 12658 12661 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 69314106 9740288 345 18446744073709551615 4194304 5098028 140735014831536 140735014829640 139994190721660 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 22216704 140735014834554 140735014834757 140735014834757 140735014838251 0
/proc/12661/statm: 2378 345 289 221 0 87 0
[pid=12663] ppid=12661 vsize=13980732 memory=331428 CPUtime=2520.04 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12661 897 0 -1 1077944320 179600 0 0 0 251885 119 0 0 20 0 15 0 69314116 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 140734669115040 139967235854071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
/proc/12663/statm: 3495183 82857 3262 1 0 3483476 0
[pid=12663/tid=12664] ppid=12661 vsize=13980732 memory=331428 CPUtime=2481.36 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12661 897 0 -1 4202560 35941 0 0 0 248127 9 0 0 20 0 15 0 69314116 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139967240093280 139966835925404 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12665] ppid=12661 vsize=13980732 memory=331428 CPUtime=5.59 cores=1,3,5,7
/proc/12663/task/12665/stat : 12665 (java) S 12661 12661 897 0 -1 1077944384 8664 0 0 0 543 16 0 0 20 0 15 0 69314117 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139967155267856 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12666] ppid=12661 vsize=13980732 memory=331428 CPUtime=5.62 cores=1,3,5,7
/proc/12663/task/12666/stat : 12666 (java) S 12661 12661 897 0 -1 1077944384 8958 0 0 0 546 16 0 0 20 0 15 0 69314117 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139967154215312 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12667] ppid=12661 vsize=13980732 memory=1380 CPUtime=5.58 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12661 12661 897 0 -1 1077944384 9025 0 0 0 542 16 0 0 20 0 15 0 69314117 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139967153162768 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12668] ppid=12661 vsize=13980732 memory=331428 CPUtime=5.59 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12661 12661 897 0 -1 1077944384 8855 0 0 0 543 16 0 0 20 0 15 0 69314117 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139967152110224 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12669] ppid=12661 vsize=13980732 memory=331428 CPUtime=0.95 cores=1,3,5,7
/proc/12663/task/12669/stat : 12669 (java) S 12661 12661 897 0 -1 1077944384 11984 0 0 0 85 10 0 0 20 0 15 0 69314118 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966578932208 139967235865218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12670] ppid=12661 vsize=13980732 memory=331428 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12670/stat : 12670 (java) S 12661 12661 897 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 69314119 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966577878496 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12671] ppid=12661 vsize=13980732 memory=331428 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12671/stat : 12671 (java) S 12661 12661 897 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 69314119 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966576825856 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12672] ppid=12661 vsize=13980732 memory=279303267398141 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12672/stat : 12672 (java) S 12661 12661 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69314121 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966575774416 139967235872667 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12673] ppid=12661 vsize=13980732 memory=331428 CPUtime=7.12 cores=1,3,5,7
/proc/12663/task/12673/stat : 12673 (java) S 12661 12661 897 0 -1 1077944384 43417 0 0 0 708 4 0 0 20 0 15 0 69314121 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966574721008 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12674] ppid=12661 vsize=13980732 memory=331428 CPUtime=6.61 cores=1,3,5,7
/proc/12663/task/12674/stat : 12674 (java) S 12661 12661 897 0 -1 1077944384 36081 0 0 0 658 3 0 0 20 0 15 0 69314121 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966573668464 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12675] ppid=12661 vsize=13980732 memory=1380 CPUtime=0.96 cores=1,3,5,7
/proc/12663/task/12675/stat : 12675 (java) S 12661 12661 897 0 -1 1077944384 13102 0 0 0 94 2 0 0 20 0 15 0 69314121 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966572615920 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12676] ppid=12661 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12676/stat : 12676 (java) S 12661 12661 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69314122 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966571563616 139967235864277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
[pid=12663/tid=12677] ppid=12661 vsize=13980732 memory=331428 CPUtime=0.58 cores=1,3,5,7
/proc/12663/task/12677/stat : 12677 (java) S 12661 12661 897 0 -1 1077944384 2226 0 0 0 23 35 0 0 20 0 15 0 69314128 14316269568 82857 18446744073709551615 4194304 4196468 140734669132496 139966570511152 139967235865218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36368384 140734669136305 140734669136481 140734669136481 140734669139919 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 332808 KiB
Child status: 143
Real time (s): 2488.51
CPU time (s): 2520.06
CPU user time (s): 2518.86
CPU system time (s): 1.19842
CPU usage (%): 101.268
Max. virtual memory (cumulated for all children) (KiB): 13995084
Max. memory (cumulated for all children) (KiB): 493292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.86
system time used= 1.19842
maximum resident set size= 514292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180337
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77428
involuntary context switches= 2404
# summary of solver processes directly reported to runsolver:
# pid: 12661,12663
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.86
# total CPU system time (s): 1.19842
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3782 second user time and 21.0456 second system time
The end