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 (2974 MiB free)
memory of node 1: 16384 MiB (6057 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306660-1534045150/watcher-4306660-1534045150 -o /tmp/evaluation-result-4306660-1534045150/solver-4306660-1534045150 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534040134-26257 --watchdog 2580 HOME/xcsp3-exec -seed 36898164 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306660-1534045150.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
solver pid=26793, runsolver pid=26790
Current StackSize limit: 8192 KiB
[startup+0.100772 s]*
/proc/loadavg: 1.90 1.80 1.82 3/217 26809
/proc/meminfo: memFree=9229524/32770624 swapFree=67108792/67108860
[pid=26793] ppid=26790 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26793/stat : 26793 (xcsp3-exec) S 26790 26793 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222078295 115843072 363 33554432000 4194304 5098028 140736985363136 140736985361240 139783623905916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20299776 140736985367612 140736985367812 140736985367812 140736985370570 0
/proc/26793/statm: 28282 363 305 221 0 87 0
[pid=26795] ppid=26793 vsize=14082940 memory=29536 CPUtime=0.12 cores=1,3,5,7
/proc/26795/stat : 26795 (java) S 26793 26793 24759 0 -1 1077944320 5280 0 0 0 10 2 0 0 20 0 15 0 222078295 14420930560 7384 33554432000 4194304 4196468 140723847088880 140723847071424 140457803878135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
/proc/26795/statm: 3520735 7384 3015 1 0 3483012 0
[pid=26795/tid=26796] ppid=26793 vsize=14082940 memory=8514701219880730790 CPUtime=0.09 cores=1,3,5,7
/proc/26795/task/26796/stat : 26796 (java) R 26793 26793 24759 0 -1 4202560 3246 0 0 0 8 1 0 0 20 0 15 0 222078296 14420930560 7384 33554432000 4194304 4196468 140723847088880 140457808102976 140457392869444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26797] ppid=26793 vsize=14082940 memory=3472468109796803792 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26797/stat : 26797 (java) S 26793 26793 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222078296 14420930560 7384 33554432000 4194304 4196468 140723847088880 140457718946576 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26798] ppid=26793 vsize=14082940 memory=139980901652096 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26798/stat : 26798 (java) S 26793 26793 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222078296 14420930560 7450 33554432000 4194304 4196468 140723847088880 140457717894032 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26799] ppid=26793 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26799/stat : 26799 (java) S 26793 26793 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222078296 14420930560 7450 33554432000 4194304 4196468 140723847088880 140457716841488 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26800] ppid=26793 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26800/stat : 26800 (java) S 26793 26793 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222078296 14420930560 7450 33554432000 4194304 4196468 140723847088880 140457715788944 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26801] ppid=26793 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26801/stat : 26801 (java) S 26793 26793 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222078298 14420930560 7450 33554432000 4194304 4196468 140723847088880 140457277892592 140457803889282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26802] ppid=26793 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26802/stat : 26802 (java) S 26793 26793 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222078298 14420930560 7450 33554432000 4194304 4196468 140723847088880 140457276838816 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26803] ppid=26793 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26803/stat : 26803 (java) S 26793 26793 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222078298 14420930560 7450 33554432000 4194304 4196468 140723847088880 140457275786224 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26804] ppid=26793 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26804/stat : 26804 (java) S 26793 26793 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222078301 14420930560 7450 33554432000 4194304 4196468 140723847088880 140457274734800 140457803896731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26805] ppid=26793 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26805/stat : 26805 (java) S 26793 26793 24759 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 222078301 14420930560 7450 33554432000 4194304 4196468 140723847088880 140457273682416 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26806] ppid=26793 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26806/stat : 26806 (java) S 26793 26793 24759 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 222078301 14420930560 7450 33554432000 4194304 4196468 140723847088880 140457272629872 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26807] ppid=26793 vsize=14082940 memory=139980901652096 CPUtime=0.01 cores=1,3,5,7
/proc/26795/task/26807/stat : 26807 (java) R 26793 26793 24759 0 -1 4202560 340 0 0 0 1 0 0 0 20 0 15 0 222078301 14420930560 7450 33554432000 4194304 4196468 140723847088880 140457271577328 140457782834473 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26808] ppid=26793 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26808/stat : 26808 (java) S 26793 26793 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222078301 14420930560 7450 33554432000 4194304 4196468 140723847088880 140457270525024 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26809] ppid=26793 vsize=14082940 memory=139980901652096 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26809/stat : 26809 (java) S 26793 26793 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222078301 14420930560 7450 33554432000 4194304 4196468 140723847088880 140457269471536 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30988 KiB
[startup+0.212233 s]*
/proc/loadavg: 1.90 1.80 1.82 3/217 26809
/proc/meminfo: memFree=9219104/32770624 swapFree=67108792/67108860
[pid=26793] ppid=26790 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26793/stat : 26793 (xcsp3-exec) S 26790 26793 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222078295 115843072 363 33554432000 4194304 5098028 140736985363136 140736985361240 139783623905916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20299776 140736985367612 140736985367812 140736985367812 140736985370570 0
/proc/26793/statm: 28282 363 305 221 0 87 0
[pid=26795] ppid=26793 vsize=14087196 memory=41092 CPUtime=0.34 cores=1,3,5,7
/proc/26795/stat : 26795 (java) S 26793 26793 24759 0 -1 1077944320 7794 0 0 0 31 3 0 0 20 0 15 0 222078295 14425288704 10273 33554432000 4194304 4196468 140723847088880 140723847071424 140457803878135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
/proc/26795/statm: 3521799 10273 3231 1 0 3483012 0
[pid=26795/tid=26796] ppid=26793 vsize=14087196 memory=5854525157017485473 CPUtime=0.19 cores=1,3,5,7
/proc/26795/task/26796/stat : 26796 (java) R 26793 26793 24759 0 -1 4202560 5028 0 0 0 18 1 0 0 20 0 15 0 222078296 14425288704 10273 33554432000 4194304 4196468 140723847088880 140457808099128 140457803890070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26797] ppid=26793 vsize=14087196 memory=3472468109796803792 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26797/stat : 26797 (java) S 26793 26793 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222078296 14425288704 10273 33554432000 4194304 4196468 140723847088880 140457718946576 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26798] ppid=26793 vsize=14087196 memory=139980901652096 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26798/stat : 26798 (java) S 26793 26793 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222078296 14425288704 10273 33554432000 4194304 4196468 140723847088880 140457717894032 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26799] ppid=26793 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26799/stat : 26799 (java) S 26793 26793 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222078296 14425288704 10273 33554432000 4194304 4196468 140723847088880 140457716841488 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26800] ppid=26793 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26800/stat : 26800 (java) S 26793 26793 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222078296 14425288704 10273 33554432000 4194304 4196468 140723847088880 140457715788944 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26801] ppid=26793 vsize=14087196 memory=139980901652096 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26801/stat : 26801 (java) S 26793 26793 24759 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 222078298 14425288704 10273 33554432000 4194304 4196468 140723847088880 140457277892592 140457803889282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26802] ppid=26793 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26802/stat : 26802 (java) S 26793 26793 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222078298 14425288704 10273 33554432000 4194304 4196468 140723847088880 140457276838816 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26803] ppid=26793 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26803/stat : 26803 (java) S 26793 26793 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222078298 14425288704 10273 33554432000 4194304 4196468 140723847088880 140457275786224 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26804] ppid=26793 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26804/stat : 26804 (java) S 26793 26793 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222078301 14425288704 10273 33554432000 4194304 4196468 140723847088880 140457274734800 140457803896731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26805] ppid=26793 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26795/task/26805/stat : 26805 (java) S 26793 26793 24759 0 -1 1077944384 385 0 0 0 2 0 0 0 20 0 15 0 222078301 14425288704 10273 33554432000 4194304 4196468 140723847088880 140457273682416 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26806] ppid=26793 vsize=14087196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26795/task/26806/stat : 26806 (java) S 26793 26793 24759 0 -1 1077944384 308 0 0 0 2 0 0 0 20 0 15 0 222078301 14425288704 10273 33554432000 4194304 4196468 140723847088880 140457272629872 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26807] ppid=26793 vsize=14087196 memory=139980901652096 CPUtime=0.08 cores=1,3,5,7
/proc/26795/task/26807/stat : 26807 (java) R 26793 26793 24759 0 -1 4202560 764 0 0 0 8 0 0 0 20 0 15 0 222078301 14425288704 10273 33554432000 4194304 4196468 140723847088880 140457271577328 140457803890070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26808] ppid=26793 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26808/stat : 26808 (java) S 26793 26793 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222078301 14425288704 10273 33554432000 4194304 4196468 140723847088880 140457270525024 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26809] ppid=26793 vsize=14087196 memory=139980901652096 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26809/stat : 26809 (java) S 26793 26793 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222078301 14425288704 10273 33554432000 4194304 4196468 140723847088880 140457269471536 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42544 KiB
[startup+0.310264 s]*
/proc/loadavg: 1.90 1.80 1.82 4/217 26809
/proc/meminfo: memFree=9211908/32770624 swapFree=67108792/67108860
[pid=26793] ppid=26790 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26793/stat : 26793 (xcsp3-exec) S 26790 26793 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222078295 115843072 363 33554432000 4194304 5098028 140736985363136 140736985361240 139783623905916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20299776 140736985367612 140736985367812 140736985367812 140736985370570 0
/proc/26793/statm: 28282 363 305 221 0 87 0
[pid=26795] ppid=26793 vsize=14087196 memory=48224 CPUtime=0.52 cores=1,3,5,7
/proc/26795/stat : 26795 (java) S 26793 26793 24759 0 -1 1077944320 8759 0 0 0 49 3 0 0 20 0 15 0 222078295 14425288704 12056 33554432000 4194304 4196468 140723847088880 140723847071424 140457803878135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
/proc/26795/statm: 3521799 12056 3267 1 0 3483012 0
[pid=26795/tid=26796] ppid=26793 vsize=14087196 memory=8514701219881125278 CPUtime=0.3 cores=1,3,5,7
/proc/26795/task/26796/stat : 26796 (java) R 26793 26793 24759 0 -1 4202560 5716 0 0 0 28 2 0 0 20 0 15 0 222078296 14425288704 12056 33554432000 4194304 4196468 140723847088880 140457808112528 140457787958622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26797] ppid=26793 vsize=14087196 memory=3472468109796803792 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26797/stat : 26797 (java) S 26793 26793 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222078296 14425288704 12056 33554432000 4194304 4196468 140723847088880 140457718946576 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26798] ppid=26793 vsize=14087196 memory=139980901652096 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26798/stat : 26798 (java) S 26793 26793 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222078296 14425288704 12056 33554432000 4194304 4196468 140723847088880 140457717894032 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26799] ppid=26793 vsize=14087196 memory=8 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26799/stat : 26799 (java) S 26793 26793 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222078296 14425288704 12056 33554432000 4194304 4196468 140723847088880 140457716841488 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26800] ppid=26793 vsize=14087196 memory=139980768946207 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26800/stat : 26800 (java) S 26793 26793 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222078296 14425288704 12056 33554432000 4194304 4196468 140723847088880 140457715788944 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26801] ppid=26793 vsize=14087196 memory=279961537853184 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26801/stat : 26801 (java) S 26793 26793 24759 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 222078298 14425288704 12056 33554432000 4194304 4196468 140723847088880 140457277892592 140457803889282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26802] ppid=26793 vsize=14087196 memory=139980768923151 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26802/stat : 26802 (java) S 26793 26793 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222078298 14425288704 12056 33554432000 4194304 4196468 140723847088880 140457276838816 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26803] ppid=26793 vsize=14087196 memory=279961670584416 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26803/stat : 26803 (java) S 26793 26793 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222078298 14425288704 12056 33554432000 4194304 4196468 140723847088880 140457275786224 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26804] ppid=26793 vsize=14087196 memory=139980768927759 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26804/stat : 26804 (java) S 26793 26793 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222078301 14425288704 12056 33554432000 4194304 4196468 140723847088880 140457274734800 140457803896731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26805] ppid=26793 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26795/task/26805/stat : 26805 (java) S 26793 26793 24759 0 -1 1077944384 519 0 0 0 4 0 0 0 20 0 15 0 222078301 14425288704 12056 33554432000 4194304 4196468 140723847088880 140457273682416 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26806] ppid=26793 vsize=14087196 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/26795/task/26806/stat : 26806 (java) R 26793 26793 24759 0 -1 1077944384 326 0 0 0 4 0 0 0 20 0 15 0 222078301 14425288704 12056 33554432000 4194304 4196468 140723847088880 140457272629872 140457803889282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26807] ppid=26793 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26795/task/26807/stat : 26807 (java) R 26793 26793 24759 0 -1 4202560 890 0 0 0 12 0 0 0 20 0 15 0 222078301 14425288704 12056 33554432000 4194304 4196468 140723847088880 140457271577328 140457803890070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26808] ppid=26793 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26808/stat : 26808 (java) S 26793 26793 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222078301 14425288704 12056 33554432000 4194304 4196468 140723847088880 140457270525024 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26809] ppid=26793 vsize=14087196 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26809/stat : 26809 (java) S 26793 26793 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222078301 14425288704 12056 33554432000 4194304 4196468 140723847088880 140457269471536 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49676 KiB
[startup+0.700962 s]
/proc/loadavg: 1.90 1.80 1.82 5/217 26809
/proc/meminfo: memFree=9189080/32770624 swapFree=67108792/67108860
[pid=26793] ppid=26790 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26793/stat : 26793 (xcsp3-exec) S 26790 26793 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222078295 115843072 363 33554432000 4194304 5098028 140736985363136 140736985361240 139783623905916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20299776 140736985367612 140736985367812 140736985367812 140736985370570 0
/proc/26793/statm: 28282 363 305 221 0 87 0
[pid=26795] ppid=26793 vsize=14089320 memory=97668 CPUtime=1.76 cores=1,3,5,7
/proc/26795/stat : 26795 (java) S 26793 26793 24759 0 -1 1077944320 11847 0 0 0 171 5 0 0 20 0 15 0 222078295 14427463680 24417 33554432000 4194304 4196468 140723847088880 140723847071424 140457803878135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
/proc/26795/statm: 3522330 24417 3353 1 0 3483524 0
[pid=26795/tid=26796] ppid=26793 vsize=14089320 memory=7372786582024121444 CPUtime=0.67 cores=1,3,5,7
/proc/26795/task/26796/stat : 26796 (java) R 26793 26793 24759 0 -1 4202560 6214 0 0 0 65 2 0 0 20 0 15 0 222078296 14427463680 24417 33554432000 4194304 4196468 140723847088880 140457808115936 140457396136495 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26797] ppid=26793 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26797/stat : 26797 (java) S 26793 26793 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222078296 14427463680 24417 33554432000 4194304 4196468 140723847088880 140457718946576 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26798] ppid=26793 vsize=14089320 memory=5859271421084390760 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26798/stat : 26798 (java) S 26793 26793 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222078296 14427463680 24417 33554432000 4194304 4196468 140723847088880 140457717894032 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26799] ppid=26793 vsize=14089320 memory=8041645962788481611 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26799/stat : 26799 (java) S 26793 26793 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222078296 14427463680 24417 33554432000 4194304 4196468 140723847088880 140457716841488 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26800] ppid=26793 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26800/stat : 26800 (java) S 26793 26793 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222078296 14427463680 24417 33554432000 4194304 4196468 140723847088880 140457715788944 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26801] ppid=26793 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26801/stat : 26801 (java) S 26793 26793 24759 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 222078298 14427463680 24417 33554432000 4194304 4196468 140723847088880 140457277892592 140457803889282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26802] ppid=26793 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26802/stat : 26802 (java) S 26793 26793 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222078298 14427463680 24417 33554432000 4194304 4196468 140723847088880 140457276838816 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26803] ppid=26793 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26803/stat : 26803 (java) S 26793 26793 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222078298 14427463680 24417 33554432000 4194304 4196468 140723847088880 140457275786224 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26804] ppid=26793 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26804/stat : 26804 (java) S 26793 26793 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222078301 14427463680 24417 33554432000 4194304 4196468 140723847088880 140457274734800 140457803896731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26805] ppid=26793 vsize=14089320 memory=60348 CPUtime=0.35 cores=1,3,5,7
/proc/26795/task/26805/stat : 26805 (java) R 26793 26793 24759 0 -1 4202560 1297 0 0 0 35 0 0 0 20 0 15 0 222078301 14427463680 24417 33554432000 4194304 4196468 140723847088880 140457273673920 140457784580509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26806] ppid=26793 vsize=14089320 memory=1220 CPUtime=0.34 cores=1,3,5,7
/proc/26795/task/26806/stat : 26806 (java) R 26793 26793 24759 0 -1 1077944384 1134 0 0 0 34 0 0 0 20 0 15 0 222078301 14427463680 24417 33554432000 4194304 4196468 140723847088880 140457272629056 140457803888341 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26807] ppid=26793 vsize=14089320 memory=2380 CPUtime=0.36 cores=1,3,5,7
/proc/26795/task/26807/stat : 26807 (java) R 26793 26793 24759 0 -1 4202560 1893 0 0 0 36 0 0 0 20 0 15 0 222078301 14427463680 24417 33554432000 4194304 4196468 140723847088880 140457271577328 140457782709116 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26808] ppid=26793 vsize=14089320 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26808/stat : 26808 (java) S 26793 26793 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222078301 14427463680 24417 33554432000 4194304 4196468 140723847088880 140457270525024 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26809] ppid=26793 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26809/stat : 26809 (java) S 26793 26793 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222078301 14427463680 24417 33554432000 4194304 4196468 140723847088880 140457269471536 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 99120 KiB
[startup+1.50082 s]
/proc/loadavg: 1.90 1.80 1.82 8/217 26809
/proc/meminfo: memFree=9110796/32770624 swapFree=67108792/67108860
[pid=26793] ppid=26790 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26793/stat : 26793 (xcsp3-exec) S 26790 26793 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222078295 115843072 363 33554432000 4194304 5098028 140736985363136 140736985361240 139783623905916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20299776 140736985367612 140736985367812 140736985367812 140736985370570 0
/proc/26793/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/26795/task/26803/stat : 26803 (java) S 26793 26793 24759 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 222078298 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457275786224 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26804] ppid=26793 vsize=14091368 memory=2255460 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26804/stat : 26804 (java) S 26793 26793 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457274734800 140457803896731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26805] ppid=26793 vsize=14091368 memory=60412 CPUtime=4.87 cores=1,3,5,7
/proc/26795/task/26805/stat : 26805 (java) S 26793 26793 24759 0 -1 1077944384 26504 0 0 0 484 3 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457273682416 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26806] ppid=26793 vsize=14091368 memory=1220 CPUtime=5.3 cores=1,3,5,7
/proc/26795/task/26806/stat : 26806 (java) S 26793 26793 24759 0 -1 1077944384 34566 0 0 0 527 3 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457272629872 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26807] ppid=26793 vsize=14091368 memory=2380 CPUtime=1.07 cores=1,3,5,7
/proc/26795/task/26807/stat : 26807 (java) S 26793 26793 24759 0 -1 1077944384 15677 0 0 0 104 3 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457271577328 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26808] ppid=26793 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26808/stat : 26808 (java) S 26793 26793 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457270525024 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26809] ppid=26793 vsize=14091368 memory=2255460 CPUtime=0.61 cores=1,3,5,7
/proc/26795/task/26809/stat : 26809 (java) S 26793 26793 24759 0 -1 1077944384 1243 0 0 0 24 37 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457269471536 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
Current children cumulated CPU time: 2394.74 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 2256912 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 1.95 1.90 3/217 26907
/proc/meminfo: memFree=6966320/32770624 swapFree=67108792/67108860
[pid=26793] ppid=26790 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26793/stat : 26793 (xcsp3-exec) S 26790 26793 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222078295 115843072 363 33554432000 4194304 5098028 140736985363136 140736985361240 139783623905916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20299776 140736985367612 140736985367812 140736985367812 140736985370570 0
/proc/26793/statm: 28282 363 305 221 0 87 0
[pid=26795] ppid=26793 vsize=14091368 memory=2255460 CPUtime=2454.76 cores=1,3,5,7
/proc/26795/stat : 26795 (java) S 26793 26793 24759 0 -1 1077944320 126727 0 0 0 245376 100 0 0 20 0 15 0 222078295 14429560832 563865 33554432000 4194304 4196468 140723847088880 140723847071424 140457803878135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
/proc/26795/statm: 3522842 563865 3426 1 0 3484036 0
[pid=26795/tid=26796] ppid=26793 vsize=14091368 memory=1452 CPUtime=2441.9 cores=1,3,5,7
/proc/26795/task/26796/stat : 26796 (java) R 26793 26793 24759 0 -1 4202560 33224 0 0 0 244158 32 0 0 20 0 15 0 222078296 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457808117552 140457401938838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26797] ppid=26793 vsize=14091368 memory=2255460 CPUtime=0.22 cores=1,3,5,7
/proc/26795/task/26797/stat : 26797 (java) S 26793 26793 24759 0 -1 1077944384 2302 0 0 0 16 6 0 0 20 0 15 0 222078296 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457718946576 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26798] ppid=26793 vsize=14091368 memory=2255460 CPUtime=0.21 cores=1,3,5,7
/proc/26795/task/26798/stat : 26798 (java) S 26793 26793 24759 0 -1 1077944384 3914 0 0 0 15 6 0 0 20 0 15 0 222078296 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457717894032 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26799] ppid=26793 vsize=14091368 memory=2255460 CPUtime=0.21 cores=1,3,5,7
/proc/26795/task/26799/stat : 26799 (java) S 26793 26793 24759 0 -1 1077944384 3669 0 0 0 15 6 0 0 20 0 15 0 222078296 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457716841488 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26800] ppid=26793 vsize=14091368 memory=1452 CPUtime=0.2 cores=1,3,5,7
/proc/26795/task/26800/stat : 26800 (java) S 26793 26793 24759 0 -1 1077944384 799 0 0 0 15 5 0 0 20 0 15 0 222078296 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457715788944 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26801] ppid=26793 vsize=14091368 memory=2255460 CPUtime=0.05 cores=1,3,5,7
/proc/26795/task/26801/stat : 26801 (java) S 26793 26793 24759 0 -1 1077944384 3424 0 0 0 3 2 0 0 20 0 15 0 222078298 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457277892592 140457803889282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26802] ppid=26793 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26802/stat : 26802 (java) S 26793 26793 24759 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 222078298 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457276838880 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26803] ppid=26793 vsize=14091368 memory=2255460 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26803/stat : 26803 (java) S 26793 26793 24759 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 222078298 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457275786224 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26804] ppid=26793 vsize=14091368 memory=2255460 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26804/stat : 26804 (java) S 26793 26793 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457274734800 140457803896731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26805] ppid=26793 vsize=14091368 memory=2255460 CPUtime=4.87 cores=1,3,5,7
/proc/26795/task/26805/stat : 26805 (java) S 26793 26793 24759 0 -1 1077944384 26508 0 0 0 484 3 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457273682416 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26806] ppid=26793 vsize=14091368 memory=1452 CPUtime=5.3 cores=1,3,5,7
/proc/26795/task/26806/stat : 26806 (java) S 26793 26793 24759 0 -1 1077944384 34570 0 0 0 527 3 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457272629872 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26807] ppid=26793 vsize=14091368 memory=1452 CPUtime=1.07 cores=1,3,5,7
/proc/26795/task/26807/stat : 26807 (java) S 26793 26793 24759 0 -1 1077944384 15683 0 0 0 104 3 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457271577328 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26808] ppid=26793 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26808/stat : 26808 (java) S 26793 26793 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457270525024 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26809] ppid=26793 vsize=14091368 memory=1452 CPUtime=0.62 cores=1,3,5,7
/proc/26795/task/26809/stat : 26809 (java) S 26793 26793 24759 0 -1 1077944384 1283 0 0 0 25 37 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457269471536 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
Current children cumulated CPU time: 2454.76 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 2256912 KiB
[startup+2502.3 s]
/proc/loadavg: 1.94 1.94 1.90 2/201 26918
/proc/meminfo: memFree=7233892/32770624 swapFree=67108792/67108860
[pid=26793] ppid=26790 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26793/stat : 26793 (xcsp3-exec) S 26790 26793 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222078295 115843072 363 33554432000 4194304 5098028 140736985363136 140736985361240 139783623905916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20299776 140736985367612 140736985367812 140736985367812 140736985370570 0
/proc/26793/statm: 28282 363 305 221 0 87 0
[pid=26795] ppid=26793 vsize=14091368 memory=2255460 CPUtime=2514.76 cores=1,3,5,7
/proc/26795/stat : 26795 (java) S 26793 26793 24759 0 -1 1077944320 127224 0 0 0 251376 100 0 0 20 0 15 0 222078295 14429560832 563865 33554432000 4194304 4196468 140723847088880 140723847071424 140457803878135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
/proc/26795/statm: 3522842 563865 3426 1 0 3484036 0
[pid=26795/tid=26796] ppid=26793 vsize=14091368 memory=1452 CPUtime=2501.9 cores=1,3,5,7
/proc/26795/task/26796/stat : 26796 (java) R 26793 26793 24759 0 -1 4202560 33657 0 0 0 250158 32 0 0 20 0 15 0 222078296 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457808117552 140457401201626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26797] ppid=26793 vsize=14091368 memory=2255460 CPUtime=0.22 cores=1,3,5,7
/proc/26795/task/26797/stat : 26797 (java) S 26793 26793 24759 0 -1 1077944384 2302 0 0 0 16 6 0 0 20 0 15 0 222078296 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457718946576 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26798] ppid=26793 vsize=14091368 memory=1452 CPUtime=0.21 cores=1,3,5,7
/proc/26795/task/26798/stat : 26798 (java) S 26793 26793 24759 0 -1 1077944384 3914 0 0 0 15 6 0 0 20 0 15 0 222078296 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457717894032 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26799] ppid=26793 vsize=14091368 memory=1452 CPUtime=0.21 cores=1,3,5,7
/proc/26795/task/26799/stat : 26799 (java) S 26793 26793 24759 0 -1 1077944384 3669 0 0 0 15 6 0 0 20 0 15 0 222078296 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457716841488 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26800] ppid=26793 vsize=14091368 memory=1452 CPUtime=0.2 cores=1,3,5,7
/proc/26795/task/26800/stat : 26800 (java) S 26793 26793 24759 0 -1 1077944384 799 0 0 0 15 5 0 0 20 0 15 0 222078296 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457715788944 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26801] ppid=26793 vsize=14091368 memory=2255460 CPUtime=0.05 cores=1,3,5,7
/proc/26795/task/26801/stat : 26801 (java) S 26793 26793 24759 0 -1 1077944384 3439 0 0 0 3 2 0 0 20 0 15 0 222078298 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457277892592 140457803889282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26802] ppid=26793 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26802/stat : 26802 (java) S 26793 26793 24759 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 222078298 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457276838880 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26803] ppid=26793 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26803/stat : 26803 (java) S 26793 26793 24759 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 222078298 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457275786224 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26804] ppid=26793 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26804/stat : 26804 (java) S 26793 26793 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457274734800 140457803896731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26805] ppid=26793 vsize=14091368 memory=1452 CPUtime=4.87 cores=1,3,5,7
/proc/26795/task/26805/stat : 26805 (java) S 26793 26793 24759 0 -1 1077944384 26512 0 0 0 484 3 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457273682416 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26806] ppid=26793 vsize=14091368 memory=2255460 CPUtime=5.3 cores=1,3,5,7
/proc/26795/task/26806/stat : 26806 (java) S 26793 26793 24759 0 -1 1077944384 34574 0 0 0 527 3 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457272629872 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26807] ppid=26793 vsize=14091368 memory=2420 CPUtime=1.07 cores=1,3,5,7
/proc/26795/task/26807/stat : 26807 (java) S 26793 26793 24759 0 -1 1077944384 15689 0 0 0 104 3 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457271577328 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26808] ppid=26793 vsize=14091368 memory=3892 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26808/stat : 26808 (java) S 26793 26793 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457270525024 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26809] ppid=26793 vsize=14091368 memory=60420 CPUtime=0.64 cores=1,3,5,7
/proc/26795/task/26809/stat : 26809 (java) S 26793 26793 24759 0 -1 1077944384 1318 0 0 0 26 38 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457269471536 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
Current children cumulated CPU time: 2514.76 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 2256912 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.6 s]
/proc/loadavg: 2.10 1.98 1.91 3/198 27005
/proc/meminfo: memFree=7236072/32770624 swapFree=67108792/67108860
[pid=26793] ppid=26790 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26793/stat : 26793 (xcsp3-exec) S 26790 26793 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222078295 115843072 363 33554432000 4194304 5098028 140736985363136 140736985361240 139783623905916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20299776 140736985367612 140736985367812 140736985367812 140736985370570 0
/proc/26793/statm: 28282 363 305 221 0 87 0
[pid=26795] ppid=26793 vsize=14091368 memory=2255460 CPUtime=2520.06 cores=1,3,5,7
/proc/26795/stat : 26795 (java) S 26793 26793 24759 0 -1 1077944320 127228 0 0 0 251906 100 0 0 20 0 15 0 222078295 14429560832 563865 33554432000 4194304 4196468 140723847088880 140723847071424 140457803878135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
/proc/26795/statm: 3522842 563865 3426 1 0 3484036 0
[pid=26795/tid=26796] ppid=26793 vsize=14091368 memory=6791534058613427641 CPUtime=2507.2 cores=1,3,5,7
/proc/26795/task/26796/stat : 26796 (java) R 26793 26793 24759 0 -1 4202560 33661 0 0 0 250688 32 0 0 20 0 15 0 222078296 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457808117552 140457401938267 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26797] ppid=26793 vsize=14091368 memory=15840 CPUtime=0.22 cores=1,3,5,7
/proc/26795/task/26797/stat : 26797 (java) S 26793 26793 24759 0 -1 1077944384 2302 0 0 0 16 6 0 0 20 0 15 0 222078296 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457718946576 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26798] ppid=26793 vsize=14091368 memory=34068 CPUtime=0.21 cores=1,3,5,7
/proc/26795/task/26798/stat : 26798 (java) S 26793 26793 24759 0 -1 1077944384 3914 0 0 0 15 6 0 0 20 0 15 0 222078296 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457717894032 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26799] ppid=26793 vsize=14091368 memory=3304 CPUtime=0.21 cores=1,3,5,7
/proc/26795/task/26799/stat : 26799 (java) S 26793 26793 24759 0 -1 1077944384 3669 0 0 0 15 6 0 0 20 0 15 0 222078296 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457716841488 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26800] ppid=26793 vsize=14091368 memory=496 CPUtime=0.2 cores=1,3,5,7
/proc/26795/task/26800/stat : 26800 (java) S 26793 26793 24759 0 -1 1077944384 799 0 0 0 15 5 0 0 20 0 15 0 222078296 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457715788944 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26801] ppid=26793 vsize=14091368 memory=1616 CPUtime=0.05 cores=1,3,5,7
/proc/26795/task/26801/stat : 26801 (java) S 26793 26793 24759 0 -1 1077944384 3439 0 0 0 3 2 0 0 20 0 15 0 222078298 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457277892592 140457803889282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26802] ppid=26793 vsize=14091368 memory=1168 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26802/stat : 26802 (java) S 26793 26793 24759 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 222078298 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457276838880 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26803] ppid=26793 vsize=14091368 memory=928 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26803/stat : 26803 (java) S 26793 26793 24759 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 222078298 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457275786224 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26804] ppid=26793 vsize=14091368 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26804/stat : 26804 (java) S 26793 26793 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457274734800 140457803896731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26805] ppid=26793 vsize=14091368 memory=1572 CPUtime=4.87 cores=1,3,5,7
/proc/26795/task/26805/stat : 26805 (java) S 26793 26793 24759 0 -1 1077944384 26512 0 0 0 484 3 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457273682416 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26806] ppid=26793 vsize=14091368 memory=924 CPUtime=5.3 cores=1,3,5,7
/proc/26795/task/26806/stat : 26806 (java) S 26793 26793 24759 0 -1 1077944384 34574 0 0 0 527 3 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457272629872 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26807] ppid=26793 vsize=14091368 memory=2192 CPUtime=1.07 cores=1,3,5,7
/proc/26795/task/26807/stat : 26807 (java) S 26793 26793 24759 0 -1 1077944384 15689 0 0 0 104 3 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457271577328 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26808] ppid=26793 vsize=14091368 memory=3984 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26808/stat : 26808 (java) S 26793 26793 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457270525024 140457803888341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
[pid=26795/tid=26809] ppid=26793 vsize=14091368 memory=1920 CPUtime=0.64 cores=1,3,5,7
/proc/26795/task/26809/stat : 26809 (java) S 26793 26793 24759 0 -1 1077944384 1318 0 0 0 26 38 0 0 20 0 15 0 222078301 14429560832 563865 33554432000 4194304 4196468 140723847088880 140457269471536 140457803889282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34119680 140723847091334 140723847091505 140723847091505 140723847094223 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 2256912 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.61 s]
# the end of solver process 26793 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002115 s, system=0.000779 s
[startup+2507.63 s]
# the end of solver process 26795 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.08 s, system=1.01585 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): 2507.63
CPU time (s): 2520.1
CPU user time (s): 2519.08
CPU system time (s): 1.01585
CPU usage (%): 100.497
Max. virtual memory (cumulated for all children) (KiB): 14207400
Max. memory (cumulated for all children) (KiB): 2256912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.08
system time used= 1.01585
maximum resident set size= 2259144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128195
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57957
involuntary context switches= 1181
# summary of solver processes directly reported to runsolver:
# pid: 26793,26795
# total CPU time (s): 2520.1
# total CPU user time (s): 2519.08
# total CPU system time (s): 1.01585
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4406 second user time and 20.5458 second system time
The end