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 (5628 MiB free)
memory of node 1: 16384 MiB (7010 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306575-1534101166/watcher-4306575-1534101166 -o /tmp/evaluation-result-4306575-1534101166/solver-4306575-1534101166 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534096142-24483 --watchdog 2580 HOME/xcsp3-exec -seed 1194447972 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306575-1534101166.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=25425, runsolver pid=25422
[startup+0.10014 s]*
/proc/loadavg: 1.53 1.56 1.64 3/217 25441
/proc/meminfo: memFree=12926064/32770624 swapFree=67108860/67108860
[pid=25425] ppid=25422 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25425/stat : 25425 (xcsp3-exec) S 25422 25425 24451 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 227679805 115843072 363 33554432000 4194304 5098028 140721833286576 140721833284680 140516088394364 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24276992 140721833292858 140721833293060 140721833293060 140721833295818 0
/proc/25425/statm: 28282 363 306 221 0 87 0
[pid=25427] ppid=25425 vsize=14082940 memory=28836 CPUtime=0.12 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25425 25425 24451 0 -1 1077944320 5494 0 0 0 11 1 0 0 20 0 15 0 227679805 14420930560 7209 33554432000 4194304 4196468 140737180435984 140737180418528 139975849934583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
/proc/25427/statm: 3520735 7209 3054 1 0 3483012 0
[pid=25427/tid=25428] ppid=25425 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25425 25425 24451 0 -1 4202560 3505 0 0 0 8 0 0 0 20 0 15 0 227679806 14420930560 7209 33554432000 4194304 4196468 140737180435984 139975854166664 139975834015100 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25429] ppid=25425 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25429/stat : 25429 (java) S 25425 25425 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227679807 14420930560 7209 33554432000 4194304 4196468 140737180435984 139975806487312 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25430] ppid=25425 vsize=14082940 memory=140641601349248 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25425 25425 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227679807 14420930560 7209 33554432000 4194304 4196468 140737180435984 139975805434768 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25431] ppid=25425 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25425 25425 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227679807 14420930560 7209 33554432000 4194304 4196468 140737180435984 139975804382224 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25432] ppid=25425 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25425 25425 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227679807 14420930560 7209 33554432000 4194304 4196468 140737180435984 139975442492560 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25433] ppid=25425 vsize=14082940 memory=140641601349248 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25425 25425 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227679808 14420930560 7209 33554432000 4194304 4196468 140737180435984 139975324153840 139975849945730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25434] ppid=25425 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25425 25425 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227679808 14420930560 7209 33554432000 4194304 4196468 140737180435984 139975323100064 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25435] ppid=25425 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25425 25425 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227679809 14420930560 7209 33554432000 4194304 4196468 140737180435984 139975322047472 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25436] ppid=25425 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25425 25425 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227679811 14420930560 7209 33554432000 4194304 4196468 140737180435984 139975320996048 139975849953179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25437] ppid=25425 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) R 25425 25425 24451 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 227679811 14420930560 7209 33554432000 4194304 4196468 140737180435984 139975319943664 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25438] ppid=25425 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) S 25425 25425 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227679811 14420930560 7209 33554432000 4194304 4196468 140737180435984 139975318891120 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25439] ppid=25425 vsize=14082940 memory=140641601349248 CPUtime=0.01 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) R 25425 25425 24451 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 227679811 14420930560 7209 33554432000 4194304 4196468 140737180435984 139975317838576 139975835100231 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25440] ppid=25425 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25425 25425 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227679811 14420930560 7209 33554432000 4194304 4196468 140737180435984 139975316786272 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25441] ppid=25425 vsize=14082940 memory=140641601349248 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25425 25425 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227679811 14420930560 7209 33554432000 4194304 4196468 140737180435984 139975315732784 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30288 KiB
[startup+0.210601 s]*
/proc/loadavg: 1.53 1.56 1.64 4/217 25441
/proc/meminfo: memFree=12911260/32770624 swapFree=67108860/67108860
[pid=25425] ppid=25422 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25425/stat : 25425 (xcsp3-exec) S 25422 25425 24451 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 227679805 115843072 363 33554432000 4194304 5098028 140721833286576 140721833284680 140516088394364 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24276992 140721833292858 140721833293060 140721833293060 140721833295818 0
/proc/25425/statm: 28282 363 306 221 0 87 0
[pid=25427] ppid=25425 vsize=14082940 memory=41112 CPUtime=0.34 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25425 25425 24451 0 -1 1077944320 8335 0 0 0 32 2 0 0 20 0 15 0 227679805 14420930560 10278 33554432000 4194304 4196468 140737180435984 140737180418528 139975849934583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
/proc/25427/statm: 3520735 10278 3188 1 0 3483012 0
[pid=25427/tid=25428] ppid=25425 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25425 25425 24451 0 -1 4202560 5403 0 0 0 18 1 0 0 20 0 15 0 227679806 14420930560 10278 33554432000 4194304 4196468 140737180435984 139975854169568 139975849956509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25429] ppid=25425 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25429/stat : 25429 (java) S 25425 25425 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227679807 14420930560 10278 33554432000 4194304 4196468 140737180435984 139975806487312 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25430] ppid=25425 vsize=14082940 memory=140641602561169 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25425 25425 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227679807 14420930560 10278 33554432000 4194304 4196468 140737180435984 139975805434768 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25431] ppid=25425 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25425 25425 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227679807 14420930560 10278 33554432000 4194304 4196468 140737180435984 139975804382224 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25432] ppid=25425 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25425 25425 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227679807 14420930560 10278 33554432000 4194304 4196468 140737180435984 139975442492560 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25433] ppid=25425 vsize=14082940 memory=140641601349248 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25425 25425 24451 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 227679808 14420930560 10278 33554432000 4194304 4196468 140737180435984 139975324153840 139975849945730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25434] ppid=25425 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25425 25425 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227679808 14420930560 10278 33554432000 4194304 4196468 140737180435984 139975323100064 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25435] ppid=25425 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25425 25425 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227679809 14420930560 10278 33554432000 4194304 4196468 140737180435984 139975322047472 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25436] ppid=25425 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25425 25425 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227679811 14420930560 10278 33554432000 4194304 4196468 140737180435984 139975320996048 139975849953179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25437] ppid=25425 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) S 25425 25425 24451 0 -1 1077944384 708 0 0 0 3 0 0 0 20 0 15 0 227679811 14420930560 10278 33554432000 4194304 4196468 140737180435984 139975319943664 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25438] ppid=25425 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) S 25425 25425 24451 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 15 0 227679811 14420930560 10278 33554432000 4194304 4196468 140737180435984 139975318891120 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25439] ppid=25425 vsize=14082940 memory=140641601349248 CPUtime=0.07 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25425 25425 24451 0 -1 1077944384 803 0 0 0 7 0 0 0 20 0 15 0 227679811 14420930560 10278 33554432000 4194304 4196468 140737180435984 139975317838576 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25440] ppid=25425 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25425 25425 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227679811 14420930560 10278 33554432000 4194304 4196468 140737180435984 139975316786272 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25441] ppid=25425 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25425 25425 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227679811 14420930560 10278 33554432000 4194304 4196468 140737180435984 139975315732784 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42564 KiB
[startup+0.318196 s]*
/proc/loadavg: 1.53 1.56 1.64 4/217 25441
/proc/meminfo: memFree=12904312/32770624 swapFree=67108860/67108860
[pid=25425] ppid=25422 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25425/stat : 25425 (xcsp3-exec) S 25422 25425 24451 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 227679805 115843072 363 33554432000 4194304 5098028 140721833286576 140721833284680 140516088394364 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24276992 140721833292858 140721833293060 140721833293060 140721833295818 0
/proc/25425/statm: 28282 363 306 221 0 87 0
[pid=25427] ppid=25425 vsize=14087196 memory=48504 CPUtime=0.53 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25425 25425 24451 0 -1 1077944320 9337 0 0 0 50 3 0 0 20 0 15 0 227679805 14425288704 12126 33554432000 4194304 4196468 140737180435984 140737180418528 139975849934583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
/proc/25427/statm: 3521799 12126 3234 1 0 3483012 0
[pid=25427/tid=25428] ppid=25425 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25425 25425 24451 0 -1 4202560 6217 0 0 0 28 2 0 0 20 0 15 0 227679806 14425288704 12126 33554432000 4194304 4196468 140737180435984 139975854168368 139975834015070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25429] ppid=25425 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25429/stat : 25429 (java) S 25425 25425 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227679807 14425288704 12126 33554432000 4194304 4196468 140737180435984 139975806487312 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25430] ppid=25425 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25425 25425 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227679807 14425288704 12126 33554432000 4194304 4196468 140737180435984 139975805434768 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25431] ppid=25425 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25425 25425 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227679807 14425288704 12126 33554432000 4194304 4196468 140737180435984 139975804382224 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25432] ppid=25425 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25425 25425 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227679807 14425288704 12191 33554432000 4194304 4196468 140737180435984 139975442492560 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25433] ppid=25425 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25425 25425 24451 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 227679808 14425288704 12191 33554432000 4194304 4196468 140737180435984 139975324153840 139975849945730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25434] ppid=25425 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25425 25425 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227679808 14425288704 12191 33554432000 4194304 4196468 140737180435984 139975323100064 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25435] ppid=25425 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25425 25425 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227679809 14425288704 12191 33554432000 4194304 4196468 140737180435984 139975322047472 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25436] ppid=25425 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25425 25425 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227679811 14425288704 12191 33554432000 4194304 4196468 140737180435984 139975320996048 139975849953179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25437] ppid=25425 vsize=14087196 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) S 25425 25425 24451 0 -1 1077944384 805 0 0 0 5 0 0 0 20 0 15 0 227679811 14425288704 12191 33554432000 4194304 4196468 140737180435984 139975319943664 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25438] ppid=25425 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) S 25425 25425 24451 0 -1 1077944384 131 0 0 0 4 0 0 0 20 0 15 0 227679811 14425288704 12191 33554432000 4194304 4196468 140737180435984 139975318891120 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25439] ppid=25425 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25425 25425 24451 0 -1 1077944384 877 0 0 0 12 0 0 0 20 0 15 0 227679811 14425288704 12191 33554432000 4194304 4196468 140737180435984 139975317838576 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25440] ppid=25425 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25425 25425 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227679811 14425288704 12191 33554432000 4194304 4196468 140737180435984 139975316786272 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25441] ppid=25425 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25425 25425 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227679811 14425288704 12191 33554432000 4194304 4196468 140737180435984 139975315732784 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49956 KiB
[startup+0.701241 s]
/proc/loadavg: 1.53 1.56 1.64 5/217 25441
/proc/meminfo: memFree=12885704/32770624 swapFree=67108860/67108860
[pid=25425] ppid=25422 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25425/stat : 25425 (xcsp3-exec) S 25422 25425 24451 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 227679805 115843072 363 33554432000 4194304 5098028 140721833286576 140721833284680 140516088394364 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24276992 140721833292858 140721833293060 140721833293060 140721833295818 0
/proc/25425/statm: 28282 363 306 221 0 87 0
[pid=25427] ppid=25425 vsize=14089320 memory=71768 CPUtime=1.62 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25425 25425 24451 0 -1 1077944320 13169 0 0 0 157 5 0 0 20 0 15 0 227679805 14427463680 17942 33554432000 4194304 4196468 140737180435984 140737180418528 139975849934583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
/proc/25427/statm: 3522330 17942 3359 1 0 3483524 0
[pid=25427/tid=25428] ppid=25425 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25425 25425 24451 0 -1 4202560 6974 0 0 0 64 3 0 0 20 0 15 0 227679806 14427463680 17942 33554432000 4194304 4196468 140737180435984 139975854170600 139975487293568 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25429] ppid=25425 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25429/stat : 25429 (java) S 25425 25425 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227679807 14427463680 17942 33554432000 4194304 4196468 140737180435984 139975806487312 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25430] ppid=25425 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25425 25425 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227679807 14427463680 17942 33554432000 4194304 4196468 140737180435984 139975805434768 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25431] ppid=25425 vsize=14089320 memory=61788 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25425 25425 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227679807 14427463680 17942 33554432000 4194304 4196468 140737180435984 139975804382224 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25432] ppid=25425 vsize=14089320 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25425 25425 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227679807 14427463680 17942 33554432000 4194304 4196468 140737180435984 139975442492560 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25433] ppid=25425 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25425 25425 24451 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 227679808 14427463680 17942 33554432000 4194304 4196468 140737180435984 139975324153840 139975849945730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25434] ppid=25425 vsize=14089320 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25425 25425 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227679808 14427463680 17942 33554432000 4194304 4196468 140737180435984 139975323100064 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25435] ppid=25425 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25425 25425 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227679809 14427463680 17942 33554432000 4194304 4196468 140737180435984 139975322047472 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25436] ppid=25425 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25425 25425 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227679811 14427463680 17942 33554432000 4194304 4196468 140737180435984 139975320996048 139975849953179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25437] ppid=25425 vsize=14089320 memory=5408 CPUtime=0.3 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) R 25425 25425 24451 0 -1 4202560 1931 0 0 0 30 0 0 0 20 0 15 0 227679811 14427463680 17942 33554432000 4194304 4196468 140737180435984 139975319929760 139975829778236 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25438] ppid=25425 vsize=14089320 memory=876 CPUtime=0.3 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) R 25425 25425 24451 0 -1 4202560 1187 0 0 0 30 0 0 0 20 0 15 0 227679811 14427463680 17942 33554432000 4194304 4196468 140737180435984 139975318872512 139975831455768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25439] ppid=25425 vsize=14089320 memory=10096 CPUtime=0.31 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) R 25425 25425 24451 0 -1 4202560 1768 0 0 0 31 0 0 0 20 0 15 0 227679811 14427463680 17942 33554432000 4194304 4196468 140737180435984 139975317838576 139975828299268 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25440] ppid=25425 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25425 25425 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227679811 14427463680 17942 33554432000 4194304 4196468 140737180435984 139975316786272 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25441] ppid=25425 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25425 25425 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227679811 14427463680 17942 33554432000 4194304 4196468 140737180435984 139975315732784 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 73220 KiB
[startup+1.50087 s]
/proc/loadavg: 1.53 1.56 1.64 5/217 25441
/proc/meminfo: memFree=12869408/32770624 swapFree=67108860/67108860
[pid=25425] ppid=25422 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25425/stat : 25425 (xcsp3-exec) S 25422 25425 24451 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 227679805 115843072 363 33554432000 4194304 5098028 140721833286576 140721833284680 140516088394364 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24276992 140721833292858 140721833293060 140721833293060 140721833295818 0
/proc/25425/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/25425/stat : 25425 (xcsp3-exec) S 25422 25425 24451 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 227679805 115843072 363 33554432000 4194304 5098028 140721833286576 140721833284680 140516088394364 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24276992 140721833292858 140721833293060 140721833293060 140721833295818 0
/proc/25425/statm: 28282 363 306 221 0 87 0
[pid=25427] ppid=25425 vsize=14089320 memory=175828 CPUtime=368.33 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25425 25425 24451 0 -1 1077944320 56219 0 0 0 36815 18 0 0 20 0 15 0 227679805 14427463680 43957 33554432000 4194304 4196468 140737180435984 140737180418528 139975849934583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
/proc/25427/statm: 3522330 43957 3411 1 0 3483524 0
[pid=25427/tid=25428] ppid=25425 vsize=14089320 memory=6791534058613427641 CPUtime=363.69 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25425 25425 24451 0 -1 4202560 13610 0 0 0 36363 6 0 0 20 0 15 0 227679806 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975854174048 139975488827306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25429] ppid=25425 vsize=14089320 memory=61788 CPUtime=0.04 cores=1,3,5,7
/proc/25427/task/25429/stat : 25429 (java) S 25425 25425 24451 0 -1 1077944384 1093 0 0 0 4 0 0 0 20 0 15 0 227679807 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975806487312 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25430] ppid=25425 vsize=14089320 memory=1240 CPUtime=0.04 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25425 25425 24451 0 -1 1077944384 1729 0 0 0 4 0 0 0 20 0 15 0 227679807 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975805434768 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25431] ppid=25425 vsize=14089320 memory=2416 CPUtime=0.05 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25425 25425 24451 0 -1 1077944384 480 0 0 0 4 1 0 0 20 0 15 0 227679807 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975804382224 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25432] ppid=25425 vsize=14089320 memory=1788 CPUtime=0.04 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25425 25425 24451 0 -1 1077944384 949 0 0 0 4 0 0 0 20 0 15 0 227679807 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975442492560 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25433] ppid=25425 vsize=14089320 memory=1704 CPUtime=0.06 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25425 25425 24451 0 -1 1077944384 1739 0 0 0 5 1 0 0 20 0 15 0 227679808 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975324153840 139975849945730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25434] ppid=25425 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25425 25425 24451 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 227679808 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975323100064 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25435] ppid=25425 vsize=14089320 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25425 25425 24451 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 227679809 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975322047488 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25436] ppid=25425 vsize=14089320 memory=876 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25425 25425 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975320996048 139975849953179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25437] ppid=25425 vsize=14089320 memory=10096 CPUtime=2.06 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) S 25425 25425 24451 0 -1 1077944384 14245 0 0 0 205 1 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975319943664 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25438] ppid=25425 vsize=14089320 memory=1228 CPUtime=1.72 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) S 25425 25425 24451 0 -1 1077944384 12338 0 0 0 171 1 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975318891120 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25439] ppid=25425 vsize=14089320 memory=1952 CPUtime=0.47 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25425 25425 24451 0 -1 1077944384 8007 0 0 0 46 1 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975317838576 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25440] ppid=25425 vsize=14089320 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25425 25425 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975316786272 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25441] ppid=25425 vsize=14089320 memory=10828 CPUtime=0.07 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25425 25425 24451 0 -1 1077944384 673 0 0 0 3 4 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975315732784 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
Current children cumulated CPU time: 368.33 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 177280 KiB
[startup+364.401 s]
/proc/loadavg: 1.70 1.70 1.68 3/217 25447
/proc/meminfo: memFree=12689972/32770624 swapFree=67108860/67108860
[pid=25425] ppid=25422 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25425/stat : 25425 (xcsp3-exec) S 25422 25425 24451 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 227679805 115843072 363 33554432000 4194304 5098028 140721833286576 140721833284680 140516088394364 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24276992 140721833292858 140721833293060 140721833293060 140721833295818 0
/proc/25425/statm: 28282 363 306 221 0 87 0
[pid=25427] ppid=25425 vsize=14089320 memory=175828 CPUtime=368.73 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25425 25425 24451 0 -1 1077944320 56222 0 0 0 36855 18 0 0 20 0 15 0 227679805 14427463680 43957 33554432000 4194304 4196468 140737180435984 140737180418528 139975849934583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
/proc/25427/statm: 3522330 43957 3411 1 0 3483524 0
[pid=25427/tid=25428] ppid=25425 vsize=14089320 memory=175828 CPUtime=364.08 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25425 25425 24451 0 -1 4202560 13611 0 0 0 36402 6 0 0 20 0 15 0 227679806 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975854174160 139975487766034 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25429] ppid=25425 vsize=14089320 memory=4128 CPUtime=0.04 cores=1,3,5,7
/proc/25427/task/25429/stat : 25429 (java) S 25425 25425 24451 0 -1 1077944384 1093 0 0 0 4 0 0 0 20 0 15 0 227679807 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975806487312 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25430] ppid=25425 vsize=14089320 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25425 25425 24451 0 -1 1077944384 1729 0 0 0 4 0 0 0 20 0 15 0 227679807 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975805434768 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25431] ppid=25425 vsize=14089320 memory=5408 CPUtime=0.05 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25425 25425 24451 0 -1 1077944384 480 0 0 0 4 1 0 0 20 0 15 0 227679807 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975804382224 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25432] ppid=25425 vsize=14089320 memory=876 CPUtime=0.04 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25425 25425 24451 0 -1 1077944384 949 0 0 0 4 0 0 0 20 0 15 0 227679807 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975442492560 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25433] ppid=25425 vsize=14089320 memory=10096 CPUtime=0.06 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25425 25425 24451 0 -1 1077944384 1741 0 0 0 5 1 0 0 20 0 15 0 227679808 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975324153840 139975849945730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25434] ppid=25425 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25425 25425 24451 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 227679808 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975323100064 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25435] ppid=25425 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25425 25425 24451 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 227679809 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975322047488 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25436] ppid=25425 vsize=14089320 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25425 25425 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975320996048 139975849953179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25437] ppid=25425 vsize=14089320 memory=10828 CPUtime=2.06 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) S 25425 25425 24451 0 -1 1077944384 14245 0 0 0 205 1 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975319943664 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25438] ppid=25425 vsize=14089320 memory=4616 CPUtime=1.72 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) S 25425 25425 24451 0 -1 1077944384 12338 0 0 0 171 1 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975318891120 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25439] ppid=25425 vsize=14089320 memory=1428 CPUtime=0.47 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25425 25425 24451 0 -1 1077944384 8007 0 0 0 46 1 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975317838576 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25440] ppid=25425 vsize=14089320 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25425 25425 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975316786272 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25441] ppid=25425 vsize=14089320 memory=16228 CPUtime=0.07 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25425 25425 24451 0 -1 1077944384 673 0 0 0 3 4 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975315732784 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
Current children cumulated CPU time: 368.73 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 177280 KiB
[startup+364.601 s]
/proc/loadavg: 1.70 1.70 1.68 3/217 25447
/proc/meminfo: memFree=12689972/32770624 swapFree=67108860/67108860
[pid=25425] ppid=25422 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25425/stat : 25425 (xcsp3-exec) S 25422 25425 24451 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 227679805 115843072 363 33554432000 4194304 5098028 140721833286576 140721833284680 140516088394364 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24276992 140721833292858 140721833293060 140721833293060 140721833295818 0
/proc/25425/statm: 28282 363 306 221 0 87 0
[pid=25427] ppid=25425 vsize=14089320 memory=175828 CPUtime=368.93 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25425 25425 24451 0 -1 1077944320 56222 0 0 0 36875 18 0 0 20 0 15 0 227679805 14427463680 43957 33554432000 4194304 4196468 140737180435984 140737180418528 139975849934583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
/proc/25427/statm: 3522330 43957 3411 1 0 3483524 0
[pid=25427/tid=25428] ppid=25425 vsize=14089320 memory=13567093857585738 CPUtime=364.28 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25425 25425 24451 0 -1 4202560 13611 0 0 0 36422 6 0 0 20 0 15 0 227679806 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975854174160 139975487584008 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25429] ppid=25425 vsize=14089320 memory=4427205132082312746 CPUtime=0.04 cores=1,3,5,7
/proc/25427/task/25429/stat : 25429 (java) S 25425 25425 24451 0 -1 1077944384 1093 0 0 0 4 0 0 0 20 0 15 0 227679807 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975806487312 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25430] ppid=25425 vsize=14089320 memory=-8486080722631693414 CPUtime=0.04 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25425 25425 24451 0 -1 1077944384 1729 0 0 0 4 0 0 0 20 0 15 0 227679807 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975805434768 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25431] ppid=25425 vsize=14089320 memory=-8412652152092201843 CPUtime=0.05 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25425 25425 24451 0 -1 1077944384 480 0 0 0 4 1 0 0 20 0 15 0 227679807 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975804382224 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25432] ppid=25425 vsize=14089320 memory=-7023579799431922829 CPUtime=0.04 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25425 25425 24451 0 -1 1077944384 949 0 0 0 4 0 0 0 20 0 15 0 227679807 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975442492560 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25433] ppid=25425 vsize=14089320 memory=3047711553219693942 CPUtime=0.06 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25425 25425 24451 0 -1 1077944384 1741 0 0 0 5 1 0 0 20 0 15 0 227679808 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975324153840 139975849945730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25434] ppid=25425 vsize=14089320 memory=4426639978525455914 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25425 25425 24451 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 227679808 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975323100064 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25435] ppid=25425 vsize=14089320 memory=4572164749098055210 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25425 25425 24451 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 227679809 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975322047488 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25436] ppid=25425 vsize=14089320 memory=8328453600958622283 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25425 25425 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975320996048 139975849953179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25437] ppid=25425 vsize=14089320 memory=-8412652160765825907 CPUtime=2.06 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) S 25425 25425 24451 0 -1 1077944384 14245 0 0 0 205 1 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975319943664 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25438] ppid=25425 vsize=14089320 memory=-8634980985311628903 CPUtime=1.72 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) S 25425 25425 24451 0 -1 1077944384 12338 0 0 0 171 1 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975318891120 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25439] ppid=25425 vsize=14089320 memory=7100839878645619564 CPUtime=0.47 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25425 25425 24451 0 -1 1077944384 8007 0 0 0 46 1 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975317838576 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25440] ppid=25425 vsize=14089320 memory=7897517683652307531 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25425 25425 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975316786272 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25441] ppid=25425 vsize=14089320 memory=-8253362762722141311 CPUtime=0.07 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25425 25425 24451 0 -1 1077944384 673 0 0 0 3 4 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975315732784 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
Current children cumulated CPU time: 368.93 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 177280 KiB
[startup+364.701 s]
/proc/loadavg: 1.70 1.70 1.68 3/217 25447
/proc/meminfo: memFree=12689972/32770624 swapFree=67108860/67108860
[pid=25425] ppid=25422 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25425/stat : 25425 (xcsp3-exec) S 25422 25425 24451 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 227679805 115843072 363 33554432000 4194304 5098028 140721833286576 140721833284680 140516088394364 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24276992 140721833292858 140721833293060 140721833293060 140721833295818 0
/proc/25425/statm: 28282 363 306 221 0 87 0
[pid=25427] ppid=25425 vsize=14089320 memory=175828 CPUtime=369.03 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25425 25425 24451 0 -1 1077944320 56222 0 0 0 36885 18 0 0 20 0 15 0 227679805 14427463680 43957 33554432000 4194304 4196468 140737180435984 140737180418528 139975849934583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
/proc/25427/statm: 3522330 43957 3411 1 0 3483524 0
[pid=25427/tid=25428] ppid=25425 vsize=14089320 memory=1452 CPUtime=364.38 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25425 25425 24451 0 -1 4202560 13611 0 0 0 36432 6 0 0 20 0 15 0 227679806 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975854174048 139975487765620 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25429] ppid=25425 vsize=14089320 memory=175828 CPUtime=0.04 cores=1,3,5,7
/proc/25427/task/25429/stat : 25429 (java) S 25425 25425 24451 0 -1 1077944384 1093 0 0 0 4 0 0 0 20 0 15 0 227679807 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975806487312 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25430] ppid=25425 vsize=14089320 memory=175828 CPUtime=0.04 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25425 25425 24451 0 -1 1077944384 1729 0 0 0 4 0 0 0 20 0 15 0 227679807 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975805434768 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25431] ppid=25425 vsize=14089320 memory=175828 CPUtime=0.05 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25425 25425 24451 0 -1 1077944384 480 0 0 0 4 1 0 0 20 0 15 0 227679807 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975804382224 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25432] ppid=25425 vsize=14089320 memory=1452 CPUtime=0.04 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25425 25425 24451 0 -1 1077944384 949 0 0 0 4 0 0 0 20 0 15 0 227679807 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975442492560 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25433] ppid=25425 vsize=14089320 memory=1452 CPUtime=0.06 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25425 25425 24451 0 -1 1077944384 1741 0 0 0 5 1 0 0 20 0 15 0 227679808 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975324153840 139975849945730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25434] ppid=25425 vsize=14089320 memory=175828 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25425 25425 24451 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 227679808 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975323100064 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25435] ppid=25425 vsize=14089320 memory=175828 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25425 25425 24451 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 227679809 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975322047488 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25436] ppid=25425 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25425 25425 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975320996048 139975849953179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25437] ppid=25425 vsize=14089320 memory=175828 CPUtime=2.06 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) S 25425 25425 24451 0 -1 1077944384 14245 0 0 0 205 1 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975319943664 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25438] ppid=25425 vsize=14089320 memory=4128 CPUtime=1.72 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) S 25425 25425 24451 0 -1 1077944384 12338 0 0 0 171 1 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975318891120 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25439] ppid=25425 vsize=14089320 memory=175828 CPUtime=0.47 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25425 25425 24451 0 -1 1077944384 8007 0 0 0 46 1 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975317838576 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25440] ppid=25425 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25425 25425 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975316786272 139975849944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
[pid=25427/tid=25441] ppid=25425 vsize=14089320 memory=4616 CPUtime=0.07 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25425 25425 24451 0 -1 1077944384 673 0 0 0 3 4 0 0 20 0 15 0 227679811 14427463680 43957 33554432000 4194304 4196468 140737180435984 139975315732784 139975849945730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 28774400 140737180439686 140737180439857 140737180439857 140737180442575 0
Current children cumulated CPU time: 369.03 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 177280 KiB
Child status: 0
Real time (s): 364.732
CPU time (s): 369.069
CPU user time (s): 368.879
CPU system time (s): 0.19007
CPU usage (%): 101.189
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 206820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 368.879
system time used= 0.19007
maximum resident set size= 207476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11517
involuntary context switches= 225
# summary of solver processes directly reported to runsolver:
# pid: 25425
# total CPU time (s): 369.069
# total CPU user time (s): 368.879
# total CPU system time (s): 0.19007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.40456 second user time and 2.93468 second system time
The end