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 (14240 MiB free)
memory of node 1: 16384 MiB (14212 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292894-1532298084/watcher-4292894-1532298084 -o /tmp/evaluation-result-4292894-1532298084/solver-4292894-1532298084 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3499 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=754879412 -superng HOME/instance-4292894-1532298084.xml
running on 4 cores: 0,2,4,6
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
solver pid=3531, runsolver pid=3524
Current StackSize limit: 8192 KiB
[startup+0.100166 s]*
/proc/loadavg: 1.55 1.68 1.67 2/190 3532
/proc/meminfo: memFree=29138408/32770624 swapFree=67108860/67108860
[pid=3531] ppid=3524 vsize=33976 memory=460 CPUtime=0 cores=0,2,4,6
/proc/3531/stat : 3531 (runsolver) D 3524 3531 3468 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 1 0 47371664 34791424 115 33554432000 4194304 4346622 140732556769360 140732556765848 140608787323383 0 0 4096 24578 18446744071580419588 0 0 17 4 0 0 0 0 0 6446216 6449568 19230720 140732556772175 140732556772612 140732556772612 140732556775370 0
/proc/3531/statm: 8494 115 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 460 KiB
[startup+0.209806 s]*
/proc/loadavg: 1.55 1.68 1.67 2/190 3532
/proc/meminfo: memFree=29134832/32770624 swapFree=67108860/67108860
[pid=3531] ppid=3524 vsize=33976 memory=460 CPUtime=0 cores=0,2,4,6
/proc/3531/stat : 3531 (runsolver) D 3524 3531 3468 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 1 0 47371664 34791424 115 33554432000 4194304 4346622 140732556769360 140732556765848 140608787323383 0 0 4096 24578 18446744071580419588 0 0 17 4 0 0 0 0 0 6446216 6449568 19230720 140732556772175 140732556772612 140732556772612 140732556775370 0
/proc/3531/statm: 8494 115 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 460 KiB
[startup+0.309758 s]*
/proc/loadavg: 1.55 1.68 1.67 2/190 3532
/proc/meminfo: memFree=29134184/32770624 swapFree=67108860/67108860
[pid=3531] ppid=3524 vsize=33976 memory=460 CPUtime=0 cores=0,2,4,6
/proc/3531/stat : 3531 (runsolver) D 3524 3531 3468 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 1 0 47371664 34791424 115 33554432000 4194304 4346622 140732556769360 140732556765848 140608787323383 0 0 4096 24578 18446744071580419588 0 0 17 4 0 0 0 0 0 6446216 6449568 19230720 140732556772175 140732556772612 140732556772612 140732556775370 0
/proc/3531/statm: 8494 115 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 460 KiB
[startup+0.700302 s]
/proc/loadavg: 1.55 1.68 1.67 2/190 3532
/proc/meminfo: memFree=29135776/32770624 swapFree=67108860/67108860
[pid=3531] ppid=3524 vsize=168 memory=4 CPUtime=0 cores=0,2,4,6
/proc/3531/stat : 3531 (xcsp-3-concrete) D 3524 3531 3468 0 -1 4194304 117 0 0 0 0 0 0 0 20 0 1 0 47371664 172032 1 33554432000 0 0 140726589142130 140732556765848 140608787323383 0 0 4096 0 18446744071580431491 0 0 17 4 0 0 46 0 0 0 0 6320128 140726589142130 0 0 0 0
/proc/3531/statm: 42 1 0 0 0 34 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 168 KiB
Current children cumulated memory: 4 KiB
[startup+1.50074 s]
/proc/loadavg: 1.55 1.68 1.67 5/218 3662
/proc/meminfo: memFree=29084472/32770624 swapFree=67108860/67108860
[pid=3531] ppid=3524 vsize=10819352 memory=86904 CPUtime=1 cores=0,2,4,6
/proc/3531/stat : 3531 (java) S 3524 3531 3468 0 -1 1077944320 16857 13175 1 0 88 4 5 3 20 0 15 0 47371664 11079016448 21726 33554432000 4194304 4196468 140736542622704 140736542605248 140358463184631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 72 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
/proc/3531/statm: 2704838 21726 3237 1 0 2667149 0
[pid=3531/tid=3635] ppid=3524 vsize=10819352 memory=15796 CPUtime=0.68 cores=0,2,4,6
/proc/3531/task/3635/stat : 3635 (java) R 3524 3531 3468 0 -1 4202560 12568 13175 0 0 58 2 5 3 20 0 15 0 47371752 11079016448 21726 33554432000 4194304 4196468 140736542622704 140358435005456 140358447265118 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3637] ppid=3524 vsize=10819352 memory=1296 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3637/stat : 3637 (java) S 3524 3531 3468 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 47371753 11079016448 21726 33554432000 4194304 4196468 140736542622704 140358467427088 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3638] ppid=3524 vsize=10819352 memory=2344 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3638/stat : 3638 (java) S 3524 3531 3468 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 47371753 11079016448 21726 33554432000 4194304 4196468 140736542622704 140358036724624 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3639] ppid=3524 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3639/stat : 3639 (java) S 3524 3531 3468 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 47371753 11079016448 21726 33554432000 4194304 4196468 140736542622704 140358035672080 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3640] ppid=3524 vsize=10819352 memory=180 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3640/stat : 3640 (java) S 3524 3531 3468 0 -1 1077944384 2 13175 0 0 0 0 5 3 20 0 15 0 47371753 11079016448 21726 33554432000 4194304 4196468 140736542622704 140358034619536 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3646] ppid=3524 vsize=10819352 memory=288230600345920227 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3646/stat : 3646 (java) S 3524 3531 3468 0 -1 1077944384 6 13175 0 0 0 0 5 3 20 0 15 0 47371754 11079016448 21726 33554432000 4194304 4196468 140736542622704 140357989804016 140358463195778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3648] ppid=3524 vsize=10819352 memory=15544002879677384 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3648/stat : 3648 (java) S 3524 3531 3468 0 -1 1077944384 13 13175 0 0 0 0 5 3 20 0 15 0 47371755 11079016448 21726 33554432000 4194304 4196468 140736542622704 140357920613280 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3650] ppid=3524 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3650/stat : 3650 (java) S 3524 3531 3468 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 47371755 11079016448 21726 33554432000 4194304 4196468 140736542622704 140357316633584 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3655] ppid=3524 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3655/stat : 3655 (java) S 3524 3531 3468 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 47371758 11079016448 21726 33554432000 4194304 4196468 140736542622704 140357009234128 140358463203227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3656] ppid=3524 vsize=10819352 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/3531/task/3656/stat : 3656 (java) S 3524 3531 3468 0 -1 1077944384 1156 13175 0 0 10 0 5 3 20 0 15 0 47371758 11079016448 21726 33554432000 4194304 4196468 140736542622704 140357887056368 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3657] ppid=3524 vsize=10819352 memory=-2746958450906831424 CPUtime=0.14 cores=0,2,4,6
/proc/3531/task/3657/stat : 3657 (java) S 3524 3531 3468 0 -1 1077944384 319 13175 0 0 6 0 5 3 20 0 15 0 47371758 11079016448 21726 33554432000 4194304 4196468 140736542622704 140357886003824 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3658] ppid=3524 vsize=10819352 memory=6944652177228980320 CPUtime=0.21 cores=0,2,4,6
/proc/3531/task/3658/stat : 3658 (java) S 3524 3531 3468 0 -1 1077944384 598 13175 0 0 13 0 5 3 20 0 15 0 47371758 11079016448 21726 33554432000 4194304 4196468 140736542622704 140357884951280 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3660] ppid=3524 vsize=10819352 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3660/stat : 3660 (java) S 3524 3531 3468 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 47371758 11079016448 21726 33554432000 4194304 4196468 140736542622704 140356975676512 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3662] ppid=3524 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3662/stat : 3662 (java) S 3524 3531 3468 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 47371758 11079016448 21726 33554432000 4194304 4196468 140736542622704 140357883898160 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86904 KiB
[startup+3.11209 s]
/proc/loadavg: 1.55 1.68 1.67 7/218 3662
/proc/meminfo: memFree=28784112/32770624 swapFree=67108860/67108860
[pid=3531] ppid=3524 vsize=10840416 memory=198316 CPUtime=3.92 cores=0,2,4,6
/proc/3531/stat : 3531 (java) S 3524 3531 3468 0 -1 1077944320 33369 13175 1 0 373 11 5 3 20 0 15 0 47371664 11100585984 49579 33554432000 4194304 4196468 140736542622704 140736542605248 140358463184631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 72 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
/proc/3531/statm: 2710104 49579 3486 1 0 2671757 0
[pid=3531/tid=3635] ppid=3524 vsize=10840416 memory=1612 CPUtime=2.23 cores=0,2,4,6
/proc/3531/task/3635/stat : 3635 (java) R 3524 3531 3468 0 -1 4202560 23151 13175 0 0 209 6 5 3 20 0 15 0 47371752 11100585984 49579 33554432000 4194304 4196468 140736542622704 140358435002256 140358445589345 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3637] ppid=3524 vsize=10840416 memory=184716 CPUtime=0.09 cores=0,2,4,6
/proc/3531/task/3637/stat : 3637 (java) S 3524 3531 3468 0 -1 1077944384 19 13175 0 0 1 0 5 3 20 0 15 0 47371753 11100585984 49579 33554432000 4194304 4196468 140736542622704 140358467427088 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3638] ppid=3524 vsize=10840416 memory=15796 CPUtime=0.09 cores=0,2,4,6
/proc/3531/task/3638/stat : 3638 (java) S 3524 3531 3468 0 -1 1077944384 22 13175 0 0 1 0 5 3 20 0 15 0 47371753 11100585984 49579 33554432000 4194304 4196468 140736542622704 140358036724624 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3639] ppid=3524 vsize=10840416 memory=1296 CPUtime=0.09 cores=0,2,4,6
/proc/3531/task/3639/stat : 3639 (java) S 3524 3531 3468 0 -1 1077944384 184 13175 0 0 1 0 5 3 20 0 15 0 47371753 11100585984 49579 33554432000 4194304 4196468 140736542622704 140358035672080 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3640] ppid=3524 vsize=10840416 memory=2344 CPUtime=0.09 cores=0,2,4,6
/proc/3531/task/3640/stat : 3640 (java) S 3524 3531 3468 0 -1 1077944384 56 13175 0 0 1 0 5 3 20 0 15 0 47371753 11100585984 49579 33554432000 4194304 4196468 140736542622704 140358034619536 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3646] ppid=3524 vsize=10840416 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3531/task/3646/stat : 3646 (java) S 3524 3531 3468 0 -1 1077944384 493 13175 0 0 1 0 5 3 20 0 15 0 47371754 11100585984 49579 33554432000 4194304 4196468 140736542622704 140357989804016 140358463195778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3648] ppid=3524 vsize=10840416 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3648/stat : 3648 (java) S 3524 3531 3468 0 -1 1077944384 14 13175 0 0 0 0 5 3 20 0 15 0 47371755 11100585984 49579 33554432000 4194304 4196468 140736542622704 140357920613344 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3650] ppid=3524 vsize=10840416 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3650/stat : 3650 (java) S 3524 3531 3468 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 47371755 11100585984 49579 33554432000 4194304 4196468 140736542622704 140357316633600 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3655] ppid=3524 vsize=10840416 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3655/stat : 3655 (java) S 3524 3531 3468 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 47371758 11100585984 49579 33554432000 4194304 4196468 140736542622704 140357009234128 140358463203227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3656] ppid=3524 vsize=10840416 memory=8 CPUtime=0.46 cores=0,2,4,6
/proc/3531/task/3656/stat : 3656 (java) R 3524 3531 3468 0 -1 1077944384 1616 13175 0 0 38 0 5 3 20 0 15 0 47371758 11100585984 49579 33554432000 4194304 4196468 140736542622704 140357887046288 140358463194837 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3657] ppid=3524 vsize=10840416 memory=8 CPUtime=0.5 cores=0,2,4,6
/proc/3531/task/3657/stat : 3657 (java) R 3524 3531 3468 0 -1 4202560 1306 13175 0 0 42 0 5 3 20 0 15 0 47371758 11100585984 49579 33554432000 4194304 4196468 140736542622704 140357886003824 140358444714144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3658] ppid=3524 vsize=10840416 memory=8 CPUtime=0.84 cores=0,2,4,6
/proc/3531/task/3658/stat : 3658 (java) R 3524 3531 3468 0 -1 4202560 4309 13175 0 0 75 1 5 3 20 0 15 0 47371758 11100585984 49579 33554432000 4194304 4196468 140736542622704 140357884945728 140358441553473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3660] ppid=3524 vsize=10840416 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3660/stat : 3660 (java) S 3524 3531 3468 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 47371758 11100585984 49579 33554432000 4194304 4196468 140736542622704 140356975676512 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3662] ppid=3524 vsize=10840416 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3662/stat : 3662 (java) S 3524 3531 3468 0 -1 1077944384 7 13175 0 0 0 0 5 3 20 0 15 0 47371758 11100585984 49579 33554432000 4194304 4196468 140736542622704 140357883898160 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
Current children cumulated CPU time: 3.92 s
Current children cumulated vsize: 10840416 KiB
Current children cumulated memory: 198316 KiB
[startup+6.30124 s]
/proc/loadavg: 1.66 1.70 1.68 10/218 3662
/proc/meminfo: memFree=28440672/32770624 swapFree=67108860/67108860
[pid=3531] ppid=3524 vsize=10918240 memory=371276 CPUtime=13.36 cores=0,2,4,6
/proc/3531/stat : 3531 (java) S 3524 3531 3468 0 -1 1077944320 66834 13175 1 0 1306 22 5 3 20 0 15 0 47371664 11180277760 92819 33554432000 4194304 4196468 140736542622704 140736542605248 140358463184631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 72 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
/proc/3531/statm: 2729560 92819 3519 1 0 2691213 0
[pid=3531/tid=3635] ppid=3524 vsize=10918240 memory=56 CPUtime=5.35 cores=0,2,4,6
/proc/3531/task/3635/stat : 3635 (java) R 3524 3531 3468 0 -1 4202560 39528 13175 0 0 517 10 5 3 20 0 15 0 47371752 11180277760 92819 33554432000 4194304 4196468 140736542622704 140358435013216 140358089733400 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3637] ppid=3524 vsize=10918240 memory=140608639681530 CPUtime=0.11 cores=0,2,4,6
/proc/3531/task/3637/stat : 3637 (java) S 3524 3531 3468 0 -1 1077944384 68 13175 0 0 3 0 5 3 20 0 15 0 47371753 11180277760 92819 33554432000 4194304 4196468 140736542622704 140358467427088 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3638] ppid=3524 vsize=10918240 memory=281217278955344 CPUtime=0.12 cores=0,2,4,6
/proc/3531/task/3638/stat : 3638 (java) S 3524 3531 3468 0 -1 1077944384 70 13175 0 0 4 0 5 3 20 0 15 0 47371753 11180277760 92819 33554432000 4194304 4196468 140736542622704 140358036724624 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3639] ppid=3524 vsize=10918240 memory=4140 CPUtime=0.11 cores=0,2,4,6
/proc/3531/task/3639/stat : 3639 (java) S 3524 3531 3468 0 -1 1077944384 241 13175 0 0 3 0 5 3 20 0 15 0 47371753 11180277760 92819 33554432000 4194304 4196468 140736542622704 140358035672080 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3640] ppid=3524 vsize=10918240 memory=15796 CPUtime=0.11 cores=0,2,4,6
/proc/3531/task/3640/stat : 3640 (java) S 3524 3531 3468 0 -1 1077944384 97 13175 0 0 3 0 5 3 20 0 15 0 47371753 11180277760 92819 33554432000 4194304 4196468 140736542622704 140358034619536 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3646] ppid=3524 vsize=10918240 memory=8 CPUtime=0.11 cores=0,2,4,6
/proc/3531/task/3646/stat : 3646 (java) S 3524 3531 3468 0 -1 1077944384 1949 13175 0 0 3 0 5 3 20 0 15 0 47371754 11180277760 92819 33554432000 4194304 4196468 140736542622704 140357989804016 140358463195778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3648] ppid=3524 vsize=10918240 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3648/stat : 3648 (java) S 3524 3531 3468 0 -1 1077944384 14 13175 0 0 0 0 5 3 20 0 15 0 47371755 11180277760 92819 33554432000 4194304 4196468 140736542622704 140357920613408 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3650] ppid=3524 vsize=10918240 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3650/stat : 3650 (java) S 3524 3531 3468 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 47371755 11180277760 92819 33554432000 4194304 4196468 140736542622704 140357316633600 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3655] ppid=3524 vsize=10918240 memory=292940 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3655/stat : 3655 (java) S 3524 3531 3468 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 47371758 11180277760 92819 33554432000 4194304 4196468 140736542622704 140357009234128 140358463203227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3656] ppid=3524 vsize=10918240 memory=3 CPUtime=2.94 cores=0,2,4,6
/proc/3531/task/3656/stat : 3656 (java) R 3524 3531 3468 0 -1 4202560 6920 13175 0 0 285 1 5 3 20 0 15 0 47371758 11180277760 92819 33554432000 4194304 4196468 140736542622704 140357887040688 140358448094544 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3657] ppid=3524 vsize=10918240 memory=3 CPUtime=2.71 cores=0,2,4,6
/proc/3531/task/3657/stat : 3657 (java) R 3524 3531 3468 0 -1 4202560 5954 13175 0 0 261 2 5 3 20 0 15 0 47371758 11180277760 92819 33554432000 4194304 4196468 140736542622704 140357885984632 140358446595424 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3658] ppid=3524 vsize=10918240 memory=3 CPUtime=2.31 cores=0,2,4,6
/proc/3531/task/3658/stat : 3658 (java) S 3524 3531 3468 0 -1 1077944384 9789 13175 0 0 220 3 5 3 20 0 15 0 47371758 11180277760 92819 33554432000 4194304 4196468 140736542622704 140357884951280 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3660] ppid=3524 vsize=10918240 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3660/stat : 3660 (java) S 3524 3531 3468 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 47371758 11180277760 92819 33554432000 4194304 4196468 140736542622704 140356975676512 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3662] ppid=3524 vsize=10918240 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3662/stat : 3662 (java) S 3524 3531 3468 0 -1 1077944384 10 13175 0 0 0 0 5 3 20 0 15 0 47371758 11180277760 92819 33554432000 4194304 4196468 140736542622704 140357883898160 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
Current children cumulated CPU time: 13.36 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 371276 KiB
[startup+12.7008 s]
/proc/loadavg: 1.77 1.72 1.69 4/218 3662
/proc/meminfo: memFree=27431280/32770624 swapFree=67108860/67108860
[pid=3531] ppid=3524 vsize=10918240 memory=996696 CPUtime=25.66 cores=0,2,4,6
/proc/3531/stat : 3531 (java) S 3524 3531 3468 0 -1 1077944320 87391 13175 1 0 2484 74 5 3 20 0 15 0 47371664 11180277760 249174 33554432000 4194304 4196468 140736542622704 140736542605248 140358463184631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 72 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
/proc/3531/statm: 2729560 249174 3531 1 0 2691213 0
[pid=3531/tid=3635] ppid=3524 vsize=10918240 memory=996696 CPUtime=11.39 cores=0,2,4,6
/proc/3531/task/3635/stat : 3635 (java) R 3524 3531 3468 0 -1 4202560 44476 13175 0 0 1116 15 5 3 20 0 15 0 47371752 11180277760 249174 33554432000 4194304 4196468 140736542622704 140358435017336 140358070830874 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3637] ppid=3524 vsize=10918240 memory=996696 CPUtime=0.45 cores=0,2,4,6
/proc/3531/task/3637/stat : 3637 (java) S 3524 3531 3468 0 -1 1077944384 1111 13175 0 0 26 11 5 3 20 0 15 0 47371753 11180277760 249174 33554432000 4194304 4196468 140736542622704 140358467427088 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3638] ppid=3524 vsize=10918240 memory=4140 CPUtime=0.45 cores=0,2,4,6
/proc/3531/task/3638/stat : 3638 (java) S 3524 3531 3468 0 -1 1077944384 603 13175 0 0 26 11 5 3 20 0 15 0 47371753 11180277760 249174 33554432000 4194304 4196468 140736542622704 140358036724624 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3639] ppid=3524 vsize=10918240 memory=55 CPUtime=0.45 cores=0,2,4,6
/proc/3531/task/3639/stat : 3639 (java) S 3524 3531 3468 0 -1 1077944384 613 13175 0 0 26 11 5 3 20 0 15 0 47371753 11180277760 249174 33554432000 4194304 4196468 140736542622704 140358035672080 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3640] ppid=3524 vsize=10918240 memory=229 CPUtime=0.45 cores=0,2,4,6
/proc/3531/task/3640/stat : 3640 (java) S 3524 3531 3468 0 -1 1077944384 671 13175 0 0 26 11 5 3 20 0 15 0 47371753 11180277760 249174 33554432000 4194304 4196468 140736542622704 140358034619536 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
################
# More data... #
################
/proc/3531/task/3635/stat : 3635 (java) R 3524 3531 3468 0 -1 4202560 117038 13175 0 0 235688 59 5 3 20 0 15 0 47371752 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358435019824 140358068354875 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3637] ppid=3524 vsize=10918240 memory=1542588 CPUtime=15.47 cores=0,2,4,6
/proc/3531/task/3637/stat : 3637 (java) S 3524 3531 3468 0 -1 1077944384 19104 13175 0 0 1486 53 5 3 20 0 15 0 47371753 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358467427088 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3638] ppid=3524 vsize=10918240 memory=1544636 CPUtime=15.43 cores=0,2,4,6
/proc/3531/task/3638/stat : 3638 (java) S 3524 3531 3468 0 -1 1077944384 22734 13175 0 0 1484 51 5 3 20 0 15 0 47371753 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358036724624 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3639] ppid=3524 vsize=10918240 memory=1544636 CPUtime=15.45 cores=0,2,4,6
/proc/3531/task/3639/stat : 3639 (java) S 3524 3531 3468 0 -1 1077944384 22478 13175 0 0 1484 53 5 3 20 0 15 0 47371753 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358035672080 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3640] ppid=3524 vsize=10918240 memory=1544636 CPUtime=15.49 cores=0,2,4,6
/proc/3531/task/3640/stat : 3640 (java) S 3524 3531 3468 0 -1 1077944384 23426 13175 0 0 1490 51 5 3 20 0 15 0 47371753 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358034619536 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3646] ppid=3524 vsize=10918240 memory=1544636 CPUtime=5.91 cores=0,2,4,6
/proc/3531/task/3646/stat : 3646 (java) S 3524 3531 3468 0 -1 1077944384 20117 13175 0 0 545 38 5 3 20 0 15 0 47371754 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357989804016 140358463195778 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3648] ppid=3524 vsize=10918240 memory=1544636 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3648/stat : 3648 (java) S 3524 3531 3468 0 -1 1077944384 16 13175 0 0 0 0 5 3 20 0 15 0 47371755 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357920613408 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3650] ppid=3524 vsize=10918240 memory=1544636 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3650/stat : 3650 (java) S 3524 3531 3468 0 -1 1077944384 5 13175 0 0 0 0 5 3 20 0 15 0 47371755 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357316633600 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3655] ppid=3524 vsize=10918240 memory=14004 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3655/stat : 3655 (java) S 3524 3531 3468 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357009234128 140358463203227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3656] ppid=3524 vsize=10918240 memory=932 CPUtime=9.21 cores=0,2,4,6
/proc/3531/task/3656/stat : 3656 (java) S 3524 3531 3468 0 -1 1077944384 32847 13175 0 0 907 6 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357887056368 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3657] ppid=3524 vsize=10918240 memory=1522 CPUtime=8.61 cores=0,2,4,6
/proc/3531/task/3657/stat : 3657 (java) S 3524 3531 3468 0 -1 1077944384 32348 13175 0 0 847 6 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357886003824 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3658] ppid=3524 vsize=10918240 memory=1544636 CPUtime=4.06 cores=0,2,4,6
/proc/3531/task/3658/stat : 3658 (java) S 3524 3531 3468 0 -1 1077944384 33168 13175 0 0 390 8 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357884951280 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3660] ppid=3524 vsize=10918240 memory=1544636 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3660/stat : 3660 (java) S 3524 3531 3468 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140356975676512 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3662] ppid=3524 vsize=10918240 memory=1544636 CPUtime=1.36 cores=0,2,4,6
/proc/3531/task/3662/stat : 3662 (java) S 3524 3531 3468 0 -1 1077944384 1456 13175 0 0 63 65 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357883898160 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
Current children cumulated CPU time: 2447.93 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1544636 KiB
[startup+2442.3 s]
/proc/loadavg: 1.31 1.32 1.36 4/216 3764
/proc/meminfo: memFree=26314216/32770624 swapFree=67108860/67108860
[pid=3531] ppid=3524 vsize=10918240 memory=1544636 CPUtime=2509.24 cores=0,2,4,6
/proc/3531/stat : 3531 (java) S 3524 3531 3468 0 -1 1077944320 328693 13175 1 0 250550 366 5 3 20 0 15 0 47371664 11180277760 386159 33554432000 4194304 4196468 140736542622704 140736542605248 140358463184631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 72 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
/proc/3531/statm: 2729560 386159 3533 1 0 2691213 0
[pid=3531/tid=3635] ppid=3524 vsize=10918240 memory=8112282956445269571 CPUtime=2416.92 cores=0,2,4,6
/proc/3531/task/3635/stat : 3635 (java) R 3524 3531 3468 0 -1 4202560 117949 13175 0 0 241624 60 5 3 20 0 15 0 47371752 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358435019920 140358089079776 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3637] ppid=3524 vsize=10918240 memory=1544636 CPUtime=15.9 cores=0,2,4,6
/proc/3531/task/3637/stat : 3637 (java) S 3524 3531 3468 0 -1 1077944384 19312 13175 0 0 1529 53 5 3 20 0 15 0 47371753 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358467427088 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3638] ppid=3524 vsize=10918240 memory=1544636 CPUtime=15.86 cores=0,2,4,6
/proc/3531/task/3638/stat : 3638 (java) S 3524 3531 3468 0 -1 1077944384 22876 13175 0 0 1526 52 5 3 20 0 15 0 47371753 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358036724624 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3639] ppid=3524 vsize=10918240 memory=1544636 CPUtime=15.89 cores=0,2,4,6
/proc/3531/task/3639/stat : 3639 (java) S 3524 3531 3468 0 -1 1077944384 22745 13175 0 0 1527 54 5 3 20 0 15 0 47371753 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358035672080 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3640] ppid=3524 vsize=10918240 memory=1544636 CPUtime=15.92 cores=0,2,4,6
/proc/3531/task/3640/stat : 3640 (java) S 3524 3531 3468 0 -1 1077944384 23463 13175 0 0 1532 52 5 3 20 0 15 0 47371753 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358034619536 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3646] ppid=3524 vsize=10918240 memory=1544636 CPUtime=6.07 cores=0,2,4,6
/proc/3531/task/3646/stat : 3646 (java) S 3524 3531 3468 0 -1 1077944384 20292 13175 0 0 560 39 5 3 20 0 15 0 47371754 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357989804016 140358463195778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3648] ppid=3524 vsize=10918240 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3648/stat : 3648 (java) S 3524 3531 3468 0 -1 1077944384 16 13175 0 0 0 0 5 3 20 0 15 0 47371755 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357920613408 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3650] ppid=3524 vsize=10918240 memory=1544636 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3650/stat : 3650 (java) S 3524 3531 3468 0 -1 1077944384 5 13175 0 0 0 0 5 3 20 0 15 0 47371755 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357316633600 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3655] ppid=3524 vsize=10918240 memory=1544636 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3655/stat : 3655 (java) S 3524 3531 3468 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357009234128 140358463203227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3656] ppid=3524 vsize=10918240 memory=1544636 CPUtime=9.21 cores=0,2,4,6
/proc/3531/task/3656/stat : 3656 (java) S 3524 3531 3468 0 -1 1077944384 32849 13175 0 0 907 6 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357887056368 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3657] ppid=3524 vsize=10918240 memory=1196 CPUtime=8.61 cores=0,2,4,6
/proc/3531/task/3657/stat : 3657 (java) S 3524 3531 3468 0 -1 1077944384 32350 13175 0 0 847 6 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357886003824 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3658] ppid=3524 vsize=10918240 memory=1544636 CPUtime=4.06 cores=0,2,4,6
/proc/3531/task/3658/stat : 3658 (java) S 3524 3531 3468 0 -1 1077944384 33170 13175 0 0 390 8 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357884951280 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3660] ppid=3524 vsize=10918240 memory=2340 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3660/stat : 3660 (java) S 3524 3531 3468 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140356975676512 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3662] ppid=3524 vsize=10918240 memory=1544636 CPUtime=1.4 cores=0,2,4,6
/proc/3531/task/3662/stat : 3662 (java) S 3524 3531 3468 0 -1 1077944384 1473 13175 0 0 65 67 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357883898160 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
Current children cumulated CPU time: 2509.24 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1544636 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2452.9 s]
/proc/loadavg: 1.35 1.33 1.36 4/216 3764
/proc/meminfo: memFree=26314216/32770624 swapFree=67108860/67108860
[pid=3531] ppid=3524 vsize=10918240 memory=1544636 CPUtime=2520.06 cores=0,2,4,6
/proc/3531/stat : 3531 (java) S 3524 3531 3468 0 -1 1077944320 329659 13175 1 0 251631 367 5 3 20 0 15 0 47371664 11180277760 386159 33554432000 4194304 4196468 140736542622704 140736542605248 140358463184631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 72 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
/proc/3531/statm: 2729560 386159 3533 1 0 2691213 0
[pid=3531/tid=3635] ppid=3524 vsize=10918240 memory=1544636 CPUtime=2427.4 cores=0,2,4,6
/proc/3531/task/3635/stat : 3635 (java) R 3524 3531 3468 0 -1 4202560 118158 13175 0 0 242672 60 5 3 20 0 15 0 47371752 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358435020112 140358068355035 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3637] ppid=3524 vsize=10918240 memory=1544636 CPUtime=15.98 cores=0,2,4,6
/proc/3531/task/3637/stat : 3637 (java) S 3524 3531 3468 0 -1 1077944384 19480 13175 0 0 1537 53 5 3 20 0 15 0 47371753 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358467427088 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3638] ppid=3524 vsize=10918240 memory=55 CPUtime=15.94 cores=0,2,4,6
/proc/3531/task/3638/stat : 3638 (java) S 3524 3531 3468 0 -1 1077944384 23079 13175 0 0 1534 52 5 3 20 0 15 0 47371753 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358036724624 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3639] ppid=3524 vsize=10918240 memory=1544636 CPUtime=15.97 cores=0,2,4,6
/proc/3531/task/3639/stat : 3639 (java) S 3524 3531 3468 0 -1 1077944384 22982 13175 0 0 1535 54 5 3 20 0 15 0 47371753 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358035672080 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3640] ppid=3524 vsize=10918240 memory=1544636 CPUtime=16 cores=0,2,4,6
/proc/3531/task/3640/stat : 3640 (java) S 3524 3531 3468 0 -1 1077944384 23493 13175 0 0 1540 52 5 3 20 0 15 0 47371753 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358034619536 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3646] ppid=3524 vsize=10918240 memory=1544636 CPUtime=6.1 cores=0,2,4,6
/proc/3531/task/3646/stat : 3646 (java) S 3524 3531 3468 0 -1 1077944384 20407 13175 0 0 563 39 5 3 20 0 15 0 47371754 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357989804016 140358463195778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3648] ppid=3524 vsize=10918240 memory=1544636 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3648/stat : 3648 (java) S 3524 3531 3468 0 -1 1077944384 16 13175 0 0 0 0 5 3 20 0 15 0 47371755 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357920613408 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3650] ppid=3524 vsize=10918240 memory=1544636 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3650/stat : 3650 (java) S 3524 3531 3468 0 -1 1077944384 5 13175 0 0 0 0 5 3 20 0 15 0 47371755 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357316633600 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3655] ppid=3524 vsize=10918240 memory=4052 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3655/stat : 3655 (java) S 3524 3531 3468 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357009234128 140358463203227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3656] ppid=3524 vsize=10918240 memory=8112282956445269571 CPUtime=9.21 cores=0,2,4,6
/proc/3531/task/3656/stat : 3656 (java) S 3524 3531 3468 0 -1 1077944384 32849 13175 0 0 907 6 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357887056368 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3657] ppid=3524 vsize=10918240 memory=1544636 CPUtime=8.61 cores=0,2,4,6
/proc/3531/task/3657/stat : 3657 (java) S 3524 3531 3468 0 -1 1077944384 32350 13175 0 0 847 6 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357886003824 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3658] ppid=3524 vsize=10918240 memory=1544636 CPUtime=4.06 cores=0,2,4,6
/proc/3531/task/3658/stat : 3658 (java) S 3524 3531 3468 0 -1 1077944384 33170 13175 0 0 390 8 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357884951280 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3660] ppid=3524 vsize=10918240 memory=1544636 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3660/stat : 3660 (java) S 3524 3531 3468 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140356975676512 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3662] ppid=3524 vsize=10918240 memory=1544636 CPUtime=1.4 cores=0,2,4,6
/proc/3531/task/3662/stat : 3662 (java) S 3524 3531 3468 0 -1 1077944384 1477 13175 0 0 65 67 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357883898160 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1544636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2452.93 s]
# the end of solver process 3531 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.39 s, system=3.72388 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2452.9 s]
/proc/loadavg: 1.35 1.33 1.36 4/216 3764
/proc/meminfo: memFree=26314216/32770624 swapFree=67108860/67108860
[pid=3531] ppid=3524 vsize=10918240 memory=1544636 CPUtime=2520.06 cores=0,2,4,6
/proc/3531/stat : 3531 (java) S 3524 3531 3468 0 -1 1077944320 329659 13175 1 0 251631 367 5 3 20 0 15 0 47371664 11180277760 386159 33554432000 4194304 4196468 140736542622704 140736542605248 140358463184631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 72 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
/proc/3531/statm: 2729560 386159 3533 1 0 2691213 0
[pid=3531/tid=3635] ppid=3524 vsize=10918240 memory=1544636 CPUtime=2427.4 cores=0,2,4,6
/proc/3531/task/3635/stat : 3635 (java) R 3524 3531 3468 0 -1 4202560 118158 13175 0 0 242672 60 5 3 20 0 15 0 47371752 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358435020112 140358068355035 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3637] ppid=3524 vsize=10918240 memory=1544636 CPUtime=15.98 cores=0,2,4,6
/proc/3531/task/3637/stat : 3637 (java) S 3524 3531 3468 0 -1 1077944384 19480 13175 0 0 1537 53 5 3 20 0 15 0 47371753 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358467427088 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3638] ppid=3524 vsize=10918240 memory=55 CPUtime=15.94 cores=0,2,4,6
/proc/3531/task/3638/stat : 3638 (java) S 3524 3531 3468 0 -1 1077944384 23079 13175 0 0 1534 52 5 3 20 0 15 0 47371753 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358036724624 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3639] ppid=3524 vsize=10918240 memory=1544636 CPUtime=15.97 cores=0,2,4,6
/proc/3531/task/3639/stat : 3639 (java) S 3524 3531 3468 0 -1 1077944384 22982 13175 0 0 1535 54 5 3 20 0 15 0 47371753 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358035672080 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3640] ppid=3524 vsize=10918240 memory=1544636 CPUtime=16 cores=0,2,4,6
/proc/3531/task/3640/stat : 3640 (java) S 3524 3531 3468 0 -1 1077944384 23493 13175 0 0 1540 52 5 3 20 0 15 0 47371753 11180277760 386159 33554432000 4194304 4196468 140736542622704 140358034619536 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3646] ppid=3524 vsize=10918240 memory=1544636 CPUtime=6.1 cores=0,2,4,6
/proc/3531/task/3646/stat : 3646 (java) S 3524 3531 3468 0 -1 1077944384 20407 13175 0 0 563 39 5 3 20 0 15 0 47371754 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357989804016 140358463195778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3648] ppid=3524 vsize=10918240 memory=1544636 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3648/stat : 3648 (java) S 3524 3531 3468 0 -1 1077944384 16 13175 0 0 0 0 5 3 20 0 15 0 47371755 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357920613408 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3650] ppid=3524 vsize=10918240 memory=1544636 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3650/stat : 3650 (java) S 3524 3531 3468 0 -1 1077944384 5 13175 0 0 0 0 5 3 20 0 15 0 47371755 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357316633600 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3655] ppid=3524 vsize=10918240 memory=4052 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3655/stat : 3655 (java) S 3524 3531 3468 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357009234128 140358463203227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3656] ppid=3524 vsize=10918240 memory=8112282956445269571 CPUtime=9.21 cores=0,2,4,6
/proc/3531/task/3656/stat : 3656 (java) S 3524 3531 3468 0 -1 1077944384 32849 13175 0 0 907 6 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357887056368 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3657] ppid=3524 vsize=10918240 memory=1544636 CPUtime=8.61 cores=0,2,4,6
/proc/3531/task/3657/stat : 3657 (java) S 3524 3531 3468 0 -1 1077944384 32350 13175 0 0 847 6 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357886003824 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3658] ppid=3524 vsize=10918240 memory=1544636 CPUtime=4.06 cores=0,2,4,6
/proc/3531/task/3658/stat : 3658 (java) S 3524 3531 3468 0 -1 1077944384 33170 13175 0 0 390 8 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357884951280 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3660] ppid=3524 vsize=10918240 memory=1544636 CPUtime=0.08 cores=0,2,4,6
/proc/3531/task/3660/stat : 3660 (java) S 3524 3531 3468 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140356975676512 140358463194837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
[pid=3531/tid=3662] ppid=3524 vsize=10918240 memory=1544636 CPUtime=1.4 cores=0,2,4,6
/proc/3531/task/3662/stat : 3662 (java) S 3524 3531 3468 0 -1 1077944384 1477 13175 0 0 65 67 5 3 20 0 15 0 47371758 11180277760 386159 33554432000 4194304 4196468 140736542622704 140357883898160 140358463195778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39223296 140736542623916 140736542627164 140736542627164 140736542629839 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1544636 KiB
Child status: 143
Real time (s): 2452.93
CPU time (s): 2520.11
CPU user time (s): 2516.39
CPU system time (s): 3.72388
CPU usage (%): 102.739
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 2973848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.39
system time used= 3.72388
maximum resident set size= 3003760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 343997
page faults= 1
swaps= 0
block input operations= 680
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 187206
involuntary context switches= 8199
# summary of solver processes directly reported to runsolver:
# pid: 3531
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.39
# total CPU system time (s): 3.72388
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4038 second user time and 20.0666 second system time
The end