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 (7025 MiB free)
memory of node 1: 16384 MiB (4507 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306857-1534138525/watcher-4306857-1534138525 -o /tmp/evaluation-result-4306857-1534138525/solver-4306857-1534138525 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534138525-29335 --watchdog 2580 HOME/xcsp3-exec -seed 1213968396 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306857-1534138525.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29366, runsolver pid=29363
[startup+0.100058 s]*
/proc/loadavg: 2.00 2.01 1.98 4/221 29395
/proc/meminfo: memFree=11779148/32770624 swapFree=67108852/67108860
[pid=29366] ppid=29363 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29366/stat : 29366 (xcsp3-exec) S 29363 29366 28743 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 231415654 115843072 363 33554432000 4194304 5098028 140736531160608 140736531158712 140270248317564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25333760 140736531162170 140736531162372 140736531162372 140736531165130 0
/proc/29366/statm: 28282 363 306 221 0 87 0
[pid=29368] ppid=29366 vsize=14082940 memory=28404 CPUtime=0.12 cores=1,3,5,7
/proc/29368/stat : 29368 (java) S 29366 29366 28743 0 -1 1077944320 5521 0 0 0 10 2 0 0 20 0 15 0 231415654 14420930560 7101 33554432000 4194304 4196468 140726082532352 140726082514896 140190527155959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
/proc/29368/statm: 3520735 7101 3001 1 0 3483012 0
[pid=29368/tid=29373] ppid=29366 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/29368/task/29373/stat : 29373 (java) R 29366 29366 28743 0 -1 4202560 3526 0 0 0 8 1 0 0 20 0 15 0 231415655 14420930560 7101 33554432000 4194304 4196468 140726082532352 140190531387648 140190509584214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29374] ppid=29366 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29374/stat : 29374 (java) S 29366 29366 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231415655 14420930560 7101 33554432000 4194304 4196468 140726082532352 140190485916816 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29375] ppid=29366 vsize=14082940 memory=140244986865280 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29375/stat : 29375 (java) S 29366 29366 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231415655 14420930560 7101 33554432000 4194304 4196468 140726082532352 140190121540624 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29376] ppid=29366 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29376/stat : 29376 (java) S 29366 29366 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231415655 14420930560 7101 33554432000 4194304 4196468 140726082532352 140190120487824 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29377] ppid=29366 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29377/stat : 29377 (java) S 29366 29366 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231415655 14420930560 7101 33554432000 4194304 4196468 140726082532352 140190119435024 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29381] ppid=29366 vsize=14082940 memory=140244986865280 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29381/stat : 29381 (java) S 29366 29366 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231415657 14420930560 7101 33554432000 4194304 4196468 140726082532352 140189439695216 140190527167106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29382] ppid=29366 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29382/stat : 29382 (java) S 29366 29366 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 231415657 14420930560 7101 33554432000 4194304 4196468 140726082532352 140189438641184 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29383] ppid=29366 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29383/stat : 29383 (java) S 29366 29366 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231415657 14420930560 7101 33554432000 4194304 4196468 140726082532352 140189437588336 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29390] ppid=29366 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29390/stat : 29390 (java) S 29366 29366 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231415660 14420930560 7101 33554432000 4194304 4196468 140726082532352 140189436536656 140190527174555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29391] ppid=29366 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29391/stat : 29391 (java) S 29366 29366 28743 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 231415660 14420930560 7101 33554432000 4194304 4196468 140726082532352 140189435485040 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29392] ppid=29366 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29392/stat : 29392 (java) S 29366 29366 28743 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 231415660 14420930560 7101 33554432000 4194304 4196468 140726082532352 140189434432240 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29393] ppid=29366 vsize=14082940 memory=140244986865280 CPUtime=0.01 cores=1,3,5,7
/proc/29368/task/29393/stat : 29393 (java) R 29366 29366 28743 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 231415660 14420930560 7101 33554432000 4194304 4196468 140726082532352 140189433379440 140190508393520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29394] ppid=29366 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29394/stat : 29394 (java) S 29366 29366 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231415660 14420930560 7166 33554432000 4194304 4196468 140726082532352 140189432326880 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29395] ppid=29366 vsize=14082940 memory=140244986865280 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29395/stat : 29395 (java) S 29366 29366 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231415660 14420930560 7166 33554432000 4194304 4196468 140726082532352 140189431274160 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29856 KiB
[startup+0.210765 s]*
/proc/loadavg: 2.00 2.01 1.98 5/221 29395
/proc/meminfo: memFree=11755048/32770624 swapFree=67108852/67108860
[pid=29366] ppid=29363 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29366/stat : 29366 (xcsp3-exec) S 29363 29366 28743 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 231415654 115843072 363 33554432000 4194304 5098028 140736531160608 140736531158712 140270248317564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25333760 140736531162170 140736531162372 140736531162372 140736531165130 0
/proc/29366/statm: 28282 363 306 221 0 87 0
[pid=29368] ppid=29366 vsize=14082940 memory=41412 CPUtime=0.34 cores=1,3,5,7
/proc/29368/stat : 29368 (java) S 29366 29366 28743 0 -1 1077944320 8375 0 0 0 31 3 0 0 20 0 15 0 231415654 14420930560 10353 33554432000 4194304 4196468 140726082532352 140726082514896 140190527155959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
/proc/29368/statm: 3520735 10353 3183 1 0 3483012 0
[pid=29368/tid=29373] ppid=29366 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/29368/task/29373/stat : 29373 (java) R 29366 29366 28743 0 -1 4202560 5440 0 0 0 18 2 0 0 20 0 15 0 231415655 14420930560 10353 33554432000 4194304 4196468 140726082532352 140190531390944 140190511236446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29374] ppid=29366 vsize=14082940 memory=8969 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29374/stat : 29374 (java) S 29366 29366 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231415655 14420930560 10353 33554432000 4194304 4196468 140726082532352 140190485916816 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29375] ppid=29366 vsize=14082940 memory=288370621138577024 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29375/stat : 29375 (java) S 29366 29366 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231415655 14420930560 10353 33554432000 4194304 4196468 140726082532352 140190121540624 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29376] ppid=29366 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29376/stat : 29376 (java) S 29366 29366 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231415655 14420930560 10353 33554432000 4194304 4196468 140726082532352 140190120487824 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29377] ppid=29366 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29377/stat : 29377 (java) S 29366 29366 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231415655 14420930560 10353 33554432000 4194304 4196468 140726082532352 140190119435024 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29381] ppid=29366 vsize=14082940 memory=140244986865280 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29381/stat : 29381 (java) S 29366 29366 28743 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231415657 14420930560 10353 33554432000 4194304 4196468 140726082532352 140189439695216 140190527167106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29382] ppid=29366 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29382/stat : 29382 (java) S 29366 29366 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 231415657 14420930560 10353 33554432000 4194304 4196468 140726082532352 140189438641184 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29383] ppid=29366 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29383/stat : 29383 (java) S 29366 29366 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231415657 14420930560 10353 33554432000 4194304 4196468 140726082532352 140189437588336 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29390] ppid=29366 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29390/stat : 29390 (java) S 29366 29366 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231415660 14420930560 10353 33554432000 4194304 4196468 140726082532352 140189436536656 140190527174555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29391] ppid=29366 vsize=14082940 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29368/task/29391/stat : 29391 (java) S 29366 29366 28743 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 15 0 231415660 14420930560 10353 33554432000 4194304 4196468 140726082532352 140189435485040 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29392] ppid=29366 vsize=14082940 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/29368/task/29392/stat : 29392 (java) S 29366 29366 28743 0 -1 1077944384 516 0 0 0 3 0 0 0 20 0 15 0 231415660 14420930560 10353 33554432000 4194304 4196468 140726082532352 140189434432240 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29393] ppid=29366 vsize=14082940 memory=140244986865280 CPUtime=0.08 cores=1,3,5,7
/proc/29368/task/29393/stat : 29393 (java) S 29366 29366 28743 0 -1 1077944384 772 0 0 0 8 0 0 0 20 0 15 0 231415660 14420930560 10353 33554432000 4194304 4196468 140726082532352 140189433379440 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29394] ppid=29366 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29394/stat : 29394 (java) S 29366 29366 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231415660 14420930560 10353 33554432000 4194304 4196468 140726082532352 140189432326880 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29395] ppid=29366 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29395/stat : 29395 (java) S 29366 29366 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231415660 14420963328 10353 33554432000 4194304 4196468 140726082532352 140189431274160 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42864 KiB
[startup+0.316957 s]*
/proc/loadavg: 2.00 2.01 1.98 4/221 29395
/proc/meminfo: memFree=11741524/32770624 swapFree=67108852/67108860
[pid=29366] ppid=29363 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29366/stat : 29366 (xcsp3-exec) S 29363 29366 28743 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 231415654 115843072 363 33554432000 4194304 5098028 140736531160608 140736531158712 140270248317564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25333760 140736531162170 140736531162372 140736531162372 140736531165130 0
/proc/29366/statm: 28282 363 306 221 0 87 0
[pid=29368] ppid=29366 vsize=14087196 memory=48544 CPUtime=0.54 cores=1,3,5,7
/proc/29368/stat : 29368 (java) S 29366 29366 28743 0 -1 1077944320 9350 0 0 0 50 4 0 0 20 0 15 0 231415654 14425288704 12130 33554432000 4194304 4196468 140726082532352 140726082514896 140190527155959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
/proc/29368/statm: 3521799 12136 3225 1 0 3483012 0
[pid=29368/tid=29373] ppid=29366 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/29368/task/29373/stat : 29373 (java) R 29366 29366 28743 0 -1 4202560 6236 0 0 0 28 2 0 0 20 0 15 0 231415655 14425288704 12136 33554432000 4194304 4196468 140726082532352 140190531387072 140190511236476 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29374] ppid=29366 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29374/stat : 29374 (java) S 29366 29366 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231415655 14425288704 12136 33554432000 4194304 4196468 140726082532352 140190485916816 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29375] ppid=29366 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29375/stat : 29375 (java) S 29366 29366 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231415655 14425288704 12136 33554432000 4194304 4196468 140726082532352 140190121540624 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29376] ppid=29366 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29376/stat : 29376 (java) S 29366 29366 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231415655 14425288704 12136 33554432000 4194304 4196468 140726082532352 140190120487824 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29377] ppid=29366 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29377/stat : 29377 (java) S 29366 29366 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231415655 14425288704 12136 33554432000 4194304 4196468 140726082532352 140190119435024 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29381] ppid=29366 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29381/stat : 29381 (java) S 29366 29366 28743 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231415657 14425288704 12136 33554432000 4194304 4196468 140726082532352 140189439695216 140190527167106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29382] ppid=29366 vsize=14087196 memory=-9001728533042062950 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29382/stat : 29382 (java) S 29366 29366 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 231415657 14425288704 12136 33554432000 4194304 4196468 140726082532352 140189438641184 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29383] ppid=29366 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29383/stat : 29383 (java) S 29366 29366 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231415657 14425288704 12136 33554432000 4194304 4196468 140726082532352 140189437588336 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29390] ppid=29366 vsize=14087196 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29390/stat : 29390 (java) S 29366 29366 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231415660 14425288704 12136 33554432000 4194304 4196468 140726082532352 140189436536656 140190527174555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29391] ppid=29366 vsize=14087196 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/29368/task/29391/stat : 29391 (java) S 29366 29366 28743 0 -1 1077944384 448 0 0 0 4 0 0 0 20 0 15 0 231415660 14425288704 12136 33554432000 4194304 4196468 140726082532352 140189435485040 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29392] ppid=29366 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/29368/task/29392/stat : 29392 (java) S 29366 29366 28743 0 -1 1077944384 528 0 0 0 5 0 0 0 20 0 15 0 231415660 14425288704 12136 33554432000 4194304 4196468 140726082532352 140189434432240 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29393] ppid=29366 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/29368/task/29393/stat : 29393 (java) S 29366 29366 28743 0 -1 1077944384 833 0 0 0 12 0 0 0 20 0 15 0 231415660 14425288704 12136 33554432000 4194304 4196468 140726082532352 140189433379440 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29394] ppid=29366 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29394/stat : 29394 (java) S 29366 29366 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231415660 14425288704 12136 33554432000 4194304 4196468 140726082532352 140189432326880 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29395] ppid=29366 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29395/stat : 29395 (java) S 29366 29366 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231415660 14425288704 12136 33554432000 4194304 4196468 140726082532352 140189431274160 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49996 KiB
[startup+0.70081 s]
/proc/loadavg: 2.00 2.01 1.98 8/221 29395
/proc/meminfo: memFree=11715344/32770624 swapFree=67108852/67108860
[pid=29366] ppid=29363 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29366/stat : 29366 (xcsp3-exec) S 29363 29366 28743 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 231415654 115843072 363 33554432000 4194304 5098028 140736531160608 140736531158712 140270248317564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25333760 140736531162170 140736531162372 140736531162372 140736531165130 0
/proc/29366/statm: 28282 363 306 221 0 87 0
[pid=29368] ppid=29366 vsize=14089320 memory=70440 CPUtime=1.58 cores=1,3,5,7
/proc/29368/stat : 29368 (java) S 29366 29366 28743 0 -1 1077944320 12862 0 0 0 153 5 0 0 20 0 15 0 231415654 14427463680 17610 33554432000 4194304 4196468 140726082532352 140726082514896 140190527155959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
/proc/29368/statm: 3522330 17610 3364 1 0 3483524 0
[pid=29368/tid=29373] ppid=29366 vsize=14089320 memory=62960 CPUtime=0.66 cores=1,3,5,7
/proc/29368/task/29373/stat : 29373 (java) R 29366 29366 28743 0 -1 4202560 6927 0 0 0 63 3 0 0 20 0 15 0 231415655 14427463680 17610 33554432000 4194304 4196468 140726082532352 140190531395232 140190163180528 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29374] ppid=29366 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29374/stat : 29374 (java) S 29366 29366 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231415655 14427463680 17610 33554432000 4194304 4196468 140726082532352 140190485916816 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29375] ppid=29366 vsize=14089320 memory=2252 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29375/stat : 29375 (java) S 29366 29366 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231415655 14427463680 17610 33554432000 4194304 4196468 140726082532352 140190121540624 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29376] ppid=29366 vsize=14089320 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29376/stat : 29376 (java) S 29366 29366 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231415655 14427463680 17610 33554432000 4194304 4196468 140726082532352 140190120487824 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29377] ppid=29366 vsize=14089320 memory=756 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29377/stat : 29377 (java) S 29366 29366 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231415655 14427463680 17610 33554432000 4194304 4196468 140726082532352 140190119435024 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29381] ppid=29366 vsize=14089320 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29381/stat : 29381 (java) S 29366 29366 28743 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231415657 14427463680 17610 33554432000 4194304 4196468 140726082532352 140189439695216 140190527167106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29382] ppid=29366 vsize=14089320 memory=11796 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29382/stat : 29382 (java) S 29366 29366 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 231415657 14427463680 17610 33554432000 4194304 4196468 140726082532352 140189438641184 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29383] ppid=29366 vsize=14089320 memory=5772 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29383/stat : 29383 (java) S 29366 29366 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231415657 14427463680 17610 33554432000 4194304 4196468 140726082532352 140189437588336 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29390] ppid=29366 vsize=14089320 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29390/stat : 29390 (java) S 29366 29366 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231415660 14427463680 17610 33554432000 4194304 4196468 140726082532352 140189436536656 140190527174555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29391] ppid=29366 vsize=14089320 memory=1388 CPUtime=0.26 cores=1,3,5,7
/proc/29368/task/29391/stat : 29391 (java) R 29366 29366 28743 0 -1 4202560 1446 0 0 0 26 0 0 0 20 0 15 0 231415660 14427463680 17610 33554432000 4194304 4196468 140726082532352 140189435476368 140190508700048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29392] ppid=29366 vsize=14089320 memory=1228 CPUtime=0.25 cores=1,3,5,7
/proc/29368/task/29392/stat : 29392 (java) R 29366 29366 28743 0 -1 4202560 1408 0 0 0 25 0 0 0 20 0 15 0 231415660 14427463680 17610 33554432000 4194304 4196468 140726082532352 140189434418296 140190511559270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29393] ppid=29366 vsize=14089320 memory=880 CPUtime=0.37 cores=1,3,5,7
/proc/29368/task/29393/stat : 29393 (java) S 29366 29366 28743 0 -1 1077944384 1773 0 0 0 37 0 0 0 20 0 15 0 231415660 14427463680 17610 33554432000 4194304 4196468 140726082532352 140189433379440 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29394] ppid=29366 vsize=14089320 memory=1940 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29394/stat : 29394 (java) S 29366 29366 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231415660 14427463680 17610 33554432000 4194304 4196468 140726082532352 140189432326880 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29395] ppid=29366 vsize=14089320 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29395/stat : 29395 (java) S 29366 29366 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231415660 14427463680 17610 33554432000 4194304 4196468 140726082532352 140189431274160 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 71892 KiB
[startup+1.50084 s]
/proc/loadavg: 2.00 2.01 1.98 7/221 29395
/proc/meminfo: memFree=11667840/32770624 swapFree=67108852/67108860
[pid=29366] ppid=29363 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29366/stat : 29366 (xcsp3-exec) S 29363 29366 28743 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 231415654 115843072 363 33554432000 4194304 5098028 140736531160608 140736531158712 140270248317564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25333760 140736531162170 140736531162372 140736531162372 140736531165130 0
/proc/29366/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/29368/task/29383/stat : 29383 (java) S 29366 29366 28743 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 231415657 14427463680 901601 33554432000 4194304 4196468 140726082532352 140189437588336 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29390] ppid=29366 vsize=14089320 memory=2300 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29390/stat : 29390 (java) S 29366 29366 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231415660 14427463680 901601 33554432000 4194304 4196468 140726082532352 140189436536656 140190527174555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29391] ppid=29366 vsize=14089320 memory=2300 CPUtime=1.8 cores=1,3,5,7
/proc/29368/task/29391/stat : 29391 (java) S 29366 29366 28743 0 -1 1077944384 13256 0 0 0 179 1 0 0 20 0 15 0 231415660 14427463680 901601 33554432000 4194304 4196468 140726082532352 140189435485040 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29392] ppid=29366 vsize=14089320 memory=1408 CPUtime=1.43 cores=1,3,5,7
/proc/29368/task/29392/stat : 29392 (java) S 29366 29366 28743 0 -1 1077944384 11253 0 0 0 142 1 0 0 20 0 15 0 231415660 14427463680 901601 33554432000 4194304 4196468 140726082532352 140189434432240 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29393] ppid=29366 vsize=14089320 memory=3336 CPUtime=0.52 cores=1,3,5,7
/proc/29368/task/29393/stat : 29393 (java) S 29366 29366 28743 0 -1 1077944384 8041 0 0 0 51 1 0 0 20 0 15 0 231415660 14427463680 901601 33554432000 4194304 4196468 140726082532352 140189433379440 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29394] ppid=29366 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29394/stat : 29394 (java) S 29366 29366 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231415660 14427463680 901601 33554432000 4194304 4196468 140726082532352 140189432326880 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29395] ppid=29366 vsize=14089320 memory=166364 CPUtime=0.52 cores=1,3,5,7
/proc/29368/task/29395/stat : 29395 (java) S 29366 29366 28743 0 -1 1077944384 1391 0 0 0 20 32 0 0 20 0 15 0 231415660 14427463680 901601 33554432000 4194304 4196468 140726082532352 140189431274160 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
Current children cumulated CPU time: 2392.54 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 3607856 KiB
[startup+2442.3 s]
/proc/loadavg: 1.90 1.85 1.85 3/221 29498
/proc/meminfo: memFree=8052648/32770624 swapFree=67108852/67108860
[pid=29366] ppid=29363 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29366/stat : 29366 (xcsp3-exec) S 29363 29366 28743 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 231415654 115843072 363 33554432000 4194304 5098028 140736531160608 140736531158712 140270248317564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25333760 140736531162170 140736531162372 140736531162372 140736531165130 0
/proc/29366/statm: 28282 363 306 221 0 87 0
[pid=29368] ppid=29366 vsize=14089320 memory=3606536 CPUtime=2452.58 cores=1,3,5,7
/proc/29368/stat : 29368 (java) S 29366 29366 28743 0 -1 1077944320 209747 0 0 0 244286 972 0 0 20 0 15 0 231415654 14427463680 901634 33554432000 4194304 4196468 140726082532352 140726082514896 140190527155959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
/proc/29368/statm: 3522330 901634 3429 1 0 3483524 0
[pid=29368/tid=29373] ppid=29366 vsize=14089320 memory=13847456437766433 CPUtime=2438.72 cores=1,3,5,7
/proc/29368/task/29373/stat : 29373 (java) R 29366 29366 28743 0 -1 4202560 138432 0 0 0 242984 888 0 0 20 0 15 0 231415655 14427463680 901634 33554432000 4194304 4196468 140726082532352 140190531395392 140190167813000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29374] ppid=29366 vsize=14089320 memory=808 CPUtime=2.06 cores=1,3,5,7
/proc/29368/task/29374/stat : 29374 (java) S 29366 29366 28743 0 -1 1077944384 4268 0 0 0 200 6 0 0 20 0 15 0 231415655 14427463680 901634 33554432000 4194304 4196468 140726082532352 140190485916816 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29375] ppid=29366 vsize=14089320 memory=6791534058613427641 CPUtime=2.06 cores=1,3,5,7
/proc/29368/task/29375/stat : 29375 (java) S 29366 29366 28743 0 -1 1077944384 4986 0 0 0 200 6 0 0 20 0 15 0 231415655 14427463680 901634 33554432000 4194304 4196468 140726082532352 140190121540624 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29376] ppid=29366 vsize=14089320 memory=916 CPUtime=2.06 cores=1,3,5,7
/proc/29368/task/29376/stat : 29376 (java) S 29366 29366 28743 0 -1 1077944384 5594 0 0 0 198 8 0 0 20 0 15 0 231415655 14427463680 901634 33554432000 4194304 4196468 140726082532352 140190120487824 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29377] ppid=29366 vsize=14089320 memory=3848 CPUtime=2.06 cores=1,3,5,7
/proc/29368/task/29377/stat : 29377 (java) S 29366 29366 28743 0 -1 1077944384 5231 0 0 0 199 7 0 0 20 0 15 0 231415655 14427463680 901634 33554432000 4194304 4196468 140726082532352 140190119435024 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29381] ppid=29366 vsize=14089320 memory=4104 CPUtime=1.23 cores=1,3,5,7
/proc/29368/task/29381/stat : 29381 (java) S 29366 29366 28743 0 -1 1077944384 15904 0 0 0 93 30 0 0 20 0 15 0 231415657 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189439695216 140190527167106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29382] ppid=29366 vsize=14089320 memory=2300 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29382/stat : 29382 (java) S 29366 29366 28743 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 231415657 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189438641184 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29383] ppid=29366 vsize=14089320 memory=2300 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29383/stat : 29383 (java) S 29366 29366 28743 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 231415657 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189437588336 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29390] ppid=29366 vsize=14089320 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29390/stat : 29390 (java) S 29366 29366 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189436536656 140190527174555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29391] ppid=29366 vsize=14089320 memory=3336 CPUtime=1.8 cores=1,3,5,7
/proc/29368/task/29391/stat : 29391 (java) S 29366 29366 28743 0 -1 1077944384 13258 0 0 0 179 1 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189435485040 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29392] ppid=29366 vsize=14089320 memory=6791534058613427641 CPUtime=1.43 cores=1,3,5,7
/proc/29368/task/29392/stat : 29392 (java) S 29366 29366 28743 0 -1 1077944384 11255 0 0 0 142 1 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189434432240 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29393] ppid=29366 vsize=14089320 memory=168424 CPUtime=0.52 cores=1,3,5,7
/proc/29368/task/29393/stat : 29393 (java) S 29366 29366 28743 0 -1 1077944384 8044 0 0 0 51 1 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189433379440 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29394] ppid=29366 vsize=14089320 memory=168424 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29394/stat : 29394 (java) S 29366 29366 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189432326880 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29395] ppid=29366 vsize=14089320 memory=1408 CPUtime=0.54 cores=1,3,5,7
/proc/29368/task/29395/stat : 29395 (java) S 29366 29366 28743 0 -1 1077944384 1412 0 0 0 21 33 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189431274160 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
Current children cumulated CPU time: 2452.58 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 3607988 KiB
[startup+2502.3 s]
/proc/loadavg: 1.95 1.87 1.86 3/221 29499
/proc/meminfo: memFree=8049852/32770624 swapFree=67108852/67108860
[pid=29366] ppid=29363 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29366/stat : 29366 (xcsp3-exec) S 29363 29366 28743 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 231415654 115843072 363 33554432000 4194304 5098028 140736531160608 140736531158712 140270248317564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25333760 140736531162170 140736531162372 140736531162372 140736531165130 0
/proc/29366/statm: 28282 363 306 221 0 87 0
[pid=29368] ppid=29366 vsize=14089320 memory=3606536 CPUtime=2512.64 cores=1,3,5,7
/proc/29368/stat : 29368 (java) S 29366 29366 28743 0 -1 1077944320 217008 0 0 0 250291 973 0 0 20 0 15 0 231415654 14427463680 901634 33554432000 4194304 4196468 140726082532352 140726082514896 140190527155959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
/proc/29368/statm: 3522330 901634 3429 1 0 3483524 0
[pid=29368/tid=29373] ppid=29366 vsize=14089320 memory=13847456437766433 CPUtime=2498.71 cores=1,3,5,7
/proc/29368/task/29373/stat : 29373 (java) R 29366 29366 28743 0 -1 4202560 142044 0 0 0 248983 888 0 0 20 0 15 0 231415655 14427463680 901634 33554432000 4194304 4196468 140726082532352 140190531395696 140190167813098 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29374] ppid=29366 vsize=14089320 memory=7380 CPUtime=2.08 cores=1,3,5,7
/proc/29368/task/29374/stat : 29374 (java) S 29366 29366 28743 0 -1 1077944384 5571 0 0 0 202 6 0 0 20 0 15 0 231415655 14427463680 901634 33554432000 4194304 4196468 140726082532352 140190485916816 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29375] ppid=29366 vsize=14089320 memory=808 CPUtime=2.07 cores=1,3,5,7
/proc/29368/task/29375/stat : 29375 (java) S 29366 29366 28743 0 -1 1077944384 5997 0 0 0 201 6 0 0 20 0 15 0 231415655 14427463680 901634 33554432000 4194304 4196468 140726082532352 140190121540624 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29376] ppid=29366 vsize=14089320 memory=1796 CPUtime=2.07 cores=1,3,5,7
/proc/29368/task/29376/stat : 29376 (java) S 29366 29366 28743 0 -1 1077944384 6049 0 0 0 199 8 0 0 20 0 15 0 231415655 14427463680 901634 33554432000 4194304 4196468 140726082532352 140190120487824 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29377] ppid=29366 vsize=14089320 memory=916 CPUtime=2.08 cores=1,3,5,7
/proc/29368/task/29377/stat : 29377 (java) S 29366 29366 28743 0 -1 1077944384 5914 0 0 0 201 7 0 0 20 0 15 0 231415655 14427463680 901634 33554432000 4194304 4196468 140726082532352 140190119435024 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29381] ppid=29366 vsize=14089320 memory=3848 CPUtime=1.23 cores=1,3,5,7
/proc/29368/task/29381/stat : 29381 (java) S 29366 29366 28743 0 -1 1077944384 16073 0 0 0 93 30 0 0 20 0 15 0 231415657 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189439695216 140190527167106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29382] ppid=29366 vsize=14089320 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29382/stat : 29382 (java) S 29366 29366 28743 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 231415657 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189438641184 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29383] ppid=29366 vsize=14089320 memory=2300 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29383/stat : 29383 (java) S 29366 29366 28743 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 231415657 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189437588336 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29390] ppid=29366 vsize=14089320 memory=2300 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29390/stat : 29390 (java) S 29366 29366 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189436536656 140190527174555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29391] ppid=29366 vsize=14089320 memory=1408 CPUtime=1.8 cores=1,3,5,7
/proc/29368/task/29391/stat : 29391 (java) S 29366 29366 28743 0 -1 1077944384 13260 0 0 0 179 1 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189435485040 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29392] ppid=29366 vsize=14089320 memory=3252 CPUtime=1.43 cores=1,3,5,7
/proc/29368/task/29392/stat : 29392 (java) S 29366 29366 28743 0 -1 1077944384 11258 0 0 0 142 1 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189434432240 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29393] ppid=29366 vsize=14089320 memory=1452 CPUtime=0.52 cores=1,3,5,7
/proc/29368/task/29393/stat : 29393 (java) S 29366 29366 28743 0 -1 1077944384 8046 0 0 0 51 1 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189433379440 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29394] ppid=29366 vsize=14089320 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29394/stat : 29394 (java) S 29366 29366 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189432326880 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29395] ppid=29366 vsize=14089320 memory=3296 CPUtime=0.55 cores=1,3,5,7
/proc/29368/task/29395/stat : 29395 (java) S 29366 29366 28743 0 -1 1077944384 1433 0 0 0 22 33 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189431274160 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
Current children cumulated CPU time: 2512.64 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 3607988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.7 s]
/proc/loadavg: 1.96 1.88 1.86 3/221 29499
/proc/meminfo: memFree=8049860/32770624 swapFree=67108852/67108860
[pid=29366] ppid=29363 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29366/stat : 29366 (xcsp3-exec) S 29363 29366 28743 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 231415654 115843072 363 33554432000 4194304 5098028 140736531160608 140736531158712 140270248317564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25333760 140736531162170 140736531162372 140736531162372 140736531165130 0
/proc/29366/statm: 28282 363 306 221 0 87 0
[pid=29368] ppid=29366 vsize=14089320 memory=3606536 CPUtime=2520.05 cores=1,3,5,7
/proc/29368/stat : 29368 (java) S 29366 29366 28743 0 -1 1077944320 217008 0 0 0 251032 973 0 0 20 0 15 0 231415654 14427463680 901634 33554432000 4194304 4196468 140726082532352 140726082514896 140190527155959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
/proc/29368/statm: 3522330 901634 3429 1 0 3483524 0
[pid=29368/tid=29373] ppid=29366 vsize=14089320 memory=1620 CPUtime=2506.11 cores=1,3,5,7
/proc/29368/task/29373/stat : 29373 (java) R 29366 29366 28743 0 -1 4202560 142044 0 0 0 249723 888 0 0 20 0 15 0 231415655 14427463680 901634 33554432000 4194304 4196468 140726082532352 140190531395696 140190167812971 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29374] ppid=29366 vsize=14089320 memory=11796 CPUtime=2.08 cores=1,3,5,7
/proc/29368/task/29374/stat : 29374 (java) S 29366 29366 28743 0 -1 1077944384 5571 0 0 0 202 6 0 0 20 0 15 0 231415655 14427463680 901634 33554432000 4194304 4196468 140726082532352 140190485916816 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29375] ppid=29366 vsize=14089320 memory=5772 CPUtime=2.07 cores=1,3,5,7
/proc/29368/task/29375/stat : 29375 (java) S 29366 29366 28743 0 -1 1077944384 5997 0 0 0 201 6 0 0 20 0 15 0 231415655 14427463680 901634 33554432000 4194304 4196468 140726082532352 140190121540624 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29376] ppid=29366 vsize=14089320 memory=4616 CPUtime=2.07 cores=1,3,5,7
/proc/29368/task/29376/stat : 29376 (java) S 29366 29366 28743 0 -1 1077944384 6049 0 0 0 199 8 0 0 20 0 15 0 231415655 14427463680 901634 33554432000 4194304 4196468 140726082532352 140190120487824 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29377] ppid=29366 vsize=14089320 memory=1388 CPUtime=2.08 cores=1,3,5,7
/proc/29368/task/29377/stat : 29377 (java) S 29366 29366 28743 0 -1 1077944384 5914 0 0 0 201 7 0 0 20 0 15 0 231415655 14427463680 901634 33554432000 4194304 4196468 140726082532352 140190119435024 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29381] ppid=29366 vsize=14089320 memory=6791534058613427641 CPUtime=1.23 cores=1,3,5,7
/proc/29368/task/29381/stat : 29381 (java) S 29366 29366 28743 0 -1 1077944384 16073 0 0 0 93 30 0 0 20 0 15 0 231415657 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189439695216 140190527167106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29382] ppid=29366 vsize=14089320 memory=15252 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29382/stat : 29382 (java) S 29366 29366 28743 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 231415657 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189438641184 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29383] ppid=29366 vsize=14089320 memory=15448 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29383/stat : 29383 (java) S 29366 29366 28743 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 231415657 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189437588336 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29390] ppid=29366 vsize=14089320 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29390/stat : 29390 (java) S 29366 29366 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189436536656 140190527174555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29391] ppid=29366 vsize=14089320 memory=1228 CPUtime=1.8 cores=1,3,5,7
/proc/29368/task/29391/stat : 29391 (java) S 29366 29366 28743 0 -1 1077944384 13260 0 0 0 179 1 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189435485040 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29392] ppid=29366 vsize=14089320 memory=880 CPUtime=1.43 cores=1,3,5,7
/proc/29368/task/29392/stat : 29392 (java) S 29366 29366 28743 0 -1 1077944384 11258 0 0 0 142 1 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189434432240 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29393] ppid=29366 vsize=14089320 memory=1940 CPUtime=0.52 cores=1,3,5,7
/proc/29368/task/29393/stat : 29393 (java) S 29366 29366 28743 0 -1 1077944384 8046 0 0 0 51 1 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189433379440 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29394] ppid=29366 vsize=14089320 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/29368/task/29394/stat : 29394 (java) S 29366 29366 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189432326880 140190527166165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
[pid=29368/tid=29395] ppid=29366 vsize=14089320 memory=1176 CPUtime=0.55 cores=1,3,5,7
/proc/29368/task/29395/stat : 29395 (java) S 29366 29366 28743 0 -1 1077944384 1433 0 0 0 22 33 0 0 20 0 15 0 231415660 14427463680 901634 33554432000 4194304 4196468 140726082532352 140189431274160 140190527167106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24244224 140726082536582 140726082536753 140726082536753 140726082539471 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 3607988 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.71 s]
# the end of solver process 29366 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000724 s, system=0.001448 s
[startup+2509.72 s]
# the end of solver process 29368 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.33 s, system=9.75414 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2509.72
CPU time (s): 2520.08
CPU user time (s): 2510.33
CPU system time (s): 9.75414
CPU usage (%): 100.413
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 7961780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.33
system time used= 9.75414
maximum resident set size= 7960328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217814
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70617
involuntary context switches= 2007
# summary of solver processes directly reported to runsolver:
# pid: 29366,29368
# total CPU time (s): 2520.08
# total CPU user time (s): 2510.33
# total CPU system time (s): 9.75414
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.359 second user time and 22.0751 second system time
The end