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 (12982 MiB free)
memory of node 1: 16384 MiB (11084 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308442-1534338138/watcher-4308442-1534338138 -o /tmp/evaluation-result-4308442-1534338138/solver-4308442-1534338138 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534335657-26239 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 358236679 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308442-1534338138.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=26493, runsolver pid=26490
[startup+0.100105 s]*
/proc/loadavg: 1.41 1.49 1.50 6/216 26508
/proc/meminfo: memFree=24626192/32770624 swapFree=67108524/67108860
[pid=26493] ppid=26490 vsize=14082736 memory=32748 CPUtime=0.12 cores=1,3,5,7
/proc/26493/stat : 26493 (java) S 26490 26493 21510 0 -1 1077944320 7143 0 0 0 11 1 0 0 20 0 15 0 251377003 14420721664 8187 33554432000 4194304 4196468 140737333784176 140737333766720 140612838321911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
/proc/26493/statm: 3520684 8187 3138 1 0 3482761 0
[pid=26493/tid=26495] ppid=26490 vsize=14082736 memory=-8253362762721552001 CPUtime=0.09 cores=1,3,5,7
/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 5200 0 0 0 9 0 0 0 20 0 15 0 251377003 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612842525040 140612838343837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14082736 memory=3472468581558953168 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14082736 memory=140452663801472 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251377005 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26501] ppid=26490 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26501/stat : 26501 (java) S 26490 26493 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251377006 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612311537312 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26502] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26502/stat : 26502 (java) S 26490 26493 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251377006 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612310484208 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26503] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26503/stat : 26503 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612309432784 140612838340507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26504] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26504/stat : 26504 (java) S 26490 26493 21510 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 251377008 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612308379888 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26505] ppid=26490 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26505/stat : 26505 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612307327344 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26506] ppid=26490 vsize=14082736 memory=140452663801472 CPUtime=0.01 cores=1,3,5,7
/proc/26493/task/26506/stat : 26506 (java) R 26490 26493 21510 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 15 0 251377008 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612306274288 140612817022112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26507] ppid=26490 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26507/stat : 26507 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612305221984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26508] ppid=26490 vsize=14082736 memory=140452663801472 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26508/stat : 26508 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377009 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612304170032 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32748 KiB
[startup+0.218657 s]*
/proc/loadavg: 1.41 1.49 1.50 6/216 26508
/proc/meminfo: memFree=24599332/32770624 swapFree=67108524/67108860
[pid=26493] ppid=26490 vsize=14082736 memory=47152 CPUtime=0.33 cores=1,3,5,7
/proc/26493/stat : 26493 (java) S 26490 26493 21510 0 -1 1077944320 10451 0 0 0 32 1 0 0 20 0 15 0 251377003 14420721664 11788 33554432000 4194304 4196468 140737333784176 140737333766720 140612838321911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
/proc/26493/statm: 3520684 11788 3375 1 0 3482761 0
[pid=26493/tid=26495] ppid=26490 vsize=14082736 memory=-6966717399930856064 CPUtime=0.21 cores=1,3,5,7
/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 8129 0 0 0 20 1 0 0 20 0 15 0 251377003 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612842546896 140612822402398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14082736 memory=5793855703673694649 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14082736 memory=140452663801472 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14082736 memory=140452663801472 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251377005 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26501] ppid=26490 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26501/stat : 26501 (java) S 26490 26493 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251377006 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612311537312 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26502] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26502/stat : 26502 (java) S 26490 26493 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251377006 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612310484208 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26503] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26503/stat : 26503 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612309432784 140612838340507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26504] ppid=26490 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26493/task/26504/stat : 26504 (java) S 26490 26493 21510 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 251377008 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612308379888 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26505] ppid=26490 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26493/task/26505/stat : 26505 (java) S 26490 26493 21510 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 15 0 251377008 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612307327344 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26506] ppid=26490 vsize=14082736 memory=140452663801472 CPUtime=0.06 cores=1,3,5,7
/proc/26493/task/26506/stat : 26506 (java) R 26490 26493 21510 0 -1 4202560 325 0 0 0 6 0 0 0 20 0 15 0 251377008 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612306274288 140612830559038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26507] ppid=26490 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26507/stat : 26507 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612305221984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26508] ppid=26490 vsize=14082736 memory=140452663801472 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26508/stat : 26508 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377009 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612304170032 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47152 KiB
[startup+0.310543 s]*
/proc/loadavg: 1.41 1.49 1.50 5/216 26508
/proc/meminfo: memFree=24595424/32770624 swapFree=67108524/67108860
[pid=26493] ppid=26490 vsize=14082736 memory=50368 CPUtime=0.43 cores=1,3,5,7
/proc/26493/stat : 26493 (java) S 26490 26493 21510 0 -1 1077944320 10752 0 0 0 42 1 0 0 20 0 15 0 251377003 14420721664 12592 33554432000 4194304 4196468 140737333784176 140737333766720 140612838321911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
/proc/26493/statm: 3520684 12592 3379 1 0 3482761 0
[pid=26493/tid=26495] ppid=26490 vsize=14082736 memory=-6966717399930856064 CPUtime=0.3 cores=1,3,5,7
/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 8423 0 0 0 29 1 0 0 20 0 15 0 251377003 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612842483648 140612822402398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14082736 memory=5793855703673694649 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14082736 memory=280905208033920 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14082736 memory=280905088492544 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14082736 memory=140452544232463 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14082736 memory=280905208040832 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251377005 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26501] ppid=26490 vsize=14082736 memory=140452544237071 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26501/stat : 26501 (java) S 26490 26493 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251377006 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612311537312 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26502] ppid=26490 vsize=14082736 memory=140452544265615 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26502/stat : 26502 (java) S 26490 26493 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251377006 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612310484208 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26503] ppid=26490 vsize=14082736 memory=140452544268091 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26503/stat : 26503 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612309432784 140612838340507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26504] ppid=26490 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26493/task/26504/stat : 26504 (java) S 26490 26493 21510 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 251377008 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612308379888 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26505] ppid=26490 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26493/task/26505/stat : 26505 (java) S 26490 26493 21510 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 15 0 251377008 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612307327344 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26506] ppid=26490 vsize=14082736 memory=140452663801472 CPUtime=0.07 cores=1,3,5,7
/proc/26493/task/26506/stat : 26506 (java) S 26490 26493 21510 0 -1 1077944384 333 0 0 0 7 0 0 0 20 0 15 0 251377008 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612306274288 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26507] ppid=26490 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26507/stat : 26507 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612305221984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26508] ppid=26490 vsize=14082736 memory=140452663834220 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26508/stat : 26508 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377009 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612304170032 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50368 KiB
[startup+0.700744 s]
/proc/loadavg: 1.41 1.49 1.50 5/216 26508
/proc/meminfo: memFree=24507636/32770624 swapFree=67108524/67108860
[pid=26493] ppid=26490 vsize=14084804 memory=88884 CPUtime=0.99 cores=1,3,5,7
/proc/26493/stat : 26493 (java) S 26490 26493 21510 0 -1 1077944320 17568 0 0 0 96 3 0 0 20 0 15 0 251377003 14422839296 22221 33554432000 4194304 4196468 140737333784176 140737333766720 140612838321911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
/proc/26493/statm: 3521201 22221 3503 1 0 3483273 0
[pid=26493/tid=26495] ppid=26490 vsize=14084804 memory=55 CPUtime=0.68 cores=1,3,5,7
/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 14863 0 0 0 65 3 0 0 20 0 15 0 251377003 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612842546992 140612822402398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14084804 memory=7886766292050916917 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14084804 memory=5787222713684746327 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251377004 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14084804 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251377005 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26501] ppid=26490 vsize=14084804 memory=6076 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26501/stat : 26501 (java) S 26490 26493 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251377006 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612311537312 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26502] ppid=26490 vsize=14084804 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26502/stat : 26502 (java) S 26490 26493 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251377006 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612310484208 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26503] ppid=26490 vsize=14084804 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26503/stat : 26503 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612309432784 140612838340507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26504] ppid=26490 vsize=14084804 memory=3516 CPUtime=0.07 cores=1,3,5,7
/proc/26493/task/26504/stat : 26504 (java) S 26490 26493 21510 0 -1 1077944384 517 0 0 0 7 0 0 0 20 0 15 0 251377008 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612308379888 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26505] ppid=26490 vsize=14084804 memory=872 CPUtime=0.07 cores=1,3,5,7
/proc/26493/task/26505/stat : 26505 (java) S 26490 26493 21510 0 -1 1077944384 402 0 0 0 7 0 0 0 20 0 15 0 251377008 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612307327344 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26506] ppid=26490 vsize=14084804 memory=1288 CPUtime=0.15 cores=1,3,5,7
/proc/26493/task/26506/stat : 26506 (java) S 26490 26493 21510 0 -1 1077944384 404 0 0 0 15 0 0 0 20 0 15 0 251377008 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612306274288 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26507] ppid=26490 vsize=14084804 memory=1088 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26507/stat : 26507 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612305221984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26508] ppid=26490 vsize=14084804 memory=14888 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26508/stat : 26508 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377009 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612304170032 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88884 KiB
[startup+1.50081 s]
/proc/loadavg: 1.41 1.49 1.50 5/197 26533
/proc/meminfo: memFree=24710028/32770624 swapFree=67108524/67108860
[pid=26493] ppid=26490 vsize=14088900 memory=230120 CPUtime=3.14 cores=1,3,5,7
/proc/26493/stat : 26493 (java) S 26490 26493 21510 0 -1 1077944320 25894 0 0 0 305 9 0 0 20 0 15 0 251377003 14427033600 57530 33554432000 4194304 4196468 140737333784176 140737333766720 140612838321911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
/proc/26493/statm: 3522225 57530 3568 1 0 3484297 0
[pid=26493/tid=26495] ppid=26490 vsize=14088900 memory=3712 CPUtime=1.45 cores=1,3,5,7
/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 18835 0 0 0 139 6 0 0 20 0 15 0 251377003 14427033600 57530 33554432000 4194304 4196468 140737333784176 140612842556416 140612479874190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14088900 memory=68412 CPUtime=0.01 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 15 0 251377004 14427033600 57530 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14088900 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 15 0 251377004 14427033600 57530 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 251377004 14427033600 57530 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14088900 memory=55 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 251377004 14427033600 57530 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 15 0 251377005 14427033600 57530 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
################
# More data... #
################
/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 180860 0 0 0 237098 41 0 0 20 0 15 0 251377003 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612842558976 140612475900855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14092996 memory=2313916 CPUtime=7.99 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 30486 0 0 0 720 79 0 0 20 0 15 0 251377004 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14092996 memory=2324892 CPUtime=7.98 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 27831 0 0 0 720 78 0 0 20 0 15 0 251377004 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14092996 memory=2324892 CPUtime=7.96 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 32563 0 0 0 717 79 0 0 20 0 15 0 251377004 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14092996 memory=2324892 CPUtime=7.98 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 31495 0 0 0 721 77 0 0 20 0 15 0 251377004 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14092996 memory=1064 CPUtime=1.78 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 22791 0 0 0 156 22 0 0 20 0 15 0 251377005 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26501] ppid=26490 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26501/stat : 26501 (java) S 26490 26493 21510 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 251377006 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612311537376 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26502] ppid=26490 vsize=14092996 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26502/stat : 26502 (java) S 26490 26493 21510 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 251377006 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612310484224 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26503] ppid=26490 vsize=14092996 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26503/stat : 26503 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612309432784 140612838340507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26504] ppid=26490 vsize=14092996 memory=2318268 CPUtime=3.19 cores=1,3,5,7
/proc/26493/task/26504/stat : 26504 (java) S 26490 26493 21510 0 -1 1077944384 27527 0 0 0 316 3 0 0 20 0 15 0 251377008 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612308379888 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26505] ppid=26490 vsize=14092996 memory=2318268 CPUtime=3.32 cores=1,3,5,7
/proc/26493/task/26505/stat : 26505 (java) S 26490 26493 21510 0 -1 1077944384 33581 0 0 0 329 3 0 0 20 0 15 0 251377008 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612307327344 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26506] ppid=26490 vsize=14092996 memory=3712 CPUtime=1.2 cores=1,3,5,7
/proc/26493/task/26506/stat : 26506 (java) S 26490 26493 21510 0 -1 1077944384 44362 0 0 0 115 5 0 0 20 0 15 0 251377008 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612306274288 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26507] ppid=26490 vsize=14092996 memory=68464 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26507/stat : 26507 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612305221984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26508] ppid=26490 vsize=14092996 memory=11192 CPUtime=1.39 cores=1,3,5,7
/proc/26493/task/26508/stat : 26508 (java) S 26490 26493 21510 0 -1 1077944384 1934 0 0 0 64 75 0 0 20 0 15 0 251377009 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612304170032 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
Current children cumulated CPU time: 2414.28 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2324892 KiB
[startup+2442.3 s]
/proc/loadavg: 1.48 1.46 1.44 3/215 26630
/proc/meminfo: memFree=21919904/32770624 swapFree=67108524/67108860
[pid=26493] ppid=26490 vsize=14092996 memory=2358400 CPUtime=2474.47 cores=1,3,5,7
/proc/26493/stat : 26493 (java) S 26490 26493 21510 0 -1 1077944320 455235 0 0 0 247008 439 0 0 20 0 15 0 251377003 14431227904 589600 33554432000 4194304 4196468 140737333784176 140737333766720 140612838321911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
/proc/26493/statm: 3523249 589600 3619 1 0 3485321 0
[pid=26493/tid=26495] ppid=26490 vsize=14092996 memory=2355692 CPUtime=2431.33 cores=1,3,5,7
/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 197585 0 0 0 243091 42 0 0 20 0 15 0 251377003 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612842558976 140612483662132 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14092996 memory=2355692 CPUtime=8.04 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 31265 0 0 0 724 80 0 0 20 0 15 0 251377004 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14092996 memory=2358400 CPUtime=8.03 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 28606 0 0 0 724 79 0 0 20 0 15 0 251377004 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14092996 memory=924 CPUtime=8 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 33469 0 0 0 721 79 0 0 20 0 15 0 251377004 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14092996 memory=2358400 CPUtime=8.04 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 32427 0 0 0 726 78 0 0 20 0 15 0 251377004 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14092996 memory=2358400 CPUtime=1.79 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 22990 0 0 0 157 22 0 0 20 0 15 0 251377005 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26501] ppid=26490 vsize=14092996 memory=2358400 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26501/stat : 26501 (java) S 26490 26493 21510 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 251377006 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612311537376 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26502] ppid=26490 vsize=14092996 memory=2355692 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26502/stat : 26502 (java) S 26490 26493 21510 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 251377006 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612310484224 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26503] ppid=26490 vsize=14092996 memory=2358400 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26503/stat : 26503 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612309432784 140612838340507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26504] ppid=26490 vsize=14092996 memory=3712 CPUtime=3.19 cores=1,3,5,7
/proc/26493/task/26504/stat : 26504 (java) S 26490 26493 21510 0 -1 1077944384 27529 0 0 0 316 3 0 0 20 0 15 0 251377008 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612308379888 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26505] ppid=26490 vsize=14092996 memory=2355692 CPUtime=3.33 cores=1,3,5,7
/proc/26493/task/26505/stat : 26505 (java) S 26490 26493 21510 0 -1 1077944384 33583 0 0 0 329 4 0 0 20 0 15 0 251377008 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612307327344 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26506] ppid=26490 vsize=14092996 memory=2355692 CPUtime=1.2 cores=1,3,5,7
/proc/26493/task/26506/stat : 26506 (java) S 26490 26493 21510 0 -1 1077944384 44364 0 0 0 115 5 0 0 20 0 15 0 251377008 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612306274288 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26507] ppid=26490 vsize=14092996 memory=2355692 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26507/stat : 26507 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612305221984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26508] ppid=26490 vsize=14092996 memory=2355692 CPUtime=1.43 cores=1,3,5,7
/proc/26493/task/26508/stat : 26508 (java) S 26490 26493 21510 0 -1 1077944384 1963 0 0 0 66 77 0 0 20 0 15 0 251377009 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612304170032 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
Current children cumulated CPU time: 2474.47 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2358400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2487.7 s]
/proc/loadavg: 1.81 1.55 1.47 3/215 26710
/proc/meminfo: memFree=20242100/32770624 swapFree=67108524/67108860
[pid=26493] ppid=26490 vsize=14092996 memory=2384072 CPUtime=2520.01 cores=1,3,5,7
/proc/26493/stat : 26493 (java) S 26490 26493 21510 0 -1 1077944320 458568 0 0 0 251557 444 0 0 20 0 15 0 251377003 14431227904 596018 33554432000 4194304 4196468 140737333784176 140737333766720 140612838321911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
/proc/26493/statm: 3523249 596018 3619 1 0 3485321 0
[pid=26493/tid=26495] ppid=26490 vsize=14092996 memory=2384024 CPUtime=2476.68 cores=1,3,5,7
/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 198763 0 0 0 247626 42 0 0 20 0 15 0 251377003 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612842558976 140612475899696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14092996 memory=2384024 CPUtime=8.08 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 31705 0 0 0 728 80 0 0 20 0 15 0 251377004 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14092996 memory=2380884 CPUtime=8.07 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 29072 0 0 0 727 80 0 0 20 0 15 0 251377004 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14092996 memory=2380884 CPUtime=8.04 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 33967 0 0 0 724 80 0 0 20 0 15 0 251377004 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14092996 memory=2371848 CPUtime=8.07 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 32944 0 0 0 729 78 0 0 20 0 15 0 251377004 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14092996 memory=3712 CPUtime=1.8 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 23007 0 0 0 157 23 0 0 20 0 15 0 251377005 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26501] ppid=26490 vsize=14092996 memory=2368700 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26501/stat : 26501 (java) S 26490 26493 21510 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 251377006 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612311537376 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26502] ppid=26490 vsize=14092996 memory=2384024 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26502/stat : 26502 (java) S 26490 26493 21510 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 251377006 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612310484224 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26503] ppid=26490 vsize=14092996 memory=2384024 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26503/stat : 26503 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612309432784 140612838340507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26504] ppid=26490 vsize=14092996 memory=2380884 CPUtime=3.19 cores=1,3,5,7
/proc/26493/task/26504/stat : 26504 (java) S 26490 26493 21510 0 -1 1077944384 27529 0 0 0 316 3 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612308379888 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26505] ppid=26490 vsize=14092996 memory=2380884 CPUtime=3.33 cores=1,3,5,7
/proc/26493/task/26505/stat : 26505 (java) S 26490 26493 21510 0 -1 1077944384 33583 0 0 0 329 4 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612307327344 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26506] ppid=26490 vsize=14092996 memory=2380884 CPUtime=1.2 cores=1,3,5,7
/proc/26493/task/26506/stat : 26506 (java) S 26490 26493 21510 0 -1 1077944384 44579 0 0 0 115 5 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612306274288 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26507] ppid=26490 vsize=14092996 memory=2384024 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26507/stat : 26507 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612305221984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26508] ppid=26490 vsize=14092996 memory=3712 CPUtime=1.46 cores=1,3,5,7
/proc/26493/task/26508/stat : 26508 (java) S 26490 26493 21510 0 -1 1077944384 1965 0 0 0 67 79 0 0 20 0 15 0 251377009 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612304170032 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2384072 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2487.73 s]
# the end of solver process 26493 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.59 s, system=4.45921 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2487.7 s]
/proc/loadavg: 1.81 1.55 1.47 3/215 26710
/proc/meminfo: memFree=20242100/32770624 swapFree=67108524/67108860
[pid=26493] ppid=26490 vsize=14092996 memory=2384072 CPUtime=2520.01 cores=1,3,5,7
/proc/26493/stat : 26493 (java) S 26490 26493 21510 0 -1 1077944320 458568 0 0 0 251557 444 0 0 20 0 15 0 251377003 14431227904 596018 33554432000 4194304 4196468 140737333784176 140737333766720 140612838321911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
/proc/26493/statm: 3523249 596018 3619 1 0 3485321 0
[pid=26493/tid=26495] ppid=26490 vsize=14092996 memory=2384024 CPUtime=2476.68 cores=1,3,5,7
/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 198763 0 0 0 247626 42 0 0 20 0 15 0 251377003 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612842558976 140612475899696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14092996 memory=2384024 CPUtime=8.08 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 31705 0 0 0 728 80 0 0 20 0 15 0 251377004 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14092996 memory=2380884 CPUtime=8.07 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 29072 0 0 0 727 80 0 0 20 0 15 0 251377004 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14092996 memory=2380884 CPUtime=8.04 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 33967 0 0 0 724 80 0 0 20 0 15 0 251377004 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14092996 memory=2371848 CPUtime=8.07 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 32944 0 0 0 729 78 0 0 20 0 15 0 251377004 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14092996 memory=3712 CPUtime=1.8 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 23007 0 0 0 157 23 0 0 20 0 15 0 251377005 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26501] ppid=26490 vsize=14092996 memory=2368700 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26501/stat : 26501 (java) S 26490 26493 21510 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 251377006 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612311537376 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26502] ppid=26490 vsize=14092996 memory=2384024 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26502/stat : 26502 (java) S 26490 26493 21510 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 251377006 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612310484224 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26503] ppid=26490 vsize=14092996 memory=2384024 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26503/stat : 26503 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612309432784 140612838340507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26504] ppid=26490 vsize=14092996 memory=2380884 CPUtime=3.19 cores=1,3,5,7
/proc/26493/task/26504/stat : 26504 (java) S 26490 26493 21510 0 -1 1077944384 27529 0 0 0 316 3 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612308379888 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26505] ppid=26490 vsize=14092996 memory=2380884 CPUtime=3.33 cores=1,3,5,7
/proc/26493/task/26505/stat : 26505 (java) S 26490 26493 21510 0 -1 1077944384 33583 0 0 0 329 4 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612307327344 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26506] ppid=26490 vsize=14092996 memory=2380884 CPUtime=1.2 cores=1,3,5,7
/proc/26493/task/26506/stat : 26506 (java) S 26490 26493 21510 0 -1 1077944384 44579 0 0 0 115 5 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612306274288 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26507] ppid=26490 vsize=14092996 memory=2384024 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26507/stat : 26507 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612305221984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26508] ppid=26490 vsize=14092996 memory=3712 CPUtime=1.46 cores=1,3,5,7
/proc/26493/task/26508/stat : 26508 (java) S 26490 26493 21510 0 -1 1077944384 1965 0 0 0 67 79 0 0 20 0 15 0 251377009 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612304170032 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2384072 KiB
Child status: 143
Real time (s): 2487.73
CPU time (s): 2520.05
CPU user time (s): 2515.59
CPU system time (s): 4.45921
CPU usage (%): 101.299
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 3129196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.59
system time used= 4.45921
maximum resident set size= 3129216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 458805
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96623
involuntary context switches= 3132
# summary of solver processes directly reported to runsolver:
# pid: 26493
# total CPU time (s): 2520.05
# total CPU user time (s): 2515.59
# total CPU system time (s): 4.45921
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0073 second user time and 23.4831 second system time
The end