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 (14683 MiB free)
memory of node 1: 16384 MiB (15767 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281908-1503112202/watcher-4281908-1503112202 -o /tmp/evaluation-result-4281908-1503112202/solver-4281908-1503112202 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503095856-15587 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 695179178 HOME/instance-4281908-1503112202.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18646, runsolver pid=18643
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 2.21 2.02 1.91 2/196 18647
/proc/meminfo: memFree=31182344/32770624 swapFree=67108860/67108860
[pid=18646] ppid=18643 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18646/stat : 18646 (xcsp3-exec) S 18643 18646 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9628210 9740288 345 18446744073709551615 4194304 5098028 140729248252096 140729248250200 140067463438972 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 31825920 140729248260474 140729248260678 140729248260678 140729248264171 0
/proc/18646/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+0.209213 s]*
/proc/loadavg: 2.21 2.02 1.91 2/210 18661
/proc/meminfo: memFree=31171096/32770624 swapFree=67108860/67108860
[pid=18646] ppid=18643 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18646/stat : 18646 (xcsp3-exec) S 18643 18646 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9628210 9740288 345 18446744073709551615 4194304 5098028 140729248252096 140729248250200 140067463438972 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 31825920 140729248260474 140729248260678 140729248260678 140729248264171 0
/proc/18646/statm: 2378 345 289 221 0 87 0
[pid=18648] ppid=18646 vsize=13973868 memory=21992 CPUtime=0.06 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18646 15523 0 -1 1077944320 4929 0 0 0 5 1 0 0 20 0 15 0 9628221 14309240832 5498 18446744073709551615 4194304 4196468 140723378117664 140723378100208 140072487141111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
/proc/18648/statm: 3493467 5498 2571 1 0 3482964 0
[pid=18648/tid=18649] ppid=18646 vsize=13973868 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18646 15523 0 -1 4202560 3094 0 0 0 4 1 0 0 20 0 15 0 9628221 14309240832 5498 18446744073709551615 4194304 4196468 140723378117664 140072491372544 140072468534842 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18650] ppid=18646 vsize=13973868 memory=8941 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18650/stat : 18650 (java) S 18646 18646 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9628222 14309240832 5498 18446744073709551615 4194304 4196468 140723378117664 140072444107920 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18651] ppid=18646 vsize=13973868 memory=4051468926656075424 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18651/stat : 18651 (java) S 18646 18646 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9628222 14309240832 5498 18446744073709551615 4194304 4196468 140723378117664 140072443055120 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18652] ppid=18646 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18652/stat : 18652 (java) S 18646 18646 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9628222 14309240832 5498 18446744073709551615 4194304 4196468 140723378117664 140072442002320 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18653] ppid=18646 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18653/stat : 18653 (java) S 18646 18646 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9628222 14309240832 5498 18446744073709551615 4194304 4196468 140723378117664 140072440949520 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18654] ppid=18646 vsize=13973868 memory=139984776091264 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18654/stat : 18654 (java) S 18646 18646 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9628223 14309240832 5498 18446744073709551615 4194304 4196468 140723378117664 140071470868848 140072487152258 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18655] ppid=18646 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18655/stat : 18655 (java) S 18646 18646 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9628224 14309240832 5498 18446744073709551615 4194304 4196468 140723378117664 140071469814816 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18656] ppid=18646 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18656/stat : 18656 (java) S 18646 18646 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9628224 14309240832 5498 18446744073709551615 4194304 4196468 140723378117664 140071468761968 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18657] ppid=18646 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18657/stat : 18657 (java) S 18646 18646 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9628227 14309240832 5498 18446744073709551615 4194304 4196468 140723378117664 140071467710288 140072487159707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18658] ppid=18646 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18658/stat : 18658 (java) S 18646 18646 15523 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 9628227 14309240832 5498 18446744073709551615 4194304 4196468 140723378117664 140071466658672 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18659] ppid=18646 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18659/stat : 18659 (java) S 18646 18646 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9628227 14309240832 5498 18446744073709551615 4194304 4196468 140723378117664 140071465605872 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18660] ppid=18646 vsize=13973868 memory=139984776091264 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18660/stat : 18660 (java) R 18646 18646 15523 0 -1 4202560 228 0 0 0 0 0 0 0 20 0 15 0 9628227 14309240832 5498 18446744073709551615 4194304 4196468 140723378117664 140071464553072 140072487153046 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18661] ppid=18646 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18661/stat : 18661 (java) S 18646 18646 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9628227 14309240832 5498 18446744073709551615 4194304 4196468 140723378117664 140071463500512 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18662] ppid=18646 vsize=13973868 memory=139984776091264 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18662/stat : 18662 (java) S 18646 18646 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9628232 14309240832 5498 18446744073709551615 4194304 4196468 140723378117664 140071462447792 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 23372 KiB
[startup+0.310232 s]*
/proc/loadavg: 2.21 2.02 1.91 3/211 18662
/proc/meminfo: memFree=31158804/32770624 swapFree=67108860/67108860
[pid=18646] ppid=18643 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18646/stat : 18646 (xcsp3-exec) S 18643 18646 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9628210 9740288 345 18446744073709551615 4194304 5098028 140729248252096 140729248250200 140067463438972 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 31825920 140729248260474 140729248260678 140729248260678 140729248264171 0
/proc/18646/statm: 2378 345 289 221 0 87 0
[pid=18648] ppid=18646 vsize=13974352 memory=36644 CPUtime=0.24 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18646 15523 0 -1 1077944320 8691 0 0 0 21 3 0 0 20 0 15 0 9628221 14309736448 9161 18446744073709551615 4194304 4196468 140723378117664 140723378100208 140072487141111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
/proc/18648/statm: 3493588 9161 2984 1 0 3482964 0
[pid=18648/tid=18649] ppid=18646 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18646 15523 0 -1 4202560 5940 0 0 0 13 2 0 0 20 0 15 0 9628221 14309736448 9161 18446744073709551615 4194304 4196468 140723378117664 140072491363488 140072487163037 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18650] ppid=18646 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18650/stat : 18650 (java) S 18646 18646 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9628222 14309736448 9161 18446744073709551615 4194304 4196468 140723378117664 140072444107920 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18651] ppid=18646 vsize=13974352 memory=139984776091264 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18651/stat : 18651 (java) S 18646 18646 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9628222 14309736448 9161 18446744073709551615 4194304 4196468 140723378117664 140072443055120 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18652] ppid=18646 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18652/stat : 18652 (java) S 18646 18646 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9628222 14309736448 9161 18446744073709551615 4194304 4196468 140723378117664 140072442002320 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18653] ppid=18646 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18653/stat : 18653 (java) S 18646 18646 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9628222 14309736448 9161 18446744073709551615 4194304 4196468 140723378117664 140072440949520 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18654] ppid=18646 vsize=13974352 memory=139984776091264 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18654/stat : 18654 (java) S 18646 18646 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9628223 14309736448 9161 18446744073709551615 4194304 4196468 140723378117664 140071470868848 140072487152258 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18655] ppid=18646 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18655/stat : 18655 (java) S 18646 18646 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9628224 14309736448 9161 18446744073709551615 4194304 4196468 140723378117664 140071469814816 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18656] ppid=18646 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18656/stat : 18656 (java) S 18646 18646 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9628224 14309736448 9161 18446744073709551615 4194304 4196468 140723378117664 140071468761968 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18657] ppid=18646 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18657/stat : 18657 (java) S 18646 18646 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9628227 14309736448 9161 18446744073709551615 4194304 4196468 140723378117664 140071467710288 140072487159707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18658] ppid=18646 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18648/task/18658/stat : 18658 (java) S 18646 18646 15523 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 15 0 9628227 14309736448 9161 18446744073709551615 4194304 4196468 140723378117664 140071466658672 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18659] ppid=18646 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/18648/task/18659/stat : 18659 (java) R 18646 18646 15523 0 -1 4202560 271 0 0 0 1 0 0 0 20 0 15 0 9628227 14309736448 9161 18446744073709551615 4194304 4196468 140723378117664 140071465605872 140072470371776 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18660] ppid=18646 vsize=13974352 memory=139984776091264 CPUtime=0.05 cores=1,3,5,7
/proc/18648/task/18660/stat : 18660 (java) S 18646 18646 15523 0 -1 1077944384 708 0 0 0 5 0 0 0 20 0 15 0 9628227 14309736448 9161 18446744073709551615 4194304 4196468 140723378117664 140071464553072 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18661] ppid=18646 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18661/stat : 18661 (java) S 18646 18646 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9628227 14309736448 9161 18446744073709551615 4194304 4196468 140723378117664 140071463500512 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18662] ppid=18646 vsize=13974352 memory=139984776091264 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18662/stat : 18662 (java) S 18646 18646 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9628232 14309736448 9161 18446744073709551615 4194304 4196468 140723378117664 140071462447792 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38024 KiB
[startup+0.704252 s]
/proc/loadavg: 2.21 2.02 1.91 3/211 18662
/proc/meminfo: memFree=31144248/32770624 swapFree=67108860/67108860
[pid=18646] ppid=18643 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18646/stat : 18646 (xcsp3-exec) S 18643 18646 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9628210 9740288 345 18446744073709551615 4194304 5098028 140729248252096 140729248250200 140067463438972 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 31825920 140729248260474 140729248260678 140729248260678 140729248264171 0
/proc/18646/statm: 2378 345 289 221 0 87 0
[pid=18648] ppid=18646 vsize=13980732 memory=72328 CPUtime=1.14 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18646 15523 0 -1 1077944320 12734 0 0 0 108 6 0 0 20 0 15 0 9628221 14316269568 18082 18446744073709551615 4194304 4196468 140723378117664 140723378100208 140072487141111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
/proc/18648/statm: 3495183 18082 3164 1 0 3483476 0
[pid=18648/tid=18649] ppid=18646 vsize=13980732 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18646 15523 0 -1 4202560 8442 0 0 0 49 4 0 0 20 0 15 0 9628221 14316269568 18594 18446744073709551615 4194304 4196468 140723378117664 140072491375024 140072123946053 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18650] ppid=18646 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18650/stat : 18650 (java) S 18646 18646 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9628222 14316269568 18594 18446744073709551615 4194304 4196468 140723378117664 140072444107920 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18651] ppid=18646 vsize=13980732 memory=7668883941996122481 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18651/stat : 18651 (java) S 18646 18646 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9628222 14316269568 18660 18446744073709551615 4194304 4196468 140723378117664 140072443055120 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18652] ppid=18646 vsize=13980732 memory=7007712420471858773 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18652/stat : 18652 (java) S 18646 18646 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9628222 14316269568 18660 18446744073709551615 4194304 4196468 140723378117664 140072442002320 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18653] ppid=18646 vsize=13980732 memory=6935654753436258384 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18653/stat : 18653 (java) S 18646 18646 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9628222 14316269568 18660 18446744073709551615 4194304 4196468 140723378117664 140072440949520 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18654] ppid=18646 vsize=13980732 memory=8514726395714824858 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18654/stat : 18654 (java) S 18646 18646 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9628223 14316269568 18660 18446744073709551615 4194304 4196468 140723378117664 140071470868848 140072487152258 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18655] ppid=18646 vsize=13980732 memory=-7668917182949848256 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18655/stat : 18655 (java) S 18646 18646 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9628224 14316269568 18660 18446744073709551615 4194304 4196468 140723378117664 140071469814816 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18656] ppid=18646 vsize=13980732 memory=4137282616176187523 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18656/stat : 18656 (java) S 18646 18646 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9628224 14316269568 18660 18446744073709551615 4194304 4196468 140723378117664 140071468761968 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18657] ppid=18646 vsize=13980732 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18657/stat : 18657 (java) S 18646 18646 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9628227 14316269568 18660 18446744073709551615 4194304 4196468 140723378117664 140071467710288 140072487159707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18658] ppid=18646 vsize=13980732 memory=-6237260532469557610 CPUtime=0.17 cores=1,3,5,7
/proc/18648/task/18658/stat : 18658 (java) R 18646 18646 15523 0 -1 4202560 981 0 0 0 17 0 0 0 20 0 15 0 9628227 14316269568 18660 18446744073709551615 4194304 4196468 140723378117664 140071466644600 140072471537798 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18659] ppid=18646 vsize=13980732 memory=50700 CPUtime=0.16 cores=1,3,5,7
/proc/18648/task/18659/stat : 18659 (java) R 18646 18646 15523 0 -1 4202560 770 0 0 0 16 0 0 0 20 0 15 0 9628227 14316269568 18660 18446744073709551615 4194304 4196468 140723378117664 140071465586888 140072479430400 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18660] ppid=18646 vsize=13980732 memory=-8774313645642428999 CPUtime=0.25 cores=1,3,5,7
/proc/18648/task/18660/stat : 18660 (java) S 18646 18646 15523 0 -1 1077944384 1249 0 0 0 25 0 0 0 20 0 15 0 9628227 14316269568 18660 18446744073709551615 4194304 4196468 140723378117664 140071464553072 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18661] ppid=18646 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18661/stat : 18661 (java) S 18646 18646 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9628227 14316269568 18660 18446744073709551615 4194304 4196468 140723378117664 140071463500512 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18662] ppid=18646 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18662/stat : 18662 (java) S 18646 18646 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9628232 14316269568 18660 18446744073709551615 4194304 4196468 140723378117664 140071462447792 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 73708 KiB
[startup+1.50087 s]
/proc/loadavg: 2.21 2.02 1.91 6/211 18662
/proc/meminfo: memFree=31076144/32770624 swapFree=67108860/67108860
[pid=18646] ppid=18643 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18646/stat : 18646 (xcsp3-exec) S 18643 18646 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9628210 9740288 345 18446744073709551615 4194304 5098028 140729248252096 140729248250200 140067463438972 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 31825920 140729248260474 140729248260678 140729248260678 140729248264171 0
/proc/18646/statm: 2378 345 289 221 0 87 0
[pid=18648] ppid=18646 vsize=13980732 memory=141164 CPUtime=3.2 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18646 15523 0 -1 1077944320 16736 0 0 0 312 8 0 0 20 0 15 0 9628221 14316269568 35291 18446744073709551615 4194304 4196468 140723378117664 140723378100208 140072487141111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
/proc/18648/statm: 3495183 35291 3190 1 0 3483476 0
[pid=18648/tid=18649] ppid=18646 vsize=13980732 memory=-8774313645642428999 CPUtime=1.32 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18646 15523 0 -1 4202560 8767 0 0 0 127 5 0 0 20 0 15 0 9628221 14316269568 35291 18446744073709551615 4194304 4196468 140723378117664 140072491375200 140072125239608 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18650] ppid=18646 vsize=13980732 memory=3472468280080601392 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18650/stat : 18650 (java) S 18646 18646 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9628222 14316269568 35291 18446744073709551615 4194304 4196468 140723378117664 140072444107920 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18651] ppid=18646 vsize=13980732 memory=7162362069478808081 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18651/stat : 18651 (java) S 18646 18646 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9628222 14316269568 35291 18446744073709551615 4194304 4196468 140723378117664 140072443055120 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18652] ppid=18646 vsize=13980732 memory=4207739498307789554 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18652/stat : 18652 (java) S 18646 18646 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9628222 14316269568 35291 18446744073709551615 4194304 4196468 140723378117664 140072442002320 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18653] ppid=18646 vsize=13980732 memory=3472468280080608211 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18653/stat : 18653 (java) S 18646 18646 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9628222 14316269568 35291 18446744073709551615 4194304 4196468 140723378117664 140072440949520 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18654] ppid=18646 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18654/stat : 18654 (java) S 18646 18646 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9628223 14316269568 35291 18446744073709551615 4194304 4196468 140723378117664 140071470868848 140072487152258 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18655] ppid=18646 vsize=13980732 memory=7594001793099850083 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18655/stat : 18655 (java) S 18646 18646 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9628224 14316269568 35291 18446744073709551615 4194304 4196468 140723378117664 140071469814816 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18656] ppid=18646 vsize=13980732 memory=8305311027921445216 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18656/stat : 18656 (java) S 18646 18646 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9628224 14316269568 35291 18446744073709551615 4194304 4196468 140723378117664 140071468761968 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18657] ppid=18646 vsize=13980732 memory=7679937539659563834 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18657/stat : 18657 (java) S 18646 18646 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9628227 14316269568 35291 18446744073709551615 4194304 4196468 140723378117664 140071467710288 140072487159707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18658] ppid=18646 vsize=13980732 memory=3047711553320166262 CPUtime=0.77 cores=1,3,5,7
/proc/18648/task/18658/stat : 18658 (java) S 18646 18646 15523 0 -1 1077944384 2695 0 0 0 77 0 0 0 20 0 15 0 9628227 14316269568 35291 18446744073709551615 4194304 4196468 140723378117664 140071466658672 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18659] ppid=18646 vsize=13980732 memory=8226496019563506588 CPUtime=0.72 cores=1,3,5,7
/proc/18648/task/18659/stat : 18659 (java) S 18646 18646 15523 0 -1 1077944384 2469 0 0 0 72 0 0 0 20 0 15 0 9628227 14316269568 35291 18446744073709551615 4194304 4196468 140723378117664 140071465605872 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18660] ppid=18646 vsize=13980732 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/18648/task/18660/stat : 18660 (java) S 18646 18646 15523 0 -1 1077944384 1494 0 0 0 35 0 0 0 20 0 15 0 9628227 14316269568 35291 18446744073709551615 4194304 4196468 140723378117664 140071464553072 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18661] ppid=18646 vsize=13980732 memory=-1891255765032775953 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18661/stat : 18661 (java) S 18646 18646 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9628227 14316269568 35291 18446744073709551615 4194304 4196468 140723378117664 140071463500512 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18662] ppid=18646 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18662/stat : 18662 (java) S 18646 18646 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9628232 14316269568 35291 18446744073709551615 4194304 4196468 140723378117664 140071462447792 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
################
# More data... #
################
/proc/18648/task/18656/stat : 18656 (java) S 18646 18646 15523 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9628224 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071468761968 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18657] ppid=18646 vsize=13980732 memory=269004 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18657/stat : 18657 (java) S 18646 18646 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071467710288 140072487159707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18658] ppid=18646 vsize=13980732 memory=1380 CPUtime=2.09 cores=1,3,5,7
/proc/18648/task/18658/stat : 18658 (java) S 18646 18646 15523 0 -1 1077944384 20147 0 0 0 207 2 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071466658672 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18659] ppid=18646 vsize=13980732 memory=269004 CPUtime=1.49 cores=1,3,5,7
/proc/18648/task/18659/stat : 18659 (java) S 18646 18646 15523 0 -1 1077944384 11236 0 0 0 148 1 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071465605872 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18660] ppid=18646 vsize=13980732 memory=269012 CPUtime=0.54 cores=1,3,5,7
/proc/18648/task/18660/stat : 18660 (java) S 18646 18646 15523 0 -1 1077944384 8286 0 0 0 52 2 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071464553072 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18661] ppid=18646 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18661/stat : 18661 (java) S 18646 18646 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071463500512 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18662] ppid=18646 vsize=13980732 memory=15872 CPUtime=1.21 cores=1,3,5,7
/proc/18648/task/18662/stat : 18662 (java) S 18646 18646 15523 0 -1 1077944384 1385 0 0 0 51 70 0 0 20 0 15 0 9628232 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071462447792 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
Current children cumulated CPU time: 2387.88 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 270384 KiB
[startup+2442.3 s]
/proc/loadavg: 1.95 1.89 1.87 3/211 18906
/proc/meminfo: memFree=31448772/32770624 swapFree=67108860/67108860
[pid=18646] ppid=18643 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18646/stat : 18646 (xcsp3-exec) S 18643 18646 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9628210 9740288 345 18446744073709551615 4194304 5098028 140729248252096 140729248250200 140067463438972 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 31825920 140729248260474 140729248260678 140729248260678 140729248264171 0
/proc/18646/statm: 2378 345 289 221 0 87 0
[pid=18648] ppid=18646 vsize=13980732 memory=269004 CPUtime=2447.9 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18646 15523 0 -1 1077944320 77137 0 0 0 244698 92 0 0 20 0 15 0 9628221 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140723378100208 140072487141111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
/proc/18648/statm: 3495183 67251 3233 1 0 3483476 0
[pid=18648/tid=18649] ppid=18646 vsize=13980732 memory=269004 CPUtime=2441.73 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18646 15523 0 -1 4202560 22734 0 0 0 244165 8 0 0 20 0 15 0 9628221 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140072491380464 140072127011190 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18650] ppid=18646 vsize=13980732 memory=269004 CPUtime=0.16 cores=1,3,5,7
/proc/18648/task/18650/stat : 18650 (java) S 18646 18646 15523 0 -1 1077944384 1549 0 0 0 12 4 0 0 20 0 15 0 9628222 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140072444107920 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18651] ppid=18646 vsize=13980732 memory=1380 CPUtime=0.16 cores=1,3,5,7
/proc/18648/task/18651/stat : 18651 (java) S 18646 18646 15523 0 -1 1077944384 1562 0 0 0 12 4 0 0 20 0 15 0 9628222 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140072443055120 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18652] ppid=18646 vsize=13980732 memory=1380 CPUtime=0.16 cores=1,3,5,7
/proc/18648/task/18652/stat : 18652 (java) S 18646 18646 15523 0 -1 1077944384 3417 0 0 0 12 4 0 0 20 0 15 0 9628222 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140072442002320 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18653] ppid=18646 vsize=13980732 memory=1576 CPUtime=0.16 cores=1,3,5,7
/proc/18648/task/18653/stat : 18653 (java) S 18646 18646 15523 0 -1 1077944384 3094 0 0 0 12 4 0 0 20 0 15 0 9628222 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140072440949520 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18654] ppid=18646 vsize=13980732 memory=1380 CPUtime=0.07 cores=1,3,5,7
/proc/18648/task/18654/stat : 18654 (java) S 18646 18646 15523 0 -1 1077944384 2320 0 0 0 5 2 0 0 20 0 15 0 9628223 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071470868848 140072487152258 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18655] ppid=18646 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18655/stat : 18655 (java) S 18646 18646 15523 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 9628224 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071469814880 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18656] ppid=18646 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18656/stat : 18656 (java) S 18646 18646 15523 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9628224 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071468761968 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18657] ppid=18646 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18657/stat : 18657 (java) S 18646 18646 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071467710288 140072487159707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18658] ppid=18646 vsize=13980732 memory=269004 CPUtime=2.09 cores=1,3,5,7
/proc/18648/task/18658/stat : 18658 (java) S 18646 18646 15523 0 -1 1077944384 20149 0 0 0 207 2 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071466658672 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18659] ppid=18646 vsize=13980732 memory=1380 CPUtime=1.49 cores=1,3,5,7
/proc/18648/task/18659/stat : 18659 (java) S 18646 18646 15523 0 -1 1077944384 11238 0 0 0 148 1 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071465605872 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18660] ppid=18646 vsize=13980732 memory=269004 CPUtime=0.54 cores=1,3,5,7
/proc/18648/task/18660/stat : 18660 (java) S 18646 18646 15523 0 -1 1077944384 8289 0 0 0 52 2 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071464553072 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18661] ppid=18646 vsize=13980732 memory=269004 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18661/stat : 18661 (java) S 18646 18646 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071463500512 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18662] ppid=18646 vsize=13980732 memory=4124 CPUtime=1.24 cores=1,3,5,7
/proc/18648/task/18662/stat : 18662 (java) S 18646 18646 15523 0 -1 1077944384 1413 0 0 0 52 72 0 0 20 0 15 0 9628232 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071462447792 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
Current children cumulated CPU time: 2447.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 270384 KiB
[startup+2502.3 s]
/proc/loadavg: 1.98 1.91 1.88 3/211 18908
/proc/meminfo: memFree=31446476/32770624 swapFree=67108860/67108860
[pid=18646] ppid=18643 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18646/stat : 18646 (xcsp3-exec) S 18643 18646 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9628210 9740288 345 18446744073709551615 4194304 5098028 140729248252096 140729248250200 140067463438972 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 31825920 140729248260474 140729248260678 140729248260678 140729248264171 0
/proc/18646/statm: 2378 345 289 221 0 87 0
[pid=18648] ppid=18646 vsize=13980732 memory=269004 CPUtime=2507.92 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18646 15523 0 -1 1077944320 77251 0 0 0 250699 93 0 0 20 0 15 0 9628221 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140723378100208 140072487141111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
/proc/18648/statm: 3495183 67251 3233 1 0 3483476 0
[pid=18648/tid=18649] ppid=18646 vsize=13980732 memory=269004 CPUtime=2501.72 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18646 15523 0 -1 4202560 22835 0 0 0 250164 8 0 0 20 0 15 0 9628221 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140072491380464 140072125005578 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18650] ppid=18646 vsize=13980732 memory=269004 CPUtime=0.16 cores=1,3,5,7
/proc/18648/task/18650/stat : 18650 (java) S 18646 18646 15523 0 -1 1077944384 1549 0 0 0 12 4 0 0 20 0 15 0 9628222 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140072444107920 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18651] ppid=18646 vsize=13980732 memory=269004 CPUtime=0.16 cores=1,3,5,7
/proc/18648/task/18651/stat : 18651 (java) S 18646 18646 15523 0 -1 1077944384 1562 0 0 0 12 4 0 0 20 0 15 0 9628222 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140072443055120 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18652] ppid=18646 vsize=13980732 memory=269004 CPUtime=0.16 cores=1,3,5,7
/proc/18648/task/18652/stat : 18652 (java) S 18646 18646 15523 0 -1 1077944384 3417 0 0 0 12 4 0 0 20 0 15 0 9628222 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140072442002320 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18653] ppid=18646 vsize=13980732 memory=269004 CPUtime=0.16 cores=1,3,5,7
/proc/18648/task/18653/stat : 18653 (java) S 18646 18646 15523 0 -1 1077944384 3094 0 0 0 12 4 0 0 20 0 15 0 9628222 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140072440949520 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18654] ppid=18646 vsize=13980732 memory=269004 CPUtime=0.07 cores=1,3,5,7
/proc/18648/task/18654/stat : 18654 (java) S 18646 18646 15523 0 -1 1077944384 2321 0 0 0 5 2 0 0 20 0 15 0 9628223 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071470868848 140072487152258 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18655] ppid=18646 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18655/stat : 18655 (java) S 18646 18646 15523 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 9628224 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071469814880 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18656] ppid=18646 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18656/stat : 18656 (java) S 18646 18646 15523 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9628224 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071468761968 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18657] ppid=18646 vsize=13980732 memory=269004 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18657/stat : 18657 (java) S 18646 18646 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071467710288 140072487159707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18658] ppid=18646 vsize=13980732 memory=1380 CPUtime=2.09 cores=1,3,5,7
/proc/18648/task/18658/stat : 18658 (java) S 18646 18646 15523 0 -1 1077944384 20151 0 0 0 207 2 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071466658672 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18659] ppid=18646 vsize=13980732 memory=1380 CPUtime=1.49 cores=1,3,5,7
/proc/18648/task/18659/stat : 18659 (java) S 18646 18646 15523 0 -1 1077944384 11240 0 0 0 148 1 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071465605872 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18660] ppid=18646 vsize=13980732 memory=269004 CPUtime=0.54 cores=1,3,5,7
/proc/18648/task/18660/stat : 18660 (java) S 18646 18646 15523 0 -1 1077944384 8291 0 0 0 52 2 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071464553072 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18661] ppid=18646 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18661/stat : 18661 (java) S 18646 18646 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071463500512 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18662] ppid=18646 vsize=13980732 memory=-8774313645642428999 CPUtime=1.28 cores=1,3,5,7
/proc/18648/task/18662/stat : 18662 (java) S 18646 18646 15523 0 -1 1077944384 1419 0 0 0 54 74 0 0 20 0 15 0 9628232 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071462447792 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
Current children cumulated CPU time: 2507.92 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 270384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.4 s]
/proc/loadavg: 1.99 1.91 1.88 3/212 18909
/proc/meminfo: memFree=31446212/32770624 swapFree=67108860/67108860
[pid=18646] ppid=18643 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18646/stat : 18646 (xcsp3-exec) S 18643 18646 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9628210 9740288 345 18446744073709551615 4194304 5098028 140729248252096 140729248250200 140067463438972 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 31825920 140729248260474 140729248260678 140729248260678 140729248264171 0
/proc/18646/statm: 2378 345 289 221 0 87 0
[pid=18648] ppid=18646 vsize=13980732 memory=269004 CPUtime=2520.02 cores=1,3,5,7
/proc/18648/stat : 18648 (java) S 18646 18646 15523 0 -1 1077944320 77256 0 0 0 251909 93 0 0 20 0 15 0 9628221 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140723378100208 140072487141111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
/proc/18648/statm: 3495183 67251 3233 1 0 3483476 0
[pid=18648/tid=18649] ppid=18646 vsize=13980732 memory=7032 CPUtime=2513.81 cores=1,3,5,7
/proc/18648/task/18649/stat : 18649 (java) R 18646 18646 15523 0 -1 4202560 22840 0 0 0 251373 8 0 0 20 0 15 0 9628221 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140072491380464 140072125239033 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18650] ppid=18646 vsize=13980732 memory=1244 CPUtime=0.16 cores=1,3,5,7
/proc/18648/task/18650/stat : 18650 (java) S 18646 18646 15523 0 -1 1077944384 1549 0 0 0 12 4 0 0 20 0 15 0 9628222 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140072444107920 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18651] ppid=18646 vsize=13980732 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/18648/task/18651/stat : 18651 (java) S 18646 18646 15523 0 -1 1077944384 1562 0 0 0 12 4 0 0 20 0 15 0 9628222 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140072443055120 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18652] ppid=18646 vsize=13980732 memory=2412 CPUtime=0.16 cores=1,3,5,7
/proc/18648/task/18652/stat : 18652 (java) S 18646 18646 15523 0 -1 1077944384 3417 0 0 0 12 4 0 0 20 0 15 0 9628222 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140072442002320 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18653] ppid=18646 vsize=13980732 memory=1724 CPUtime=0.16 cores=1,3,5,7
/proc/18648/task/18653/stat : 18653 (java) S 18646 18646 15523 0 -1 1077944384 3094 0 0 0 12 4 0 0 20 0 15 0 9628222 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140072440949520 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18654] ppid=18646 vsize=13980732 memory=1008 CPUtime=0.07 cores=1,3,5,7
/proc/18648/task/18654/stat : 18654 (java) S 18646 18646 15523 0 -1 1077944384 2321 0 0 0 5 2 0 0 20 0 15 0 9628223 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071470868848 140072487152258 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18655] ppid=18646 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18655/stat : 18655 (java) S 18646 18646 15523 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 9628224 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071469814880 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18656] ppid=18646 vsize=13980732 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18656/stat : 18656 (java) S 18646 18646 15523 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9628224 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071468761968 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18657] ppid=18646 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18657/stat : 18657 (java) S 18646 18646 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071467710288 140072487159707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18658] ppid=18646 vsize=13980732 memory=269004 CPUtime=2.09 cores=1,3,5,7
/proc/18648/task/18658/stat : 18658 (java) S 18646 18646 15523 0 -1 1077944384 20151 0 0 0 207 2 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071466658672 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18659] ppid=18646 vsize=13980732 memory=1152 CPUtime=1.49 cores=1,3,5,7
/proc/18648/task/18659/stat : 18659 (java) S 18646 18646 15523 0 -1 1077944384 11240 0 0 0 148 1 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071465605872 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18660] ppid=18646 vsize=13980732 memory=3268 CPUtime=0.54 cores=1,3,5,7
/proc/18648/task/18660/stat : 18660 (java) S 18646 18646 15523 0 -1 1077944384 8291 0 0 0 52 2 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071464553072 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18661] ppid=18646 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18648/task/18661/stat : 18661 (java) S 18646 18646 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9628227 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071463500512 140072487151317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
[pid=18648/tid=18662] ppid=18646 vsize=13980732 memory=269004 CPUtime=1.29 cores=1,3,5,7
/proc/18648/task/18662/stat : 18662 (java) S 18646 18646 15523 0 -1 1077944384 1419 0 0 0 54 75 0 0 20 0 15 0 9628232 14316269568 67251 18446744073709551615 4194304 4196468 140723378117664 140071462447792 140072487152258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140723378123186 140723378123362 140723378123362 140723378126799 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 270384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.41 s]
# the end of solver process 18646 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001833 s, system=0 s
[startup+2514.41 s]
# the end of solver process 18648 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.11 s, system=0.941086 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2514.41
CPU time (s): 2520.06
CPU user time (s): 2519.11
CPU system time (s): 0.941086
CPU usage (%): 100.224
Max. virtual memory (cumulated for all children) (KiB): 13992136
Max. memory (cumulated for all children) (KiB): 272980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.11
system time used= 0.941086
maximum resident set size= 273132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78450
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57698
involuntary context switches= 1085
# summary of solver processes directly reported to runsolver:
# pid: 18646,18648
# total CPU time (s): 2520.06
# total CPU user time (s): 2519.11
# total CPU system time (s): 0.941086
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0233 second user time and 24.2256 second system time
The end