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 (12535 MiB free)
memory of node 1: 16384 MiB (13657 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301312-1532878713/watcher-4301312-1532878713 -o /tmp/evaluation-result-4301312-1532878713/solver-4301312-1532878713 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532875384-10018 --watchdog 312 HOME/xcsp3-exec -seed 783387881 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301312-1532878713.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=12499, runsolver pid=12496
[startup+0.100138 s]*
/proc/loadavg: 2.20 2.07 2.01 3/222 12515
/proc/meminfo: memFree=26803548/32770624 swapFree=67108856/67108860
[pid=12499] ppid=12496 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12499/stat : 12499 (xcsp3-exec) S 12496 12499 5155 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105434432 115843072 363 33554432000 4194304 5098028 140723835206416 140723835204520 140153026839164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17154048 140723835212865 140723835213065 140723835213065 140723835215818 0
/proc/12499/statm: 28282 363 306 221 0 87 0
[pid=12501] ppid=12499 vsize=14082940 memory=29044 CPUtime=0.12 cores=1,3,5,7
/proc/12501/stat : 12501 (java) S 12499 12499 5155 0 -1 1077944320 5614 0 0 0 11 1 0 0 20 0 15 0 105434432 14420930560 7261 33554432000 4194304 4196468 140725542824768 140725542807312 140595059617527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
/proc/12501/statm: 3520735 7261 3020 1 0 3483012 0
[pid=12501/tid=12502] ppid=12499 vsize=14082940 memory=8514701219880730790 CPUtime=0.08 cores=1,3,5,7
/proc/12501/task/12502/stat : 12502 (java) R 12499 12499 5155 0 -1 4202560 3633 0 0 0 8 0 0 0 20 0 15 0 105434432 14420930560 7261 33554432000 4194304 4196468 140725542824768 140595063850800 140595059629462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12503] ppid=12499 vsize=14082940 memory=3472467955405862096 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12503/stat : 12503 (java) S 12499 12499 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434433 14420930560 7261 33554432000 4194304 4196468 140725542824768 140595018377744 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12504] ppid=12499 vsize=14082940 memory=139826510710400 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12504/stat : 12504 (java) S 12499 12499 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434433 14420930560 7261 33554432000 4194304 4196468 140725542824768 140595017325200 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12505] ppid=12499 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12505/stat : 12505 (java) S 12499 12499 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105434433 14420930560 7261 33554432000 4194304 4196468 140725542824768 140594653772048 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12506] ppid=12499 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12506/stat : 12506 (java) S 12499 12499 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434433 14420930560 7261 33554432000 4194304 4196468 140725542824768 140594652719504 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12507] ppid=12499 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12507/stat : 12507 (java) S 12499 12499 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434434 14420930560 7261 33554432000 4194304 4196468 140725542824768 140594195917552 140595059628674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12508] ppid=12499 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12508/stat : 12508 (java) S 12499 12499 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105434435 14420930560 7261 33554432000 4194304 4196468 140725542824768 140594194863776 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12509] ppid=12499 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12509/stat : 12509 (java) S 12499 12499 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105434435 14420930560 7261 33554432000 4194304 4196468 140725542824768 140594193810672 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12510] ppid=12499 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12510/stat : 12510 (java) S 12499 12499 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434437 14420930560 7261 33554432000 4194304 4196468 140725542824768 140594192759248 140595059636123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12511] ppid=12499 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12511/stat : 12511 (java) S 12499 12499 5155 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 105434437 14420930560 7261 33554432000 4194304 4196468 140725542824768 140594191706352 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12512] ppid=12499 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12512/stat : 12512 (java) S 12499 12499 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434437 14420930560 7261 33554432000 4194304 4196468 140725542824768 140594190653808 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12513] ppid=12499 vsize=14082940 memory=139826510710400 CPUtime=0.01 cores=1,3,5,7
/proc/12501/task/12513/stat : 12513 (java) R 12499 12499 5155 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 15 0 105434437 14420930560 7261 33554432000 4194304 4196468 140725542824768 140594189600752 140595040855088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12514] ppid=12499 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12514/stat : 12514 (java) S 12499 12499 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434438 14420930560 7261 33554432000 4194304 4196468 140725542824768 140594188548448 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12515] ppid=12499 vsize=14082940 memory=139826510710400 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12515/stat : 12515 (java) S 12499 12499 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105434438 14420930560 7261 33554432000 4194304 4196468 140725542824768 140594187496496 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30496 KiB
[startup+0.210915 s]*
/proc/loadavg: 2.20 2.07 2.01 4/222 12515
/proc/meminfo: memFree=26791516/32770624 swapFree=67108856/67108860
[pid=12499] ppid=12496 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12499/stat : 12499 (xcsp3-exec) S 12496 12499 5155 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105434432 115843072 363 33554432000 4194304 5098028 140723835206416 140723835204520 140153026839164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17154048 140723835212865 140723835213065 140723835213065 140723835215818 0
/proc/12499/statm: 28282 363 306 221 0 87 0
[pid=12501] ppid=12499 vsize=14082940 memory=41052 CPUtime=0.34 cores=1,3,5,7
/proc/12501/stat : 12501 (java) S 12499 12499 5155 0 -1 1077944320 8340 0 0 0 32 2 0 0 20 0 15 0 105434432 14420930560 10263 33554432000 4194304 4196468 140725542824768 140725542807312 140595059617527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
/proc/12501/statm: 3520735 10263 3171 1 0 3483012 0
[pid=12501/tid=12502] ppid=12499 vsize=14082940 memory=5854518564242424225 CPUtime=0.2 cores=1,3,5,7
/proc/12501/task/12502/stat : 12502 (java) R 12499 12499 5155 0 -1 4202560 5479 0 0 0 19 1 0 0 20 0 15 0 105434432 14420930560 10327 33554432000 4194304 4196468 140725542824768 140595063852064 140595052295541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12503] ppid=12499 vsize=14082940 memory=3472467955405862096 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12503/stat : 12503 (java) S 12499 12499 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434433 14420930560 10327 33554432000 4194304 4196468 140725542824768 140595018377744 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12504] ppid=12499 vsize=14082940 memory=139826510710400 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12504/stat : 12504 (java) S 12499 12499 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434433 14420930560 10327 33554432000 4194304 4196468 140725542824768 140595017325200 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12505] ppid=12499 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12505/stat : 12505 (java) S 12499 12499 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105434433 14420930560 10327 33554432000 4194304 4196468 140725542824768 140594653772048 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12506] ppid=12499 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12506/stat : 12506 (java) S 12499 12499 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434433 14420930560 10327 33554432000 4194304 4196468 140725542824768 140594652719504 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12507] ppid=12499 vsize=14082940 memory=139826510710400 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12507/stat : 12507 (java) S 12499 12499 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105434434 14420930560 10327 33554432000 4194304 4196468 140725542824768 140594195917552 140595059628674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12508] ppid=12499 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12508/stat : 12508 (java) S 12499 12499 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105434435 14420930560 10327 33554432000 4194304 4196468 140725542824768 140594194863776 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12509] ppid=12499 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12509/stat : 12509 (java) S 12499 12499 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105434435 14420963328 10327 33554432000 4194304 4196468 140725542824768 140594193810672 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12510] ppid=12499 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12510/stat : 12510 (java) S 12499 12499 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434437 14420963328 10327 33554432000 4194304 4196468 140725542824768 140594192759248 140595059636123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12511] ppid=12499 vsize=14082972 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12501/task/12511/stat : 12511 (java) S 12499 12499 5155 0 -1 1077944384 789 0 0 0 3 0 0 0 20 0 15 0 105434437 14420963328 10327 33554432000 4194304 4196468 140725542824768 140594191706352 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12512] ppid=12499 vsize=14082940 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/12501/task/12512/stat : 12512 (java) S 12499 12499 5155 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 105434437 14420930560 10329 33554432000 4194304 4196468 140725542824768 140594190653808 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12513] ppid=12499 vsize=14082940 memory=139826510710400 CPUtime=0.07 cores=1,3,5,7
/proc/12501/task/12513/stat : 12513 (java) S 12499 12499 5155 0 -1 1077944384 749 0 0 0 7 0 0 0 20 0 15 0 105434437 14420930560 10329 33554432000 4194304 4196468 140725542824768 140594189600752 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12514] ppid=12499 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12514/stat : 12514 (java) S 12499 12499 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434438 14420930560 10329 33554432000 4194304 4196468 140725542824768 140594188548448 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12515] ppid=12499 vsize=14082940 memory=139826510710400 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12515/stat : 12515 (java) S 12499 12499 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105434438 14420930560 10329 33554432000 4194304 4196468 140725542824768 140594187496496 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42504 KiB
[startup+0.310858 s]*
/proc/loadavg: 2.20 2.07 2.01 4/222 12515
/proc/meminfo: memFree=26785188/32770624 swapFree=67108856/67108860
[pid=12499] ppid=12496 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12499/stat : 12499 (xcsp3-exec) S 12496 12499 5155 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105434432 115843072 363 33554432000 4194304 5098028 140723835206416 140723835204520 140153026839164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17154048 140723835212865 140723835213065 140723835213065 140723835215818 0
/proc/12499/statm: 28282 363 306 221 0 87 0
[pid=12501] ppid=12499 vsize=14087196 memory=48640 CPUtime=0.53 cores=1,3,5,7
/proc/12501/stat : 12501 (java) S 12499 12499 5155 0 -1 1077944320 9264 0 0 0 50 3 0 0 20 0 15 0 105434432 14425288704 12160 33554432000 4194304 4196468 140725542824768 140725542807312 140595059617527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
/proc/12501/statm: 3521799 12160 3277 1 0 3483012 0
[pid=12501/tid=12502] ppid=12499 vsize=14087196 memory=8514701219881125278 CPUtime=0.29 cores=1,3,5,7
/proc/12501/task/12502/stat : 12502 (java) R 12499 12499 5155 0 -1 4202560 6202 0 0 0 28 1 0 0 20 0 15 0 105434432 14425288704 12168 33554432000 4194304 4196468 140725542824768 140595063851312 140595043698014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12503] ppid=12499 vsize=14087196 memory=3472467955405862096 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12503/stat : 12503 (java) S 12499 12499 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434433 14425288704 12168 33554432000 4194304 4196468 140725542824768 140595018377744 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12504] ppid=12499 vsize=14087196 memory=139826510710400 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12504/stat : 12504 (java) S 12499 12499 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434433 14425288704 12168 33554432000 4194304 4196468 140725542824768 140595017325200 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12505] ppid=12499 vsize=14087196 memory=19 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12505/stat : 12505 (java) S 12499 12499 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105434433 14425288704 12168 33554432000 4194304 4196468 140725542824768 140594653772048 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12506] ppid=12499 vsize=14087196 memory=139826351450143 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12506/stat : 12506 (java) S 12499 12499 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434433 14425288704 12168 33554432000 4194304 4196468 140725542824768 140594652719504 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12507] ppid=12499 vsize=14087196 memory=279652702879520 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12507/stat : 12507 (java) S 12499 12499 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105434434 14425288704 12168 33554432000 4194304 4196468 140725542824768 140594195917552 140595059628674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12508] ppid=12499 vsize=14087196 memory=139826351427087 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12508/stat : 12508 (java) S 12499 12499 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105434435 14425288704 12168 33554432000 4194304 4196468 140725542824768 140594194863776 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12509] ppid=12499 vsize=14087196 memory=279652862146656 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12509/stat : 12509 (java) S 12499 12499 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105434435 14425288704 12168 33554432000 4194304 4196468 140725542824768 140594193810672 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12510] ppid=12499 vsize=14087196 memory=139826351431695 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12510/stat : 12510 (java) S 12499 12499 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434437 14425288704 12168 33554432000 4194304 4196468 140725542824768 140594192759248 140595059636123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12511] ppid=12499 vsize=14087196 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/12501/task/12511/stat : 12511 (java) S 12499 12499 5155 0 -1 1077944384 879 0 0 0 6 0 0 0 20 0 15 0 105434437 14425288704 12168 33554432000 4194304 4196468 140725542824768 140594191706352 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12512] ppid=12499 vsize=14087196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12501/task/12512/stat : 12512 (java) S 12499 12499 5155 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 15 0 105434437 14425288704 12168 33554432000 4194304 4196468 140725542824768 140594190653808 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12513] ppid=12499 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12501/task/12513/stat : 12513 (java) S 12499 12499 5155 0 -1 1077944384 815 0 0 0 12 0 0 0 20 0 15 0 105434437 14425288704 12168 33554432000 4194304 4196468 140725542824768 140594189600752 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12514] ppid=12499 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12514/stat : 12514 (java) S 12499 12499 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434438 14425288704 12168 33554432000 4194304 4196468 140725542824768 140594188548448 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12515] ppid=12499 vsize=14087196 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12515/stat : 12515 (java) S 12499 12499 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105434438 14425288704 12168 33554432000 4194304 4196468 140725542824768 140594187496496 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 50092 KiB
[startup+0.705086 s]
/proc/loadavg: 2.20 2.07 2.01 7/222 12515
/proc/meminfo: memFree=26761056/32770624 swapFree=67108856/67108860
[pid=12499] ppid=12496 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12499/stat : 12499 (xcsp3-exec) S 12496 12499 5155 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105434432 115843072 363 33554432000 4194304 5098028 140723835206416 140723835204520 140153026839164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17154048 140723835212865 140723835213065 140723835213065 140723835215818 0
/proc/12499/statm: 28282 363 306 221 0 87 0
[pid=12501] ppid=12499 vsize=14089320 memory=99472 CPUtime=1.69 cores=1,3,5,7
/proc/12501/stat : 12501 (java) S 12499 12499 5155 0 -1 1077944320 12991 0 0 0 164 5 0 0 20 0 15 0 105434432 14427463680 24868 33554432000 4194304 4196468 140725542824768 140725542807312 140595059617527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
/proc/12501/statm: 3522330 24868 3351 1 0 3483524 0
[pid=12501/tid=12502] ppid=12499 vsize=14089320 memory=5795117241467496816 CPUtime=0.67 cores=1,3,5,7
/proc/12501/task/12502/stat : 12502 (java) R 12499 12499 5155 0 -1 4202560 7019 0 0 0 65 2 0 0 20 0 15 0 105434432 14427463680 24868 33554432000 4194304 4196468 140725542824768 140595063842848 140594695400020 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12503] ppid=12499 vsize=14089320 memory=4639059895069856102 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12503/stat : 12503 (java) S 12499 12499 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434433 14427463680 24868 33554432000 4194304 4196468 140725542824768 140595018377744 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12504] ppid=12499 vsize=14089320 memory=4638778428397932880 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12504/stat : 12504 (java) S 12499 12499 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434433 14427463680 24868 33554432000 4194304 4196468 140725542824768 140595017325200 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12505] ppid=12499 vsize=14089320 memory=7100839870071150693 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12505/stat : 12505 (java) S 12499 12499 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105434433 14427463680 24868 33554432000 4194304 4196468 140725542824768 140594653772048 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12506] ppid=12499 vsize=14089320 memory=-7395679465411340910 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12506/stat : 12506 (java) S 12499 12499 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434433 14427463680 24868 33554432000 4194304 4196468 140725542824768 140594652719504 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12507] ppid=12499 vsize=14089320 memory=-9001734043636558696 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12507/stat : 12507 (java) S 12499 12499 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105434434 14427463680 24868 33554432000 4194304 4196468 140725542824768 140594195917552 140595059628674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12508] ppid=12499 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12508/stat : 12508 (java) S 12499 12499 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105434435 14427463680 24868 33554432000 4194304 4196468 140725542824768 140594194863776 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12509] ppid=12499 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12509/stat : 12509 (java) S 12499 12499 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105434435 14427463680 24868 33554432000 4194304 4196468 140725542824768 140594193810672 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12510] ppid=12499 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12510/stat : 12510 (java) S 12499 12499 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434437 14427463680 24868 33554432000 4194304 4196468 140725542824768 140594192759248 140595059636123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12511] ppid=12499 vsize=14089320 memory=30528 CPUtime=0.31 cores=1,3,5,7
/proc/12501/task/12511/stat : 12511 (java) R 12499 12499 5155 0 -1 4202560 1672 0 0 0 31 0 0 0 20 0 15 0 105434437 14427463680 24868 33554432000 4194304 4196468 140725542824768 140594191696064 140595043005686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12512] ppid=12499 vsize=14089320 memory=1244 CPUtime=0.31 cores=1,3,5,7
/proc/12501/task/12512/stat : 12512 (java) R 12499 12499 5155 0 -1 4202560 1095 0 0 0 31 0 0 0 20 0 15 0 105434437 14427463680 24868 33554432000 4194304 4196468 140725542824768 140594190642480 140595038864418 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12513] ppid=12499 vsize=14089320 memory=2268 CPUtime=0.36 cores=1,3,5,7
/proc/12501/task/12513/stat : 12513 (java) R 12499 12499 5155 0 -1 4202560 1895 0 0 0 36 0 0 0 20 0 15 0 105434437 14427463680 24868 33554432000 4194304 4196468 140725542824768 140594189597688 140595044750847 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12514] ppid=12499 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12514/stat : 12514 (java) S 12499 12499 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434438 14427463680 24868 33554432000 4194304 4196468 140725542824768 140594188548448 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12515] ppid=12499 vsize=14089320 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12515/stat : 12515 (java) S 12499 12499 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105434438 14427463680 24868 33554432000 4194304 4196468 140725542824768 140594187496496 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 100924 KiB
[startup+1.50095 s]
/proc/loadavg: 2.20 2.07 2.01 4/222 12515
/proc/meminfo: memFree=26698444/32770624 swapFree=67108856/67108860
[pid=12499] ppid=12496 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12499/stat : 12499 (xcsp3-exec) S 12496 12499 5155 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105434432 115843072 363 33554432000 4194304 5098028 140723835206416 140723835204520 140153026839164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17154048 140723835212865 140723835213065 140723835213065 140723835215818 0
/proc/12499/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
[pid=12501/tid=12507] ppid=12499 vsize=14091368 memory=356624 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12507/stat : 12507 (java) S 12499 12499 5155 0 -1 1077944384 400 0 0 0 0 0 0 0 20 0 15 0 105434434 14429560832 89156 33554432000 4194304 4196468 140725542824768 140594195917552 140595059628674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12508] ppid=12499 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12508/stat : 12508 (java) S 12499 12499 5155 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 105434435 14429560832 89156 33554432000 4194304 4196468 140725542824768 140594194863776 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12509] ppid=12499 vsize=14091368 memory=56 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12509/stat : 12509 (java) S 12499 12499 5155 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 105434435 14429560832 89156 33554432000 4194304 4196468 140725542824768 140594193810672 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12510] ppid=12499 vsize=14091368 memory=8514726395715350149 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12510/stat : 12510 (java) S 12499 12499 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434437 14429560832 89156 33554432000 4194304 4196468 140725542824768 140594192759248 140595059636123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12511] ppid=12499 vsize=14091368 memory=356592 CPUtime=2.82 cores=1,3,5,7
/proc/12501/task/12511/stat : 12511 (java) S 12499 12499 5155 0 -1 1077944384 14393 0 0 0 280 2 0 0 20 0 15 0 105434437 14429560832 89156 33554432000 4194304 4196468 140725542824768 140594191706352 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12512] ppid=12499 vsize=14091368 memory=356592 CPUtime=2.38 cores=1,3,5,7
/proc/12501/task/12512/stat : 12512 (java) S 12499 12499 5155 0 -1 1077944384 12321 0 0 0 237 1 0 0 20 0 15 0 105434437 14429560832 89156 33554432000 4194304 4196468 140725542824768 140594190653808 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12513] ppid=12499 vsize=14091368 memory=1452 CPUtime=0.8 cores=1,3,5,7
/proc/12501/task/12513/stat : 12513 (java) S 12499 12499 5155 0 -1 1077944384 7875 0 0 0 78 2 0 0 20 0 15 0 105434437 14429560832 89156 33554432000 4194304 4196468 140725542824768 140594189600752 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12514] ppid=12499 vsize=14091368 memory=2268 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12514/stat : 12514 (java) S 12499 12499 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434438 14429560832 89156 33554432000 4194304 4196468 140725542824768 140594188548448 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12515] ppid=12499 vsize=14091368 memory=1804 CPUtime=0.02 cores=1,3,5,7
/proc/12501/task/12515/stat : 12515 (java) S 12499 12499 5155 0 -1 1077944384 1127 0 0 0 1 1 0 0 20 0 15 0 105434438 14429560832 89156 33554432000 4194304 4196468 140725542824768 140594187496496 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
Current children cumulated CPU time: 108.65 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 358076 KiB
[startup+162.301 s]
/proc/loadavg: 2.25 2.18 2.06 3/223 12525
/proc/meminfo: memFree=26332884/32770624 swapFree=67108856/67108860
[pid=12499] ppid=12496 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12499/stat : 12499 (xcsp3-exec) S 12496 12499 5155 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105434432 115843072 363 33554432000 4194304 5098028 140723835206416 140723835204520 140153026839164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17154048 140723835212865 140723835213065 140723835213065 140723835215818 0
/proc/12499/statm: 28282 363 306 221 0 87 0
[pid=12501] ppid=12499 vsize=14091368 memory=411944 CPUtime=168.68 cores=1,3,5,7
/proc/12501/stat : 12501 (java) S 12499 12499 5155 0 -1 1077944320 53029 0 0 0 16837 31 0 0 20 0 15 0 105434432 14429560832 102986 33554432000 4194304 4196468 140725542824768 140725542807312 140595059617527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
/proc/12501/statm: 3522842 102986 3405 1 0 3484036 0
[pid=12501/tid=12502] ppid=12499 vsize=14091368 memory=1452 CPUtime=162.16 cores=1,3,5,7
/proc/12501/task/12502/stat : 12502 (java) R 12499 12499 5155 0 -1 4202560 13802 0 0 0 16211 5 0 0 20 0 15 0 105434432 14429560832 102986 33554432000 4194304 4196468 140725542824768 140595063854256 140594702157021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12503] ppid=12499 vsize=14091368 memory=1452 CPUtime=0.1 cores=1,3,5,7
/proc/12501/task/12503/stat : 12503 (java) S 12499 12499 5155 0 -1 1077944384 265 0 0 0 6 4 0 0 20 0 15 0 105434433 14429560832 102986 33554432000 4194304 4196468 140725542824768 140595018377744 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12504] ppid=12499 vsize=14091368 memory=411944 CPUtime=0.1 cores=1,3,5,7
/proc/12501/task/12504/stat : 12504 (java) S 12499 12499 5155 0 -1 1077944384 430 0 0 0 6 4 0 0 20 0 15 0 105434433 14429560832 102986 33554432000 4194304 4196468 140725542824768 140595017325200 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12505] ppid=12499 vsize=14091368 memory=411944 CPUtime=0.09 cores=1,3,5,7
/proc/12501/task/12505/stat : 12505 (java) S 12499 12499 5155 0 -1 1077944384 296 0 0 0 5 4 0 0 20 0 15 0 105434433 14429560832 102986 33554432000 4194304 4196468 140725542824768 140594653772048 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12506] ppid=12499 vsize=14091368 memory=1452 CPUtime=0.09 cores=1,3,5,7
/proc/12501/task/12506/stat : 12506 (java) S 12499 12499 5155 0 -1 1077944384 140 0 0 0 5 4 0 0 20 0 15 0 105434433 14429560832 102986 33554432000 4194304 4196468 140725542824768 140594652719504 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12507] ppid=12499 vsize=14091368 memory=411944 CPUtime=0.01 cores=1,3,5,7
/proc/12501/task/12507/stat : 12507 (java) S 12499 12499 5155 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 15 0 105434434 14429560832 102986 33554432000 4194304 4196468 140725542824768 140594195917552 140595059628674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12508] ppid=12499 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12508/stat : 12508 (java) S 12499 12499 5155 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 105434435 14429560832 102986 33554432000 4194304 4196468 140725542824768 140594194863776 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12509] ppid=12499 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12509/stat : 12509 (java) S 12499 12499 5155 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 105434435 14429560832 102986 33554432000 4194304 4196468 140725542824768 140594193810672 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12510] ppid=12499 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12510/stat : 12510 (java) S 12499 12499 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434437 14429560832 102986 33554432000 4194304 4196468 140725542824768 140594192759248 140595059636123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12511] ppid=12499 vsize=14091368 memory=8448 CPUtime=2.83 cores=1,3,5,7
/proc/12501/task/12511/stat : 12511 (java) S 12499 12499 5155 0 -1 1077944384 14491 0 0 0 281 2 0 0 20 0 15 0 105434437 14429560832 102986 33554432000 4194304 4196468 140725542824768 140594191706352 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12512] ppid=12499 vsize=14091368 memory=15252 CPUtime=2.38 cores=1,3,5,7
/proc/12501/task/12512/stat : 12512 (java) S 12499 12499 5155 0 -1 1077944384 12438 0 0 0 237 1 0 0 20 0 15 0 105434437 14429560832 102986 33554432000 4194304 4196468 140725542824768 140594190653808 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12513] ppid=12499 vsize=14091368 memory=303430223234596890 CPUtime=0.8 cores=1,3,5,7
/proc/12501/task/12513/stat : 12513 (java) S 12499 12499 5155 0 -1 1077944384 8165 0 0 0 78 2 0 0 20 0 15 0 105434437 14429560832 102986 33554432000 4194304 4196468 140725542824768 140594189600752 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12514] ppid=12499 vsize=14091368 memory=288230583166042425 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12514/stat : 12514 (java) S 12499 12499 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434438 14429560832 102986 33554432000 4194304 4196468 140725542824768 140594188548448 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12515] ppid=12499 vsize=14091368 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/12501/task/12515/stat : 12515 (java) S 12499 12499 5155 0 -1 1077944384 1212 0 0 0 1 1 0 0 20 0 15 0 105434438 14429560832 102986 33554432000 4194304 4196468 140725542824768 140594187496496 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
Current children cumulated CPU time: 168.68 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 413396 KiB
[startup+222.301 s]
/proc/loadavg: 2.03 2.13 2.05 3/223 12607
/proc/meminfo: memFree=26625860/32770624 swapFree=67108856/67108860
[pid=12499] ppid=12496 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12499/stat : 12499 (xcsp3-exec) S 12496 12499 5155 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105434432 115843072 363 33554432000 4194304 5098028 140723835206416 140723835204520 140153026839164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17154048 140723835212865 140723835213065 140723835213065 140723835215818 0
/proc/12499/statm: 28282 363 306 221 0 87 0
[pid=12501] ppid=12499 vsize=14091368 memory=531496 CPUtime=228.97 cores=1,3,5,7
/proc/12501/stat : 12501 (java) S 12499 12499 5155 0 -1 1077944320 60111 0 0 0 22857 40 0 0 20 0 15 0 105434432 14429560832 132874 33554432000 4194304 4196468 140725542824768 140725542807312 140595059617527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
/proc/12501/statm: 3522842 132874 3411 1 0 3484036 0
[pid=12501/tid=12502] ppid=12499 vsize=14091368 memory=531496 CPUtime=222.12 cores=1,3,5,7
/proc/12501/task/12502/stat : 12502 (java) R 12499 12499 5155 0 -1 4202560 14567 0 0 0 22206 6 0 0 20 0 15 0 105434432 14429560832 132874 33554432000 4194304 4196468 140725542824768 140595063857000 140594702156670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12503] ppid=12499 vsize=14091368 memory=531496 CPUtime=0.14 cores=1,3,5,7
/proc/12501/task/12503/stat : 12503 (java) S 12499 12499 5155 0 -1 1077944384 360 0 0 0 8 6 0 0 20 0 15 0 105434433 14429560832 132874 33554432000 4194304 4196468 140725542824768 140595018377744 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12504] ppid=12499 vsize=14091368 memory=531496 CPUtime=0.15 cores=1,3,5,7
/proc/12501/task/12504/stat : 12504 (java) S 12499 12499 5155 0 -1 1077944384 751 0 0 0 9 6 0 0 20 0 15 0 105434433 14429560832 132874 33554432000 4194304 4196468 140725542824768 140595017325200 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12505] ppid=12499 vsize=14091368 memory=531496 CPUtime=0.14 cores=1,3,5,7
/proc/12501/task/12505/stat : 12505 (java) S 12499 12499 5155 0 -1 1077944384 421 0 0 0 8 6 0 0 20 0 15 0 105434433 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594653772048 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12506] ppid=12499 vsize=14091368 memory=531496 CPUtime=0.15 cores=1,3,5,7
/proc/12501/task/12506/stat : 12506 (java) S 12499 12499 5155 0 -1 1077944384 1562 0 0 0 9 6 0 0 20 0 15 0 105434433 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594652719504 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12507] ppid=12499 vsize=14091368 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/12501/task/12507/stat : 12507 (java) S 12499 12499 5155 0 -1 1077944384 787 0 0 0 1 0 0 0 20 0 15 0 105434434 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594195917552 140595059628674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12508] ppid=12499 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12508/stat : 12508 (java) S 12499 12499 5155 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 105434435 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594194863840 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12509] ppid=12499 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12509/stat : 12509 (java) S 12499 12499 5155 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 105434435 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594193810672 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12510] ppid=12499 vsize=14091368 memory=8448 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12510/stat : 12510 (java) S 12499 12499 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434437 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594192759248 140595059636123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12511] ppid=12499 vsize=14091368 memory=15252 CPUtime=2.94 cores=1,3,5,7
/proc/12501/task/12511/stat : 12511 (java) S 12499 12499 5155 0 -1 1077944384 16881 0 0 0 291 3 0 0 20 0 15 0 105434437 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594191706352 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12512] ppid=12499 vsize=14091368 memory=1452 CPUtime=2.4 cores=1,3,5,7
/proc/12501/task/12512/stat : 12512 (java) S 12499 12499 5155 0 -1 1077944384 12999 0 0 0 239 1 0 0 20 0 15 0 105434437 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594190653808 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12513] ppid=12499 vsize=14091368 memory=1452 CPUtime=0.81 cores=1,3,5,7
/proc/12501/task/12513/stat : 12513 (java) S 12499 12499 5155 0 -1 1077944384 9157 0 0 0 79 2 0 0 20 0 15 0 105434437 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594189600752 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12514] ppid=12499 vsize=14091368 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12514/stat : 12514 (java) S 12499 12499 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434438 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594188548448 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12515] ppid=12499 vsize=14091368 memory=8448 CPUtime=0.04 cores=1,3,5,7
/proc/12501/task/12515/stat : 12515 (java) S 12499 12499 5155 0 -1 1077944384 1261 0 0 0 2 2 0 0 20 0 15 0 105434438 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594187496496 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
Current children cumulated CPU time: 228.97 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 532948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+245.401 s]
/proc/loadavg: 2.02 2.12 2.05 3/223 12607
/proc/meminfo: memFree=26625432/32770624 swapFree=67108856/67108860
[pid=12499] ppid=12496 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12499/stat : 12499 (xcsp3-exec) S 12496 12499 5155 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105434432 115843072 363 33554432000 4194304 5098028 140723835206416 140723835204520 140153026839164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17154048 140723835212865 140723835213065 140723835213065 140723835215818 0
/proc/12499/statm: 28282 363 306 221 0 87 0
[pid=12501] ppid=12499 vsize=14091368 memory=531496 CPUtime=252.09 cores=1,3,5,7
/proc/12501/stat : 12501 (java) S 12499 12499 5155 0 -1 1077944320 60119 0 0 0 25168 41 0 0 20 0 15 0 105434432 14429560832 132874 33554432000 4194304 4196468 140725542824768 140725542807312 140595059617527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
/proc/12501/statm: 3522842 132874 3411 1 0 3484036 0
[pid=12501/tid=12502] ppid=12499 vsize=14091368 memory=13565981461055742 CPUtime=245.22 cores=1,3,5,7
/proc/12501/task/12502/stat : 12502 (java) R 12499 12499 5155 0 -1 4202560 14573 0 0 0 24516 6 0 0 20 0 15 0 105434432 14429560832 132874 33554432000 4194304 4196468 140725542824768 140595063857000 140594698488519 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12503] ppid=12499 vsize=14091368 memory=8448 CPUtime=0.14 cores=1,3,5,7
/proc/12501/task/12503/stat : 12503 (java) S 12499 12499 5155 0 -1 1077944384 360 0 0 0 8 6 0 0 20 0 15 0 105434433 14429560832 132874 33554432000 4194304 4196468 140725542824768 140595018377744 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12504] ppid=12499 vsize=14091368 memory=15252 CPUtime=0.15 cores=1,3,5,7
/proc/12501/task/12504/stat : 12504 (java) S 12499 12499 5155 0 -1 1077944384 751 0 0 0 9 6 0 0 20 0 15 0 105434433 14429560832 132874 33554432000 4194304 4196468 140725542824768 140595017325200 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12505] ppid=12499 vsize=14091368 memory=16244 CPUtime=0.14 cores=1,3,5,7
/proc/12501/task/12505/stat : 12505 (java) S 12499 12499 5155 0 -1 1077944384 421 0 0 0 8 6 0 0 20 0 15 0 105434433 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594653772048 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12506] ppid=12499 vsize=14091368 memory=4048 CPUtime=0.15 cores=1,3,5,7
/proc/12501/task/12506/stat : 12506 (java) S 12499 12499 5155 0 -1 1077944384 1562 0 0 0 9 6 0 0 20 0 15 0 105434433 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594652719504 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12507] ppid=12499 vsize=14091368 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/12501/task/12507/stat : 12507 (java) S 12499 12499 5155 0 -1 1077944384 787 0 0 0 1 0 0 0 20 0 15 0 105434434 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594195917552 140595059628674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12508] ppid=12499 vsize=14091368 memory=531496 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12508/stat : 12508 (java) S 12499 12499 5155 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 105434435 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594194863840 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12509] ppid=12499 vsize=14091368 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12509/stat : 12509 (java) S 12499 12499 5155 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 105434435 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594193810672 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12510] ppid=12499 vsize=14091368 memory=3116 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12510/stat : 12510 (java) S 12499 12499 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434437 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594192759248 140595059636123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12511] ppid=12499 vsize=14091368 memory=1452 CPUtime=2.94 cores=1,3,5,7
/proc/12501/task/12511/stat : 12511 (java) S 12499 12499 5155 0 -1 1077944384 16881 0 0 0 291 3 0 0 20 0 15 0 105434437 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594191706352 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12512] ppid=12499 vsize=14091368 memory=531496 CPUtime=2.4 cores=1,3,5,7
/proc/12501/task/12512/stat : 12512 (java) S 12499 12499 5155 0 -1 1077944384 12999 0 0 0 239 1 0 0 20 0 15 0 105434437 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594190653808 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12513] ppid=12499 vsize=14091368 memory=1408 CPUtime=0.81 cores=1,3,5,7
/proc/12501/task/12513/stat : 12513 (java) S 12499 12499 5155 0 -1 1077944384 9157 0 0 0 79 2 0 0 20 0 15 0 105434437 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594189600752 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12514] ppid=12499 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12501/task/12514/stat : 12514 (java) S 12499 12499 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434438 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594188548448 140595059627733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
[pid=12501/tid=12515] ppid=12499 vsize=14091368 memory=333236 CPUtime=0.04 cores=1,3,5,7
/proc/12501/task/12515/stat : 12515 (java) S 12499 12499 5155 0 -1 1077944384 1263 0 0 0 2 2 0 0 20 0 15 0 105434438 14429560832 132874 33554432000 4194304 4196468 140725542824768 140594187496496 140595059628674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6959104 140725542831244 140725542831414 140725542831414 140725542834127 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 532948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+245.417 s]
# the end of solver process 12499 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.694 s, system=0.419339 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 245.417
CPU time (s): 252.113
CPU user time (s): 251.694
CPU system time (s): 0.419339
CPU usage (%): 102.728
Max. virtual memory (cumulated for all children) (KiB): 14208204
Max. memory (cumulated for all children) (KiB): 532948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.694
system time used= 0.419339
maximum resident set size= 531948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61248
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8741
involuntary context switches= 153
# summary of solver processes directly reported to runsolver:
# pid: 12499
# total CPU time (s): 252.113
# total CPU user time (s): 251.694
# total CPU system time (s): 0.419339
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45149 second user time and 2.2538 second system time
The end