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 (10539 MiB free)
memory of node 1: 16384 MiB (7271 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306933-1534112974/watcher-4306933-1534112974 -o /tmp/evaluation-result-4306933-1534112974/solver-4306933-1534112974 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534097780-4445 --watchdog 2580 HOME/xcsp3-exec -seed 721232177 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306933-1534112974.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=6527, runsolver pid=6524
[startup+0.100141 s]*
/proc/loadavg: 1.75 1.69 1.73 3/217 6543
/proc/meminfo: memFree=18221772/32770624 swapFree=67108796/67108860
[pid=6527] ppid=6524 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6527/stat : 6527 (xcsp3-exec) S 6524 6527 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228860599 115843072 364 33554432000 4194304 5098028 140730813373104 140730813371208 140235929612924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36937728 140730813375547 140730813375748 140730813375748 140730813378506 0
/proc/6527/statm: 28282 364 306 221 0 87 0
[pid=6529] ppid=6527 vsize=14082940 memory=28532 CPUtime=0.12 cores=1,3,5,7
/proc/6529/stat : 6529 (java) S 6527 6527 4413 0 -1 1077944320 5548 0 0 0 11 1 0 0 20 0 15 0 228860599 14420930560 7133 33554432000 4194304 4196468 140734750540272 140734750522816 140430573706999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
/proc/6529/statm: 3520735 7133 2992 1 0 3483012 0
[pid=6529/tid=6530] ppid=6527 vsize=14082940 memory=-8976644418600983157 CPUtime=0.08 cores=1,3,5,7
/proc/6529/task/6530/stat : 6530 (java) R 6527 6527 4413 0 -1 4202560 3571 0 0 0 8 0 0 0 20 0 15 0 228860600 14420930560 7133 33554432000 4194304 4196468 140734750540272 140430577940272 140430211538848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6531] ppid=6527 vsize=14082940 memory=3472468779960141008 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6531/stat : 6531 (java) S 6527 6527 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228860601 14420930560 7133 33554432000 4194304 4196468 140734750540272 140430169947152 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6532] ppid=6527 vsize=14082940 memory=140651064989312 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6532/stat : 6532 (java) S 6527 6527 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228860601 14420930560 7133 33554432000 4194304 4196468 140734750540272 140430168894608 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6533] ppid=6527 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6533/stat : 6533 (java) S 6527 6527 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228860601 14420930560 7133 33554432000 4194304 4196468 140734750540272 140430167841552 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6534] ppid=6527 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6534/stat : 6534 (java) S 6527 6527 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228860601 14420930560 7133 33554432000 4194304 4196468 140734750540272 140430166789008 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6535] ppid=6527 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6535/stat : 6535 (java) S 6527 6527 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228860602 14420930560 7133 33554432000 4194304 4196468 140734750540272 140430047906032 140430573718146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6536] ppid=6527 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6536/stat : 6536 (java) S 6527 6527 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228860602 14420930560 7133 33554432000 4194304 4196468 140734750540272 140430046852256 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6537] ppid=6527 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6537/stat : 6537 (java) S 6527 6527 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228860603 14420930560 7133 33554432000 4194304 4196468 140734750540272 140430045799152 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6538] ppid=6527 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6538/stat : 6538 (java) S 6527 6527 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228860605 14420930560 7133 33554432000 4194304 4196468 140734750540272 140430044747728 140430573725595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6539] ppid=6527 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6539/stat : 6539 (java) S 6527 6527 4413 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 228860605 14420930560 7133 33554432000 4194304 4196468 140734750540272 140430043695856 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6540] ppid=6527 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6540/stat : 6540 (java) S 6527 6527 4413 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 228860605 14420930560 7133 33554432000 4194304 4196468 140734750540272 140430042643312 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6541] ppid=6527 vsize=14082940 memory=140651064989312 CPUtime=0.01 cores=1,3,5,7
/proc/6529/task/6541/stat : 6541 (java) S 6527 6527 4413 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 228860605 14420930560 7133 33554432000 4194304 4196468 140734750540272 140430041590256 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6542] ppid=6527 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6542/stat : 6542 (java) S 6527 6527 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228860605 14420930560 7133 33554432000 4194304 4196468 140734750540272 140430040537952 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6543] ppid=6527 vsize=14082940 memory=140651064989312 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6543/stat : 6543 (java) S 6527 6527 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228860605 14420930560 7133 33554432000 4194304 4196468 140734750540272 140430039484976 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29988 KiB
[startup+0.210653 s]*
/proc/loadavg: 1.75 1.69 1.73 4/217 6543
/proc/meminfo: memFree=18210112/32770624 swapFree=67108796/67108860
[pid=6527] ppid=6524 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6527/stat : 6527 (xcsp3-exec) S 6524 6527 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228860599 115843072 364 33554432000 4194304 5098028 140730813373104 140730813371208 140235929612924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36937728 140730813375547 140730813375748 140730813375748 140730813378506 0
/proc/6527/statm: 28282 364 306 221 0 87 0
[pid=6529] ppid=6527 vsize=14082940 memory=40968 CPUtime=0.34 cores=1,3,5,7
/proc/6529/stat : 6529 (java) S 6527 6527 4413 0 -1 1077944320 8321 0 0 0 32 2 0 0 20 0 15 0 228860599 14420930560 10242 33554432000 4194304 4196468 140734750540272 140734750522816 140430573706999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
/proc/6529/statm: 3520735 10242 3189 1 0 3483012 0
[pid=6529/tid=6530] ppid=6527 vsize=14082940 memory=4500115623978573208 CPUtime=0.19 cores=1,3,5,7
/proc/6529/task/6530/stat : 6530 (java) R 6527 6527 4413 0 -1 4202560 5452 0 0 0 18 1 0 0 20 0 15 0 228860600 14420930560 10242 33554432000 4194304 4196468 140734750540272 140430577941984 140430557787486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6531] ppid=6527 vsize=14082940 memory=3472468779960141008 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6531/stat : 6531 (java) S 6527 6527 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228860601 14420930560 10242 33554432000 4194304 4196468 140734750540272 140430169947152 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6532] ppid=6527 vsize=14082940 memory=140651064989312 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6532/stat : 6532 (java) S 6527 6527 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228860601 14420930560 10242 33554432000 4194304 4196468 140734750540272 140430168894608 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6533] ppid=6527 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6533/stat : 6533 (java) S 6527 6527 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228860601 14420930560 10242 33554432000 4194304 4196468 140734750540272 140430167841552 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6534] ppid=6527 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6534/stat : 6534 (java) S 6527 6527 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228860601 14420930560 10242 33554432000 4194304 4196468 140734750540272 140430166789008 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6535] ppid=6527 vsize=14082940 memory=140651064989312 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6535/stat : 6535 (java) S 6527 6527 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228860602 14420930560 10242 33554432000 4194304 4196468 140734750540272 140430047906032 140430573718146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6536] ppid=6527 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6536/stat : 6536 (java) S 6527 6527 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228860602 14420930560 10306 33554432000 4194304 4196468 140734750540272 140430046852256 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6537] ppid=6527 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6537/stat : 6537 (java) S 6527 6527 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228860603 14420930560 10306 33554432000 4194304 4196468 140734750540272 140430045799152 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6538] ppid=6527 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6538/stat : 6538 (java) S 6527 6527 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228860605 14420930560 10306 33554432000 4194304 4196468 140734750540272 140430044747728 140430573725595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6539] ppid=6527 vsize=14082940 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6529/task/6539/stat : 6539 (java) S 6527 6527 4413 0 -1 1077944384 315 0 0 0 1 0 0 0 20 0 15 0 228860605 14420930560 10306 33554432000 4194304 4196468 140734750540272 140430043695856 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6540] ppid=6527 vsize=14082940 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/6529/task/6540/stat : 6540 (java) S 6527 6527 4413 0 -1 1077944384 510 0 0 0 3 0 0 0 20 0 15 0 228860605 14420930560 10306 33554432000 4194304 4196468 140734750540272 140430042643312 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6541] ppid=6527 vsize=14082940 memory=140651064989312 CPUtime=0.07 cores=1,3,5,7
/proc/6529/task/6541/stat : 6541 (java) S 6527 6527 4413 0 -1 1077944384 755 0 0 0 7 0 0 0 20 0 15 0 228860605 14420930560 10306 33554432000 4194304 4196468 140734750540272 140430041590256 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6542] ppid=6527 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6542/stat : 6542 (java) S 6527 6527 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228860605 14420930560 10306 33554432000 4194304 4196468 140734750540272 140430040537952 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6543] ppid=6527 vsize=14082940 memory=140651064989312 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6543/stat : 6543 (java) S 6527 6527 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228860605 14420930560 10306 33554432000 4194304 4196468 140734750540272 140430039484976 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42424 KiB
[startup+0.31381 s]*
/proc/loadavg: 1.75 1.69 1.73 4/217 6543
/proc/meminfo: memFree=18203412/32770624 swapFree=67108796/67108860
[pid=6527] ppid=6524 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6527/stat : 6527 (xcsp3-exec) S 6524 6527 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228860599 115843072 364 33554432000 4194304 5098028 140730813373104 140730813371208 140235929612924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36937728 140730813375547 140730813375748 140730813375748 140730813378506 0
/proc/6527/statm: 28282 364 306 221 0 87 0
[pid=6529] ppid=6527 vsize=14087196 memory=48332 CPUtime=0.53 cores=1,3,5,7
/proc/6529/stat : 6529 (java) S 6527 6527 4413 0 -1 1077944320 9273 0 0 0 50 3 0 0 20 0 15 0 228860599 14425288704 12083 33554432000 4194304 4196468 140734750540272 140734750522816 140430573706999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
/proc/6529/statm: 3521799 12083 3234 1 0 3483012 0
[pid=6529/tid=6530] ppid=6527 vsize=14087196 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/6529/task/6530/stat : 6530 (java) R 6527 6527 4413 0 -1 4202560 6193 0 0 0 27 2 0 0 20 0 15 0 228860600 14425288704 12092 33554432000 4194304 4196468 140734750540272 140430577943776 140430557787486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6531] ppid=6527 vsize=14087196 memory=3472468779960141008 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6531/stat : 6531 (java) S 6527 6527 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228860601 14425288704 12092 33554432000 4194304 4196468 140734750540272 140430169947152 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6532] ppid=6527 vsize=14087196 memory=140651064989312 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6532/stat : 6532 (java) S 6527 6527 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228860601 14425288704 12092 33554432000 4194304 4196468 140734750540272 140430168894608 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6533] ppid=6527 vsize=14087196 memory=10 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6533/stat : 6533 (java) S 6527 6527 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228860601 14425288704 12092 33554432000 4194304 4196468 140734750540272 140430167841552 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6534] ppid=6527 vsize=14087196 memory=140650918062111 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6534/stat : 6534 (java) S 6527 6527 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228860601 14425288704 12092 33554432000 4194304 4196468 140734750540272 140430166789008 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6535] ppid=6527 vsize=14087196 memory=281301836103456 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6535/stat : 6535 (java) S 6527 6527 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228860602 14425288704 12092 33554432000 4194304 4196468 140734750540272 140430047906032 140430573718146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6536] ppid=6527 vsize=14087196 memory=140650918039055 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6536/stat : 6536 (java) S 6527 6527 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228860602 14425288704 12092 33554432000 4194304 4196468 140734750540272 140430046852256 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6537] ppid=6527 vsize=14087196 memory=281301982911496 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6537/stat : 6537 (java) S 6527 6527 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228860603 14425288704 12092 33554432000 4194304 4196468 140734750540272 140430045799152 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6538] ppid=6527 vsize=14087196 memory=140650918062111 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6538/stat : 6538 (java) S 6527 6527 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228860605 14425288704 12092 33554432000 4194304 4196468 140734750540272 140430044747728 140430573725595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6539] ppid=6527 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6529/task/6539/stat : 6539 (java) S 6527 6527 4413 0 -1 1077944384 438 0 0 0 4 0 0 0 20 0 15 0 228860605 14425288704 12092 33554432000 4194304 4196468 140734750540272 140430043695856 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6540] ppid=6527 vsize=14087196 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/6529/task/6540/stat : 6540 (java) S 6527 6527 4413 0 -1 1077944384 525 0 0 0 5 0 0 0 20 0 15 0 228860605 14425288704 12092 33554432000 4194304 4196468 140734750540272 140430042643312 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6541] ppid=6527 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6529/task/6541/stat : 6541 (java) S 6527 6527 4413 0 -1 1077944384 817 0 0 0 12 0 0 0 20 0 15 0 228860605 14425288704 12092 33554432000 4194304 4196468 140734750540272 140430041590256 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6542] ppid=6527 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6542/stat : 6542 (java) S 6527 6527 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228860605 14425288704 12092 33554432000 4194304 4196468 140734750540272 140430040537952 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6543] ppid=6527 vsize=14087196 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6543/stat : 6543 (java) S 6527 6527 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228860605 14425288704 12092 33554432000 4194304 4196468 140734750540272 140430039484976 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49788 KiB
[startup+0.700941 s]
/proc/loadavg: 1.75 1.69 1.73 5/217 6543
/proc/meminfo: memFree=18165996/32770624 swapFree=67108796/67108860
[pid=6527] ppid=6524 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6527/stat : 6527 (xcsp3-exec) S 6524 6527 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228860599 115843072 364 33554432000 4194304 5098028 140730813373104 140730813371208 140235929612924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36937728 140730813375547 140730813375748 140730813375748 140730813378506 0
/proc/6527/statm: 28282 364 306 221 0 87 0
[pid=6529] ppid=6527 vsize=14089320 memory=174084 CPUtime=1.63 cores=1,3,5,7
/proc/6529/stat : 6529 (java) S 6527 6527 4413 0 -1 1077944320 12039 0 0 0 158 5 0 0 20 0 15 0 228860599 14427463680 43521 33554432000 4194304 4196468 140734750540272 140734750522816 140430573706999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
/proc/6529/statm: 3522330 43521 3347 1 0 3483524 0
[pid=6529/tid=6530] ppid=6527 vsize=14089320 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/6529/task/6530/stat : 6530 (java) R 6527 6527 4413 0 -1 4202560 6621 0 0 0 63 4 0 0 20 0 15 0 228860600 14427463680 43521 33554432000 4194304 4196468 140734750540272 140430577942528 140430213987462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6531] ppid=6527 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6531/stat : 6531 (java) S 6527 6527 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228860601 14427463680 43521 33554432000 4194304 4196468 140734750540272 140430169947152 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6532] ppid=6527 vsize=14089320 memory=7813587196152133429 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6532/stat : 6532 (java) S 6527 6527 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228860601 14427463680 43521 33554432000 4194304 4196468 140734750540272 140430168894608 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6533] ppid=6527 vsize=14089320 memory=7590624041822148711 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6533/stat : 6533 (java) S 6527 6527 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228860601 14427463680 43521 33554432000 4194304 4196468 140734750540272 140430167841552 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6534] ppid=6527 vsize=14089320 memory=7666631141572832339 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6534/stat : 6534 (java) S 6527 6527 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228860601 14427463680 43521 33554432000 4194304 4196468 140734750540272 140430166789008 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6535] ppid=6527 vsize=14089320 memory=734122130331934768 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6535/stat : 6535 (java) S 6527 6527 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228860602 14427463680 43521 33554432000 4194304 4196468 140734750540272 140430047906032 140430573718146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6536] ppid=6527 vsize=14089320 memory=1592 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6536/stat : 6536 (java) S 6527 6527 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228860602 14427463680 43521 33554432000 4194304 4196468 140734750540272 140430046852256 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6537] ppid=6527 vsize=14089320 memory=3804 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6537/stat : 6537 (java) S 6527 6527 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228860603 14427463680 43521 33554432000 4194304 4196468 140734750540272 140430045799152 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6538] ppid=6527 vsize=14089320 memory=3164 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6538/stat : 6538 (java) S 6527 6527 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228860605 14427463680 43521 33554432000 4194304 4196468 140734750540272 140430044747728 140430573725595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6539] ppid=6527 vsize=14089320 memory=1244 CPUtime=0.34 cores=1,3,5,7
/proc/6529/task/6539/stat : 6539 (java) R 6527 6527 4413 0 -1 4202560 1396 0 0 0 34 0 0 0 20 0 15 0 228860605 14427463680 43521 33554432000 4194304 4196468 140734750540272 140430043685328 140430552967288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6540] ppid=6527 vsize=14089320 memory=1060 CPUtime=0.35 cores=1,3,5,7
/proc/6529/task/6540/stat : 6540 (java) R 6527 6527 4413 0 -1 4202560 1367 0 0 0 35 0 0 0 20 0 15 0 228860605 14427463680 43521 33554432000 4194304 4196468 140734750540272 140430042643440 140430558099162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6541] ppid=6527 vsize=14089320 memory=1776 CPUtime=0.24 cores=1,3,5,7
/proc/6529/task/6541/stat : 6541 (java) S 6527 6527 4413 0 -1 1077944384 1347 0 0 0 24 0 0 0 20 0 15 0 228860605 14427463680 43521 33554432000 4194304 4196468 140734750540272 140430041590256 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6542] ppid=6527 vsize=14089320 memory=5648 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6542/stat : 6542 (java) S 6527 6527 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228860605 14427463680 43521 33554432000 4194304 4196468 140734750540272 140430040537952 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6543] ppid=6527 vsize=14089320 memory=14772 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6543/stat : 6543 (java) S 6527 6527 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228860605 14427463680 43521 33554432000 4194304 4196468 140734750540272 140430039484976 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 175540 KiB
[startup+1.50082 s]
/proc/loadavg: 1.75 1.69 1.73 3/217 6543
/proc/meminfo: memFree=18050756/32770624 swapFree=67108796/67108860
[pid=6527] ppid=6524 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6527/stat : 6527 (xcsp3-exec) S 6524 6527 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228860599 115843072 364 33554432000 4194304 5098028 140730813373104 140730813371208 140235929612924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36937728 140730813375547 140730813375748 140730813375748 140730813378506 0
/proc/6527/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/6529/task/6537/stat : 6537 (java) S 6527 6527 4413 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 228860603 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430045799168 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6538] ppid=6527 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6538/stat : 6538 (java) S 6527 6527 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430044747728 140430573725595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6539] ppid=6527 vsize=14089320 memory=1456 CPUtime=1.43 cores=1,3,5,7
/proc/6529/task/6539/stat : 6539 (java) S 6527 6527 4413 0 -1 1077944384 10979 0 0 0 141 2 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430043695856 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6540] ppid=6527 vsize=14089320 memory=8112282956445269571 CPUtime=1.37 cores=1,3,5,7
/proc/6529/task/6540/stat : 6540 (java) S 6527 6527 4413 0 -1 1077944384 11066 0 0 0 135 2 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430042643312 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6541] ppid=6527 vsize=14089320 memory=932 CPUtime=0.5 cores=1,3,5,7
/proc/6529/task/6541/stat : 6541 (java) S 6527 6527 4413 0 -1 1077944384 7472 0 0 0 49 1 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430041590256 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6542] ppid=6527 vsize=14089320 memory=1269700 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6542/stat : 6542 (java) S 6527 6527 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430040537952 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6543] ppid=6527 vsize=14089320 memory=3632 CPUtime=1.46 cores=1,3,5,7
/proc/6529/task/6543/stat : 6543 (java) S 6527 6527 4413 0 -1 1077944384 1015 0 0 0 57 89 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430039484976 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
Current children cumulated CPU time: 2387.45 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1271156 KiB
[startup+2442.3 s]
/proc/loadavg: 1.98 1.95 1.93 3/217 6882
/proc/meminfo: memFree=17040596/32770624 swapFree=67108796/67108860
[pid=6527] ppid=6524 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6527/stat : 6527 (xcsp3-exec) S 6524 6527 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228860599 115843072 364 33554432000 4194304 5098028 140730813373104 140730813371208 140235929612924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36937728 140730813375547 140730813375748 140730813375748 140730813378506 0
/proc/6527/statm: 28282 364 306 221 0 87 0
[pid=6529] ppid=6527 vsize=14089320 memory=1269700 CPUtime=2447.48 cores=1,3,5,7
/proc/6529/stat : 6529 (java) S 6527 6527 4413 0 -1 1077944320 64832 0 0 0 244611 137 0 0 20 0 15 0 228860599 14427463680 317425 33554432000 4194304 4196468 140734750540272 140734750522816 140430573706999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
/proc/6529/statm: 3522330 317425 3402 1 0 3483524 0
[pid=6529/tid=6530] ppid=6527 vsize=14089320 memory=1269700 CPUtime=2441.94 cores=1,3,5,7
/proc/6529/task/6530/stat : 6530 (java) R 6527 6527 4413 0 -1 4202560 26415 0 0 0 244176 18 0 0 20 0 15 0 228860600 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430577945680 140430216047219 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6531] ppid=6527 vsize=14089320 memory=1269700 CPUtime=0.14 cores=1,3,5,7
/proc/6529/task/6531/stat : 6531 (java) S 6527 6527 4413 0 -1 1077944384 1258 0 0 0 7 7 0 0 20 0 15 0 228860601 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430169947152 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6532] ppid=6527 vsize=14089320 memory=1456 CPUtime=0.14 cores=1,3,5,7
/proc/6529/task/6532/stat : 6532 (java) S 6527 6527 4413 0 -1 1077944384 957 0 0 0 7 7 0 0 20 0 15 0 228860601 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430168894608 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6533] ppid=6527 vsize=14089320 memory=1269700 CPUtime=0.14 cores=1,3,5,7
/proc/6529/task/6533/stat : 6533 (java) S 6527 6527 4413 0 -1 1077944384 1151 0 0 0 7 7 0 0 20 0 15 0 228860601 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430167841552 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6534] ppid=6527 vsize=14089320 memory=1456 CPUtime=0.14 cores=1,3,5,7
/proc/6529/task/6534/stat : 6534 (java) S 6527 6527 4413 0 -1 1077944384 1255 0 0 0 7 7 0 0 20 0 15 0 228860601 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430166789008 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6535] ppid=6527 vsize=14089320 memory=1269700 CPUtime=0.07 cores=1,3,5,7
/proc/6529/task/6535/stat : 6535 (java) S 6527 6527 4413 0 -1 1077944384 1893 0 0 0 3 4 0 0 20 0 15 0 228860602 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430047906032 140430573718146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6536] ppid=6527 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6536/stat : 6536 (java) S 6527 6527 4413 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 228860602 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430046852320 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6537] ppid=6527 vsize=14089320 memory=1269700 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6537/stat : 6537 (java) S 6527 6527 4413 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 228860603 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430045799168 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6538] ppid=6527 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6538/stat : 6538 (java) S 6527 6527 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430044747728 140430573725595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6539] ppid=6527 vsize=14089320 memory=3632 CPUtime=1.43 cores=1,3,5,7
/proc/6529/task/6539/stat : 6539 (java) S 6527 6527 4413 0 -1 1077944384 10981 0 0 0 141 2 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430043695856 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6540] ppid=6527 vsize=14089320 memory=3164 CPUtime=1.37 cores=1,3,5,7
/proc/6529/task/6540/stat : 6540 (java) S 6527 6527 4413 0 -1 1077944384 11068 0 0 0 135 2 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430042643312 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6541] ppid=6527 vsize=14089320 memory=1244 CPUtime=0.5 cores=1,3,5,7
/proc/6529/task/6541/stat : 6541 (java) S 6527 6527 4413 0 -1 1077944384 7475 0 0 0 49 1 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430041590256 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6542] ppid=6527 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6542/stat : 6542 (java) S 6527 6527 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430040537952 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6543] ppid=6527 vsize=14089320 memory=8112282956445269571 CPUtime=1.5 cores=1,3,5,7
/proc/6529/task/6543/stat : 6543 (java) S 6527 6527 4413 0 -1 1077944384 1037 0 0 0 59 91 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430039484976 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
Current children cumulated CPU time: 2447.48 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1271156 KiB
[startup+2502.3 s]
/proc/loadavg: 1.94 1.94 1.93 3/217 6883
/proc/meminfo: memFree=17041412/32770624 swapFree=67108796/67108860
[pid=6527] ppid=6524 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6527/stat : 6527 (xcsp3-exec) S 6524 6527 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228860599 115843072 364 33554432000 4194304 5098028 140730813373104 140730813371208 140235929612924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36937728 140730813375547 140730813375748 140730813375748 140730813378506 0
/proc/6527/statm: 28282 364 306 221 0 87 0
[pid=6529] ppid=6527 vsize=14089320 memory=1269700 CPUtime=2507.52 cores=1,3,5,7
/proc/6529/stat : 6529 (java) S 6527 6527 4413 0 -1 1077944320 65343 0 0 0 250613 139 0 0 20 0 15 0 228860599 14427463680 317425 33554432000 4194304 4196468 140734750540272 140734750522816 140430573706999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
/proc/6529/statm: 3522330 317425 3402 1 0 3483524 0
[pid=6529/tid=6530] ppid=6527 vsize=14089320 memory=1269700 CPUtime=2501.94 cores=1,3,5,7
/proc/6529/task/6530/stat : 6530 (java) R 6527 6527 4413 0 -1 4202560 26891 0 0 0 250176 18 0 0 20 0 15 0 228860600 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430577945680 140430216044499 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6531] ppid=6527 vsize=14089320 memory=1269700 CPUtime=0.14 cores=1,3,5,7
/proc/6529/task/6531/stat : 6531 (java) S 6527 6527 4413 0 -1 1077944384 1258 0 0 0 7 7 0 0 20 0 15 0 228860601 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430169947152 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6532] ppid=6527 vsize=14089320 memory=1269700 CPUtime=0.14 cores=1,3,5,7
/proc/6529/task/6532/stat : 6532 (java) S 6527 6527 4413 0 -1 1077944384 957 0 0 0 7 7 0 0 20 0 15 0 228860601 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430168894608 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6533] ppid=6527 vsize=14089320 memory=1456 CPUtime=0.14 cores=1,3,5,7
/proc/6529/task/6533/stat : 6533 (java) S 6527 6527 4413 0 -1 1077944384 1151 0 0 0 7 7 0 0 20 0 15 0 228860601 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430167841552 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6534] ppid=6527 vsize=14089320 memory=1269700 CPUtime=0.14 cores=1,3,5,7
/proc/6529/task/6534/stat : 6534 (java) S 6527 6527 4413 0 -1 1077944384 1255 0 0 0 7 7 0 0 20 0 15 0 228860601 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430166789008 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6535] ppid=6527 vsize=14089320 memory=1456 CPUtime=0.07 cores=1,3,5,7
/proc/6529/task/6535/stat : 6535 (java) S 6527 6527 4413 0 -1 1077944384 1899 0 0 0 3 4 0 0 20 0 15 0 228860602 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430047906032 140430573718146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6536] ppid=6527 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6536/stat : 6536 (java) S 6527 6527 4413 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 228860602 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430046852320 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6537] ppid=6527 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6537/stat : 6537 (java) S 6527 6527 4413 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 228860603 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430045799168 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6538] ppid=6527 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6538/stat : 6538 (java) S 6527 6527 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430044747728 140430573725595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6539] ppid=6527 vsize=14089320 memory=1269700 CPUtime=1.43 cores=1,3,5,7
/proc/6529/task/6539/stat : 6539 (java) S 6527 6527 4413 0 -1 1077944384 10983 0 0 0 141 2 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430043695856 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6540] ppid=6527 vsize=14089320 memory=1456 CPUtime=1.37 cores=1,3,5,7
/proc/6529/task/6540/stat : 6540 (java) S 6527 6527 4413 0 -1 1077944384 11070 0 0 0 135 2 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430042643312 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6541] ppid=6527 vsize=14089320 memory=1269700 CPUtime=0.51 cores=1,3,5,7
/proc/6529/task/6541/stat : 6541 (java) S 6527 6527 4413 0 -1 1077944384 7478 0 0 0 49 2 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430041590256 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6542] ppid=6527 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6542/stat : 6542 (java) S 6527 6527 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430040537952 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6543] ppid=6527 vsize=14089320 memory=1269700 CPUtime=1.53 cores=1,3,5,7
/proc/6529/task/6543/stat : 6543 (java) S 6527 6527 4413 0 -1 1077944384 1059 0 0 0 60 93 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430039484976 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
Current children cumulated CPU time: 2507.52 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1271156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.8 s]
/proc/loadavg: 1.95 1.95 1.93 3/217 6883
/proc/meminfo: memFree=17041412/32770624 swapFree=67108796/67108860
[pid=6527] ppid=6524 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6527/stat : 6527 (xcsp3-exec) S 6524 6527 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228860599 115843072 364 33554432000 4194304 5098028 140730813373104 140730813371208 140235929612924 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36937728 140730813375547 140730813375748 140730813375748 140730813378506 0
/proc/6527/statm: 28282 364 306 221 0 87 0
[pid=6529] ppid=6527 vsize=14089320 memory=1269700 CPUtime=2520.03 cores=1,3,5,7
/proc/6529/stat : 6529 (java) S 6527 6527 4413 0 -1 1077944320 65392 0 0 0 251863 140 0 0 20 0 15 0 228860599 14427463680 317425 33554432000 4194304 4196468 140734750540272 140734750522816 140430573706999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
/proc/6529/statm: 3522330 317425 3402 1 0 3483524 0
[pid=6529/tid=6530] ppid=6527 vsize=14089320 memory=13846387007688923 CPUtime=2514.44 cores=1,3,5,7
/proc/6529/task/6530/stat : 6530 (java) R 6527 6527 4413 0 -1 4202560 26940 0 0 0 251426 18 0 0 20 0 15 0 228860600 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430577945680 140430215892046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6531] ppid=6527 vsize=14089320 memory=1592 CPUtime=0.14 cores=1,3,5,7
/proc/6529/task/6531/stat : 6531 (java) S 6527 6527 4413 0 -1 1077944384 1258 0 0 0 7 7 0 0 20 0 15 0 228860601 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430169947152 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6532] ppid=6527 vsize=14089320 memory=3804 CPUtime=0.14 cores=1,3,5,7
/proc/6529/task/6532/stat : 6532 (java) S 6527 6527 4413 0 -1 1077944384 957 0 0 0 7 7 0 0 20 0 15 0 228860601 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430168894608 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6533] ppid=6527 vsize=14089320 memory=3164 CPUtime=0.14 cores=1,3,5,7
/proc/6529/task/6533/stat : 6533 (java) S 6527 6527 4413 0 -1 1077944384 1151 0 0 0 7 7 0 0 20 0 15 0 228860601 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430167841552 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6534] ppid=6527 vsize=14089320 memory=1244 CPUtime=0.14 cores=1,3,5,7
/proc/6529/task/6534/stat : 6534 (java) S 6527 6527 4413 0 -1 1077944384 1255 0 0 0 7 7 0 0 20 0 15 0 228860601 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430166789008 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6535] ppid=6527 vsize=14089320 memory=1456 CPUtime=0.07 cores=1,3,5,7
/proc/6529/task/6535/stat : 6535 (java) S 6527 6527 4413 0 -1 1077944384 1899 0 0 0 3 4 0 0 20 0 15 0 228860602 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430047906032 140430573718146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6536] ppid=6527 vsize=14089320 memory=1269700 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6536/stat : 6536 (java) S 6527 6527 4413 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 228860602 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430046852320 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6537] ppid=6527 vsize=14089320 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6537/stat : 6537 (java) S 6527 6527 4413 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 228860603 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430045799168 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6538] ppid=6527 vsize=14089320 memory=2608 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6538/stat : 6538 (java) S 6527 6527 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430044747728 140430573725595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6539] ppid=6527 vsize=14089320 memory=4100 CPUtime=1.43 cores=1,3,5,7
/proc/6529/task/6539/stat : 6539 (java) S 6527 6527 4413 0 -1 1077944384 10983 0 0 0 141 2 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430043695856 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6540] ppid=6527 vsize=14089320 memory=1408 CPUtime=1.37 cores=1,3,5,7
/proc/6529/task/6540/stat : 6540 (java) S 6527 6527 4413 0 -1 1077944384 11070 0 0 0 135 2 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430042643312 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6541] ppid=6527 vsize=14089320 memory=3296 CPUtime=0.51 cores=1,3,5,7
/proc/6529/task/6541/stat : 6541 (java) S 6527 6527 4413 0 -1 1077944384 7478 0 0 0 49 2 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430041590256 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6542] ppid=6527 vsize=14089320 memory=15140 CPUtime=0 cores=1,3,5,7
/proc/6529/task/6542/stat : 6542 (java) S 6527 6527 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430040537952 140430573717205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
[pid=6529/tid=6543] ppid=6527 vsize=14089320 memory=3160 CPUtime=1.55 cores=1,3,5,7
/proc/6529/task/6543/stat : 6543 (java) S 6527 6527 4413 0 -1 1077944384 1059 0 0 0 61 94 0 0 20 0 15 0 228860605 14427463680 317425 33554432000 4194304 4196468 140734750540272 140430039484976 140430573718146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140734750545030 140734750545201 140734750545201 140734750547919 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1271156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.81 s]
# the end of solver process 6527 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002285 s, system=0 s
[startup+2514.81 s]
# the end of solver process 6529 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.65 s, system=1.40811 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2514.81
CPU time (s): 2520.06
CPU user time (s): 2518.65
CPU system time (s): 1.40811
CPU usage (%): 100.208
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 1271156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.65
system time used= 1.40811
maximum resident set size= 1270308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66219
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57407
involuntary context switches= 1547
# summary of solver processes directly reported to runsolver:
# pid: 6527,6529
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.65
# total CPU system time (s): 1.40811
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9851 second user time and 23.1166 second system time
The end