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 (15402 MiB free)
memory of node 1: 16384 MiB (10248 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268988-1502839191/watcher-4268988-1502839191 -o /tmp/evaluation-result-4268988-1502839191/solver-4268988-1502839191 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 148145958 HOME/instance-4268988-1502839191.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=26301, runsolver pid=26298
[startup+0.100065 s]*
/proc/loadavg: 1.92 1.95 1.95 3/208 26308
/proc/meminfo: memFree=26262428/32770624 swapFree=67108764/67108860
[pid=26301] ppid=26298 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26301/stat : 26301 (xcsp3-exec) S 26298 26301 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 131425695 9740288 345 18446744073709551615 4194304 5098028 140734531049424 140734531047528 140410453164668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 31076352 140734531055993 140734531056197 140734531056197 140734531059691 0
/proc/26301/statm: 2378 345 289 221 0 87 0
[pid=26303] ppid=26301 vsize=13358712 memory=13256 CPUtime=0.01 cores=0,2,4,6
/proc/26303/stat : 26303 (java) S 26301 26301 4674 0 -1 1077944320 3583 0 0 0 1 0 0 0 20 0 6 0 131425704 13679321088 3314 18446744073709551615 4194304 4196468 140730106379760 140730106362304 140463448727287 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
/proc/26303/statm: 3339678 3314 1926 1 0 3329175 0
[pid=26303/tid=26304] ppid=26301 vsize=13358712 memory=-8713483618642852700 CPUtime=0.01 cores=0,2,4,6
/proc/26303/task/26304/stat : 26304 (java) R 26301 26301 4674 0 -1 4202560 2346 0 0 0 1 0 0 0 20 0 6 0 131425704 13679321088 3314 18446744073709551615 4194304 4196468 140730106379760 140463452963408 140463441824123 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26305] ppid=26301 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26305/stat : 26305 (java) S 26301 26301 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 131425705 13679321088 3314 18446744073709551615 4194304 4196468 140730106379760 140463048837392 140463448737493 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26306] ppid=26301 vsize=13358712 memory=139972547368576 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26306/stat : 26306 (java) S 26301 26301 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 131425705 13679321088 3314 18446744073709551615 4194304 4196468 140730106379760 140463047784848 140463448737493 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26307] ppid=26301 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26307/stat : 26307 (java) S 26301 26301 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 131425705 13679321088 3314 18446744073709551615 4194304 4196468 140730106379760 140463046732304 140463448737493 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26308] ppid=26301 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26308/stat : 26308 (java) S 26301 26301 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 131425705 13679321088 3314 18446744073709551615 4194304 4196468 140730106379760 140463045679760 140463448737493 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 14636 KiB
[startup+0.213565 s]*
/proc/loadavg: 1.92 1.95 1.95 3/217 26317
/proc/meminfo: memFree=26250232/32770624 swapFree=67108764/67108860
[pid=26301] ppid=26298 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26301/stat : 26301 (xcsp3-exec) S 26298 26301 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 131425695 9740288 345 18446744073709551615 4194304 5098028 140734531049424 140734531047528 140410453164668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 31076352 140734531055993 140734531056197 140734531056197 140734531059691 0
/proc/26301/statm: 2378 345 289 221 0 87 0
[pid=26303] ppid=26301 vsize=13974352 memory=28036 CPUtime=0.12 cores=0,2,4,6
/proc/26303/stat : 26303 (java) S 26301 26301 4674 0 -1 1077944320 5516 0 0 0 11 1 0 0 20 0 15 0 131425704 14309736448 7009 18446744073709551615 4194304 4196468 140730106379760 140730106362304 140463448727287 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
/proc/26303/statm: 3493588 7009 2810 1 0 3482964 0
[pid=26303/tid=26304] ppid=26301 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=0,2,4,6
/proc/26303/task/26304/stat : 26304 (java) R 26301 26301 4674 0 -1 4202560 3535 0 0 0 8 0 0 0 20 0 15 0 131425704 14309736448 7009 18446744073709551615 4194304 4196468 140730106379760 140463452953536 140463432770917 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26305] ppid=26301 vsize=13974352 memory=12630 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26305/stat : 26305 (java) S 26301 26301 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 131425705 14309736448 7009 18446744073709551615 4194304 4196468 140730106379760 140463048837392 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26306] ppid=26301 vsize=13974352 memory=139972547393303 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26306/stat : 26306 (java) S 26301 26301 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 131425705 14309736448 7009 18446744073709551615 4194304 4196468 140730106379760 140463047784848 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26307] ppid=26301 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26307/stat : 26307 (java) S 26301 26301 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 131425705 14309736448 7009 18446744073709551615 4194304 4196468 140730106379760 140463046732304 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26308] ppid=26301 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26308/stat : 26308 (java) S 26301 26301 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 131425705 14309736448 7009 18446744073709551615 4194304 4196468 140730106379760 140463045679760 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26309] ppid=26301 vsize=13974352 memory=139972547368576 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26309/stat : 26309 (java) S 26301 26301 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 131425706 14309736448 7009 18446744073709551615 4194304 4196468 140730106379760 140462927260144 140463448738434 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26310] ppid=26301 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26310/stat : 26310 (java) S 26301 26301 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 131425707 14309736448 7009 18446744073709551615 4194304 4196468 140730106379760 140462926206368 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26311] ppid=26301 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26311/stat : 26311 (java) S 26301 26301 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 131425707 14309736448 7009 18446744073709551615 4194304 4196468 140730106379760 140462925153776 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26312] ppid=26301 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26312/stat : 26312 (java) S 26301 26301 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 131425710 14309736448 7009 18446744073709551615 4194304 4196468 140730106379760 140462924102352 140463448745883 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26313] ppid=26301 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26313/stat : 26313 (java) R 26301 26301 4674 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 131425710 14309736448 7009 18446744073709551615 4194304 4196468 140730106379760 140462923048944 140463448738434 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26314] ppid=26301 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26314/stat : 26314 (java) S 26301 26301 4674 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 131425710 14309736448 7009 18446744073709551615 4194304 4196468 140730106379760 140462921996400 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26315] ppid=26301 vsize=13974352 memory=139972547368576 CPUtime=0.01 cores=0,2,4,6
/proc/26303/task/26315/stat : 26315 (java) R 26301 26301 4674 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 15 0 131425710 14309736448 7009 18446744073709551615 4194304 4196468 140730106379760 140462920943856 140463448748634 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26316] ppid=26301 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26316/stat : 26316 (java) S 26301 26301 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 131425710 14309736448 7009 18446744073709551615 4194304 4196468 140730106379760 140462919891552 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26317] ppid=26301 vsize=13974352 memory=139972547368576 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26317/stat : 26317 (java) S 26301 26301 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 131425713 14309736448 7009 18446744073709551615 4194304 4196468 140730106379760 140462918839088 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29416 KiB
[startup+0.31137 s]*
/proc/loadavg: 1.92 1.95 1.95 5/217 26317
/proc/meminfo: memFree=26237444/32770624 swapFree=67108764/67108860
[pid=26301] ppid=26298 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26301/stat : 26301 (xcsp3-exec) S 26298 26301 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 131425695 9740288 345 18446744073709551615 4194304 5098028 140734531049424 140734531047528 140410453164668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 31076352 140734531055993 140734531056197 140734531056197 140734531059691 0
/proc/26301/statm: 2378 345 289 221 0 87 0
[pid=26303] ppid=26301 vsize=13974352 memory=39436 CPUtime=0.3 cores=0,2,4,6
/proc/26303/stat : 26303 (java) S 26301 26301 4674 0 -1 1077944320 8975 0 0 0 28 2 0 0 20 0 15 0 131425704 14309736448 9859 18446744073709551615 4194304 4196468 140730106379760 140730106362304 140463448727287 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
/proc/26303/statm: 3493588 9859 2998 1 0 3482964 0
[pid=26303/tid=26304] ppid=26301 vsize=13974352 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/26303/task/26304/stat : 26304 (java) R 26301 26301 4674 0 -1 4202560 6188 0 0 0 17 2 0 0 20 0 15 0 131425704 14309736448 9859 18446744073709551615 4194304 4196468 140730106379760 140463452957472 140463448749213 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26305] ppid=26301 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26305/stat : 26305 (java) S 26301 26301 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 131425705 14309736448 9859 18446744073709551615 4194304 4196468 140730106379760 140463048837392 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26306] ppid=26301 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26306/stat : 26306 (java) S 26301 26301 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 131425705 14309736448 9859 18446744073709551615 4194304 4196468 140730106379760 140463047784848 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26307] ppid=26301 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26307/stat : 26307 (java) S 26301 26301 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 131425705 14309736448 9859 18446744073709551615 4194304 4196468 140730106379760 140463046732304 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26308] ppid=26301 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26308/stat : 26308 (java) S 26301 26301 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 131425705 14309736448 9859 18446744073709551615 4194304 4196468 140730106379760 140463045679760 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26309] ppid=26301 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26309/stat : 26309 (java) S 26301 26301 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 131425706 14309736448 9859 18446744073709551615 4194304 4196468 140730106379760 140462927260144 140463448738434 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26310] ppid=26301 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26310/stat : 26310 (java) S 26301 26301 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 131425707 14309736448 9859 18446744073709551615 4194304 4196468 140730106379760 140462926206368 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26311] ppid=26301 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26311/stat : 26311 (java) S 26301 26301 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 131425707 14309736448 9859 18446744073709551615 4194304 4196468 140730106379760 140462925153776 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26312] ppid=26301 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26312/stat : 26312 (java) S 26301 26301 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 131425710 14309736448 9859 18446744073709551615 4194304 4196468 140730106379760 140462924102352 140463448745883 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26313] ppid=26301 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26303/task/26313/stat : 26313 (java) S 26301 26301 4674 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 15 0 131425710 14309736448 9859 18446744073709551615 4194304 4196468 140730106379760 140462923048944 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26314] ppid=26301 vsize=13974352 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26303/task/26314/stat : 26314 (java) S 26301 26301 4674 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 15 0 131425710 14309736448 9859 18446744073709551615 4194304 4196468 140730106379760 140462921996400 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26315] ppid=26301 vsize=13974352 memory=139972547368576 CPUtime=0.06 cores=0,2,4,6
/proc/26303/task/26315/stat : 26315 (java) R 26301 26301 4674 0 -1 4202560 694 0 0 0 6 0 0 0 20 0 15 0 131425710 14309736448 9859 18446744073709551615 4194304 4196468 140730106379760 140462920941648 140463433892931 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26316] ppid=26301 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26316/stat : 26316 (java) S 26301 26301 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 131425710 14309736448 9859 18446744073709551615 4194304 4196468 140730106379760 140462919891552 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26317] ppid=26301 vsize=13974352 memory=139972547368576 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26317/stat : 26317 (java) S 26301 26301 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 131425713 14309736448 9859 18446744073709551615 4194304 4196468 140730106379760 140462918839088 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40816 KiB
[startup+0.702346 s]
/proc/loadavg: 1.92 1.95 1.95 5/217 26317
/proc/meminfo: memFree=26222644/32770624 swapFree=67108764/67108860
[pid=26301] ppid=26298 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26301/stat : 26301 (xcsp3-exec) S 26298 26301 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 131425695 9740288 345 18446744073709551615 4194304 5098028 140734531049424 140734531047528 140410453164668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 31076352 140734531055993 140734531056197 140734531056197 140734531059691 0
/proc/26301/statm: 2378 345 289 221 0 87 0
[pid=26303] ppid=26301 vsize=13978684 memory=109108 CPUtime=1.2 cores=0,2,4,6
/proc/26303/stat : 26303 (java) S 26301 26301 4674 0 -1 1077944320 12235 0 0 0 115 5 0 0 20 0 15 0 131425704 14314172416 27277 18446744073709551615 4194304 4196468 140730106379760 140730106362304 140463448727287 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
/proc/26303/statm: 3494671 27277 3163 1 0 3482964 0
[pid=26303/tid=26304] ppid=26301 vsize=13978684 memory=279944894751192 CPUtime=0.56 cores=0,2,4,6
/proc/26303/task/26304/stat : 26304 (java) R 26301 26301 4674 0 -1 4202560 7901 0 0 0 53 3 0 0 20 0 15 0 131425704 14314172416 27277 18446744073709551615 4194304 4196468 140730106379760 140463452961664 140463093114882 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26305] ppid=26301 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26305/stat : 26305 (java) S 26301 26301 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 131425705 14314172416 27277 18446744073709551615 4194304 4196468 140730106379760 140463048837392 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26306] ppid=26301 vsize=13978684 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26306/stat : 26306 (java) S 26301 26301 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 131425705 14314172416 27277 18446744073709551615 4194304 4196468 140730106379760 140463047784848 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26307] ppid=26301 vsize=13978684 memory=279944894867520 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26307/stat : 26307 (java) S 26301 26301 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 131425705 14314172416 27277 18446744073709551615 4194304 4196468 140730106379760 140463046732304 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26308] ppid=26301 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26308/stat : 26308 (java) S 26301 26301 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 131425705 14314172416 27277 18446744073709551615 4194304 4196468 140730106379760 140463045679760 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26309] ppid=26301 vsize=13978684 memory=831 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26309/stat : 26309 (java) S 26301 26301 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 131425706 14314172416 27277 18446744073709551615 4194304 4196468 140730106379760 140462927260144 140463448738434 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26310] ppid=26301 vsize=13978684 memory=42 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26310/stat : 26310 (java) S 26301 26301 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 131425707 14314172416 27277 18446744073709551615 4194304 4196468 140730106379760 140462926206368 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26311] ppid=26301 vsize=13978684 memory=474 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26311/stat : 26311 (java) S 26301 26301 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 131425707 14314172416 27277 18446744073709551615 4194304 4196468 140730106379760 140462925153776 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26312] ppid=26301 vsize=13978684 memory=583 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26312/stat : 26312 (java) S 26301 26301 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 131425710 14314172416 27277 18446744073709551615 4194304 4196468 140730106379760 140462924102352 140463448745883 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26313] ppid=26301 vsize=13978684 memory=109 CPUtime=0.21 cores=0,2,4,6
/proc/26303/task/26313/stat : 26313 (java) R 26301 26301 4674 0 -1 4202560 968 0 0 0 21 0 0 0 20 0 15 0 131425710 14314172416 27277 18446744073709551615 4194304 4196468 140730106379760 140462923049072 140463430100748 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26314] ppid=26301 vsize=13978684 memory=7 CPUtime=0.21 cores=0,2,4,6
/proc/26303/task/26314/stat : 26314 (java) R 26301 26301 4674 0 -1 4202560 1000 0 0 0 21 0 0 0 20 0 15 0 131425710 14314172416 27277 18446744073709551615 4194304 4196468 140730106379760 140462921982200 140463433649069 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26315] ppid=26301 vsize=13978684 memory=56992 CPUtime=0.19 cores=0,2,4,6
/proc/26303/task/26315/stat : 26315 (java) R 26301 26301 4674 0 -1 1077944384 1061 0 0 0 19 0 0 0 20 0 15 0 131425710 14314172416 27277 18446744073709551615 4194304 4196468 140730106379760 140462920939584 140463448737493 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26316] ppid=26301 vsize=13978684 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26316/stat : 26316 (java) S 26301 26301 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 131425710 14314172416 27277 18446744073709551615 4194304 4196468 140730106379760 140462919891552 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26317] ppid=26301 vsize=13978684 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26317/stat : 26317 (java) S 26301 26301 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 131425713 14314172416 27277 18446744073709551615 4194304 4196468 140730106379760 140462918839088 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 110488 KiB
[startup+1.50151 s]
/proc/loadavg: 1.93 1.95 1.95 3/217 26317
/proc/meminfo: memFree=26094340/32770624 swapFree=67108764/67108860
[pid=26301] ppid=26298 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26301/stat : 26301 (xcsp3-exec) S 26298 26301 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 131425695 9740288 345 18446744073709551615 4194304 5098028 140734531049424 140734531047528 140410453164668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 31076352 140734531055993 140734531056197 140734531056197 140734531059691 0
/proc/26301/statm: 2378 345 289 221 0 87 0
[pid=26303] ppid=26301 vsize=13980732 memory=221556 CPUtime=2.99 cores=0,2,4,6
/proc/26303/stat : 26303 (java) S 26301 26301 4674 0 -1 1077944320 15558 0 0 0 290 9 0 0 20 0 15 0 131425704 14316269568 55389 18446744073709551615 4194304 4196468 140730106379760 140730106362304 140463448727287 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
/proc/26303/statm: 3495183 55389 3197 1 0 3483476 0
[pid=26303/tid=26304] ppid=26301 vsize=13980732 memory=279944894879968 CPUtime=1.33 cores=0,2,4,6
/proc/26303/task/26304/stat : 26304 (java) S 26301 26301 4674 0 -1 1077944384 8113 0 0 0 129 4 0 0 20 0 15 0 131425704 14316269568 55389 18446744073709551615 4194304 4196468 140730106379760 140463452965264 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26305] ppid=26301 vsize=13980732 memory=139972447444704 CPUtime=0.01 cores=0,2,4,6
/proc/26303/task/26305/stat : 26305 (java) R 26301 26301 4674 0 -1 4202560 62 0 0 0 1 0 0 0 20 0 15 0 131425705 14316269568 55389 18446744073709551615 4194304 4196468 140730106379760 140463048837392 140463433755432 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26306] ppid=26301 vsize=13980732 memory=7959527114871557897 CPUtime=0.02 cores=0,2,4,6
/proc/26303/task/26306/stat : 26306 (java) R 26301 26301 4674 0 -1 4202560 70 0 0 0 1 1 0 0 20 0 15 0 131425705 14316269568 55389 18446744073709551615 4194304 4196468 140730106379760 140463047785048 140463433754706 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26307] ppid=26301 vsize=13980732 memory=139972447444768 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26307/stat : 26307 (java) R 26301 26301 4674 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 15 0 131425705 14316269568 55389 18446744073709551615 4194304 4196468 140730106379760 140463046732304 140463448748634 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26308] ppid=26301 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26303/task/26308/stat : 26308 (java) R 26301 26301 4674 0 -1 4202560 62 0 0 0 1 1 0 0 20 0 15 0 131425705 14316269568 55389 18446744073709551615 4194304 4196468 140730106379760 140463045679960 140463433754706 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26309] ppid=26301 vsize=13980732 memory=831 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26309/stat : 26309 (java) S 26301 26301 4674 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 131425706 14316269568 55389 18446744073709551615 4194304 4196468 140730106379760 140462927258656 140463448737493 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26310] ppid=26301 vsize=13980732 memory=42 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26310/stat : 26310 (java) S 26301 26301 4674 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 131425707 14316269568 55389 18446744073709551615 4194304 4196468 140730106379760 140462926206368 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26311] ppid=26301 vsize=13980732 memory=474 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/26303/task/26311/stat : 26311 (java) S 26301 26301 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 131425707 14316269568 179616 18446744073709551615 4194304 4196468 140730106379760 140462925153792 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26312] ppid=26301 vsize=13980732 memory=4148 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26312/stat : 26312 (java) S 26301 26301 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 131425710 14316269568 179616 18446744073709551615 4194304 4196468 140730106379760 140462924102352 140463448745883 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26313] ppid=26301 vsize=13980732 memory=64224 CPUtime=2.81 cores=0,2,4,6
/proc/26303/task/26313/stat : 26313 (java) S 26301 26301 4674 0 -1 1077944384 20639 0 0 0 279 2 0 0 20 0 15 0 131425710 14316269568 179616 18446744073709551615 4194304 4196468 140730106379760 140462923048944 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26314] ppid=26301 vsize=13980732 memory=1380 CPUtime=2.74 cores=0,2,4,6
/proc/26303/task/26314/stat : 26314 (java) S 26301 26301 4674 0 -1 1077944384 19878 0 0 0 272 2 0 0 20 0 15 0 131425710 14316269568 179616 18446744073709551615 4194304 4196468 140730106379760 140462921996400 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26315] ppid=26301 vsize=13980732 memory=1380 CPUtime=0.55 cores=0,2,4,6
/proc/26303/task/26315/stat : 26315 (java) S 26301 26301 4674 0 -1 1077944384 9897 0 0 0 53 2 0 0 20 0 15 0 131425710 14316269568 179616 18446744073709551615 4194304 4196468 140730106379760 140462920943856 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26316] ppid=26301 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26316/stat : 26316 (java) S 26301 26301 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 131425710 14316269568 179616 18446744073709551615 4194304 4196468 140730106379760 140462919891552 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26317] ppid=26301 vsize=13980732 memory=1380 CPUtime=1.47 cores=0,2,4,6
/proc/26303/task/26317/stat : 26317 (java) S 26301 26301 4674 0 -1 1077944384 1849 0 0 0 73 74 0 0 20 0 15 0 131425713 14316269568 179616 18446744073709551615 4194304 4196468 140730106379760 140462918839088 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
Current children cumulated CPU time: 2450.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 719844 KiB
[startup+2502.3 s]
/proc/loadavg: 1.99 1.98 2.02 3/215 26548
/proc/meminfo: memFree=30519160/32770624 swapFree=67108764/67108860
[pid=26301] ppid=26298 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26301/stat : 26301 (xcsp3-exec) S 26298 26301 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 131425695 9740288 345 18446744073709551615 4194304 5098028 140734531049424 140734531047528 140410453164668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 31076352 140734531055993 140734531056197 140734531056197 140734531059691 0
/proc/26301/statm: 2378 345 289 221 0 87 0
[pid=26303] ppid=26301 vsize=13980732 memory=716928 CPUtime=2510.22 cores=0,2,4,6
/proc/26303/stat : 26303 (java) S 26301 26301 4674 0 -1 1077944320 117279 0 0 0 250915 107 0 0 20 0 15 0 131425704 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140730106362304 140463448727287 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
/proc/26303/statm: 3495183 179232 3236 1 0 3483476 0
[pid=26303/tid=26304] ppid=26301 vsize=13980732 memory=716928 CPUtime=2501.74 cores=0,2,4,6
/proc/26303/task/26304/stat : 26304 (java) R 26301 26301 4674 0 -1 4202560 37918 0 0 0 250160 14 0 0 20 0 15 0 131425704 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140463452963456 140463095135224 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26305] ppid=26301 vsize=13980732 memory=716928 CPUtime=0.17 cores=0,2,4,6
/proc/26303/task/26305/stat : 26305 (java) S 26301 26301 4674 0 -1 1077944384 6334 0 0 0 10 7 0 0 20 0 15 0 131425705 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140463048837392 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26306] ppid=26301 vsize=13980732 memory=1380 CPUtime=0.17 cores=0,2,4,6
/proc/26303/task/26306/stat : 26306 (java) S 26301 26301 4674 0 -1 1077944384 3650 0 0 0 10 7 0 0 20 0 15 0 131425705 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140463047784848 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26307] ppid=26301 vsize=13980732 memory=716928 CPUtime=0.16 cores=0,2,4,6
/proc/26303/task/26307/stat : 26307 (java) S 26301 26301 4674 0 -1 1077944384 3571 0 0 0 11 5 0 0 20 0 15 0 131425705 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140463046732304 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26308] ppid=26301 vsize=13980732 memory=717440 CPUtime=0.17 cores=0,2,4,6
/proc/26303/task/26308/stat : 26308 (java) S 26301 26301 4674 0 -1 1077944384 4708 0 0 0 11 6 0 0 20 0 15 0 131425705 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140463045679760 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26309] ppid=26301 vsize=13980732 memory=1380 CPUtime=0.11 cores=0,2,4,6
/proc/26303/task/26309/stat : 26309 (java) S 26301 26301 4674 0 -1 1077944384 7449 0 0 0 7 4 0 0 20 0 15 0 131425706 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462927260144 140463448738434 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26310] ppid=26301 vsize=13980732 memory=4148 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26310/stat : 26310 (java) S 26301 26301 4674 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 131425707 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462926206432 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26311] ppid=26301 vsize=13980732 memory=64224 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26311/stat : 26311 (java) S 26301 26301 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 131425707 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462925153792 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26312] ppid=26301 vsize=13980732 memory=717440 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26312/stat : 26312 (java) S 26301 26301 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 131425710 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462924102352 140463448745883 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26313] ppid=26301 vsize=13980732 memory=64224 CPUtime=2.81 cores=0,2,4,6
/proc/26303/task/26313/stat : 26313 (java) S 26301 26301 4674 0 -1 1077944384 20641 0 0 0 279 2 0 0 20 0 15 0 131425710 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462923048944 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26314] ppid=26301 vsize=13980732 memory=1380 CPUtime=2.74 cores=0,2,4,6
/proc/26303/task/26314/stat : 26314 (java) S 26301 26301 4674 0 -1 1077944384 19880 0 0 0 272 2 0 0 20 0 15 0 131425710 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462921996400 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26315] ppid=26301 vsize=13980732 memory=717440 CPUtime=0.55 cores=0,2,4,6
/proc/26303/task/26315/stat : 26315 (java) S 26301 26301 4674 0 -1 1077944384 9900 0 0 0 53 2 0 0 20 0 15 0 131425710 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462920943856 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26316] ppid=26301 vsize=13980732 memory=1608 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26316/stat : 26316 (java) S 26301 26301 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 131425710 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462919891552 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26317] ppid=26301 vsize=13980732 memory=928 CPUtime=1.5 cores=0,2,4,6
/proc/26303/task/26317/stat : 26317 (java) S 26301 26301 4674 0 -1 1077944384 1880 0 0 0 75 75 0 0 20 0 15 0 131425713 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462918839088 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
Current children cumulated CPU time: 2510.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 718308 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.11 s]
/proc/loadavg: 1.99 1.98 2.02 3/215 26548
/proc/meminfo: memFree=30519160/32770624 swapFree=67108764/67108860
[pid=26301] ppid=26298 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26301/stat : 26301 (xcsp3-exec) S 26298 26301 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 131425695 9740288 345 18446744073709551615 4194304 5098028 140734531049424 140734531047528 140410453164668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 31076352 140734531055993 140734531056197 140734531056197 140734531059691 0
/proc/26301/statm: 2378 345 289 221 0 87 0
[pid=26303] ppid=26301 vsize=13980732 memory=716928 CPUtime=2520.04 cores=0,2,4,6
/proc/26303/stat : 26303 (java) S 26301 26301 4674 0 -1 1077944320 117289 0 0 0 251897 107 0 0 20 0 15 0 131425704 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140730106362304 140463448727287 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
/proc/26303/statm: 3495183 179232 3236 1 0 3483476 0
[pid=26303/tid=26304] ppid=26301 vsize=13980732 memory=1380 CPUtime=2511.55 cores=0,2,4,6
/proc/26303/task/26304/stat : 26304 (java) R 26301 26301 4674 0 -1 4202560 37921 0 0 0 251141 14 0 0 20 0 15 0 131425704 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140463452966720 140463095135302 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26305] ppid=26301 vsize=13980732 memory=1380 CPUtime=0.17 cores=0,2,4,6
/proc/26303/task/26305/stat : 26305 (java) S 26301 26301 4674 0 -1 1077944384 6334 0 0 0 10 7 0 0 20 0 15 0 131425705 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140463048837392 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26306] ppid=26301 vsize=13980732 memory=1380 CPUtime=0.17 cores=0,2,4,6
/proc/26303/task/26306/stat : 26306 (java) S 26301 26301 4674 0 -1 1077944384 3653 0 0 0 10 7 0 0 20 0 15 0 131425705 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140463047784848 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26307] ppid=26301 vsize=13980732 memory=796 CPUtime=0.16 cores=0,2,4,6
/proc/26303/task/26307/stat : 26307 (java) S 26301 26301 4674 0 -1 1077944384 3571 0 0 0 11 5 0 0 20 0 15 0 131425705 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140463046732304 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26308] ppid=26301 vsize=13980732 memory=984 CPUtime=0.17 cores=0,2,4,6
/proc/26303/task/26308/stat : 26308 (java) S 26301 26301 4674 0 -1 1077944384 4708 0 0 0 11 6 0 0 20 0 15 0 131425705 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140463045679760 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26309] ppid=26301 vsize=13980732 memory=1380 CPUtime=0.11 cores=0,2,4,6
/proc/26303/task/26309/stat : 26309 (java) S 26301 26301 4674 0 -1 1077944384 7451 0 0 0 7 4 0 0 20 0 15 0 131425706 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462927260144 140463448738434 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26310] ppid=26301 vsize=13980732 memory=716928 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26310/stat : 26310 (java) S 26301 26301 4674 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 131425707 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462926206432 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26311] ppid=26301 vsize=13980732 memory=4148 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26311/stat : 26311 (java) S 26301 26301 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 131425707 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462925153792 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26312] ppid=26301 vsize=13980732 memory=64224 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26312/stat : 26312 (java) S 26301 26301 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 131425710 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462924102352 140463448745883 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26313] ppid=26301 vsize=13980732 memory=1380 CPUtime=2.81 cores=0,2,4,6
/proc/26303/task/26313/stat : 26313 (java) S 26301 26301 4674 0 -1 1077944384 20641 0 0 0 279 2 0 0 20 0 15 0 131425710 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462923048944 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26314] ppid=26301 vsize=13980732 memory=1380 CPUtime=2.74 cores=0,2,4,6
/proc/26303/task/26314/stat : 26314 (java) S 26301 26301 4674 0 -1 1077944384 19880 0 0 0 272 2 0 0 20 0 15 0 131425710 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462921996400 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26315] ppid=26301 vsize=13980732 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/26303/task/26315/stat : 26315 (java) S 26301 26301 4674 0 -1 1077944384 9900 0 0 0 53 2 0 0 20 0 15 0 131425710 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462920943856 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26316] ppid=26301 vsize=13980732 memory=-3252517613198930781 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26316/stat : 26316 (java) S 26301 26301 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 131425710 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462919891552 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26317] ppid=26301 vsize=13980732 memory=6944656592455097440 CPUtime=1.51 cores=0,2,4,6
/proc/26303/task/26317/stat : 26317 (java) S 26301 26301 4674 0 -1 1077944384 1882 0 0 0 75 76 0 0 20 0 15 0 131425713 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462918839088 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 718308 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.12 s]
# the end of solver process 26301 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.00191 s
[startup+2512.12 s]
# the end of solver process 26303 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.99 s, system=1.08612 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+2512.11 s]
/proc/loadavg: 1.99 1.98 2.02 3/215 26548
/proc/meminfo: memFree=30519160/32770624 swapFree=67108764/67108860
[pid=26301] ppid=26298 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26301/stat : 26301 (xcsp3-exec) S 26298 26301 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 131425695 9740288 345 18446744073709551615 4194304 5098028 140734531049424 140734531047528 140410453164668 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 31076352 140734531055993 140734531056197 140734531056197 140734531059691 0
/proc/26301/statm: 2378 345 289 221 0 87 0
[pid=26303] ppid=26301 vsize=13980732 memory=716928 CPUtime=2520.04 cores=0,2,4,6
/proc/26303/stat : 26303 (java) S 26301 26301 4674 0 -1 1077944320 117289 0 0 0 251897 107 0 0 20 0 15 0 131425704 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140730106362304 140463448727287 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
/proc/26303/statm: 3495183 179232 3236 1 0 3483476 0
[pid=26303/tid=26304] ppid=26301 vsize=13980732 memory=1380 CPUtime=2511.55 cores=0,2,4,6
/proc/26303/task/26304/stat : 26304 (java) R 26301 26301 4674 0 -1 4202560 37921 0 0 0 251141 14 0 0 20 0 15 0 131425704 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140463452966720 140463095135302 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26305] ppid=26301 vsize=13980732 memory=1380 CPUtime=0.17 cores=0,2,4,6
/proc/26303/task/26305/stat : 26305 (java) S 26301 26301 4674 0 -1 1077944384 6334 0 0 0 10 7 0 0 20 0 15 0 131425705 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140463048837392 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26306] ppid=26301 vsize=13980732 memory=1380 CPUtime=0.17 cores=0,2,4,6
/proc/26303/task/26306/stat : 26306 (java) S 26301 26301 4674 0 -1 1077944384 3653 0 0 0 10 7 0 0 20 0 15 0 131425705 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140463047784848 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26307] ppid=26301 vsize=13980732 memory=796 CPUtime=0.16 cores=0,2,4,6
/proc/26303/task/26307/stat : 26307 (java) S 26301 26301 4674 0 -1 1077944384 3571 0 0 0 11 5 0 0 20 0 15 0 131425705 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140463046732304 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26308] ppid=26301 vsize=13980732 memory=984 CPUtime=0.17 cores=0,2,4,6
/proc/26303/task/26308/stat : 26308 (java) S 26301 26301 4674 0 -1 1077944384 4708 0 0 0 11 6 0 0 20 0 15 0 131425705 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140463045679760 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26309] ppid=26301 vsize=13980732 memory=1380 CPUtime=0.11 cores=0,2,4,6
/proc/26303/task/26309/stat : 26309 (java) S 26301 26301 4674 0 -1 1077944384 7451 0 0 0 7 4 0 0 20 0 15 0 131425706 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462927260144 140463448738434 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26310] ppid=26301 vsize=13980732 memory=716928 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26310/stat : 26310 (java) S 26301 26301 4674 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 131425707 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462926206432 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26311] ppid=26301 vsize=13980732 memory=4148 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26311/stat : 26311 (java) S 26301 26301 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 131425707 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462925153792 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26312] ppid=26301 vsize=13980732 memory=64224 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26312/stat : 26312 (java) S 26301 26301 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 131425710 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462924102352 140463448745883 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26313] ppid=26301 vsize=13980732 memory=1380 CPUtime=2.81 cores=0,2,4,6
/proc/26303/task/26313/stat : 26313 (java) S 26301 26301 4674 0 -1 1077944384 20641 0 0 0 279 2 0 0 20 0 15 0 131425710 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462923048944 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26314] ppid=26301 vsize=13980732 memory=1380 CPUtime=2.74 cores=0,2,4,6
/proc/26303/task/26314/stat : 26314 (java) S 26301 26301 4674 0 -1 1077944384 19880 0 0 0 272 2 0 0 20 0 15 0 131425710 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462921996400 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26315] ppid=26301 vsize=13980732 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/26303/task/26315/stat : 26315 (java) S 26301 26301 4674 0 -1 1077944384 9900 0 0 0 53 2 0 0 20 0 15 0 131425710 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462920943856 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26316] ppid=26301 vsize=13980732 memory=-3252517613198930781 CPUtime=0 cores=0,2,4,6
/proc/26303/task/26316/stat : 26316 (java) S 26301 26301 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 131425710 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462919891552 140463448737493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
[pid=26303/tid=26317] ppid=26301 vsize=13980732 memory=6944656592455097440 CPUtime=1.51 cores=0,2,4,6
/proc/26303/task/26317/stat : 26317 (java) S 26301 26301 4674 0 -1 1077944384 1882 0 0 0 75 76 0 0 20 0 15 0 131425713 14316269568 179232 18446744073709551615 4194304 4196468 140730106379760 140462918839088 140463448738434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37646336 140730106380721 140730106380897 140730106380897 140730106384335 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 718308 KiB
Child status: 143
Real time (s): 2512.12
CPU time (s): 2520.07
CPU user time (s): 2518.99
CPU system time (s): 1.08612
CPU usage (%): 100.317
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 787564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.99
system time used= 1.08612
maximum resident set size= 788236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118143
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58525
involuntary context switches= 3814
# summary of solver processes directly reported to runsolver:
# pid: 26301,26303
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.99
# total CPU system time (s): 1.08612
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2056 second user time and 20.9206 second system time
The end