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 (5544 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-4306573-1534101532/watcher-4306573-1534101532 -o /tmp/evaluation-result-4306573-1534101532/solver-4306573-1534101532 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534096142-24483 --watchdog 2580 HOME/xcsp3-exec -seed 1040100235 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306573-1534101532.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=25507, runsolver pid=25504
[startup+0.100292 s]*
/proc/loadavg: 1.70 1.70 1.68 4/217 25523
/proc/meminfo: memFree=12838592/32770624 swapFree=67108860/67108860
[pid=25507] ppid=25504 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25507/stat : 25507 (xcsp3-exec) S 25504 25507 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227716359 115843072 364 33554432000 4194304 5098028 140729754376800 140729754374904 140247321424508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27844608 140729754379322 140729754379524 140729754379524 140729754382282 0
/proc/25507/statm: 28282 364 306 221 0 87 0
[pid=25509] ppid=25507 vsize=14082940 memory=28776 CPUtime=0.12 cores=1,3,5,7
/proc/25509/stat : 25509 (java) S 25507 25507 24451 0 -1 1077944320 5568 0 0 0 11 1 0 0 20 0 15 0 227716359 14420930560 7194 33554432000 4194304 4196468 140722945822448 140722945804992 139667011129079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
/proc/25509/statm: 3520735 7194 3019 1 0 3483012 0
[pid=25509/tid=25510] ppid=25507 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/25509/task/25510/stat : 25510 (java) R 25507 25507 24451 0 -1 4202560 3568 0 0 0 8 1 0 0 20 0 15 0 227716360 14420930560 7194 33554432000 4194304 4196468 140722945822448 139667015362352 139666646924570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25511] ppid=25507 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25511/stat : 25511 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716361 14420930560 7194 33554432000 4194304 4196468 140722945822448 139666969889296 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25512] ppid=25507 vsize=14082940 memory=140419771438720 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25512/stat : 25512 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716361 14420930560 7194 33554432000 4194304 4196468 140722945822448 139666968836752 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25513] ppid=25507 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25513/stat : 25513 (java) S 25507 25507 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227716361 14420930560 7194 33554432000 4194304 4196468 140722945822448 139666605291792 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25514] ppid=25507 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25514/stat : 25514 (java) S 25507 25507 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227716361 14420930560 7194 33554432000 4194304 4196468 140722945822448 139666604239248 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25515] ppid=25507 vsize=14082940 memory=140419771438720 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25515/stat : 25515 (java) S 25507 25507 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227716362 14420930560 7194 33554432000 4194304 4196468 140722945822448 139666485357296 139667011140226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25516] ppid=25507 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25516/stat : 25516 (java) S 25507 25507 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227716362 14420930560 7194 33554432000 4194304 4196468 140722945822448 139666484303520 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25517] ppid=25507 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25517/stat : 25517 (java) S 25507 25507 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227716363 14420930560 7194 33554432000 4194304 4196468 140722945822448 139666483250416 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25518] ppid=25507 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25518/stat : 25518 (java) S 25507 25507 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227716365 14420930560 7194 33554432000 4194304 4196468 140722945822448 139666482198992 139667011147675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25519] ppid=25507 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25519/stat : 25519 (java) S 25507 25507 24451 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 227716365 14420930560 7194 33554432000 4194304 4196468 140722945822448 139666481146096 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25520] ppid=25507 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25520/stat : 25520 (java) S 25507 25507 24451 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 227716365 14420930560 7194 33554432000 4194304 4196468 140722945822448 139666480093552 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25521] ppid=25507 vsize=14082940 memory=140419771438720 CPUtime=0.01 cores=1,3,5,7
/proc/25509/task/25521/stat : 25521 (java) R 25507 25507 24451 0 -1 4202560 290 0 0 0 1 0 0 0 20 0 15 0 227716365 14420930560 7194 33554432000 4194304 4196468 140722945822448 139666479040496 139667004234781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25522] ppid=25507 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25522/stat : 25522 (java) S 25507 25507 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227716365 14420930560 7194 33554432000 4194304 4196468 140722945822448 139666477988192 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25523] ppid=25507 vsize=14082940 memory=140419771438720 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25523/stat : 25523 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716365 14420930560 7194 33554432000 4194304 4196468 140722945822448 139666476936240 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30232 KiB
[startup+0.210764 s]*
/proc/loadavg: 1.70 1.70 1.68 4/217 25523
/proc/meminfo: memFree=12826560/32770624 swapFree=67108860/67108860
[pid=25507] ppid=25504 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25507/stat : 25507 (xcsp3-exec) S 25504 25507 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227716359 115843072 364 33554432000 4194304 5098028 140729754376800 140729754374904 140247321424508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27844608 140729754379322 140729754379524 140729754379524 140729754382282 0
/proc/25507/statm: 28282 364 306 221 0 87 0
[pid=25509] ppid=25507 vsize=14082940 memory=41304 CPUtime=0.34 cores=1,3,5,7
/proc/25509/stat : 25509 (java) S 25507 25507 24451 0 -1 1077944320 8352 0 0 0 32 2 0 0 20 0 15 0 227716359 14420930560 10326 33554432000 4194304 4196468 140722945822448 140722945804992 139667011129079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
/proc/25509/statm: 3520735 10326 3203 1 0 3483012 0
[pid=25509/tid=25510] ppid=25507 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25509/task/25510/stat : 25510 (java) R 25507 25507 24451 0 -1 4202560 5475 0 0 0 19 1 0 0 20 0 15 0 227716360 14420930560 10326 33554432000 4194304 4196468 140722945822448 139667015363616 139666995209566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25511] ppid=25507 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25511/stat : 25511 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716361 14420930560 10326 33554432000 4194304 4196468 140722945822448 139666969889296 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25512] ppid=25507 vsize=14082940 memory=140419772650641 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25512/stat : 25512 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716361 14420930560 10390 33554432000 4194304 4196468 140722945822448 139666968836752 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25513] ppid=25507 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25513/stat : 25513 (java) S 25507 25507 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227716361 14420930560 10390 33554432000 4194304 4196468 140722945822448 139666605291792 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25514] ppid=25507 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25514/stat : 25514 (java) S 25507 25507 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227716361 14420930560 10390 33554432000 4194304 4196468 140722945822448 139666604239248 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25515] ppid=25507 vsize=14082940 memory=140419771438720 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25515/stat : 25515 (java) S 25507 25507 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227716362 14420930560 10390 33554432000 4194304 4196468 140722945822448 139666485357296 139667011140226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25516] ppid=25507 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25516/stat : 25516 (java) S 25507 25507 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227716362 14420930560 10390 33554432000 4194304 4196468 140722945822448 139666484303520 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25517] ppid=25507 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25517/stat : 25517 (java) S 25507 25507 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227716363 14420930560 10390 33554432000 4194304 4196468 140722945822448 139666483250416 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25518] ppid=25507 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25518/stat : 25518 (java) S 25507 25507 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227716365 14420930560 10390 33554432000 4194304 4196468 140722945822448 139666482198992 139667011147675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25519] ppid=25507 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25509/task/25519/stat : 25519 (java) S 25507 25507 24451 0 -1 1077944384 562 0 0 0 2 0 0 0 20 0 15 0 227716365 14420930560 10390 33554432000 4194304 4196468 140722945822448 139666481146096 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25520] ppid=25507 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25509/task/25520/stat : 25520 (java) S 25507 25507 24451 0 -1 1077944384 211 0 0 0 2 0 0 0 20 0 15 0 227716365 14420930560 10390 33554432000 4194304 4196468 140722945822448 139666480093552 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25521] ppid=25507 vsize=14082940 memory=140419771438720 CPUtime=0.08 cores=1,3,5,7
/proc/25509/task/25521/stat : 25521 (java) S 25507 25507 24451 0 -1 1077944384 795 0 0 0 8 0 0 0 20 0 15 0 227716365 14420930560 10390 33554432000 4194304 4196468 140722945822448 139666479040496 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25522] ppid=25507 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25522/stat : 25522 (java) S 25507 25507 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227716365 14420930560 10390 33554432000 4194304 4196468 140722945822448 139666477988192 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25523] ppid=25507 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25523/stat : 25523 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716365 14420930560 10390 33554432000 4194304 4196468 140722945822448 139666476936240 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42760 KiB
[startup+0.31085 s]*
/proc/loadavg: 1.70 1.70 1.68 4/217 25523
/proc/meminfo: memFree=12820604/32770624 swapFree=67108860/67108860
[pid=25507] ppid=25504 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25507/stat : 25507 (xcsp3-exec) S 25504 25507 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227716359 115843072 364 33554432000 4194304 5098028 140729754376800 140729754374904 140247321424508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27844608 140729754379322 140729754379524 140729754379524 140729754382282 0
/proc/25507/statm: 28282 364 306 221 0 87 0
[pid=25509] ppid=25507 vsize=14087196 memory=47920 CPUtime=0.53 cores=1,3,5,7
/proc/25509/stat : 25509 (java) S 25507 25507 24451 0 -1 1077944320 9203 0 0 0 50 3 0 0 20 0 15 0 227716359 14425288704 11980 33554432000 4194304 4196468 140722945822448 140722945804992 139667011129079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
/proc/25509/statm: 3521799 11980 3240 1 0 3483012 0
[pid=25509/tid=25510] ppid=25507 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/25509/task/25510/stat : 25510 (java) R 25507 25507 24451 0 -1 4202560 6174 0 0 0 28 1 0 0 20 0 15 0 227716360 14425288704 11980 33554432000 4194304 4196468 140722945822448 139667015358752 139666995209566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25511] ppid=25507 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25511/stat : 25511 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716361 14425288704 11980 33554432000 4194304 4196468 140722945822448 139666969889296 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25512] ppid=25507 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25512/stat : 25512 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716361 14425288704 11980 33554432000 4194304 4196468 140722945822448 139666968836752 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25513] ppid=25507 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25513/stat : 25513 (java) S 25507 25507 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227716361 14425288704 11980 33554432000 4194304 4196468 140722945822448 139666605291792 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25514] ppid=25507 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25514/stat : 25514 (java) S 25507 25507 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227716361 14425288704 11980 33554432000 4194304 4196468 140722945822448 139666604239248 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25515] ppid=25507 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25515/stat : 25515 (java) S 25507 25507 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227716362 14425288704 11980 33554432000 4194304 4196468 140722945822448 139666485357296 139667011140226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25516] ppid=25507 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25516/stat : 25516 (java) S 25507 25507 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227716362 14425288704 11980 33554432000 4194304 4196468 140722945822448 139666484303520 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25517] ppid=25507 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25517/stat : 25517 (java) S 25507 25507 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227716363 14425288704 11980 33554432000 4194304 4196468 140722945822448 139666483250416 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25518] ppid=25507 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25518/stat : 25518 (java) S 25507 25507 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227716365 14425288704 11980 33554432000 4194304 4196468 140722945822448 139666482198992 139667011147675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25519] ppid=25507 vsize=14087196 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/25509/task/25519/stat : 25519 (java) S 25507 25507 24451 0 -1 1077944384 571 0 0 0 4 0 0 0 20 0 15 0 227716365 14425288704 11980 33554432000 4194304 4196468 140722945822448 139666481146096 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25520] ppid=25507 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/25509/task/25520/stat : 25520 (java) S 25507 25507 24451 0 -1 1077944384 291 0 0 0 4 0 0 0 20 0 15 0 227716365 14425288704 11980 33554432000 4194304 4196468 140722945822448 139666480093552 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25521] ppid=25507 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25509/task/25521/stat : 25521 (java) S 25507 25507 24451 0 -1 1077944384 858 0 0 0 12 0 0 0 20 0 15 0 227716365 14425288704 11980 33554432000 4194304 4196468 140722945822448 139666479040496 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25522] ppid=25507 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25522/stat : 25522 (java) S 25507 25507 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227716365 14425288704 11980 33554432000 4194304 4196468 140722945822448 139666477988192 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25523] ppid=25507 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25523/stat : 25523 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716365 14425288704 11980 33554432000 4194304 4196468 140722945822448 139666476936240 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49376 KiB
[startup+0.701233 s]
/proc/loadavg: 1.70 1.70 1.68 6/217 25523
/proc/meminfo: memFree=12800260/32770624 swapFree=67108860/67108860
[pid=25507] ppid=25504 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25507/stat : 25507 (xcsp3-exec) S 25504 25507 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227716359 115843072 364 33554432000 4194304 5098028 140729754376800 140729754374904 140247321424508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27844608 140729754379322 140729754379524 140729754379524 140729754382282 0
/proc/25507/statm: 28282 364 306 221 0 87 0
[pid=25509] ppid=25507 vsize=14089320 memory=69904 CPUtime=1.62 cores=1,3,5,7
/proc/25509/stat : 25509 (java) S 25507 25507 24451 0 -1 1077944320 12684 0 0 0 157 5 0 0 20 0 15 0 227716359 14427463680 17476 33554432000 4194304 4196468 140722945822448 140722945804992 139667011129079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
/proc/25509/statm: 3522330 17476 3360 1 0 3483524 0
[pid=25509/tid=25510] ppid=25507 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/25509/task/25510/stat : 25510 (java) R 25507 25507 24451 0 -1 4202560 7021 0 0 0 65 2 0 0 20 0 15 0 227716360 14427463680 17476 33554432000 4194304 4196468 140722945822448 139667015368112 139667011141014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25511] ppid=25507 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25511/stat : 25511 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 17476 33554432000 4194304 4196468 140722945822448 139666969889296 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25512] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25512/stat : 25512 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 17476 33554432000 4194304 4196468 140722945822448 139666968836752 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25513] ppid=25507 vsize=14089320 memory=61788 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25513/stat : 25513 (java) S 25507 25507 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 17476 33554432000 4194304 4196468 140722945822448 139666605291792 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25514] ppid=25507 vsize=14089320 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25514/stat : 25514 (java) S 25507 25507 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 17476 33554432000 4194304 4196468 140722945822448 139666604239248 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25515] ppid=25507 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25515/stat : 25515 (java) S 25507 25507 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227716362 14427463680 17476 33554432000 4194304 4196468 140722945822448 139666485357296 139667011140226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25516] ppid=25507 vsize=14089320 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25516/stat : 25516 (java) S 25507 25507 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227716362 14427463680 17476 33554432000 4194304 4196468 140722945822448 139666484303520 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25517] ppid=25507 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25517/stat : 25517 (java) S 25507 25507 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227716363 14427463680 17476 33554432000 4194304 4196468 140722945822448 139666483250416 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25518] ppid=25507 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25518/stat : 25518 (java) S 25507 25507 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227716365 14427463680 17476 33554432000 4194304 4196468 140722945822448 139666482198992 139667011147675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25519] ppid=25507 vsize=14089320 memory=5408 CPUtime=0.32 cores=1,3,5,7
/proc/25509/task/25519/stat : 25519 (java) R 25507 25507 24451 0 -1 4202560 1319 0 0 0 32 0 0 0 20 0 15 0 227716365 14427463680 17476 33554432000 4194304 4196468 140722945822448 139666481136016 139666996294718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25520] ppid=25507 vsize=14089320 memory=876 CPUtime=0.29 cores=1,3,5,7
/proc/25509/task/25520/stat : 25520 (java) R 25507 25507 24451 0 -1 4202560 1230 0 0 0 29 0 0 0 20 0 15 0 227716365 14427463680 17476 33554432000 4194304 4196468 140722945822448 139666480082240 139666996246256 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25521] ppid=25507 vsize=14089320 memory=10096 CPUtime=0.29 cores=1,3,5,7
/proc/25509/task/25521/stat : 25521 (java) R 25507 25507 24451 0 -1 4202560 1804 0 0 0 29 0 0 0 20 0 15 0 227716365 14427463680 17476 33554432000 4194304 4196468 140722945822448 139666479040496 139667011150426 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25522] ppid=25507 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25522/stat : 25522 (java) S 25507 25507 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227716365 14427463680 17476 33554432000 4194304 4196468 140722945822448 139666477988192 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25523] ppid=25507 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25523/stat : 25523 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716365 14427463680 17476 33554432000 4194304 4196468 140722945822448 139666476936240 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 71360 KiB
[startup+1.50081 s]
/proc/loadavg: 1.70 1.70 1.68 5/217 25523
/proc/meminfo: memFree=12786300/32770624 swapFree=67108860/67108860
[pid=25507] ppid=25504 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25507/stat : 25507 (xcsp3-exec) S 25504 25507 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227716359 115843072 364 33554432000 4194304 5098028 140729754376800 140729754374904 140247321424508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27844608 140729754379322 140729754379524 140729754379524 140729754382282 0
/proc/25507/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/25507/stat : 25507 (xcsp3-exec) S 25504 25507 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227716359 115843072 364 33554432000 4194304 5098028 140729754376800 140729754374904 140247321424508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27844608 140729754379322 140729754379524 140729754379524 140729754382282 0
/proc/25507/statm: 28282 364 306 221 0 87 0
[pid=25509] ppid=25507 vsize=14089320 memory=103784 CPUtime=7.2 cores=1,3,5,7
/proc/25509/stat : 25509 (java) S 25507 25507 24451 0 -1 1077944320 24662 0 0 0 713 7 0 0 20 0 15 0 227716359 14427463680 25946 33554432000 4194304 4196468 140722945822448 140722945804992 139667011129079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
/proc/25509/statm: 3522330 25946 3383 1 0 3483524 0
[pid=25509/tid=25510] ppid=25507 vsize=14089320 memory=6791534058613427641 CPUtime=3.98 cores=1,3,5,7
/proc/25509/task/25510/stat : 25510 (java) R 25507 25507 24451 0 -1 4202560 8151 0 0 0 395 3 0 0 20 0 15 0 227716360 14427463680 25946 33554432000 4194304 4196468 140722945822448 139667015365696 139666650268296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25511] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25511/stat : 25511 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 25946 33554432000 4194304 4196468 140722945822448 139666969889296 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25512] ppid=25507 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25512/stat : 25512 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 25946 33554432000 4194304 4196468 140722945822448 139666968836752 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25513] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25513/stat : 25513 (java) S 25507 25507 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 25946 33554432000 4194304 4196468 140722945822448 139666605291792 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25514] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25514/stat : 25514 (java) S 25507 25507 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 25946 33554432000 4194304 4196468 140722945822448 139666604239248 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25515] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25515/stat : 25515 (java) S 25507 25507 24451 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 227716362 14427463680 25946 33554432000 4194304 4196468 140722945822448 139666485357296 139667011140226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25516] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25516/stat : 25516 (java) S 25507 25507 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227716362 14427463680 25946 33554432000 4194304 4196468 140722945822448 139666484303520 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25517] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25517/stat : 25517 (java) S 25507 25507 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227716363 14427463680 25946 33554432000 4194304 4196468 140722945822448 139666483250416 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25518] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25518/stat : 25518 (java) S 25507 25507 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227716365 14427463680 25946 33554432000 4194304 4196468 140722945822448 139666482198992 139667011147675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25519] ppid=25507 vsize=14089320 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/25509/task/25519/stat : 25519 (java) S 25507 25507 24451 0 -1 1077944384 5970 0 0 0 133 1 0 0 20 0 15 0 227716365 14427463680 25946 33554432000 4194304 4196468 140722945822448 139666481146096 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25520] ppid=25507 vsize=14089320 memory=7590655979367786604 CPUtime=1.45 cores=1,3,5,7
/proc/25509/task/25520/stat : 25520 (java) S 25507 25507 24451 0 -1 1077944384 6244 0 0 0 144 1 0 0 20 0 15 0 227716365 14427463680 25946 33554432000 4194304 4196468 140722945822448 139666480093552 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25521] ppid=25507 vsize=14089320 memory=7955155121840350804 CPUtime=0.4 cores=1,3,5,7
/proc/25509/task/25521/stat : 25521 (java) S 25507 25507 24451 0 -1 1077944384 2932 0 0 0 39 1 0 0 20 0 15 0 227716365 14427463680 25946 33554432000 4194304 4196468 140722945822448 139666479040496 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25522] ppid=25507 vsize=14089320 memory=7679937539659563834 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25522/stat : 25522 (java) S 25507 25507 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227716365 14427463680 25946 33554432000 4194304 4196468 140722945822448 139666477988192 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25523] ppid=25507 vsize=14089320 memory=4783494139404706144 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25523/stat : 25523 (java) S 25507 25507 24451 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 227716365 14427463680 25946 33554432000 4194304 4196468 140722945822448 139666476936240 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
Current children cumulated CPU time: 7.2 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 105240 KiB
[startup+4.40062 s]
/proc/loadavg: 1.64 1.69 1.68 3/217 25523
/proc/meminfo: memFree=12764564/32770624 swapFree=67108860/67108860
[pid=25507] ppid=25504 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25507/stat : 25507 (xcsp3-exec) S 25504 25507 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227716359 115843072 364 33554432000 4194304 5098028 140729754376800 140729754374904 140247321424508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27844608 140729754379322 140729754379524 140729754379524 140729754382282 0
/proc/25507/statm: 28282 364 306 221 0 87 0
[pid=25509] ppid=25507 vsize=14089320 memory=105872 CPUtime=7.59 cores=1,3,5,7
/proc/25509/stat : 25509 (java) S 25507 25507 24451 0 -1 1077944320 25229 0 0 0 752 7 0 0 20 0 15 0 227716359 14427463680 26468 33554432000 4194304 4196468 140722945822448 140722945804992 139667011129079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
/proc/25509/statm: 3522330 26468 3387 1 0 3483524 0
[pid=25509/tid=25510] ppid=25507 vsize=14089320 memory=3080 CPUtime=4.37 cores=1,3,5,7
/proc/25509/task/25510/stat : 25510 (java) R 25507 25507 24451 0 -1 4202560 8317 0 0 0 434 3 0 0 20 0 15 0 227716360 14427463680 26468 33554432000 4194304 4196468 140722945822448 139667015366096 139666647914790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25511] ppid=25507 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25511/stat : 25511 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 26468 33554432000 4194304 4196468 140722945822448 139666969889296 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25512] ppid=25507 vsize=14089320 memory=182740 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25512/stat : 25512 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 26468 33554432000 4194304 4196468 140722945822448 139666968836752 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25513] ppid=25507 vsize=14089320 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25513/stat : 25513 (java) S 25507 25507 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 26468 33554432000 4194304 4196468 140722945822448 139666605291792 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25514] ppid=25507 vsize=14089320 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25514/stat : 25514 (java) S 25507 25507 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 26468 33554432000 4194304 4196468 140722945822448 139666604239248 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25515] ppid=25507 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25515/stat : 25515 (java) S 25507 25507 24451 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 227716362 14427463680 26468 33554432000 4194304 4196468 140722945822448 139666485357296 139667011140226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25516] ppid=25507 vsize=14089320 memory=87024 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25516/stat : 25516 (java) S 25507 25507 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227716362 14427463680 26468 33554432000 4194304 4196468 140722945822448 139666484303520 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25517] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25517/stat : 25517 (java) S 25507 25507 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227716363 14427463680 26468 33554432000 4194304 4196468 140722945822448 139666483250416 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25518] ppid=25507 vsize=14089320 memory=-2672971631320983069 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25518/stat : 25518 (java) S 25507 25507 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227716365 14427463680 26468 33554432000 4194304 4196468 140722945822448 139666482198992 139667011147675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25519] ppid=25507 vsize=14089320 memory=-2672971631320983069 CPUtime=1.34 cores=1,3,5,7
/proc/25509/task/25519/stat : 25519 (java) S 25507 25507 24451 0 -1 1077944384 5970 0 0 0 133 1 0 0 20 0 15 0 227716365 14427463680 26468 33554432000 4194304 4196468 140722945822448 139666481146096 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25520] ppid=25507 vsize=14089320 memory=6944656592455360569 CPUtime=1.45 cores=1,3,5,7
/proc/25509/task/25520/stat : 25520 (java) S 25507 25507 24451 0 -1 1077944384 6244 0 0 0 144 1 0 0 20 0 15 0 227716365 14427463680 26468 33554432000 4194304 4196468 140722945822448 139666480093552 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25521] ppid=25507 vsize=14089320 memory=7681421203011431829 CPUtime=0.4 cores=1,3,5,7
/proc/25509/task/25521/stat : 25521 (java) S 25507 25507 24451 0 -1 1077944384 3078 0 0 0 39 1 0 0 20 0 15 0 227716365 14427463680 26468 33554432000 4194304 4196468 140722945822448 139666479040496 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25522] ppid=25507 vsize=14089320 memory=4945125699554088323 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25522/stat : 25522 (java) S 25507 25507 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227716365 14427463680 26468 33554432000 4194304 4196468 140722945822448 139666477988192 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25523] ppid=25507 vsize=14089320 memory=8546823402028195750 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25523/stat : 25523 (java) S 25507 25507 24451 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 227716365 14427463680 26468 33554432000 4194304 4196468 140722945822448 139666476936240 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
Current children cumulated CPU time: 7.59 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 107328 KiB
[startup+4.6012 s]
/proc/loadavg: 1.64 1.69 1.68 3/217 25523
/proc/meminfo: memFree=12764564/32770624 swapFree=67108860/67108860
[pid=25507] ppid=25504 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25507/stat : 25507 (xcsp3-exec) S 25504 25507 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227716359 115843072 364 33554432000 4194304 5098028 140729754376800 140729754374904 140247321424508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27844608 140729754379322 140729754379524 140729754379524 140729754382282 0
/proc/25507/statm: 28282 364 306 221 0 87 0
[pid=25509] ppid=25507 vsize=14089320 memory=107940 CPUtime=7.85 cores=1,3,5,7
/proc/25509/stat : 25509 (java) S 25507 25507 24451 0 -1 1077944320 25435 0 0 0 778 7 0 0 20 0 15 0 227716359 14427463680 26985 33554432000 4194304 4196468 140722945822448 140722945804992 139667011129079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
/proc/25509/statm: 3522330 26985 3387 1 0 3483524 0
[pid=25509/tid=25510] ppid=25507 vsize=14089320 memory=0 CPUtime=4.57 cores=1,3,5,7
/proc/25509/task/25510/stat : 25510 (java) R 25507 25507 24451 0 -1 4202560 8332 0 0 0 454 3 0 0 20 0 15 0 227716360 14427463680 26985 33554432000 4194304 4196468 140722945822448 139667015365984 139666650267517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25511] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25511/stat : 25511 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666969889296 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25512] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25512/stat : 25512 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666968836752 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25513] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25513/stat : 25513 (java) S 25507 25507 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666605291792 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25514] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25514/stat : 25514 (java) S 25507 25507 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666604239248 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25515] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25515/stat : 25515 (java) S 25507 25507 24451 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 227716362 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666485357296 139667011140226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25516] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25516/stat : 25516 (java) S 25507 25507 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227716362 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666484303520 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25517] ppid=25507 vsize=14089320 memory=288230621787205905 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25517/stat : 25517 (java) S 25507 25507 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227716363 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666483250416 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25518] ppid=25507 vsize=14089320 memory=16097091571157036 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25518/stat : 25518 (java) S 25507 25507 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227716365 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666482198992 139667011147675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25519] ppid=25507 vsize=14089320 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/25509/task/25519/stat : 25519 (java) R 25507 25507 24451 0 -1 4202560 6031 0 0 0 135 1 0 0 20 0 15 0 227716365 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666481146392 139666992649139 0 4 0 16800975 0 0 0 -1 7 0 0 28 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25520] ppid=25507 vsize=14089320 memory=6943526294502006880 CPUtime=1.48 cores=1,3,5,7
/proc/25509/task/25520/stat : 25520 (java) S 25507 25507 24451 0 -1 1077944384 6374 0 0 0 147 1 0 0 20 0 15 0 227716365 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666480093552 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25521] ppid=25507 vsize=14089320 memory=6944652177228980320 CPUtime=0.41 cores=1,3,5,7
/proc/25509/task/25521/stat : 25521 (java) S 25507 25507 24451 0 -1 1077944384 3078 0 0 0 40 1 0 0 20 0 15 0 227716365 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666479040496 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25522] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25522/stat : 25522 (java) S 25507 25507 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227716365 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666477988192 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25523] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25523/stat : 25523 (java) S 25507 25507 24451 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 227716365 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666476936240 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
Current children cumulated CPU time: 7.85 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 109396 KiB
[startup+4.70074 s]
/proc/loadavg: 1.64 1.69 1.68 3/217 25523
/proc/meminfo: memFree=12764564/32770624 swapFree=67108860/67108860
[pid=25507] ppid=25504 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25507/stat : 25507 (xcsp3-exec) S 25504 25507 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227716359 115843072 364 33554432000 4194304 5098028 140729754376800 140729754374904 140247321424508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27844608 140729754379322 140729754379524 140729754379524 140729754382282 0
/proc/25507/statm: 28282 364 306 221 0 87 0
[pid=25509] ppid=25507 vsize=14089320 memory=107940 CPUtime=7.95 cores=1,3,5,7
/proc/25509/stat : 25509 (java) S 25507 25507 24451 0 -1 1077944320 25451 0 0 0 788 7 0 0 20 0 15 0 227716359 14427463680 26985 33554432000 4194304 4196468 140722945822448 140722945804992 139667011129079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
/proc/25509/statm: 3522330 26985 3387 1 0 3483524 0
[pid=25509/tid=25510] ppid=25507 vsize=14089320 memory=8128038100524242582 CPUtime=4.67 cores=1,3,5,7
/proc/25509/task/25510/stat : 25510 (java) R 25507 25507 24451 0 -1 4202560 8343 0 0 0 464 3 0 0 20 0 15 0 227716360 14427463680 26985 33554432000 4194304 4196468 140722945822448 139667015365984 139666647825427 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25511] ppid=25507 vsize=14089320 memory=8259761640030508194 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25511/stat : 25511 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666969889296 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25512] ppid=25507 vsize=14089320 memory=91324 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25512/stat : 25512 (java) S 25507 25507 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666968836752 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25513] ppid=25507 vsize=14089320 memory=7016714190785702558 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25513/stat : 25513 (java) S 25507 25507 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666605291792 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25514] ppid=25507 vsize=14089320 memory=280839321833696 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25514/stat : 25514 (java) S 25507 25507 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227716361 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666604239248 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25515] ppid=25507 vsize=14089320 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25515/stat : 25515 (java) S 25507 25507 24451 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 227716362 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666485357296 139667011140226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25516] ppid=25507 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25516/stat : 25516 (java) S 25507 25507 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227716362 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666484303520 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25517] ppid=25507 vsize=14089320 memory=6940726968147601751 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25517/stat : 25517 (java) S 25507 25507 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227716363 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666483250416 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25518] ppid=25507 vsize=14089320 memory=7230336033011098215 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25518/stat : 25518 (java) S 25507 25507 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227716365 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666482198992 139667011147675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25519] ppid=25507 vsize=14089320 memory=7230638415855315031 CPUtime=1.36 cores=1,3,5,7
/proc/25509/task/25519/stat : 25519 (java) S 25507 25507 24451 0 -1 1077944384 6034 0 0 0 135 1 0 0 20 0 15 0 227716365 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666481146096 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25520] ppid=25507 vsize=14089320 memory=7230638415855315031 CPUtime=1.48 cores=1,3,5,7
/proc/25509/task/25520/stat : 25520 (java) S 25507 25507 24451 0 -1 1077944384 6374 0 0 0 147 1 0 0 20 0 15 0 227716365 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666480093552 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25521] ppid=25507 vsize=14089320 memory=1456 CPUtime=0.41 cores=1,3,5,7
/proc/25509/task/25521/stat : 25521 (java) S 25507 25507 24451 0 -1 1077944384 3080 0 0 0 40 1 0 0 20 0 15 0 227716365 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666479040496 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25522] ppid=25507 vsize=14089320 memory=99580 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25522/stat : 25522 (java) S 25507 25507 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227716365 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666477988192 139667011139285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
[pid=25509/tid=25523] ppid=25507 vsize=14089320 memory=280839321826976 CPUtime=0 cores=1,3,5,7
/proc/25509/task/25523/stat : 25523 (java) S 25507 25507 24451 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 227716365 14427463680 26985 33554432000 4194304 4196468 140722945822448 139666476936240 139667011140226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 26165248 140722945827974 140722945828145 140722945828145 140722945830863 0
Current children cumulated CPU time: 7.95 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 109396 KiB
Child status: 0
Real time (s): 4.72186
CPU time (s): 7.98323
CPU user time (s): 7.90153
CPU system time (s): 0.081705
CPU usage (%): 169.07
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 109396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.90152
system time used= 0.081705
maximum resident set size= 110296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26573
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1937
involuntary context switches= 23
# summary of solver processes directly reported to runsolver:
# pid: 25507
# total CPU time (s): 7.98323
# total CPU user time (s): 7.90153
# total CPU system time (s): 0.081705
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055221 second user time and 0.083818 second system time
The end