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 (14957 MiB free)
memory of node 1: 16384 MiB (14720 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282601-1503157949/watcher-4282601-1503157949 -o /tmp/evaluation-result-4282601-1503157949/solver-4282601-1503157949 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28950 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 496350507 HOME/instance-4282601-1503157949.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7052, runsolver pid=7049
[startup+0.100105 s]*
/proc/loadavg: 2.23 2.02 1.95 3/197 7054
/proc/meminfo: memFree=30390272/32770624 swapFree=67108860/67108860
[pid=7052] ppid=7049 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7052/stat : 7052 (xcsp3-exec) S 7049 7052 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 117987916 9740288 345 18446744073709551615 4194304 5098028 140726066211168 140726066209272 139976705663612 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 29016064 140726066217337 140726066217541 140726066217541 140726066221035 0
/proc/7052/statm: 2378 345 289 221 0 87 0
[pid=7054] ppid=7052 vsize=13355668 memory=9872 CPUtime=0 cores=0,2,4,6
/proc/7054/stat : 7054 (java) S 7052 7052 28892 0 -1 1077944320 2245 0 0 0 0 0 0 0 20 0 6 0 117987926 13676204032 2468 18446744073709551615 4194304 4196468 140731195301296 140731195283840 140027798298359 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
/proc/7054/statm: 3338917 2468 1170 1 0 3328887 0
[pid=7054/tid=7055] ppid=7052 vsize=13356504 memory=1404226546252096138 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7055/stat : 7055 (java) R 7052 7052 28892 0 -1 4202560 1217 0 0 0 0 0 0 0 20 0 6 0 117987926 13677060096 2664 18446744073709551615 4194304 4196468 140731195301296 140027802540136 140027784220032 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7056] ppid=7052 vsize=13356504 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7056/stat : 7056 (java) S 7052 7052 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 117987927 13677060096 2664 18446744073709551615 4194304 4196468 140731195301296 140027755264400 140027798308565 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7057] ppid=7052 vsize=13356504 memory=139688288253568 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7057/stat : 7057 (java) S 7052 7052 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 117987927 13677060096 2664 18446744073709551615 4194304 4196468 140731195301296 140027754211600 140027798308565 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7058] ppid=7052 vsize=13356504 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7058/stat : 7058 (java) S 7052 7052 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 117987927 13677060096 2664 18446744073709551615 4194304 4196468 140731195301296 140027753159312 140027798308565 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7059] ppid=7052 vsize=13356504 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7059/stat : 7059 (java) S 7052 7052 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 117987927 13677060096 2664 18446744073709551615 4194304 4196468 140731195301296 140027752106512 140027798308565 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13365180 KiB
Current children cumulated memory: 11252 KiB
[startup+0.209903 s]*
/proc/loadavg: 2.23 2.02 1.95 3/211 7068
/proc/meminfo: memFree=30378304/32770624 swapFree=67108860/67108860
[pid=7052] ppid=7049 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7052/stat : 7052 (xcsp3-exec) S 7049 7052 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 117987916 9740288 345 18446744073709551615 4194304 5098028 140726066211168 140726066209272 139976705663612 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 29016064 140726066217337 140726066217541 140726066217541 140726066221035 0
/proc/7052/statm: 2378 345 289 221 0 87 0
[pid=7054] ppid=7052 vsize=13974352 memory=27180 CPUtime=0.08 cores=0,2,4,6
/proc/7054/stat : 7054 (java) S 7052 7052 28892 0 -1 1077944320 5206 0 0 0 7 1 0 0 20 0 15 0 117987926 14309736448 6795 18446744073709551615 4194304 4196468 140731195301296 140731195283840 140027798298359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
/proc/7054/statm: 3493588 6795 2725 1 0 3482964 0
[pid=7054/tid=7055] ppid=7052 vsize=13974352 memory=7022364594140610616 CPUtime=0.06 cores=0,2,4,6
/proc/7054/task/7055/stat : 7055 (java) R 7052 7052 28892 0 -1 4202560 3364 0 0 0 6 0 0 0 20 0 15 0 117987926 14309736448 6795 18446744073709551615 4194304 4196468 140731195301296 140027802524048 140027798310294 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7056] ppid=7052 vsize=13974352 memory=4294981025 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7056/stat : 7056 (java) S 7052 7052 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117987927 14309736448 6795 18446744073709551615 4194304 4196468 140731195301296 140027755264400 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7057] ppid=7052 vsize=13974352 memory=288370064439965312 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7057/stat : 7057 (java) S 7052 7052 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117987927 14309736448 6795 18446744073709551615 4194304 4196468 140731195301296 140027754211600 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7058] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7058/stat : 7058 (java) S 7052 7052 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117987927 14309736448 6795 18446744073709551615 4194304 4196468 140731195301296 140027753159312 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7059] ppid=7052 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7059/stat : 7059 (java) S 7052 7052 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117987927 14309736448 6795 18446744073709551615 4194304 4196468 140731195301296 140027752106512 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7060] ppid=7052 vsize=13974352 memory=139688288253568 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7060/stat : 7060 (java) S 7052 7052 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117987928 14309736448 6795 18446744073709551615 4194304 4196468 140731195301296 140027343948400 140027798309506 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7061] ppid=7052 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7061/stat : 7061 (java) S 7052 7052 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117987928 14309736448 6795 18446744073709551615 4194304 4196468 140731195301296 140027275240736 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7062] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7062/stat : 7062 (java) S 7052 7052 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117987928 14309736448 6795 18446744073709551615 4194304 4196468 140731195301296 140027274188400 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7063] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7063/stat : 7063 (java) S 7052 7052 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117987931 14309736448 6795 18446744073709551615 4194304 4196468 140731195301296 140027273136720 140027798316955 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7064] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7064/stat : 7064 (java) S 7052 7052 28892 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 117987931 14309736448 6795 18446744073709551615 4194304 4196468 140731195301296 140027272083568 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7065] ppid=7052 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7065/stat : 7065 (java) S 7052 7052 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117987931 14309736448 6795 18446744073709551615 4194304 4196468 140731195301296 140027271030768 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7066] ppid=7052 vsize=13974352 memory=139688288253568 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7066/stat : 7066 (java) R 7052 7052 28892 0 -1 4202560 243 0 0 0 0 0 0 0 20 0 15 0 117987931 14309736448 6795 18446744073709551615 4194304 4196468 140731195301296 140027269978480 140027798310294 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7067] ppid=7052 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7067/stat : 7067 (java) S 7052 7052 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117987931 14309736448 6795 18446744073709551615 4194304 4196468 140731195301296 140027268925920 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7068] ppid=7052 vsize=13974352 memory=139688288253568 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7068/stat : 7068 (java) S 7052 7052 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117987935 14309736448 6795 18446744073709551615 4194304 4196468 140731195301296 140027267873712 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28560 KiB
[startup+0.310241 s]*
/proc/loadavg: 2.23 2.02 1.95 3/211 7068
/proc/meminfo: memFree=30362996/32770624 swapFree=67108860/67108860
[pid=7052] ppid=7049 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7052/stat : 7052 (xcsp3-exec) S 7049 7052 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 117987916 9740288 345 18446744073709551615 4194304 5098028 140726066211168 140726066209272 139976705663612 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 29016064 140726066217337 140726066217541 140726066217541 140726066221035 0
/proc/7052/statm: 2378 345 289 221 0 87 0
[pid=7054] ppid=7052 vsize=13974352 memory=37200 CPUtime=0.26 cores=0,2,4,6
/proc/7054/stat : 7054 (java) S 7052 7052 28892 0 -1 1077944320 8879 0 0 0 24 2 0 0 20 0 15 0 117987926 14309736448 9300 18446744073709551615 4194304 4196468 140731195301296 140731195283840 140027798298359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
/proc/7054/statm: 3493588 9300 2977 1 0 3482964 0
[pid=7054/tid=7055] ppid=7052 vsize=13974352 memory=6933928925625698159 CPUtime=0.17 cores=0,2,4,6
/proc/7054/task/7055/stat : 7055 (java) R 7052 7052 28892 0 -1 4202560 6087 0 0 0 15 2 0 0 20 0 15 0 117987926 14309736448 9300 18446744073709551615 4194304 4196468 140731195301296 140027802536448 140027798319706 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7056] ppid=7052 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7056/stat : 7056 (java) S 7052 7052 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117987927 14309736448 9300 18446744073709551615 4194304 4196468 140731195301296 140027755264400 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7057] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7057/stat : 7057 (java) S 7052 7052 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117987927 14309736448 9300 18446744073709551615 4194304 4196468 140731195301296 140027754211600 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7058] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7058/stat : 7058 (java) S 7052 7052 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117987927 14309736448 9300 18446744073709551615 4194304 4196468 140731195301296 140027753159312 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7059] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7059/stat : 7059 (java) S 7052 7052 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117987927 14309736448 9300 18446744073709551615 4194304 4196468 140731195301296 140027752106512 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7060] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7060/stat : 7060 (java) S 7052 7052 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117987928 14309736448 9300 18446744073709551615 4194304 4196468 140731195301296 140027343948400 140027798309506 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7061] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7061/stat : 7061 (java) S 7052 7052 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117987928 14309736448 9300 18446744073709551615 4194304 4196468 140731195301296 140027275240736 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7062] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7062/stat : 7062 (java) S 7052 7052 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117987928 14309736448 9300 18446744073709551615 4194304 4196468 140731195301296 140027274188400 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7063] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7063/stat : 7063 (java) S 7052 7052 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117987931 14309736448 9300 18446744073709551615 4194304 4196468 140731195301296 140027273136720 140027798316955 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7064] ppid=7052 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7054/task/7064/stat : 7064 (java) S 7052 7052 28892 0 -1 1077944384 505 0 0 0 2 0 0 0 20 0 15 0 117987931 14309736448 9300 18446744073709551615 4194304 4196468 140731195301296 140027272083568 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7065] ppid=7052 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/7054/task/7065/stat : 7065 (java) S 7052 7052 28892 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 15 0 117987931 14309736448 9300 18446744073709551615 4194304 4196468 140731195301296 140027271030768 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7066] ppid=7052 vsize=13974352 memory=139688288253568 CPUtime=0.05 cores=0,2,4,6
/proc/7054/task/7066/stat : 7066 (java) R 7052 7052 28892 0 -1 4202560 716 0 0 0 5 0 0 0 20 0 15 0 117987931 14309736448 9300 18446744073709551615 4194304 4196468 140731195301296 140027269978608 140027782654499 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7067] ppid=7052 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7067/stat : 7067 (java) S 7052 7052 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117987931 14309736448 9300 18446744073709551615 4194304 4196468 140731195301296 140027268925920 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7068] ppid=7052 vsize=13974352 memory=139688288253568 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7068/stat : 7068 (java) S 7052 7052 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117987935 14309736448 9300 18446744073709551615 4194304 4196468 140731195301296 140027267873712 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38580 KiB
[startup+0.701063 s]
/proc/loadavg: 2.23 2.02 1.95 4/211 7068
/proc/meminfo: memFree=30353380/32770624 swapFree=67108860/67108860
[pid=7052] ppid=7049 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7052/stat : 7052 (xcsp3-exec) S 7049 7052 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 117987916 9740288 345 18446744073709551615 4194304 5098028 140726066211168 140726066209272 139976705663612 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 29016064 140726066217337 140726066217541 140726066217541 140726066221035 0
/proc/7052/statm: 2378 345 289 221 0 87 0
[pid=7054] ppid=7052 vsize=13980732 memory=70444 CPUtime=1.22 cores=0,2,4,6
/proc/7054/stat : 7054 (java) S 7052 7052 28892 0 -1 1077944320 13214 0 0 0 117 5 0 0 20 0 15 0 117987926 14316269568 17611 18446744073709551615 4194304 4196468 140731195301296 140731195283840 140027798298359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
/proc/7054/statm: 3495183 17611 3171 1 0 3483476 0
[pid=7054/tid=7055] ppid=7052 vsize=13980732 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/7054/task/7055/stat : 7055 (java) R 7052 7052 28892 0 -1 4202560 8444 0 0 0 51 3 0 0 20 0 15 0 117987926 14316269568 17611 18446744073709551615 4194304 4196468 140731195301296 140027802533192 140027429964992 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7056] ppid=7052 vsize=13980732 memory=40 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7056/stat : 7056 (java) S 7052 7052 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117987927 14316269568 17611 18446744073709551615 4194304 4196468 140731195301296 140027755264400 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7057] ppid=7052 vsize=13980732 memory=760 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7057/stat : 7057 (java) S 7052 7052 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117987927 14316269568 17611 18446744073709551615 4194304 4196468 140731195301296 140027754211600 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7058] ppid=7052 vsize=13980732 memory=442 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7058/stat : 7058 (java) S 7052 7052 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117987927 14316269568 17611 18446744073709551615 4194304 4196468 140731195301296 140027753159312 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7059] ppid=7052 vsize=13980732 memory=4024 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7059/stat : 7059 (java) S 7052 7052 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117987927 14316269568 17611 18446744073709551615 4194304 4196468 140731195301296 140027752106512 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7060] ppid=7052 vsize=13980732 memory=279376348454376 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7060/stat : 7060 (java) S 7052 7052 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117987928 14316269568 17611 18446744073709551615 4194304 4196468 140731195301296 140027343948400 140027798309506 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7061] ppid=7052 vsize=13980732 memory=279376348561296 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7061/stat : 7061 (java) S 7052 7052 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117987928 14316269568 17611 18446744073709551615 4194304 4196468 140731195301296 140027275240736 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7062] ppid=7052 vsize=13980732 memory=4596 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7062/stat : 7062 (java) S 7052 7052 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117987928 14316269568 17611 18446744073709551615 4194304 4196468 140731195301296 140027274188400 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7063] ppid=7052 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7063/stat : 7063 (java) S 7052 7052 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117987931 14316269568 17611 18446744073709551615 4194304 4196468 140731195301296 140027273136720 140027798316955 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7064] ppid=7052 vsize=13980732 memory=6944656575208382560 CPUtime=0.17 cores=0,2,4,6
/proc/7054/task/7064/stat : 7064 (java) R 7052 7052 28892 0 -1 4202560 1107 0 0 0 17 0 0 0 20 0 15 0 117987931 14316269568 17611 18446744073709551615 4194304 4196468 140731195301296 140027272062208 140027777522270 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7065] ppid=7052 vsize=13980732 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/7054/task/7065/stat : 7065 (java) R 7052 7052 28892 0 -1 4202560 877 0 0 0 18 0 0 0 20 0 15 0 117987931 14316269568 17611 18446744073709551615 4194304 4196468 140731195301296 140027271016272 140027777487808 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7066] ppid=7052 vsize=13980732 memory=8708 CPUtime=0.31 cores=0,2,4,6
/proc/7054/task/7066/stat : 7066 (java) S 7052 7052 28892 0 -1 1077944384 1478 0 0 0 31 0 0 0 20 0 15 0 117987931 14316269568 17611 18446744073709551615 4194304 4196468 140731195301296 140027269978480 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7067] ppid=7052 vsize=13980732 memory=-1891255765032775953 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7067/stat : 7067 (java) S 7052 7052 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117987931 14316269568 17611 18446744073709551615 4194304 4196468 140731195301296 140027268925920 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7068] ppid=7052 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7068/stat : 7068 (java) S 7052 7052 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117987935 14316269568 17611 18446744073709551615 4194304 4196468 140731195301296 140027267873712 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 71824 KiB
[startup+1.50092 s]
/proc/loadavg: 2.23 2.02 1.95 3/211 7068
/proc/meminfo: memFree=30238124/32770624 swapFree=67108860/67108860
[pid=7052] ppid=7049 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7052/stat : 7052 (xcsp3-exec) S 7049 7052 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 117987916 9740288 345 18446744073709551615 4194304 5098028 140726066211168 140726066209272 139976705663612 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 29016064 140726066217337 140726066217541 140726066217541 140726066221035 0
/proc/7052/statm: 2378 345 289 221 0 87 0
[pid=7054] ppid=7052 vsize=13980732 memory=215032 CPUtime=2.42 cores=0,2,4,6
/proc/7054/stat : 7054 (java) S 7052 7052 28892 0 -1 1077944320 13808 0 0 0 231 11 0 0 20 0 15 0 117987926 14316269568 53758 18446744073709551615 4194304 4196468 140731195301296 140731195283840 140027798298359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
/proc/7054/statm: 3495183 53758 3202 1 0 3483476 0
[pid=7054/tid=7055] ppid=7052 vsize=13980732 memory=170027823180977 CPUtime=1.31 cores=0,2,4,6
/proc/7054/task/7055/stat : 7055 (java) R 7052 7052 28892 0 -1 4202560 8509 0 0 0 126 5 0 0 20 0 15 0 117987926 14316269568 53758 18446744073709551615 4194304 4196468 140731195301296 140027802536880 140027430230166 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7056] ppid=7052 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7054/task/7056/stat : 7056 (java) S 7052 7052 28892 0 -1 1077944384 56 0 0 0 1 1 0 0 20 0 15 0 117987927 14316269568 53758 18446744073709551615 4194304 4196468 140731195301296 140027755264400 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7057] ppid=7052 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7054/task/7057/stat : 7057 (java) S 7052 7052 28892 0 -1 1077944384 46 0 0 0 1 1 0 0 20 0 15 0 117987927 14316269568 53758 18446744073709551615 4194304 4196468 140731195301296 140027754211600 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7058] ppid=7052 vsize=13980732 memory=3904711819393053287 CPUtime=0.02 cores=0,2,4,6
/proc/7054/task/7058/stat : 7058 (java) S 7052 7052 28892 0 -1 1077944384 76 0 0 0 2 0 0 0 20 0 15 0 117987927 14316269568 53758 18446744073709551615 4194304 4196468 140731195301296 140027753159312 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7059] ppid=7052 vsize=13980732 memory=279376348383984 CPUtime=0.02 cores=0,2,4,6
/proc/7054/task/7059/stat : 7059 (java) S 7052 7052 28892 0 -1 1077944384 57 0 0 0 2 0 0 0 20 0 15 0 117987927 14316269568 53758 18446744073709551615 4194304 4196468 140731195301296 140027752106512 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7060] ppid=7052 vsize=13980732 memory=279376348384048 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7060/stat : 7060 (java) S 7052 7052 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 117987928 14316269568 53758 18446744073709551615 4194304 4196468 140731195301296 140027343948400 140027798309506 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7061] ppid=7052 vsize=13980732 memory=40 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7061/stat : 7061 (java) S 7052 7052 28892 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 117987928 14316269568 53758 18446744073709551615 4194304 4196468 140731195301296 140027275240736 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7062] ppid=7052 vsize=13980732 memory=760 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/7054/task/7062/stat : 7062 (java) S 7052 7052 28892 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 117987928 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027274188416 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7063] ppid=7052 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7063/stat : 7063 (java) S 7052 7052 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027273136720 140027798316955 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7064] ppid=7052 vsize=13980732 memory=2901132 CPUtime=1.65 cores=0,2,4,6
/proc/7054/task/7064/stat : 7064 (java) S 7052 7052 28892 0 -1 1077944384 11248 0 0 0 163 2 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027272083568 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7065] ppid=7052 vsize=13980732 memory=1380 CPUtime=1.62 cores=0,2,4,6
/proc/7054/task/7065/stat : 7065 (java) S 7052 7052 28892 0 -1 1077944384 12049 0 0 0 161 1 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027271030768 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7066] ppid=7052 vsize=13980732 memory=2901132 CPUtime=0.68 cores=0,2,4,6
/proc/7054/task/7066/stat : 7066 (java) S 7052 7052 28892 0 -1 1077944384 7699 0 0 0 66 2 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027269978480 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7067] ppid=7052 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7067/stat : 7067 (java) S 7052 7052 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027268925920 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7068] ppid=7052 vsize=13980732 memory=1380 CPUtime=1.49 cores=0,2,4,6
/proc/7054/task/7068/stat : 7068 (java) S 7052 7052 28892 0 -1 1077944384 1515 0 0 0 72 77 0 0 20 0 15 0 117987935 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027267873712 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
Current children cumulated CPU time: 2450.76 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2902512 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/211 7310
/proc/meminfo: memFree=21852616/32770624 swapFree=67108860/67108860
[pid=7052] ppid=7049 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7052/stat : 7052 (xcsp3-exec) S 7049 7052 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 117987916 9740288 345 18446744073709551615 4194304 5098028 140726066211168 140726066209272 139976705663612 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 29016064 140726066217337 140726066217541 140726066217541 140726066221035 0
/proc/7052/statm: 2378 345 289 221 0 87 0
[pid=7054] ppid=7052 vsize=13980732 memory=2901132 CPUtime=2510.8 cores=0,2,4,6
/proc/7054/stat : 7054 (java) S 7052 7052 28892 0 -1 1077944320 110285 0 0 0 250860 220 0 0 20 0 15 0 117987926 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140731195283840 140027798298359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
/proc/7054/statm: 3495183 725283 3251 1 0 3483476 0
[pid=7054/tid=7055] ppid=7052 vsize=13980732 memory=2901132 CPUtime=2500.72 cores=0,2,4,6
/proc/7054/task/7055/stat : 7055 (java) R 7052 7052 28892 0 -1 4202560 61511 0 0 0 250036 36 0 0 20 0 15 0 117987926 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027802537984 140027432087498 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7056] ppid=7052 vsize=13980732 memory=2901132 CPUtime=1.07 cores=0,2,4,6
/proc/7054/task/7056/stat : 7056 (java) S 7052 7052 28892 0 -1 1077944384 1534 0 0 0 77 30 0 0 20 0 15 0 117987927 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027755264400 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7057] ppid=7052 vsize=13980732 memory=2901132 CPUtime=1.08 cores=0,2,4,6
/proc/7054/task/7057/stat : 7057 (java) S 7052 7052 28892 0 -1 1077944384 2930 0 0 0 79 29 0 0 20 0 15 0 117987927 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027754211600 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7058] ppid=7052 vsize=13980732 memory=2901132 CPUtime=1.07 cores=0,2,4,6
/proc/7054/task/7058/stat : 7058 (java) S 7052 7052 28892 0 -1 1077944384 1994 0 0 0 79 28 0 0 20 0 15 0 117987927 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027753159312 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7059] ppid=7052 vsize=13980732 memory=2901132 CPUtime=1.07 cores=0,2,4,6
/proc/7054/task/7059/stat : 7059 (java) S 7052 7052 28892 0 -1 1077944384 1897 0 0 0 80 27 0 0 20 0 15 0 117987927 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027752106512 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7060] ppid=7052 vsize=13980732 memory=1380 CPUtime=0.22 cores=0,2,4,6
/proc/7054/task/7060/stat : 7060 (java) S 7052 7052 28892 0 -1 1077944384 6535 0 0 0 19 3 0 0 20 0 15 0 117987928 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027343948400 140027798309506 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7061] ppid=7052 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7061/stat : 7061 (java) S 7052 7052 28892 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 117987928 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027275240800 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7062] ppid=7052 vsize=13980732 memory=2901132 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7062/stat : 7062 (java) S 7052 7052 28892 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 117987928 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027274188416 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7063] ppid=7052 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7063/stat : 7063 (java) S 7052 7052 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027273136720 140027798316955 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7064] ppid=7052 vsize=13980732 memory=63600 CPUtime=1.65 cores=0,2,4,6
/proc/7054/task/7064/stat : 7064 (java) S 7052 7052 28892 0 -1 1077944384 11251 0 0 0 163 2 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027272083568 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7065] ppid=7052 vsize=13980732 memory=1380 CPUtime=1.63 cores=0,2,4,6
/proc/7054/task/7065/stat : 7065 (java) S 7052 7052 28892 0 -1 1077944384 12056 0 0 0 161 2 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027271030768 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7066] ppid=7052 vsize=13980732 memory=2901132 CPUtime=0.68 cores=0,2,4,6
/proc/7054/task/7066/stat : 7066 (java) S 7052 7052 28892 0 -1 1077944384 7703 0 0 0 66 2 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027269978480 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7067] ppid=7052 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7067/stat : 7067 (java) S 7052 7052 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027268925920 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7068] ppid=7052 vsize=13980732 memory=2901132 CPUtime=1.53 cores=0,2,4,6
/proc/7054/task/7068/stat : 7068 (java) S 7052 7052 28892 0 -1 1077944384 1546 0 0 0 74 79 0 0 20 0 15 0 117987935 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027267873712 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
Current children cumulated CPU time: 2510.8 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2902512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511.5 s]
/proc/loadavg: 2.00 2.01 2.04 3/215 7326
/proc/meminfo: memFree=21848252/32770624 swapFree=67108860/67108860
[pid=7052] ppid=7049 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7052/stat : 7052 (xcsp3-exec) S 7049 7052 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 117987916 9740288 345 18446744073709551615 4194304 5098028 140726066211168 140726066209272 139976705663612 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 29016064 140726066217337 140726066217541 140726066217541 140726066221035 0
/proc/7052/statm: 2378 345 289 221 0 87 0
[pid=7054] ppid=7052 vsize=13980732 memory=2901132 CPUtime=2520.01 cores=0,2,4,6
/proc/7054/stat : 7054 (java) S 7052 7052 28892 0 -1 1077944320 110359 0 0 0 251781 220 0 0 20 0 15 0 117987926 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140731195283840 140027798298359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
/proc/7054/statm: 3495183 725283 3251 1 0 3483476 0
[pid=7054/tid=7055] ppid=7052 vsize=13980732 memory=2901132 CPUtime=2509.92 cores=0,2,4,6
/proc/7054/task/7055/stat : 7055 (java) R 7052 7052 28892 0 -1 4202560 61583 0 0 0 250956 36 0 0 20 0 15 0 117987926 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027802537984 140027432176800 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7056] ppid=7052 vsize=13980732 memory=2901132 CPUtime=1.07 cores=0,2,4,6
/proc/7054/task/7056/stat : 7056 (java) S 7052 7052 28892 0 -1 1077944384 1534 0 0 0 77 30 0 0 20 0 15 0 117987927 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027755264400 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7057] ppid=7052 vsize=13980732 memory=2901132 CPUtime=1.08 cores=0,2,4,6
/proc/7054/task/7057/stat : 7057 (java) S 7052 7052 28892 0 -1 1077944384 2930 0 0 0 79 29 0 0 20 0 15 0 117987927 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027754211600 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7058] ppid=7052 vsize=13980732 memory=1380 CPUtime=1.07 cores=0,2,4,6
/proc/7054/task/7058/stat : 7058 (java) S 7052 7052 28892 0 -1 1077944384 1994 0 0 0 79 28 0 0 20 0 15 0 117987927 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027753159312 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7059] ppid=7052 vsize=13980732 memory=2901132 CPUtime=1.07 cores=0,2,4,6
/proc/7054/task/7059/stat : 7059 (java) S 7052 7052 28892 0 -1 1077944384 1897 0 0 0 80 27 0 0 20 0 15 0 117987927 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027752106512 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7060] ppid=7052 vsize=13980732 memory=279376350557792 CPUtime=0.22 cores=0,2,4,6
/proc/7054/task/7060/stat : 7060 (java) S 7052 7052 28892 0 -1 1077944384 6535 0 0 0 19 3 0 0 20 0 15 0 117987928 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027343948400 140027798309506 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7061] ppid=7052 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7061/stat : 7061 (java) S 7052 7052 28892 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 117987928 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027275240800 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7062] ppid=7052 vsize=13980732 memory=165 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7062/stat : 7062 (java) S 7052 7052 28892 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 117987928 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027274188416 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7063] ppid=7052 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7063/stat : 7063 (java) S 7052 7052 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027273136720 140027798316955 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7064] ppid=7052 vsize=13980732 memory=1380 CPUtime=1.65 cores=0,2,4,6
/proc/7054/task/7064/stat : 7064 (java) S 7052 7052 28892 0 -1 1077944384 11251 0 0 0 163 2 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027272083568 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7065] ppid=7052 vsize=13980732 memory=796 CPUtime=1.63 cores=0,2,4,6
/proc/7054/task/7065/stat : 7065 (java) S 7052 7052 28892 0 -1 1077944384 12056 0 0 0 161 2 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027271030768 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7066] ppid=7052 vsize=13980732 memory=11156 CPUtime=0.68 cores=0,2,4,6
/proc/7054/task/7066/stat : 7066 (java) S 7052 7052 28892 0 -1 1077944384 7703 0 0 0 66 2 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027269978480 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7067] ppid=7052 vsize=13980732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7067/stat : 7067 (java) S 7052 7052 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027268925920 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7068] ppid=7052 vsize=13980732 memory=4028 CPUtime=1.53 cores=0,2,4,6
/proc/7054/task/7068/stat : 7068 (java) S 7052 7052 28892 0 -1 1077944384 1548 0 0 0 74 79 0 0 20 0 15 0 117987935 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027267873712 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2902512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.51 s]
# the end of solver process 7052 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001827 s, system=0.00012 s
[startup+2511.52 s]
# the end of solver process 7054 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.82 s, system=2.21947 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+2511.5 s]
/proc/loadavg: 2.00 2.01 2.04 3/215 7326
/proc/meminfo: memFree=21848252/32770624 swapFree=67108860/67108860
[pid=7052] ppid=7049 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7052/stat : 7052 (xcsp3-exec) S 7049 7052 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 117987916 9740288 345 18446744073709551615 4194304 5098028 140726066211168 140726066209272 139976705663612 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 29016064 140726066217337 140726066217541 140726066217541 140726066221035 0
/proc/7052/statm: 2378 345 289 221 0 87 0
[pid=7054] ppid=7052 vsize=13980732 memory=2901132 CPUtime=2520.01 cores=0,2,4,6
/proc/7054/stat : 7054 (java) S 7052 7052 28892 0 -1 1077944320 110359 0 0 0 251781 220 0 0 20 0 15 0 117987926 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140731195283840 140027798298359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
/proc/7054/statm: 3495183 725283 3251 1 0 3483476 0
[pid=7054/tid=7055] ppid=7052 vsize=13980732 memory=2901132 CPUtime=2509.92 cores=0,2,4,6
/proc/7054/task/7055/stat : 7055 (java) R 7052 7052 28892 0 -1 4202560 61583 0 0 0 250956 36 0 0 20 0 15 0 117987926 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027802537984 140027432176800 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7056] ppid=7052 vsize=13980732 memory=2901132 CPUtime=1.07 cores=0,2,4,6
/proc/7054/task/7056/stat : 7056 (java) S 7052 7052 28892 0 -1 1077944384 1534 0 0 0 77 30 0 0 20 0 15 0 117987927 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027755264400 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7057] ppid=7052 vsize=13980732 memory=2901132 CPUtime=1.08 cores=0,2,4,6
/proc/7054/task/7057/stat : 7057 (java) S 7052 7052 28892 0 -1 1077944384 2930 0 0 0 79 29 0 0 20 0 15 0 117987927 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027754211600 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7058] ppid=7052 vsize=13980732 memory=1380 CPUtime=1.07 cores=0,2,4,6
/proc/7054/task/7058/stat : 7058 (java) S 7052 7052 28892 0 -1 1077944384 1994 0 0 0 79 28 0 0 20 0 15 0 117987927 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027753159312 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7059] ppid=7052 vsize=13980732 memory=2901132 CPUtime=1.07 cores=0,2,4,6
/proc/7054/task/7059/stat : 7059 (java) S 7052 7052 28892 0 -1 1077944384 1897 0 0 0 80 27 0 0 20 0 15 0 117987927 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027752106512 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7060] ppid=7052 vsize=13980732 memory=279376350557792 CPUtime=0.22 cores=0,2,4,6
/proc/7054/task/7060/stat : 7060 (java) S 7052 7052 28892 0 -1 1077944384 6535 0 0 0 19 3 0 0 20 0 15 0 117987928 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027343948400 140027798309506 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7061] ppid=7052 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7061/stat : 7061 (java) S 7052 7052 28892 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 117987928 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027275240800 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7062] ppid=7052 vsize=13980732 memory=165 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7062/stat : 7062 (java) S 7052 7052 28892 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 117987928 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027274188416 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7063] ppid=7052 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7063/stat : 7063 (java) S 7052 7052 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027273136720 140027798316955 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7064] ppid=7052 vsize=13980732 memory=1380 CPUtime=1.65 cores=0,2,4,6
/proc/7054/task/7064/stat : 7064 (java) S 7052 7052 28892 0 -1 1077944384 11251 0 0 0 163 2 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027272083568 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7065] ppid=7052 vsize=13980732 memory=796 CPUtime=1.63 cores=0,2,4,6
/proc/7054/task/7065/stat : 7065 (java) S 7052 7052 28892 0 -1 1077944384 12056 0 0 0 161 2 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027271030768 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7066] ppid=7052 vsize=13980732 memory=11156 CPUtime=0.68 cores=0,2,4,6
/proc/7054/task/7066/stat : 7066 (java) S 7052 7052 28892 0 -1 1077944384 7703 0 0 0 66 2 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027269978480 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7067] ppid=7052 vsize=13980732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7067/stat : 7067 (java) S 7052 7052 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117987931 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027268925920 140027798308565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
[pid=7054/tid=7068] ppid=7052 vsize=13980732 memory=4028 CPUtime=1.53 cores=0,2,4,6
/proc/7054/task/7068/stat : 7068 (java) S 7052 7052 28892 0 -1 1077944384 1548 0 0 0 74 79 0 0 20 0 15 0 117987935 14316269568 725283 18446744073709551615 4194304 4196468 140731195301296 140027267873712 140027798309506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140731195306417 140731195306593 140731195306593 140731195310031 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2902512 KiB
Child status: 143
Real time (s): 2511.52
CPU time (s): 2520.04
CPU user time (s): 2517.82
CPU system time (s): 2.21947
CPU usage (%): 100.339
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 2902512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.82
system time used= 2.21947
maximum resident set size= 2901684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111714
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57851
involuntary context switches= 2373
# summary of solver processes directly reported to runsolver:
# pid: 7052,7054
# total CPU time (s): 2520.04
# total CPU user time (s): 2517.82
# total CPU system time (s): 2.21947
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4984 second user time and 25.3956 second system time
The end