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 (9503 MiB free)
memory of node 1: 16384 MiB (10237 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292433-1532538532/watcher-4292433-1532538532 -o /tmp/evaluation-result-4292433-1532538532/solver-4292433-1532538532 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532523806-27754 --watchdog 2560 HOME/xcsp3-exec -seed 1825330348 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292433-1532538532.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30295, runsolver pid=30292
Current StackSize limit: 8192 KiB
[startup+0.100159 s]*
/proc/loadavg: 1.90 1.82 1.77 4/217 30311
/proc/meminfo: memFree=20197496/32770624 swapFree=67108860/67108860
[pid=30295] ppid=30292 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30295/stat : 30295 (xcsp3-exec) S 30292 30295 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71416354 115843072 363 33554432000 4194304 5098028 140729599595072 140729599593176 139999339180668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29634560 140729599599674 140729599599876 140729599599876 140729599602634 0
/proc/30295/statm: 28282 363 305 221 0 87 0
[pid=30297] ppid=30295 vsize=14082840 memory=29256 CPUtime=0.12 cores=1,3,5,7
/proc/30297/stat : 30297 (java) S 30295 30295 27722 0 -1 1077944320 5612 0 0 0 11 1 0 0 20 0 15 0 71416354 14420828160 7314 33554432000 4194304 4196468 140735687876160 140735687858704 140490671902455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
/proc/30297/statm: 3520710 7314 3031 1 0 3483008 0
[pid=30297/tid=30298] ppid=30295 vsize=14082840 memory=8514701219880730789 CPUtime=0.08 cores=1,3,5,7
/proc/30297/task/30298/stat : 30298 (java) R 30295 30295 27722 0 -1 4202560 3620 0 0 0 8 0 0 0 20 0 15 0 71416354 14420828160 7314 33554432000 4194304 4196468 140735687876160 140490676131632 140490671914390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30299] ppid=30295 vsize=14082840 memory=3472468145903011024 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30299/stat : 30299 (java) S 30295 30295 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71416355 14420828160 7314 33554432000 4194304 4196468 140735687876160 140490601991184 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30300] ppid=30295 vsize=14082840 memory=140017007859328 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30300/stat : 30300 (java) S 30295 30295 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71416355 14420828160 7314 33554432000 4194304 4196468 140735687876160 140490600938640 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30301] ppid=30295 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30301/stat : 30301 (java) S 30295 30295 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71416355 14420828160 7314 33554432000 4194304 4196468 140735687876160 140490599885584 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30302] ppid=30295 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30302/stat : 30302 (java) S 30295 30295 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71416355 14420828160 7314 33554432000 4194304 4196468 140735687876160 140490598833040 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30303] ppid=30295 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30303/stat : 30303 (java) S 30295 30295 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71416356 14420828160 7314 33554432000 4194304 4196468 140735687876160 140489785321712 140490671913602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30304] ppid=30295 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30304/stat : 30304 (java) S 30295 30295 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71416357 14420828160 7314 33554432000 4194304 4196468 140735687876160 140489784267936 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30305] ppid=30295 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30305/stat : 30305 (java) S 30295 30295 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71416357 14420828160 7314 33554432000 4194304 4196468 140735687876160 140489783214832 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30306] ppid=30295 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30306/stat : 30306 (java) S 30295 30295 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71416359 14420828160 7314 33554432000 4194304 4196468 140735687876160 140489782163408 140490671921051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30307] ppid=30295 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30307/stat : 30307 (java) S 30295 30295 27722 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 71416359 14420828160 7314 33554432000 4194304 4196468 140735687876160 140489781111536 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30308] ppid=30295 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30308/stat : 30308 (java) S 30295 30295 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71416359 14420828160 7314 33554432000 4194304 4196468 140735687876160 140489780058992 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30309] ppid=30295 vsize=14082840 memory=140017007859328 CPUtime=0.01 cores=1,3,5,7
/proc/30297/task/30309/stat : 30309 (java) R 30295 30295 27722 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 15 0 71416359 14420828160 7314 33554432000 4194304 4196468 140735687876160 140489779005936 140490653140016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30310] ppid=30295 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30310/stat : 30310 (java) S 30295 30295 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71416360 14420828160 7314 33554432000 4194304 4196468 140735687876160 140489777953632 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30311] ppid=30295 vsize=14082840 memory=140017007859328 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30311/stat : 30311 (java) S 30295 30295 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71416360 14420828160 7314 33554432000 4194304 4196468 140735687876160 140489776900656 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30708 KiB
[startup+0.21274 s]*
/proc/loadavg: 1.90 1.82 1.77 4/217 30311
/proc/meminfo: memFree=20186264/32770624 swapFree=67108860/67108860
[pid=30295] ppid=30292 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30295/stat : 30295 (xcsp3-exec) S 30292 30295 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71416354 115843072 363 33554432000 4194304 5098028 140729599595072 140729599593176 139999339180668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29634560 140729599599674 140729599599876 140729599599876 140729599602634 0
/proc/30295/statm: 28282 363 305 221 0 87 0
[pid=30297] ppid=30295 vsize=14087096 memory=40860 CPUtime=0.34 cores=1,3,5,7
/proc/30297/stat : 30297 (java) S 30295 30295 27722 0 -1 1077944320 8335 0 0 0 32 2 0 0 20 0 15 0 71416354 14425186304 10215 33554432000 4194304 4196468 140735687876160 140735687858704 140490671902455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
/proc/30297/statm: 3521774 10215 3138 1 0 3483008 0
[pid=30297/tid=30298] ppid=30295 vsize=14087096 memory=5854518564242424225 CPUtime=0.2 cores=1,3,5,7
/proc/30297/task/30298/stat : 30298 (java) R 30295 30295 27722 0 -1 4202560 5478 0 0 0 19 1 0 0 20 0 15 0 71416354 14425186304 10215 33554432000 4194304 4196468 140735687876160 140490676116464 140490655982942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30299] ppid=30295 vsize=14087096 memory=3472468145903011024 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30299/stat : 30299 (java) S 30295 30295 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71416355 14425186304 10215 33554432000 4194304 4196468 140735687876160 140490601991184 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30300] ppid=30295 vsize=14087096 memory=140017007859328 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30300/stat : 30300 (java) S 30295 30295 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71416355 14425186304 10215 33554432000 4194304 4196468 140735687876160 140490600938640 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30301] ppid=30295 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30301/stat : 30301 (java) S 30295 30295 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71416355 14425186304 10215 33554432000 4194304 4196468 140735687876160 140490599885584 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30302] ppid=30295 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30302/stat : 30302 (java) S 30295 30295 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71416355 14425186304 10215 33554432000 4194304 4196468 140735687876160 140490598833040 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30303] ppid=30295 vsize=14087096 memory=140017007859328 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30303/stat : 30303 (java) S 30295 30295 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71416356 14425186304 10215 33554432000 4194304 4196468 140735687876160 140489785321712 140490671913602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30304] ppid=30295 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30304/stat : 30304 (java) S 30295 30295 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71416357 14425186304 10215 33554432000 4194304 4196468 140735687876160 140489784267936 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30305] ppid=30295 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30305/stat : 30305 (java) S 30295 30295 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71416357 14425186304 10215 33554432000 4194304 4196468 140735687876160 140489783214832 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30306] ppid=30295 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30306/stat : 30306 (java) S 30295 30295 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71416359 14425186304 10215 33554432000 4194304 4196468 140735687876160 140489782163408 140490671921051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30307] ppid=30295 vsize=14087096 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30297/task/30307/stat : 30307 (java) S 30295 30295 27722 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 15 0 71416359 14425186304 10215 33554432000 4194304 4196468 140735687876160 140489781111536 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30308] ppid=30295 vsize=14087096 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30297/task/30308/stat : 30308 (java) S 30295 30295 27722 0 -1 1077944384 311 0 0 0 2 0 0 0 20 0 15 0 71416359 14425186304 10215 33554432000 4194304 4196468 140735687876160 140489780058992 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30309] ppid=30295 vsize=14087096 memory=140017007859328 CPUtime=0.07 cores=1,3,5,7
/proc/30297/task/30309/stat : 30309 (java) S 30295 30295 27722 0 -1 1077944384 786 0 0 0 7 0 0 0 20 0 15 0 71416359 14425186304 10215 33554432000 4194304 4196468 140735687876160 140489779005936 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30310] ppid=30295 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30310/stat : 30310 (java) S 30295 30295 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71416360 14425186304 10215 33554432000 4194304 4196468 140735687876160 140489777953632 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30311] ppid=30295 vsize=14087096 memory=140017007859328 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30311/stat : 30311 (java) S 30295 30295 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71416360 14425186304 10215 33554432000 4194304 4196468 140735687876160 140489776900656 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42312 KiB
[startup+0.310599 s]*
/proc/loadavg: 1.90 1.82 1.77 3/217 30311
/proc/meminfo: memFree=20180432/32770624 swapFree=67108860/67108860
[pid=30295] ppid=30292 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30295/stat : 30295 (xcsp3-exec) S 30292 30295 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71416354 115843072 363 33554432000 4194304 5098028 140729599595072 140729599593176 139999339180668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29634560 140729599599674 140729599599876 140729599599876 140729599602634 0
/proc/30295/statm: 28282 363 305 221 0 87 0
[pid=30297] ppid=30295 vsize=14087096 memory=47704 CPUtime=0.5 cores=1,3,5,7
/proc/30297/stat : 30297 (java) S 30295 30295 27722 0 -1 1077944320 9119 0 0 0 47 3 0 0 20 0 15 0 71416354 14425186304 11926 33554432000 4194304 4196468 140735687876160 140735687858704 140490671902455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
/proc/30297/statm: 3521774 11926 3210 1 0 3483008 0
[pid=30297/tid=30298] ppid=30295 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=1,3,5,7
/proc/30297/task/30298/stat : 30298 (java) R 30295 30295 27722 0 -1 4202560 6172 0 0 0 27 2 0 0 20 0 15 0 71416354 14425186304 11926 33554432000 4194304 4196468 140735687876160 140490676136240 140490671924381 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30299] ppid=30295 vsize=14087096 memory=3472468145903011024 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30299/stat : 30299 (java) S 30295 30295 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71416355 14425186304 11926 33554432000 4194304 4196468 140735687876160 140490601991184 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30300] ppid=30295 vsize=14087096 memory=140017007859328 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30300/stat : 30300 (java) S 30295 30295 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71416355 14425186304 11926 33554432000 4194304 4196468 140735687876160 140490600938640 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30301] ppid=30295 vsize=14087096 memory=9 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30301/stat : 30301 (java) S 30295 30295 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71416355 14425186304 11926 33554432000 4194304 4196468 140735687876160 140490599885584 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30302] ppid=30295 vsize=14087096 memory=140016873515039 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30302/stat : 30302 (java) S 30295 30295 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71416355 14425186304 11926 33554432000 4194304 4196468 140735687876160 140490598833040 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30303] ppid=30295 vsize=14087096 memory=280033746990848 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30303/stat : 30303 (java) S 30295 30295 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71416356 14425186304 11926 33554432000 4194304 4196468 140735687876160 140489785321712 140490671913602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30304] ppid=30295 vsize=14087096 memory=140016873491983 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30304/stat : 30304 (java) S 30295 30295 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71416357 14425186304 11926 33554432000 4194304 4196468 140735687876160 140489784267936 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30305] ppid=30295 vsize=14087096 memory=280033881360480 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30305/stat : 30305 (java) S 30295 30295 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71416357 14425186304 11926 33554432000 4194304 4196468 140735687876160 140489783214832 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30306] ppid=30295 vsize=14087096 memory=140016873496591 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30306/stat : 30306 (java) S 30295 30295 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71416359 14425186304 11926 33554432000 4194304 4196468 140735687876160 140489782163408 140490671921051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30307] ppid=30295 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30297/task/30307/stat : 30307 (java) S 30295 30295 27722 0 -1 1077944384 469 0 0 0 3 0 0 0 20 0 15 0 71416359 14425186304 11926 33554432000 4194304 4196468 140735687876160 140489781111536 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30308] ppid=30295 vsize=14087096 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/30297/task/30308/stat : 30308 (java) S 30295 30295 27722 0 -1 1077944384 323 0 0 0 4 0 0 0 20 0 15 0 71416359 14425186304 11926 33554432000 4194304 4196468 140735687876160 140489780058992 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30309] ppid=30295 vsize=14087096 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/30297/task/30309/stat : 30309 (java) S 30295 30295 27722 0 -1 1077944384 848 0 0 0 11 0 0 0 20 0 15 0 71416359 14425186304 11926 33554432000 4194304 4196468 140735687876160 140489779005936 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30310] ppid=30295 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30310/stat : 30310 (java) S 30295 30295 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71416360 14425186304 11926 33554432000 4194304 4196468 140735687876160 140489777953632 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30311] ppid=30295 vsize=14087096 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30311/stat : 30311 (java) S 30295 30295 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71416360 14425186304 11926 33554432000 4194304 4196468 140735687876160 140489776900656 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49156 KiB
[startup+0.701475 s]
/proc/loadavg: 1.90 1.82 1.77 5/217 30311
/proc/meminfo: memFree=20151896/32770624 swapFree=67108860/67108860
[pid=30295] ppid=30292 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30295/stat : 30295 (xcsp3-exec) S 30292 30295 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71416354 115843072 363 33554432000 4194304 5098028 140729599595072 140729599593176 139999339180668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29634560 140729599599674 140729599599876 140729599599876 140729599602634 0
/proc/30295/statm: 28282 363 305 221 0 87 0
[pid=30297] ppid=30295 vsize=14089220 memory=100560 CPUtime=1.79 cores=1,3,5,7
/proc/30297/stat : 30297 (java) S 30295 30295 27722 0 -1 1077944320 13185 0 0 0 174 5 0 0 20 0 15 0 71416354 14427361280 25140 33554432000 4194304 4196468 140735687876160 140735687858704 140490671902455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
/proc/30297/statm: 3522305 25140 3340 1 0 3483520 0
[pid=30297/tid=30298] ppid=30295 vsize=14089220 memory=7660742144744843625 CPUtime=0.67 cores=1,3,5,7
/proc/30297/task/30298/stat : 30298 (java) R 30295 30295 27722 0 -1 4202560 6990 0 0 0 64 3 0 0 20 0 15 0 71416354 14427361280 25140 33554432000 4194304 4196468 140735687876160 140490676140144 140490279961729 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30299] ppid=30295 vsize=14089220 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30299/stat : 30299 (java) S 30295 30295 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71416355 14427361280 25140 33554432000 4194304 4196468 140735687876160 140490601991184 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30300] ppid=30295 vsize=14089220 memory=4638778398332764256 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30300/stat : 30300 (java) S 30295 30295 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71416355 14427361280 25140 33554432000 4194304 4196468 140735687876160 140490600938640 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30301] ppid=30295 vsize=14089220 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30301/stat : 30301 (java) S 30295 30295 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71416355 14427361280 25140 33554432000 4194304 4196468 140735687876160 140490599885584 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30302] ppid=30295 vsize=14089220 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30302/stat : 30302 (java) S 30295 30295 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71416355 14427361280 25140 33554432000 4194304 4196468 140735687876160 140490598833040 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30303] ppid=30295 vsize=14089220 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30303/stat : 30303 (java) S 30295 30295 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71416356 14427361280 25140 33554432000 4194304 4196468 140735687876160 140489785321712 140490671913602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30304] ppid=30295 vsize=14089220 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30304/stat : 30304 (java) S 30295 30295 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71416357 14427361280 25140 33554432000 4194304 4196468 140735687876160 140489784267936 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30305] ppid=30295 vsize=14089220 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30305/stat : 30305 (java) S 30295 30295 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71416357 14427361280 25140 33554432000 4194304 4196468 140735687876160 140489783214832 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30306] ppid=30295 vsize=14089220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30306/stat : 30306 (java) S 30295 30295 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71416359 14427361280 25140 33554432000 4194304 4196468 140735687876160 140489782163408 140490671921051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30307] ppid=30295 vsize=14089220 memory=21540 CPUtime=0.35 cores=1,3,5,7
/proc/30297/task/30307/stat : 30307 (java) R 30295 30295 27722 0 -1 4202560 1620 0 0 0 35 0 0 0 20 0 15 0 71416359 14427361280 25140 33554432000 4194304 4196468 140735687876160 140489781101456 140490653420337 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30308] ppid=30295 vsize=14089220 memory=1296 CPUtime=0.36 cores=1,3,5,7
/proc/30297/task/30308/stat : 30308 (java) D 30295 30295 27722 0 -1 4202560 1251 0 0 0 36 0 0 0 20 0 15 0 71416359 14427361280 25140 33554432000 4194304 4196468 140735687876160 140489780051480 140490655227901 0 4 0 16800975 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30309] ppid=30295 vsize=14089220 memory=2412 CPUtime=0.39 cores=1,3,5,7
/proc/30297/task/30309/stat : 30309 (java) R 30295 30295 27722 0 -1 4202560 2016 0 0 0 38 1 0 0 20 0 15 0 71416359 14427361280 25140 33554432000 4194304 4196468 140735687876160 140489779003192 140490664619418 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30310] ppid=30295 vsize=14089220 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30310/stat : 30310 (java) S 30295 30295 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71416360 14427361280 25140 33554432000 4194304 4196468 140735687876160 140489777953632 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30311] ppid=30295 vsize=14089220 memory=7589803909226524263 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30311/stat : 30311 (java) S 30295 30295 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71416360 14427361280 25140 33554432000 4194304 4196468 140735687876160 140489776900656 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 102012 KiB
[startup+1.50082 s]
/proc/loadavg: 1.90 1.82 1.77 5/217 30311
/proc/meminfo: memFree=20116652/32770624 swapFree=67108860/67108860
[pid=30295] ppid=30292 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30295/stat : 30295 (xcsp3-exec) S 30292 30295 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71416354 115843072 363 33554432000 4194304 5098028 140729599595072 140729599593176 139999339180668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29634560 140729599599674 140729599599876 140729599599876 140729599602634 0
/proc/30295/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/30295/stat : 30295 (xcsp3-exec) S 30292 30295 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71416354 115843072 363 33554432000 4194304 5098028 140729599595072 140729599593176 139999339180668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29634560 140729599599674 140729599599876 140729599599876 140729599602634 0
/proc/30295/statm: 28282 363 305 221 0 87 0
[pid=30297] ppid=30295 vsize=14091268 memory=208396 CPUtime=12.98 cores=1,3,5,7
/proc/30297/stat : 30297 (java) S 30295 30295 27722 0 -1 1077944320 24835 0 0 0 1287 11 0 0 20 0 15 0 71416354 14429458432 52099 33554432000 4194304 4196468 140735687876160 140735687858704 140490671902455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
/proc/30297/statm: 3522817 52099 3386 1 0 3484032 0
[pid=30297/tid=30298] ppid=30295 vsize=14091268 memory=667680 CPUtime=9.55 cores=1,3,5,7
/proc/30297/task/30298/stat : 30298 (java) R 30295 30295 27722 0 -1 4202560 8449 0 0 0 951 4 0 0 20 0 15 0 71416354 14429458432 52099 33554432000 4194304 4196468 140735687876160 140490676140624 140490282057886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30299] ppid=30295 vsize=14091268 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30299/stat : 30299 (java) S 30295 30295 27722 0 -1 1077944384 1194 0 0 0 0 0 0 0 20 0 15 0 71416355 14429458432 52099 33554432000 4194304 4196468 140735687876160 140490601991184 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30300] ppid=30295 vsize=14091268 memory=280033746986768 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30300/stat : 30300 (java) S 30295 30295 27722 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 71416355 14429458432 52099 33554432000 4194304 4196468 140735687876160 140490600938640 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30301] ppid=30295 vsize=14091268 memory=280033746986832 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30301/stat : 30301 (java) S 30295 30295 27722 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 71416355 14429458432 52099 33554432000 4194304 4196468 140735687876160 140490599885584 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30302] ppid=30295 vsize=14091268 memory=280033746986896 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30302/stat : 30302 (java) S 30295 30295 27722 0 -1 1077944384 730 0 0 0 0 0 0 0 20 0 15 0 71416355 14429458432 52099 33554432000 4194304 4196468 140735687876160 140490598833040 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30303] ppid=30295 vsize=14091268 memory=280033746986960 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30303/stat : 30303 (java) S 30295 30295 27722 0 -1 1077944384 369 0 0 0 0 0 0 0 20 0 15 0 71416356 14429458432 52099 33554432000 4194304 4196468 140735687876160 140489785321712 140490671913602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30304] ppid=30295 vsize=14091268 memory=280033746987024 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30304/stat : 30304 (java) S 30295 30295 27722 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 71416357 14429458432 52099 33554432000 4194304 4196468 140735687876160 140489784267936 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30305] ppid=30295 vsize=14091268 memory=280033747149424 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30305/stat : 30305 (java) S 30295 30295 27722 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 71416357 14429458432 52099 33554432000 4194304 4196468 140735687876160 140489783214832 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30306] ppid=30295 vsize=14091268 memory=280033747149488 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30306/stat : 30306 (java) S 30295 30295 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71416359 14429458432 52099 33554432000 4194304 4196468 140735687876160 140489782163408 140490671921051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30307] ppid=30295 vsize=14091268 memory=280033747149552 CPUtime=1.39 cores=1,3,5,7
/proc/30297/task/30307/stat : 30307 (java) S 30295 30295 27722 0 -1 1077944384 3842 0 0 0 139 0 0 0 20 0 15 0 71416359 14429458432 52099 33554432000 4194304 4196468 140735687876160 140489781111536 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30308] ppid=30295 vsize=14091268 memory=280033747149616 CPUtime=1.34 cores=1,3,5,7
/proc/30297/task/30308/stat : 30308 (java) S 30295 30295 27722 0 -1 1077944384 4867 0 0 0 133 1 0 0 20 0 15 0 71416359 14429458432 52099 33554432000 4194304 4196468 140735687876160 140489780058992 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30309] ppid=30295 vsize=14091268 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/30297/task/30309/stat : 30309 (java) S 30295 30295 27722 0 -1 1077944384 3689 0 0 0 58 1 0 0 20 0 15 0 71416359 14429458432 52099 33554432000 4194304 4196468 140735687876160 140489779005936 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30310] ppid=30295 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30310/stat : 30310 (java) S 30295 30295 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71416360 14429458432 52099 33554432000 4194304 4196468 140735687876160 140489777953632 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30311] ppid=30295 vsize=14091268 memory=156024 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30311/stat : 30311 (java) S 30295 30295 27722 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 71416360 14429458432 52099 33554432000 4194304 4196468 140735687876160 140489776900656 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
Current children cumulated CPU time: 12.98 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 209848 KiB
[startup+10.4005 s]
/proc/loadavg: 1.83 1.81 1.77 3/217 30311
/proc/meminfo: memFree=20012784/32770624 swapFree=67108860/67108860
[pid=30295] ppid=30292 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30295/stat : 30295 (xcsp3-exec) S 30292 30295 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71416354 115843072 363 33554432000 4194304 5098028 140729599595072 140729599593176 139999339180668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29634560 140729599599674 140729599599876 140729599599876 140729599602634 0
/proc/30295/statm: 28282 363 305 221 0 87 0
[pid=30297] ppid=30295 vsize=14091268 memory=208448 CPUtime=13.81 cores=1,3,5,7
/proc/30297/stat : 30297 (java) S 30295 30295 27722 0 -1 1077944320 25425 0 0 0 1370 11 0 0 20 0 15 0 71416354 14429458432 52112 33554432000 4194304 4196468 140735687876160 140735687858704 140490671902455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
/proc/30297/statm: 3522817 52112 3386 1 0 3484032 0
[pid=30297/tid=30298] ppid=30295 vsize=14091268 memory=0 CPUtime=10.35 cores=1,3,5,7
/proc/30297/task/30298/stat : 30298 (java) R 30295 30295 27722 0 -1 4202560 8485 0 0 0 1031 4 0 0 20 0 15 0 71416354 14429458432 52112 33554432000 4194304 4196468 140735687876160 140490676138712 140490282111019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30299] ppid=30295 vsize=14091268 memory=280032807657646 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30299/stat : 30299 (java) S 30295 30295 27722 0 -1 1077944384 1194 0 0 0 0 0 0 0 20 0 15 0 71416355 14429458432 52112 33554432000 4194304 4196468 140735687876160 140490601991184 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30300] ppid=30295 vsize=14091268 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30300/stat : 30300 (java) S 30295 30295 27722 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 71416355 14429458432 52112 33554432000 4194304 4196468 140735687876160 140490600938640 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30301] ppid=30295 vsize=14091268 memory=21540 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30301/stat : 30301 (java) S 30295 30295 27722 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 71416355 14429458432 52112 33554432000 4194304 4196468 140735687876160 140490599885584 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30302] ppid=30295 vsize=14091268 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30302/stat : 30302 (java) S 30295 30295 27722 0 -1 1077944384 730 0 0 0 0 0 0 0 20 0 15 0 71416355 14429458432 52112 33554432000 4194304 4196468 140735687876160 140490598833040 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30303] ppid=30295 vsize=14091268 memory=2412 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30303/stat : 30303 (java) S 30295 30295 27722 0 -1 1077944384 369 0 0 0 0 0 0 0 20 0 15 0 71416356 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489785321712 140490671913602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30304] ppid=30295 vsize=14091268 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30304/stat : 30304 (java) S 30295 30295 27722 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 71416357 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489784267936 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30305] ppid=30295 vsize=14091268 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30305/stat : 30305 (java) S 30295 30295 27722 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 71416357 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489783214832 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30306] ppid=30295 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30306/stat : 30306 (java) S 30295 30295 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71416359 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489782163408 140490671921051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30307] ppid=30295 vsize=14091268 memory=208448 CPUtime=1.41 cores=1,3,5,7
/proc/30297/task/30307/stat : 30307 (java) S 30295 30295 27722 0 -1 1077944384 4157 0 0 0 141 0 0 0 20 0 15 0 71416359 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489781111536 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30308] ppid=30295 vsize=14091268 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/30297/task/30308/stat : 30308 (java) S 30295 30295 27722 0 -1 1077944384 5092 0 0 0 135 1 0 0 20 0 15 0 71416359 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489780058992 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30309] ppid=30295 vsize=14091268 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/30297/task/30309/stat : 30309 (java) S 30295 30295 27722 0 -1 1077944384 3689 0 0 0 58 1 0 0 20 0 15 0 71416359 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489779005936 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30310] ppid=30295 vsize=14091268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30310/stat : 30310 (java) S 30295 30295 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71416360 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489777953632 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30311] ppid=30295 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30311/stat : 30311 (java) S 30295 30295 27722 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 71416360 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489776900656 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
Current children cumulated CPU time: 13.81 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 209900 KiB
[startup+10.8007 s]
/proc/loadavg: 1.83 1.81 1.77 3/217 30311
/proc/meminfo: memFree=20012784/32770624 swapFree=67108860/67108860
[pid=30295] ppid=30292 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30295/stat : 30295 (xcsp3-exec) S 30292 30295 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71416354 115843072 363 33554432000 4194304 5098028 140729599595072 140729599593176 139999339180668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29634560 140729599599674 140729599599876 140729599599876 140729599602634 0
/proc/30295/statm: 28282 363 305 221 0 87 0
[pid=30297] ppid=30295 vsize=14091268 memory=208448 CPUtime=14.22 cores=1,3,5,7
/proc/30297/stat : 30297 (java) S 30295 30295 27722 0 -1 1077944320 25453 0 0 0 1411 11 0 0 20 0 15 0 71416354 14429458432 52112 33554432000 4194304 4196468 140735687876160 140735687858704 140490671902455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
/proc/30297/statm: 3522817 52112 3386 1 0 3484032 0
[pid=30297/tid=30298] ppid=30295 vsize=14091268 memory=0 CPUtime=10.75 cores=1,3,5,7
/proc/30297/task/30298/stat : 30298 (java) R 30295 30295 27722 0 -1 4202560 8497 0 0 0 1071 4 0 0 20 0 15 0 71416354 14429458432 52112 33554432000 4194304 4196468 140735687876160 140490676138712 140490281982510 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30299] ppid=30295 vsize=14091268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30299/stat : 30299 (java) S 30295 30295 27722 0 -1 1077944384 1194 0 0 0 0 0 0 0 20 0 15 0 71416355 14429458432 52112 33554432000 4194304 4196468 140735687876160 140490601991184 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30300] ppid=30295 vsize=14091268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30300/stat : 30300 (java) S 30295 30295 27722 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 71416355 14429458432 52112 33554432000 4194304 4196468 140735687876160 140490600938640 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30301] ppid=30295 vsize=14091268 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30301/stat : 30301 (java) S 30295 30295 27722 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 71416355 14429458432 52112 33554432000 4194304 4196468 140735687876160 140490599885584 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30302] ppid=30295 vsize=14091268 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30302/stat : 30302 (java) S 30295 30295 27722 0 -1 1077944384 730 0 0 0 0 0 0 0 20 0 15 0 71416355 14429458432 52112 33554432000 4194304 4196468 140735687876160 140490598833040 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30303] ppid=30295 vsize=14091268 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30303/stat : 30303 (java) S 30295 30295 27722 0 -1 1077944384 369 0 0 0 0 0 0 0 20 0 15 0 71416356 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489785321712 140490671913602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30304] ppid=30295 vsize=14091268 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30304/stat : 30304 (java) S 30295 30295 27722 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 71416357 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489784267936 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30305] ppid=30295 vsize=14091268 memory=6645459911560372124 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30305/stat : 30305 (java) S 30295 30295 27722 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 71416357 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489783214832 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30306] ppid=30295 vsize=14091268 memory=-6237260533277354362 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30306/stat : 30306 (java) S 30295 30295 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71416359 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489782163408 140490671921051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30307] ppid=30295 vsize=14091268 memory=6944663189525129274 CPUtime=1.41 cores=1,3,5,7
/proc/30297/task/30307/stat : 30307 (java) S 30295 30295 27722 0 -1 1077944384 4169 0 0 0 141 0 0 0 20 0 15 0 71416359 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489781111536 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30308] ppid=30295 vsize=14091268 memory=7681905605394137914 CPUtime=1.36 cores=1,3,5,7
/proc/30297/task/30308/stat : 30308 (java) S 30295 30295 27722 0 -1 1077944384 5096 0 0 0 135 1 0 0 20 0 15 0 71416359 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489780058992 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30309] ppid=30295 vsize=14091268 memory=4279135703946992287 CPUtime=0.59 cores=1,3,5,7
/proc/30297/task/30309/stat : 30309 (java) S 30295 30295 27722 0 -1 1077944384 3689 0 0 0 58 1 0 0 20 0 15 0 71416359 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489779005936 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30310] ppid=30295 vsize=14091268 memory=-2843869595368740254 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30310/stat : 30310 (java) S 30295 30295 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71416360 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489777953632 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30311] ppid=30295 vsize=14091268 memory=-8253362664378451622 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30311/stat : 30311 (java) S 30295 30295 27722 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 71416360 14429458432 52112 33554432000 4194304 4196468 140735687876160 140489776900656 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
Current children cumulated CPU time: 14.22 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 209900 KiB
[startup+11.2007 s]
/proc/loadavg: 1.83 1.81 1.77 3/217 30311
/proc/meminfo: memFree=20012752/32770624 swapFree=67108860/67108860
[pid=30295] ppid=30292 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30295/stat : 30295 (xcsp3-exec) S 30292 30295 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71416354 115843072 363 33554432000 4194304 5098028 140729599595072 140729599593176 139999339180668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29634560 140729599599674 140729599599876 140729599599876 140729599602634 0
/proc/30295/statm: 28282 363 305 221 0 87 0
[pid=30297] ppid=30295 vsize=14091268 memory=208456 CPUtime=14.63 cores=1,3,5,7
/proc/30297/stat : 30297 (java) S 30295 30295 27722 0 -1 1077944320 25742 0 0 0 1452 11 0 0 20 0 15 0 71416354 14429458432 52114 33554432000 4194304 4196468 140735687876160 140735687858704 140490671902455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
/proc/30297/statm: 3522817 52114 3386 1 0 3484032 0
[pid=30297/tid=30298] ppid=30295 vsize=14091268 memory=6791534058613427641 CPUtime=11.15 cores=1,3,5,7
/proc/30297/task/30298/stat : 30298 (java) R 30295 30295 27722 0 -1 4202560 8518 0 0 0 1111 4 0 0 20 0 15 0 71416354 14429458432 52114 33554432000 4194304 4196468 140735687876160 140490676138712 140490282251175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30299] ppid=30295 vsize=14091268 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30299/stat : 30299 (java) S 30295 30295 27722 0 -1 1077944384 1194 0 0 0 0 0 0 0 20 0 15 0 71416355 14429458432 52114 33554432000 4194304 4196468 140735687876160 140490601991184 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30300] ppid=30295 vsize=14091268 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30300/stat : 30300 (java) S 30295 30295 27722 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 71416355 14429458432 52114 33554432000 4194304 4196468 140735687876160 140490600938640 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30301] ppid=30295 vsize=14091268 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30301/stat : 30301 (java) S 30295 30295 27722 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 71416355 14429458432 52114 33554432000 4194304 4196468 140735687876160 140490599885584 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30302] ppid=30295 vsize=14091268 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30302/stat : 30302 (java) S 30295 30295 27722 0 -1 1077944384 730 0 0 0 0 0 0 0 20 0 15 0 71416355 14429458432 52114 33554432000 4194304 4196468 140735687876160 140490598833040 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30303] ppid=30295 vsize=14091268 memory=792 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30303/stat : 30303 (java) S 30295 30295 27722 0 -1 1077944384 369 0 0 0 0 0 0 0 20 0 15 0 71416356 14429458432 52114 33554432000 4194304 4196468 140735687876160 140489785321712 140490671913602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30304] ppid=30295 vsize=14091268 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30304/stat : 30304 (java) S 30295 30295 27722 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 71416357 14429458432 52114 33554432000 4194304 4196468 140735687876160 140489784267936 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30305] ppid=30295 vsize=14091268 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30305/stat : 30305 (java) S 30295 30295 27722 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 71416357 14429458432 52114 33554432000 4194304 4196468 140735687876160 140489783214832 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30306] ppid=30295 vsize=14091268 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30306/stat : 30306 (java) S 30295 30295 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71416359 14429458432 52114 33554432000 4194304 4196468 140735687876160 140489782163408 140490671921051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30307] ppid=30295 vsize=14091268 memory=15872 CPUtime=1.41 cores=1,3,5,7
/proc/30297/task/30307/stat : 30307 (java) S 30295 30295 27722 0 -1 1077944384 4169 0 0 0 141 0 0 0 20 0 15 0 71416359 14429458432 52114 33554432000 4194304 4196468 140735687876160 140489781111536 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30308] ppid=30295 vsize=14091268 memory=0 CPUtime=1.37 cores=1,3,5,7
/proc/30297/task/30308/stat : 30308 (java) S 30295 30295 27722 0 -1 1077944384 5364 0 0 0 136 1 0 0 20 0 15 0 71416359 14429458432 52114 33554432000 4194304 4196468 140735687876160 140489780058992 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30309] ppid=30295 vsize=14091268 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/30297/task/30309/stat : 30309 (java) S 30295 30295 27722 0 -1 1077944384 3689 0 0 0 58 1 0 0 20 0 15 0 71416359 14429458432 52114 33554432000 4194304 4196468 140735687876160 140489779005936 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30310] ppid=30295 vsize=14091268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30310/stat : 30310 (java) S 30295 30295 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71416360 14429458432 52114 33554432000 4194304 4196468 140735687876160 140489777953632 140490671912661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
[pid=30297/tid=30311] ppid=30295 vsize=14091268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30297/task/30311/stat : 30311 (java) S 30295 30295 27722 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 71416360 14429458432 52114 33554432000 4194304 4196468 140735687876160 140489776900656 140490671913602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 32346112 140735687877761 140735687877937 140735687877937 140735687880655 0
Current children cumulated CPU time: 14.63 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 209908 KiB
Child status: 0
Real time (s): 11.2624
CPU time (s): 14.7057
CPU user time (s): 14.5818
CPU system time (s): 0.123814
CPU usage (%): 130.573
Max. virtual memory (cumulated for all children) (KiB): 14204396
Max. memory (cumulated for all children) (KiB): 209908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.5818
system time used= 0.123814
maximum resident set size= 208796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27038
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= 2539
involuntary context switches= 52
# summary of solver processes directly reported to runsolver:
# pid: 30295
# total CPU time (s): 14.7057
# total CPU user time (s): 14.5818
# total CPU system time (s): 0.123814
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076953 second user time and 0.160095 second system time
The end