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 (10622 MiB free)
memory of node 1: 16384 MiB (6117 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307024-1534056367/watcher-4307024-1534056367 -o /tmp/evaluation-result-4307024-1534056367/solver-4307024-1534056367 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534038673-26647 --watchdog 2580 HOME/xcsp3-exec -seed 1222957531 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307024-1534056367.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28705, runsolver pid=28702
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.54 1.47 1.52 4/217 28721
/proc/meminfo: memFree=17125020/32770624 swapFree=67108796/67108860
[pid=28705] ppid=28702 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28705/stat : 28705 (xcsp3-exec) S 28702 28705 25340 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223199838 115843072 363 33554432000 4194304 5098028 140732725657200 140732725655304 140294229561980 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34713600 140732725658682 140732725658884 140732725658884 140732725661642 0
/proc/28705/statm: 28282 363 306 221 0 87 0
[pid=28707] ppid=28705 vsize=14082940 memory=28564 CPUtime=0.12 cores=0,2,4,6
/proc/28707/stat : 28707 (java) S 28705 28705 25340 0 -1 1077944320 5474 0 0 0 11 1 0 0 20 0 15 0 223199839 14420930560 7141 33554432000 4194304 4196468 140731215162432 140731215144976 140248551341815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
/proc/28707/statm: 3520735 7141 3026 1 0 3483012 0
[pid=28707/tid=28708] ppid=28705 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/28707/task/28708/stat : 28708 (java) R 28705 28705 25340 0 -1 4202560 3487 0 0 0 8 1 0 0 20 0 15 0 223199839 14420930560 7141 33554432000 4194304 4196468 140731215162432 140248555567536 140248551353750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28709] ppid=28705 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28709/stat : 28709 (java) S 28705 28705 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223199840 14420930560 7141 33554432000 4194304 4196468 140731215162432 140248147290896 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28710] ppid=28705 vsize=14082940 memory=140255149430400 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28710/stat : 28710 (java) S 28705 28705 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223199840 14420930560 7141 33554432000 4194304 4196468 140731215162432 140248146238352 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28711] ppid=28705 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28711/stat : 28711 (java) S 28705 28705 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223199840 14420930560 7141 33554432000 4194304 4196468 140731215162432 140248145185808 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28712] ppid=28705 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28712/stat : 28712 (java) S 28705 28705 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223199840 14420930560 7141 33554432000 4194304 4196468 140731215162432 140248144133264 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28713] ppid=28705 vsize=14082940 memory=140255149430400 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28713/stat : 28713 (java) S 28705 28705 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223199841 14420930560 7141 33554432000 4194304 4196468 140731215162432 140247891380208 140248551352962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28714] ppid=28705 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28714/stat : 28714 (java) S 28705 28705 25340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223199842 14420930560 7141 33554432000 4194304 4196468 140731215162432 140247890326432 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28715] ppid=28705 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28715/stat : 28715 (java) S 28705 28705 25340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223199842 14420930560 7141 33554432000 4194304 4196468 140731215162432 140247889273840 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28716] ppid=28705 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28716/stat : 28716 (java) S 28705 28705 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223199844 14420930560 7141 33554432000 4194304 4196468 140731215162432 140247888222416 140248551360411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28717] ppid=28705 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28717/stat : 28717 (java) S 28705 28705 25340 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 223199844 14420930560 7141 33554432000 4194304 4196468 140731215162432 140247887170032 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28718] ppid=28705 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28718/stat : 28718 (java) S 28705 28705 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223199844 14420930560 7141 33554432000 4194304 4196468 140731215162432 140247886117488 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28719] ppid=28705 vsize=14082940 memory=140255149430400 CPUtime=0.01 cores=0,2,4,6
/proc/28707/task/28719/stat : 28719 (java) R 28705 28705 25340 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 15 0 223199844 14420930560 7141 33554432000 4194304 4196468 140731215162432 140247885064944 140248530299749 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28720] ppid=28705 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28720/stat : 28720 (java) S 28705 28705 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223199845 14420930560 7141 33554432000 4194304 4196468 140731215162432 140247884012640 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28721] ppid=28705 vsize=14082940 memory=140255149430400 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28721/stat : 28721 (java) S 28705 28705 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223199845 14420930560 7141 33554432000 4194304 4196468 140731215162432 140247882959152 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30016 KiB
[startup+0.210624 s]*
/proc/loadavg: 1.54 1.47 1.52 3/217 28721
/proc/meminfo: memFree=17112996/32770624 swapFree=67108796/67108860
[pid=28705] ppid=28702 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28705/stat : 28705 (xcsp3-exec) S 28702 28705 25340 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223199838 115843072 363 33554432000 4194304 5098028 140732725657200 140732725655304 140294229561980 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34713600 140732725658682 140732725658884 140732725658884 140732725661642 0
/proc/28705/statm: 28282 363 306 221 0 87 0
[pid=28707] ppid=28705 vsize=14082940 memory=41064 CPUtime=0.33 cores=0,2,4,6
/proc/28707/stat : 28707 (java) S 28705 28705 25340 0 -1 1077944320 8283 0 0 0 31 2 0 0 20 0 15 0 223199839 14420930560 10266 33554432000 4194304 4196468 140731215162432 140731215144976 140248551341815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
/proc/28707/statm: 3520735 10266 3182 1 0 3483012 0
[pid=28707/tid=28708] ppid=28705 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/28707/task/28708/stat : 28708 (java) R 28705 28705 25340 0 -1 4202560 5370 0 0 0 18 2 0 0 20 0 15 0 223199839 14420930560 10266 33554432000 4194304 4196468 140731215162432 140248555575744 140248535422302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28709] ppid=28705 vsize=14082940 memory=8987 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28709/stat : 28709 (java) S 28705 28705 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223199840 14420930560 10266 33554432000 4194304 4196468 140731215162432 140248147290896 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28710] ppid=28705 vsize=14082940 memory=288370631301142144 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28710/stat : 28710 (java) S 28705 28705 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223199840 14420930560 10266 33554432000 4194304 4196468 140731215162432 140248146238352 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28711] ppid=28705 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28711/stat : 28711 (java) S 28705 28705 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223199840 14420930560 10266 33554432000 4194304 4196468 140731215162432 140248145185808 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28712] ppid=28705 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28712/stat : 28712 (java) S 28705 28705 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223199840 14420930560 10266 33554432000 4194304 4196468 140731215162432 140248144133264 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28713] ppid=28705 vsize=14082940 memory=140255149430400 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28713/stat : 28713 (java) S 28705 28705 25340 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 223199841 14420930560 10266 33554432000 4194304 4196468 140731215162432 140247891380208 140248551352962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28714] ppid=28705 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28714/stat : 28714 (java) S 28705 28705 25340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223199842 14420930560 10266 33554432000 4194304 4196468 140731215162432 140247890326432 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28715] ppid=28705 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28715/stat : 28715 (java) S 28705 28705 25340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223199842 14420930560 10266 33554432000 4194304 4196468 140731215162432 140247889273840 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28716] ppid=28705 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28716/stat : 28716 (java) S 28705 28705 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223199844 14420930560 10266 33554432000 4194304 4196468 140731215162432 140247888222416 140248551360411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28717] ppid=28705 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28707/task/28717/stat : 28717 (java) S 28705 28705 25340 0 -1 1077944384 699 0 0 0 3 0 0 0 20 0 15 0 223199844 14420930560 10266 33554432000 4194304 4196468 140731215162432 140247887170032 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28718] ppid=28705 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28707/task/28718/stat : 28718 (java) R 28705 28705 25340 0 -1 4202560 99 0 0 0 2 0 0 0 20 0 15 0 223199844 14420930560 10266 33554432000 4194304 4196468 140731215162432 140247886117488 140248544326857 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28719] ppid=28705 vsize=14082940 memory=140255149430400 CPUtime=0.07 cores=0,2,4,6
/proc/28707/task/28719/stat : 28719 (java) R 28705 28705 25340 0 -1 4202560 806 0 0 0 7 0 0 0 20 0 15 0 223199844 14420930560 10266 33554432000 4194304 4196468 140731215162432 140247885064944 140248551363162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28720] ppid=28705 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28720/stat : 28720 (java) S 28705 28705 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223199845 14420930560 10266 33554432000 4194304 4196468 140731215162432 140247884012640 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28721] ppid=28705 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28721/stat : 28721 (java) S 28705 28705 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223199845 14420930560 10266 33554432000 4194304 4196468 140731215162432 140247882959152 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42516 KiB
[startup+0.314338 s]*
/proc/loadavg: 1.54 1.47 1.52 5/217 28721
/proc/meminfo: memFree=17106060/32770624 swapFree=67108796/67108860
[pid=28705] ppid=28702 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28705/stat : 28705 (xcsp3-exec) S 28702 28705 25340 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223199838 115843072 363 33554432000 4194304 5098028 140732725657200 140732725655304 140294229561980 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34713600 140732725658682 140732725658884 140732725658884 140732725661642 0
/proc/28705/statm: 28282 363 306 221 0 87 0
[pid=28707] ppid=28705 vsize=14087196 memory=47932 CPUtime=0.53 cores=0,2,4,6
/proc/28707/stat : 28707 (java) S 28705 28705 25340 0 -1 1077944320 9186 0 0 0 50 3 0 0 20 0 15 0 223199839 14425288704 11983 33554432000 4194304 4196468 140731215162432 140731215144976 140248551341815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
/proc/28707/statm: 3521799 11983 3244 1 0 3483012 0
[pid=28707/tid=28708] ppid=28705 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/28707/task/28708/stat : 28708 (java) R 28705 28705 25340 0 -1 4202560 6095 0 0 0 27 2 0 0 20 0 15 0 223199839 14425288704 11983 33554432000 4194304 4196468 140731215162432 140248555575120 140248535422302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28709] ppid=28705 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28709/stat : 28709 (java) S 28705 28705 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223199840 14425288704 11983 33554432000 4194304 4196468 140731215162432 140248147290896 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28710] ppid=28705 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28710/stat : 28710 (java) S 28705 28705 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223199840 14425288704 11983 33554432000 4194304 4196468 140731215162432 140248146238352 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28711] ppid=28705 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28711/stat : 28711 (java) S 28705 28705 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223199840 14425288704 11983 33554432000 4194304 4196468 140731215162432 140248145185808 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28712] ppid=28705 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28712/stat : 28712 (java) S 28705 28705 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223199840 14425288704 11983 33554432000 4194304 4196468 140731215162432 140248144133264 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28713] ppid=28705 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28713/stat : 28713 (java) S 28705 28705 25340 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 223199841 14425288704 11983 33554432000 4194304 4196468 140731215162432 140247891380208 140248551352962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28714] ppid=28705 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28714/stat : 28714 (java) S 28705 28705 25340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223199842 14425288704 11983 33554432000 4194304 4196468 140731215162432 140247890326432 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28715] ppid=28705 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28715/stat : 28715 (java) S 28705 28705 25340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223199842 14425288704 11983 33554432000 4194304 4196468 140731215162432 140247889273840 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28716] ppid=28705 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28716/stat : 28716 (java) S 28705 28705 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223199844 14425288704 11983 33554432000 4194304 4196468 140731215162432 140247888222416 140248551360411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28717] ppid=28705 vsize=14087196 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/28707/task/28717/stat : 28717 (java) S 28705 28705 25340 0 -1 1077944384 711 0 0 0 4 0 0 0 20 0 15 0 223199844 14425288704 11983 33554432000 4194304 4196468 140731215162432 140247887170032 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28718] ppid=28705 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/28707/task/28718/stat : 28718 (java) S 28705 28705 25340 0 -1 1077944384 192 0 0 0 5 0 0 0 20 0 15 0 223199844 14425288704 11983 33554432000 4194304 4196468 140731215162432 140247886117488 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28719] ppid=28705 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/28707/task/28719/stat : 28719 (java) S 28705 28705 25340 0 -1 1077944384 881 0 0 0 12 0 0 0 20 0 15 0 223199844 14425288704 11983 33554432000 4194304 4196468 140731215162432 140247885064944 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28720] ppid=28705 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28720/stat : 28720 (java) S 28705 28705 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223199845 14425288704 11983 33554432000 4194304 4196468 140731215162432 140247884012640 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28721] ppid=28705 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28721/stat : 28721 (java) S 28705 28705 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223199845 14425288704 11983 33554432000 4194304 4196468 140731215162432 140247882959152 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49384 KiB
[startup+0.701059 s]
/proc/loadavg: 1.54 1.47 1.52 6/217 28721
/proc/meminfo: memFree=17030852/32770624 swapFree=67108796/67108860
[pid=28705] ppid=28702 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28705/stat : 28705 (xcsp3-exec) S 28702 28705 25340 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223199838 115843072 363 33554432000 4194304 5098028 140732725657200 140732725655304 140294229561980 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34713600 140732725658682 140732725658884 140732725658884 140732725661642 0
/proc/28705/statm: 28282 363 306 221 0 87 0
[pid=28707] ppid=28705 vsize=14089320 memory=191172 CPUtime=1.73 cores=0,2,4,6
/proc/28707/stat : 28707 (java) S 28705 28705 25340 0 -1 1077944320 14333 0 0 0 166 7 0 0 20 0 15 0 223199839 14427463680 47793 33554432000 4194304 4196468 140731215162432 140731215144976 140248551341815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
/proc/28707/statm: 3522330 47793 3369 1 0 3483524 0
[pid=28707/tid=28708] ppid=28705 vsize=14089320 memory=3472328296227679313 CPUtime=0.66 cores=0,2,4,6
/proc/28707/task/28708/stat : 28708 (java) R 28705 28705 25340 0 -1 4202560 6781 0 0 0 61 5 0 0 20 0 15 0 223199839 14427463680 47793 33554432000 4194304 4196468 140731215162432 140248555578816 140248147446768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28709] ppid=28705 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28709/stat : 28709 (java) S 28705 28705 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223199840 14427463680 47793 33554432000 4194304 4196468 140731215162432 140248147290896 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28710] ppid=28705 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28710/stat : 28710 (java) S 28705 28705 25340 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 223199840 14427463680 47793 33554432000 4194304 4196468 140731215162432 140248146238352 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28711] ppid=28705 vsize=14089320 memory=60612 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28711/stat : 28711 (java) S 28705 28705 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223199840 14427463680 47793 33554432000 4194304 4196468 140731215162432 140248145185808 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28712] ppid=28705 vsize=14089320 memory=2056 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28712/stat : 28712 (java) S 28705 28705 25340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223199840 14427463680 47793 33554432000 4194304 4196468 140731215162432 140248144133264 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28713] ppid=28705 vsize=14089320 memory=932 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28713/stat : 28713 (java) S 28705 28705 25340 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 223199841 14427463680 47793 33554432000 4194304 4196468 140731215162432 140247891380208 140248551352962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28714] ppid=28705 vsize=14089320 memory=1608 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28714/stat : 28714 (java) S 28705 28705 25340 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 223199842 14427463680 47793 33554432000 4194304 4196468 140731215162432 140247890326432 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28715] ppid=28705 vsize=14089320 memory=8628 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28715/stat : 28715 (java) S 28705 28705 25340 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 223199842 14427463680 47793 33554432000 4194304 4196468 140731215162432 140247889273840 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28716] ppid=28705 vsize=14089320 memory=1080 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28716/stat : 28716 (java) S 28705 28705 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223199844 14427463680 47793 33554432000 4194304 4196468 140731215162432 140247888222416 140248551360411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28717] ppid=28705 vsize=14089320 memory=752 CPUtime=0.32 cores=0,2,4,6
/proc/28707/task/28717/stat : 28717 (java) R 28705 28705 25340 0 -1 4202560 2154 0 0 0 32 0 0 0 20 0 15 0 223199844 14427463680 47793 33554432000 4194304 4196468 140731215162432 140247887156528 140248531033512 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28718] ppid=28705 vsize=14089320 memory=820 CPUtime=0.31 cores=0,2,4,6
/proc/28707/task/28718/stat : 28718 (java) R 28705 28705 25340 0 -1 4202560 1429 0 0 0 31 0 0 0 20 0 15 0 223199844 14427463680 47793 33554432000 4194304 4196468 140731215162432 140247886109440 140248534899216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28719] ppid=28705 vsize=14089320 memory=1592 CPUtime=0.39 cores=0,2,4,6
/proc/28707/task/28719/stat : 28719 (java) R 28705 28705 25340 0 -1 4202560 2555 0 0 0 38 1 0 0 20 0 15 0 223199844 14427463680 47793 33554432000 4194304 4196468 140731215162432 140247885061880 140248529847712 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28720] ppid=28705 vsize=14089320 memory=3804 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28720/stat : 28720 (java) S 28705 28705 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223199845 14427463680 47793 33554432000 4194304 4196468 140731215162432 140247884012640 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28721] ppid=28705 vsize=14089320 memory=3164 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28721/stat : 28721 (java) S 28705 28705 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223199845 14427463680 47793 33554432000 4194304 4196468 140731215162432 140247882959152 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 192624 KiB
[startup+1.50969 s]
/proc/loadavg: 1.54 1.47 1.52 6/217 28721
/proc/meminfo: memFree=16959868/32770624 swapFree=67108796/67108860
[pid=28705] ppid=28702 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28705/stat : 28705 (xcsp3-exec) S 28702 28705 25340 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223199838 115843072 363 33554432000 4194304 5098028 140732725657200 140732725655304 140294229561980 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34713600 140732725658682 140732725658884 140732725658884 140732725661642 0
/proc/28705/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/28705/stat : 28705 (xcsp3-exec) S 28702 28705 25340 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223199838 115843072 363 33554432000 4194304 5098028 140732725657200 140732725655304 140294229561980 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34713600 140732725658682 140732725658884 140732725658884 140732725661642 0
/proc/28705/statm: 28282 363 306 221 0 87 0
[pid=28707] ppid=28705 vsize=14091368 memory=271872 CPUtime=87.34 cores=0,2,4,6
/proc/28707/stat : 28707 (java) S 28705 28705 25340 0 -1 1077944320 43217 0 0 0 8718 16 0 0 20 0 15 0 223199839 14429560832 67968 33554432000 4194304 4196468 140731215162432 140731215144976 140248551341815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
/proc/28707/statm: 3522842 67968 3416 1 0 3484036 0
[pid=28707/tid=28708] ppid=28705 vsize=14091368 memory=267776 CPUtime=80.54 cores=0,2,4,6
/proc/28707/task/28708/stat : 28708 (java) R 28705 28705 25340 0 -1 4202560 10786 0 0 0 8047 7 0 0 20 0 15 0 223199839 14429560832 67968 33554432000 4194304 4196468 140731215162432 140248555578496 140248155376891 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28709] ppid=28705 vsize=14091368 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28709/stat : 28709 (java) S 28705 28705 25340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223199840 14429560832 67968 33554432000 4194304 4196468 140731215162432 140248147290896 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28710] ppid=28705 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28710/stat : 28710 (java) S 28705 28705 25340 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 223199840 14429560832 67968 33554432000 4194304 4196468 140731215162432 140248146238352 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28711] ppid=28705 vsize=14091368 memory=271872 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28711/stat : 28711 (java) S 28705 28705 25340 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 223199840 14429560832 67968 33554432000 4194304 4196468 140731215162432 140248145185808 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28712] ppid=28705 vsize=14091368 memory=1244 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28712/stat : 28712 (java) S 28705 28705 25340 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 223199840 14429560832 67968 33554432000 4194304 4196468 140731215162432 140248144133264 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28713] ppid=28705 vsize=14091368 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28713/stat : 28713 (java) S 28705 28705 25340 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 15 0 223199841 14429560832 67968 33554432000 4194304 4196468 140731215162432 140247891380208 140248551352962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28714] ppid=28705 vsize=14091368 memory=1776 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28714/stat : 28714 (java) S 28705 28705 25340 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 223199842 14429560832 67968 33554432000 4194304 4196468 140731215162432 140247890326496 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28715] ppid=28705 vsize=14091368 memory=5640 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28715/stat : 28715 (java) S 28705 28705 25340 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 223199842 14429560832 67968 33554432000 4194304 4196468 140731215162432 140247889273840 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28716] ppid=28705 vsize=14091368 memory=752 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28716/stat : 28716 (java) S 28705 28705 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223199844 14429560832 67968 33554432000 4194304 4196468 140731215162432 140247888222416 140248551360411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28717] ppid=28705 vsize=14091368 memory=820 CPUtime=3.01 cores=0,2,4,6
/proc/28707/task/28717/stat : 28717 (java) S 28705 28705 25340 0 -1 1077944384 13164 0 0 0 300 1 0 0 20 0 15 0 223199844 14429560832 67968 33554432000 4194304 4196468 140731215162432 140247887170032 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28718] ppid=28705 vsize=14091368 memory=1592 CPUtime=2.78 cores=0,2,4,6
/proc/28707/task/28718/stat : 28718 (java) S 28705 28705 25340 0 -1 1077944384 10425 0 0 0 276 2 0 0 20 0 15 0 223199844 14429560832 67968 33554432000 4194304 4196468 140731215162432 140247886117488 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28719] ppid=28705 vsize=14091368 memory=3804 CPUtime=0.88 cores=0,2,4,6
/proc/28707/task/28719/stat : 28719 (java) S 28705 28705 25340 0 -1 1077944384 6260 0 0 0 87 1 0 0 20 0 15 0 223199844 14429560832 67968 33554432000 4194304 4196468 140731215162432 140247885064944 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28720] ppid=28705 vsize=14091368 memory=3164 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28720/stat : 28720 (java) S 28705 28705 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223199845 14429560832 67968 33554432000 4194304 4196468 140731215162432 140247884012640 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28721] ppid=28705 vsize=14091368 memory=1244 CPUtime=0.04 cores=0,2,4,6
/proc/28707/task/28721/stat : 28721 (java) S 28705 28705 25340 0 -1 1077944384 735 0 0 0 2 2 0 0 20 0 15 0 223199845 14429560832 67968 33554432000 4194304 4196468 140731215162432 140247882959152 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
Current children cumulated CPU time: 87.34 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 273324 KiB
[startup+81.6009 s]
/proc/loadavg: 1.88 1.60 1.56 3/217 28722
/proc/meminfo: memFree=16881116/32770624 swapFree=67108796/67108860
[pid=28705] ppid=28702 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28705/stat : 28705 (xcsp3-exec) S 28702 28705 25340 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223199838 115843072 363 33554432000 4194304 5098028 140732725657200 140732725655304 140294229561980 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34713600 140732725658682 140732725658884 140732725658884 140732725661642 0
/proc/28705/statm: 28282 363 306 221 0 87 0
[pid=28707] ppid=28705 vsize=14091368 memory=273920 CPUtime=88.15 cores=0,2,4,6
/proc/28707/stat : 28707 (java) S 28705 28705 25340 0 -1 1077944320 43219 0 0 0 8799 16 0 0 20 0 15 0 223199839 14429560832 68480 33554432000 4194304 4196468 140731215162432 140731215144976 140248551341815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
/proc/28707/statm: 3522842 68480 3416 1 0 3484036 0
[pid=28707/tid=28708] ppid=28705 vsize=14091368 memory=15539617717815893 CPUtime=81.34 cores=0,2,4,6
/proc/28707/task/28708/stat : 28708 (java) R 28705 28705 25340 0 -1 4202560 10788 0 0 0 8127 7 0 0 20 0 15 0 223199839 14429560832 68480 33554432000 4194304 4196468 140731215162432 140248555578496 140248155727505 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28709] ppid=28705 vsize=14091368 memory=3977017353316886774 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28709/stat : 28709 (java) S 28705 28705 25340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223199840 14429560832 68480 33554432000 4194304 4196468 140731215162432 140248147290896 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28710] ppid=28705 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28710/stat : 28710 (java) S 28705 28705 25340 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 223199840 14429560832 68480 33554432000 4194304 4196468 140731215162432 140248146238352 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28711] ppid=28705 vsize=14091368 memory=271872 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28711/stat : 28711 (java) S 28705 28705 25340 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 223199840 14429560832 68480 33554432000 4194304 4196468 140731215162432 140248145185808 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28712] ppid=28705 vsize=14091368 memory=3160 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28712/stat : 28712 (java) S 28705 28705 25340 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 223199840 14429560832 68480 33554432000 4194304 4196468 140731215162432 140248144133264 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28713] ppid=28705 vsize=14091368 memory=496 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28713/stat : 28713 (java) S 28705 28705 25340 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 15 0 223199841 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247891380208 140248551352962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28714] ppid=28705 vsize=14091368 memory=1600 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28714/stat : 28714 (java) S 28705 28705 25340 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 223199842 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247890326496 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28715] ppid=28705 vsize=14091368 memory=60612 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28715/stat : 28715 (java) S 28705 28705 25340 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 223199842 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247889273840 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28716] ppid=28705 vsize=14091368 memory=2056 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28716/stat : 28716 (java) S 28705 28705 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223199844 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247888222416 140248551360411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28717] ppid=28705 vsize=14091368 memory=932 CPUtime=3.01 cores=0,2,4,6
/proc/28707/task/28717/stat : 28717 (java) S 28705 28705 25340 0 -1 1077944384 13164 0 0 0 300 1 0 0 20 0 15 0 223199844 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247887170032 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28718] ppid=28705 vsize=14091368 memory=1608 CPUtime=2.78 cores=0,2,4,6
/proc/28707/task/28718/stat : 28718 (java) S 28705 28705 25340 0 -1 1077944384 10425 0 0 0 276 2 0 0 20 0 15 0 223199844 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247886117488 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28719] ppid=28705 vsize=14091368 memory=8628 CPUtime=0.88 cores=0,2,4,6
/proc/28707/task/28719/stat : 28719 (java) S 28705 28705 25340 0 -1 1077944384 6260 0 0 0 87 1 0 0 20 0 15 0 223199844 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247885064944 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28720] ppid=28705 vsize=14091368 memory=2056 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28720/stat : 28720 (java) S 28705 28705 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223199845 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247884012640 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28721] ppid=28705 vsize=14091368 memory=932 CPUtime=0.04 cores=0,2,4,6
/proc/28707/task/28721/stat : 28721 (java) S 28705 28705 25340 0 -1 1077944384 735 0 0 0 2 2 0 0 20 0 15 0 223199845 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247882959152 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
Current children cumulated CPU time: 88.15 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 275372 KiB
[startup+82.0009 s]*
/proc/loadavg: 1.88 1.60 1.56 3/217 28722
/proc/meminfo: memFree=16879068/32770624 swapFree=67108796/67108860
[pid=28705] ppid=28702 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28705/stat : 28705 (xcsp3-exec) S 28702 28705 25340 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223199838 115843072 363 33554432000 4194304 5098028 140732725657200 140732725655304 140294229561980 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34713600 140732725658682 140732725658884 140732725658884 140732725661642 0
/proc/28705/statm: 28282 363 306 221 0 87 0
[pid=28707] ppid=28705 vsize=14091368 memory=273920 CPUtime=88.55 cores=0,2,4,6
/proc/28707/stat : 28707 (java) S 28705 28705 25340 0 -1 1077944320 43219 0 0 0 8839 16 0 0 20 0 15 0 223199839 14429560832 68480 33554432000 4194304 4196468 140731215162432 140731215144976 140248551341815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
/proc/28707/statm: 3522842 68480 3416 1 0 3484036 0
[pid=28707/tid=28708] ppid=28705 vsize=14091368 memory=6791534058613427641 CPUtime=81.75 cores=0,2,4,6
/proc/28707/task/28708/stat : 28708 (java) R 28705 28705 25340 0 -1 4202560 10788 0 0 0 8168 7 0 0 20 0 15 0 223199839 14429560832 68480 33554432000 4194304 4196468 140731215162432 140248555578496 140248156020655 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28709] ppid=28705 vsize=14091368 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28709/stat : 28709 (java) S 28705 28705 25340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223199840 14429560832 68480 33554432000 4194304 4196468 140731215162432 140248147290896 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28710] ppid=28705 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28710/stat : 28710 (java) S 28705 28705 25340 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 223199840 14429560832 68480 33554432000 4194304 4196468 140731215162432 140248146238352 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28711] ppid=28705 vsize=14091368 memory=271872 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28711/stat : 28711 (java) S 28705 28705 25340 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 223199840 14429560832 68480 33554432000 4194304 4196468 140731215162432 140248145185808 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28712] ppid=28705 vsize=14091368 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28712/stat : 28712 (java) S 28705 28705 25340 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 223199840 14429560832 68480 33554432000 4194304 4196468 140731215162432 140248144133264 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28713] ppid=28705 vsize=14091368 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28713/stat : 28713 (java) S 28705 28705 25340 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 15 0 223199841 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247891380208 140248551352962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28714] ppid=28705 vsize=14091368 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28714/stat : 28714 (java) S 28705 28705 25340 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 223199842 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247890326496 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28715] ppid=28705 vsize=14091368 memory=3152 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28715/stat : 28715 (java) S 28705 28705 25340 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 223199842 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247889273840 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28716] ppid=28705 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28716/stat : 28716 (java) S 28705 28705 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223199844 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247888222416 140248551360411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28717] ppid=28705 vsize=14091368 memory=264948 CPUtime=3.01 cores=0,2,4,6
/proc/28707/task/28717/stat : 28717 (java) S 28705 28705 25340 0 -1 1077944384 13164 0 0 0 300 1 0 0 20 0 15 0 223199844 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247887170032 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28718] ppid=28705 vsize=14091368 memory=1408 CPUtime=2.78 cores=0,2,4,6
/proc/28707/task/28718/stat : 28718 (java) S 28705 28705 25340 0 -1 1077944384 10425 0 0 0 276 2 0 0 20 0 15 0 223199844 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247886117488 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28719] ppid=28705 vsize=14091368 memory=2948 CPUtime=0.88 cores=0,2,4,6
/proc/28707/task/28719/stat : 28719 (java) S 28705 28705 25340 0 -1 1077944384 6260 0 0 0 87 1 0 0 20 0 15 0 223199844 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247885064944 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28720] ppid=28705 vsize=14091368 memory=33 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28720/stat : 28720 (java) S 28705 28705 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223199845 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247884012640 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28721] ppid=28705 vsize=14091368 memory=7100839861465685612 CPUtime=0.04 cores=0,2,4,6
/proc/28707/task/28721/stat : 28721 (java) S 28705 28705 25340 0 -1 1077944384 735 0 0 0 2 2 0 0 20 0 15 0 223199845 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247882959152 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
Current children cumulated CPU time: 88.55 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 275372 KiB
[startup+82.1103 s]
/proc/loadavg: 1.88 1.60 1.56 3/217 28722
/proc/meminfo: memFree=16879068/32770624 swapFree=67108796/67108860
[pid=28705] ppid=28702 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28705/stat : 28705 (xcsp3-exec) S 28702 28705 25340 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223199838 115843072 363 33554432000 4194304 5098028 140732725657200 140732725655304 140294229561980 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34713600 140732725658682 140732725658884 140732725658884 140732725661642 0
/proc/28705/statm: 28282 363 306 221 0 87 0
[pid=28707] ppid=28705 vsize=14091368 memory=273920 CPUtime=88.65 cores=0,2,4,6
/proc/28707/stat : 28707 (java) S 28705 28705 25340 0 -1 1077944320 43219 0 0 0 8849 16 0 0 20 0 15 0 223199839 14429560832 68480 33554432000 4194304 4196468 140731215162432 140731215144976 140248551341815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
/proc/28707/statm: 3522842 68480 3416 1 0 3484036 0
[pid=28707/tid=28708] ppid=28705 vsize=14091368 memory=273920 CPUtime=81.85 cores=0,2,4,6
/proc/28707/task/28708/stat : 28708 (java) R 28705 28705 25340 0 -1 4202560 10788 0 0 0 8178 7 0 0 20 0 15 0 223199839 14429560832 68480 33554432000 4194304 4196468 140731215162432 140248555578496 140248155534668 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28709] ppid=28705 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28709/stat : 28709 (java) S 28705 28705 25340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223199840 14429560832 68480 33554432000 4194304 4196468 140731215162432 140248147290896 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28710] ppid=28705 vsize=14091368 memory=273920 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28710/stat : 28710 (java) S 28705 28705 25340 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 223199840 14429560832 68480 33554432000 4194304 4196468 140731215162432 140248146238352 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28711] ppid=28705 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28711/stat : 28711 (java) S 28705 28705 25340 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 223199840 14429560832 68480 33554432000 4194304 4196468 140731215162432 140248145185808 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28712] ppid=28705 vsize=14091368 memory=255392 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28712/stat : 28712 (java) S 28705 28705 25340 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 223199840 14429560832 68480 33554432000 4194304 4196468 140731215162432 140248144133264 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28713] ppid=28705 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28713/stat : 28713 (java) S 28705 28705 25340 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 15 0 223199841 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247891380208 140248551352962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28714] ppid=28705 vsize=14091368 memory=269824 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28714/stat : 28714 (java) S 28705 28705 25340 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 223199842 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247890326496 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28715] ppid=28705 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28715/stat : 28715 (java) S 28705 28705 25340 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 223199842 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247889273840 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28716] ppid=28705 vsize=14091368 memory=271872 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28716/stat : 28716 (java) S 28705 28705 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223199844 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247888222416 140248551360411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28717] ppid=28705 vsize=14091368 memory=1452 CPUtime=3.01 cores=0,2,4,6
/proc/28707/task/28717/stat : 28717 (java) S 28705 28705 25340 0 -1 1077944384 13164 0 0 0 300 1 0 0 20 0 15 0 223199844 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247887170032 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28718] ppid=28705 vsize=14091368 memory=269824 CPUtime=2.78 cores=0,2,4,6
/proc/28707/task/28718/stat : 28718 (java) S 28705 28705 25340 0 -1 1077944384 10425 0 0 0 276 2 0 0 20 0 15 0 223199844 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247886117488 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28719] ppid=28705 vsize=14091368 memory=271872 CPUtime=0.88 cores=0,2,4,6
/proc/28707/task/28719/stat : 28719 (java) S 28705 28705 25340 0 -1 1077944384 6260 0 0 0 87 1 0 0 20 0 15 0 223199844 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247885064944 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28720] ppid=28705 vsize=14091368 memory=280510086191456 CPUtime=0 cores=0,2,4,6
/proc/28707/task/28720/stat : 28720 (java) S 28705 28705 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223199845 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247884012640 140248551352021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
[pid=28707/tid=28721] ppid=28705 vsize=14091368 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28707/task/28721/stat : 28721 (java) S 28705 28705 25340 0 -1 1077944384 735 0 0 0 2 2 0 0 20 0 15 0 223199845 14429560832 68480 33554432000 4194304 4196468 140731215162432 140247882959152 140248551352962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 27168768 140731215168646 140731215168817 140731215168817 140731215171535 0
Current children cumulated CPU time: 88.65 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 275372 KiB
Child status: 0
Real time (s): 82.1523
CPU time (s): 88.7116
CPU user time (s): 88.5337
CPU system time (s): 0.177915
CPU usage (%): 107.984
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 275372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.5337
system time used= 0.177915
maximum resident set size= 276556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44415
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4621
involuntary context switches= 128
# summary of solver processes directly reported to runsolver:
# pid: 28705
# total CPU time (s): 88.7116
# total CPU user time (s): 88.5337
# total CPU system time (s): 0.177915
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.569571 second user time and 0.829439 second system time
The end