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 (9636 MiB free)
memory of node 1: 16384 MiB (13993 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290179-1532600627/watcher-4290179-1532600627 -o /tmp/evaluation-result-4290179-1532600627/solver-4290179-1532600627 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532598235-8676 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290179-1532600627.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8976, runsolver pid=8973
Current StackSize limit: 8192 KiB
[startup+0.100151 s]*
/proc/loadavg: 1.82 1.93 1.97 5/218 8991
/proc/meminfo: memFree=24181632/32770624 swapFree=67108860/67108860
[pid=8976] ppid=8973 vsize=10659012 memory=29768 CPUtime=0.12 cores=1,3,5,7
/proc/8976/stat : 8976 (java) S 8973 8976 8644 0 -1 1077944320 7017 0 0 0 11 1 0 0 20 0 15 0 77625932 10914828288 7442 33554432000 4194304 4196468 140727351489104 140727351471648 140369694383863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
/proc/8976/statm: 2664753 7442 2811 1 0 2627263 0
[pid=8976/tid=8978] ppid=8973 vsize=10659012 memory=-8392276970504549568 CPUtime=0.09 cores=1,3,5,7
/proc/8976/task/8978/stat : 8978 (java) R 8973 8976 8644 0 -1 4202560 4791 0 0 0 8 1 0 0 20 0 15 0 77625932 10914828288 7442 33554432000 4194304 4196468 140727351489104 140369698588528 140369694405789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8979] ppid=8973 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8979/stat : 8979 (java) S 8973 8976 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625933 10914828288 7442 33554432000 4194304 4196468 140727351489104 140369666227344 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8980] ppid=8973 vsize=10659012 memory=139997976635008 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8980/stat : 8980 (java) S 8973 8976 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77625933 10914828288 7442 33554432000 4194304 4196468 140727351489104 140369300130832 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8981] ppid=8973 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8981/stat : 8981 (java) S 8973 8976 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625933 10914828288 7442 33554432000 4194304 4196468 140727351489104 140369299078032 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8982] ppid=8973 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8982/stat : 8982 (java) S 8973 8976 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77625933 10914828288 7442 33554432000 4194304 4196468 140727351489104 140369298025232 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8983] ppid=8973 vsize=10659012 memory=139997976635008 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8983/stat : 8983 (java) S 8973 8976 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77625934 10914828288 7442 33554432000 4194304 4196468 140727351489104 140369186482544 140369694395010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8984] ppid=8973 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8984/stat : 8984 (java) S 8973 8976 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77625935 10914828288 7442 33554432000 4194304 4196468 140727351489104 140369185428512 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8985] ppid=8973 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8985/stat : 8985 (java) S 8973 8976 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77625935 10914828288 7442 33554432000 4194304 4196468 140727351489104 140369184375664 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8986] ppid=8973 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8986/stat : 8986 (java) S 8973 8976 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77625937 10914828288 7442 33554432000 4194304 4196468 140727351489104 140369183323984 140369694402459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8987] ppid=8973 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8987/stat : 8987 (java) S 8973 8976 8644 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 15 0 77625937 10914828288 7442 33554432000 4194304 4196468 140727351489104 140369182272368 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8988] ppid=8973 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8988/stat : 8988 (java) R 8973 8976 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77625937 10914828288 7442 33554432000 4194304 4196468 140727351489104 140369181219568 140369694395010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8989] ppid=8973 vsize=10659012 memory=139997976635008 CPUtime=0.02 cores=1,3,5,7
/proc/8976/task/8989/stat : 8989 (java) R 8973 8976 8644 0 -1 4202560 403 0 0 0 2 0 0 0 20 0 15 0 77625937 10914828288 7442 33554432000 4194304 4196468 140727351489104 140369180166768 140369687490439 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8990] ppid=8973 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8990/stat : 8990 (java) S 8973 8976 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77625938 10914828288 7442 33554432000 4194304 4196468 140727351489104 140369179114208 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8991] ppid=8973 vsize=10659012 memory=139997976635008 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8991/stat : 8991 (java) S 8973 8976 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625938 10914828288 7442 33554432000 4194304 4196468 140727351489104 140369178061488 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 29768 KiB
[startup+0.210465 s]*
/proc/loadavg: 1.82 1.93 1.97 3/218 8991
/proc/meminfo: memFree=24170800/32770624 swapFree=67108860/67108860
[pid=8976] ppid=8973 vsize=10659012 memory=40800 CPUtime=0.32 cores=1,3,5,7
/proc/8976/stat : 8976 (java) S 8973 8976 8644 0 -1 1077944320 8310 0 0 0 31 1 0 0 20 0 15 0 77625932 10914828288 10200 33554432000 4194304 4196468 140727351489104 140727351471648 140369694383863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
/proc/8976/statm: 2664753 10200 2986 1 0 2627263 0
[pid=8976/tid=8978] ppid=8973 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/8976/task/8978/stat : 8978 (java) R 8973 8976 8644 0 -1 4202560 5131 0 0 0 19 1 0 0 20 0 15 0 77625932 10914828288 10200 33554432000 4194304 4196468 140727351489104 140369698620144 140369678427493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8979] ppid=8973 vsize=10659012 memory=343 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8979/stat : 8979 (java) S 8973 8976 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625933 10914828288 10200 33554432000 4194304 4196468 140727351489104 140369666227344 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8980] ppid=8973 vsize=10659012 memory=139997976655121 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8980/stat : 8980 (java) S 8973 8976 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77625933 10914828288 10200 33554432000 4194304 4196468 140727351489104 140369300130832 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8981] ppid=8973 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8981/stat : 8981 (java) S 8973 8976 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625933 10914828288 10200 33554432000 4194304 4196468 140727351489104 140369299078032 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8982] ppid=8973 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8982/stat : 8982 (java) S 8973 8976 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77625933 10914828288 10200 33554432000 4194304 4196468 140727351489104 140369298025232 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8983] ppid=8973 vsize=10659012 memory=139997976635008 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8983/stat : 8983 (java) S 8973 8976 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77625934 10914828288 10200 33554432000 4194304 4196468 140727351489104 140369186482544 140369694395010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8984] ppid=8973 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8984/stat : 8984 (java) S 8973 8976 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77625935 10914828288 10200 33554432000 4194304 4196468 140727351489104 140369185428512 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8985] ppid=8973 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8985/stat : 8985 (java) S 8973 8976 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77625935 10914828288 10200 33554432000 4194304 4196468 140727351489104 140369184375664 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8986] ppid=8973 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8986/stat : 8986 (java) S 8973 8976 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77625937 10914828288 10200 33554432000 4194304 4196468 140727351489104 140369183323984 140369694402459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8987] ppid=8973 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8976/task/8987/stat : 8987 (java) S 8973 8976 8644 0 -1 1077944384 664 0 0 0 2 0 0 0 20 0 15 0 77625937 10914828288 10200 33554432000 4194304 4196468 140727351489104 140369182272368 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8988] ppid=8973 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/8976/task/8988/stat : 8988 (java) S 8973 8976 8644 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 15 0 77625937 10914828288 10200 33554432000 4194304 4196468 140727351489104 140369181219568 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8989] ppid=8973 vsize=10659012 memory=139997976635008 CPUtime=0.07 cores=1,3,5,7
/proc/8976/task/8989/stat : 8989 (java) R 8973 8976 8644 0 -1 4202560 831 0 0 0 7 0 0 0 20 0 15 0 77625937 10914828288 10200 33554432000 4194304 4196468 140727351489104 140369180166768 140369687483710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8990] ppid=8973 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8990/stat : 8990 (java) S 8973 8976 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77625938 10914828288 10200 33554432000 4194304 4196468 140727351489104 140369179114208 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8991] ppid=8973 vsize=10659012 memory=139997976635008 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8991/stat : 8991 (java) S 8973 8976 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625938 10914828288 10200 33554432000 4194304 4196468 140727351489104 140369178061488 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 40800 KiB
[startup+0.310521 s]*
/proc/loadavg: 1.82 1.93 1.97 4/218 8991
/proc/meminfo: memFree=24160812/32770624 swapFree=67108860/67108860
[pid=8976] ppid=8973 vsize=10659088 memory=49712 CPUtime=0.57 cores=1,3,5,7
/proc/8976/stat : 8976 (java) S 8973 8976 8644 0 -1 1077944320 9553 0 0 0 55 2 0 0 20 0 15 0 77625932 10914906112 12428 33554432000 4194304 4196468 140727351489104 140727351471648 140369694383863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
/proc/8976/statm: 2664772 12428 3074 1 0 2627263 0
[pid=8976/tid=8978] ppid=8973 vsize=10659088 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/8976/task/8978/stat : 8978 (java) R 8973 8976 8644 0 -1 4202560 5658 0 0 0 28 1 0 0 20 0 15 0 77625932 10914906112 12434 33554432000 4194304 4196468 140727351489104 140369698619296 140369678464350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8979] ppid=8973 vsize=10659088 memory=4294977868 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8979/stat : 8979 (java) S 8973 8976 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625933 10914906112 12434 33554432000 4194304 4196468 140727351489104 140369666227344 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8980] ppid=8973 vsize=10659088 memory=139997977091595 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8980/stat : 8980 (java) S 8973 8976 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77625933 10914906112 12434 33554432000 4194304 4196468 140727351489104 140369300130832 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8981] ppid=8973 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8981/stat : 8981 (java) S 8973 8976 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625933 10914906112 12434 33554432000 4194304 4196468 140727351489104 140369299078032 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8982] ppid=8973 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8982/stat : 8982 (java) S 8973 8976 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77625933 10914906112 12434 33554432000 4194304 4196468 140727351489104 140369298025232 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8983] ppid=8973 vsize=10659088 memory=139997976635008 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8983/stat : 8983 (java) S 8973 8976 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77625934 10914906112 12434 33554432000 4194304 4196468 140727351489104 140369186482544 140369694395010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8984] ppid=8973 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8984/stat : 8984 (java) S 8973 8976 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77625935 10914906112 12434 33554432000 4194304 4196468 140727351489104 140369185428512 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8985] ppid=8973 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8985/stat : 8985 (java) S 8973 8976 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77625935 10914906112 12434 33554432000 4194304 4196468 140727351489104 140369184375664 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8986] ppid=8973 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8986/stat : 8986 (java) S 8973 8976 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77625937 10914906112 12434 33554432000 4194304 4196468 140727351489104 140369183323984 140369694402459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8987] ppid=8973 vsize=10659088 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/8976/task/8987/stat : 8987 (java) S 8973 8976 8644 0 -1 1077944384 759 0 0 0 6 0 0 0 20 0 15 0 77625937 10914906112 12434 33554432000 4194304 4196468 140727351489104 140369182272368 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8988] ppid=8973 vsize=10659088 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/8976/task/8988/stat : 8988 (java) R 8973 8976 8644 0 -1 4202560 724 0 0 0 6 0 0 0 20 0 15 0 77625937 10914906112 12434 33554432000 4194304 4196468 140727351489104 140369181209488 140369678780550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8989] ppid=8973 vsize=10659088 memory=139997976635008 CPUtime=0.13 cores=1,3,5,7
/proc/8976/task/8989/stat : 8989 (java) S 8973 8976 8644 0 -1 1077944384 1048 0 0 0 13 0 0 0 20 0 15 0 77625937 10914906112 12434 33554432000 4194304 4196468 140727351489104 140369180166768 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8990] ppid=8973 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8990/stat : 8990 (java) S 8973 8976 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77625938 10914906112 12434 33554432000 4194304 4196468 140727351489104 140369179114208 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8991] ppid=8973 vsize=10659088 memory=139997976635008 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8991/stat : 8991 (java) S 8973 8976 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625938 10914906112 12434 33554432000 4194304 4196468 140727351489104 140369178061488 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 49712 KiB
[startup+0.702299 s]
/proc/loadavg: 1.82 1.93 1.97 6/218 8991
/proc/meminfo: memFree=24113984/32770624 swapFree=67108860/67108860
[pid=8976] ppid=8973 vsize=10659088 memory=164292 CPUtime=1.91 cores=1,3,5,7
/proc/8976/stat : 8976 (java) S 8973 8976 8644 0 -1 1077944320 12267 0 0 0 187 4 0 0 20 0 15 0 77625932 10914906112 41073 33554432000 4194304 4196468 140727351489104 140727351471648 140369694383863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
/proc/8976/statm: 2664772 41073 3108 1 0 2627263 0
[pid=8976/tid=8978] ppid=8973 vsize=10659088 memory=178579505690230 CPUtime=0.68 cores=1,3,5,7
/proc/8976/task/8978/stat : 8978 (java) R 8973 8976 8644 0 -1 4202560 6059 0 0 0 65 3 0 0 20 0 15 0 77625932 10914906112 41073 33554432000 4194304 4196468 140727351489104 140369698598224 140369678427493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8979] ppid=8973 vsize=10659088 memory=277047 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8979/stat : 8979 (java) S 8973 8976 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625933 10914906112 41073 33554432000 4194304 4196468 140727351489104 140369666227344 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8980] ppid=8973 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8980/stat : 8980 (java) S 8973 8976 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77625933 10914906112 41073 33554432000 4194304 4196468 140727351489104 140369300130832 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8981] ppid=8973 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8981/stat : 8981 (java) S 8973 8976 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625933 10914906112 41073 33554432000 4194304 4196468 140727351489104 140369299078032 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8982] ppid=8973 vsize=10659088 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8982/stat : 8982 (java) S 8973 8976 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77625933 10914906112 41073 33554432000 4194304 4196468 140727351489104 140369298025232 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8983] ppid=8973 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8983/stat : 8983 (java) S 8973 8976 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77625934 10914906112 41073 33554432000 4194304 4196468 140727351489104 140369186482544 140369694395010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8984] ppid=8973 vsize=10659088 memory=-3535359994705171810 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8984/stat : 8984 (java) S 8973 8976 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77625935 10914906112 41073 33554432000 4194304 4196468 140727351489104 140369185428512 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8985] ppid=8973 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8985/stat : 8985 (java) S 8973 8976 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77625935 10914906112 41073 33554432000 4194304 4196468 140727351489104 140369184375664 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8986] ppid=8973 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8986/stat : 8986 (java) S 8973 8976 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77625937 10914906112 41073 33554432000 4194304 4196468 140727351489104 140369183323984 140369694402459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8987] ppid=8973 vsize=10659088 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/8976/task/8987/stat : 8987 (java) R 8973 8976 8644 0 -1 4202560 1646 0 0 0 43 0 0 0 20 0 15 0 77625937 10914906112 41073 33554432000 4194304 4196468 140727351489104 140369182258912 140369675928491 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8988] ppid=8973 vsize=10659088 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/8976/task/8988/stat : 8988 (java) R 8973 8976 8644 0 -1 4202560 1296 0 0 0 44 0 0 0 20 0 15 0 77625937 10914906112 41073 33554432000 4194304 4196468 140727351489104 140369181211024 140369674040240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8989] ppid=8973 vsize=10659088 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/8976/task/8989/stat : 8989 (java) R 8973 8976 8644 0 -1 1077944384 1895 0 0 0 33 0 0 0 20 0 15 0 77625937 10914906112 41073 33554432000 4194304 4196468 140727351489104 140369180166768 140369694395010 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8990] ppid=8973 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8990/stat : 8990 (java) S 8973 8976 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77625938 10914906112 41073 33554432000 4194304 4196468 140727351489104 140369179114208 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8991] ppid=8973 vsize=10659088 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8991/stat : 8991 (java) S 8973 8976 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625938 10914906112 41073 33554432000 4194304 4196468 140727351489104 140369178061488 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
Current children cumulated CPU time: 1.91 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 164292 KiB
[startup+1.50083 s]
/proc/loadavg: 1.84 1.93 1.97 6/219 8992
/proc/meminfo: memFree=24015816/32770624 swapFree=67108860/67108860
[pid=8976] ppid=8973 vsize=10727840 memory=208680 CPUtime=4.41 cores=1,3,5,7
/proc/8976/stat : 8976 (java) S 8973 8976 8644 0 -1 1077944320 20737 0 0 0 434 7 0 0 20 0 16 0 77625932 10985308160 52170 33554432000 4194304 4196468 140727351489104 140727351471648 140369694383863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
/proc/8976/statm: 2681960 52170 3143 1 0 2644451 0
[pid=8976/tid=8978] ppid=8973 vsize=10727840 memory=10799 CPUtime=1.45 cores=1,3,5,7
/proc/8976/task/8978/stat : 8978 (java) R 8973 8976 8644 0 -1 4202560 6100 0 0 0 142 3 0 0 20 0 16 0 77625932 10985308160 52170 33554432000 4194304 4196468 140727351489104 140369698620664 140369335668687 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8979] ppid=8973 vsize=10727840 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8979/stat : 8979 (java) S 8973 8976 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 77625933 10985308160 52170 33554432000 4194304 4196468 140727351489104 140369666227344 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8980] ppid=8973 vsize=10727840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8980/stat : 8980 (java) S 8973 8976 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 16 0 77625933 10985308160 52170 33554432000 4194304 4196468 140727351489104 140369300130832 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8981] ppid=8973 vsize=10727840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8981/stat : 8981 (java) S 8973 8976 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 16 0 77625933 10985308160 52170 33554432000 4194304 4196468 140727351489104 140369299078032 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8982] ppid=8973 vsize=10727840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8982/stat : 8982 (java) S 8973 8976 8644 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 16 0 77625933 10985308160 52170 33554432000 4194304 4196468 140727351489104 140369298025232 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8983] ppid=8973 vsize=10727840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8983/stat : 8983 (java) S 8973 8976 8644 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 77625934 10985308160 52170 33554432000 4194304 4196468 140727351489104 140369186482544 140369694395010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
################
# More data... #
################
/proc/8976/task/8980/stat : 8980 (java) S 8973 8976 8644 0 -1 1077944384 8933 0 0 0 182 21 0 0 20 0 16 0 77625933 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369300130832 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8981] ppid=8973 vsize=10725652 memory=556404 CPUtime=2.04 cores=1,3,5,7
/proc/8976/task/8981/stat : 8981 (java) S 8973 8976 8644 0 -1 1077944384 7877 0 0 0 183 21 0 0 20 0 16 0 77625933 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369299078032 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8982] ppid=8973 vsize=10725652 memory=556404 CPUtime=2.04 cores=1,3,5,7
/proc/8976/task/8982/stat : 8982 (java) S 8973 8976 8644 0 -1 1077944384 8184 0 0 0 183 21 0 0 20 0 16 0 77625933 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369298025232 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8983] ppid=8973 vsize=10725652 memory=556404 CPUtime=0.23 cores=1,3,5,7
/proc/8976/task/8983/stat : 8983 (java) S 8973 8976 8644 0 -1 1077944384 30306 0 0 0 17 6 0 0 20 0 16 0 77625934 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369186482544 140369694395010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8984] ppid=8973 vsize=10725652 memory=556404 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8984/stat : 8984 (java) S 8973 8976 8644 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 77625935 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369185428576 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8985] ppid=8973 vsize=10725652 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8985/stat : 8985 (java) S 8973 8976 8644 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 77625935 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369184375680 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8986] ppid=8973 vsize=10725652 memory=556404 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8986/stat : 8986 (java) S 8973 8976 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77625937 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369183323984 140369694402459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8987] ppid=8973 vsize=10725652 memory=23420 CPUtime=1.68 cores=1,3,5,7
/proc/8976/task/8987/stat : 8987 (java) S 8973 8976 8644 0 -1 1077944384 12353 0 0 0 166 2 0 0 20 0 16 0 77625937 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369182272368 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8988] ppid=8973 vsize=10725652 memory=15876 CPUtime=1.71 cores=1,3,5,7
/proc/8976/task/8988/stat : 8988 (java) S 8973 8976 8644 0 -1 1077944384 8417 0 0 0 170 1 0 0 20 0 16 0 77625937 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369181219568 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8989] ppid=8973 vsize=10725652 memory=7955723538716454502 CPUtime=0.49 cores=1,3,5,7
/proc/8976/task/8989/stat : 8989 (java) S 8973 8976 8644 0 -1 1077944384 5026 0 0 0 48 1 0 0 20 0 16 0 77625937 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369180166768 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8990] ppid=8973 vsize=10725652 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8990/stat : 8990 (java) S 8973 8976 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77625938 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369179114208 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8991] ppid=8973 vsize=10725652 memory=2436 CPUtime=1.38 cores=1,3,5,7
/proc/8976/task/8991/stat : 8991 (java) S 8973 8976 8644 0 -1 1077944384 2156 0 0 0 63 75 0 0 20 0 16 0 77625938 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369178061488 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8992] ppid=8973 vsize=10725652 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8992/stat : 8992 (java) S 8973 8976 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 77626032 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369177007024 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
Current children cumulated CPU time: 2393.62 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 556404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2388.7 s]
/proc/loadavg: 2.00 1.99 1.98 3/217 9087
/proc/meminfo: memFree=21504164/32770624 swapFree=67108860/67108860
[pid=8976] ppid=8973 vsize=10725652 memory=556404 CPUtime=2400.03 cores=1,3,5,7
/proc/8976/stat : 8976 (java) S 8973 8976 8644 0 -1 1077944320 115135 0 0 0 239840 163 0 0 20 0 16 0 77625932 10983067648 139101 33554432000 4194304 4196468 140727351489104 140727351471648 140369694383863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
/proc/8976/statm: 2681413 139101 3181 1 0 2643904 0
[pid=8976/tid=8978] ppid=8973 vsize=10725652 memory=556404 CPUtime=2386.33 cores=1,3,5,7
/proc/8976/task/8978/stat : 8978 (java) R 8973 8976 8644 0 -1 4202560 21533 0 0 0 238628 5 0 0 20 0 16 0 77625932 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369698622736 140369335587443 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8979] ppid=8973 vsize=10725652 memory=15876 CPUtime=2.02 cores=1,3,5,7
/proc/8976/task/8979/stat : 8979 (java) S 8973 8976 8644 0 -1 1077944384 8921 0 0 0 182 20 0 0 20 0 16 0 77625933 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369666227344 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8980] ppid=8973 vsize=10725652 memory=556404 CPUtime=2.03 cores=1,3,5,7
/proc/8976/task/8980/stat : 8980 (java) S 8973 8976 8644 0 -1 1077944384 8933 0 0 0 182 21 0 0 20 0 16 0 77625933 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369300130832 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8981] ppid=8973 vsize=10725652 memory=556404 CPUtime=2.04 cores=1,3,5,7
/proc/8976/task/8981/stat : 8981 (java) S 8973 8976 8644 0 -1 1077944384 7877 0 0 0 183 21 0 0 20 0 16 0 77625933 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369299078032 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8982] ppid=8973 vsize=10725652 memory=556404 CPUtime=2.04 cores=1,3,5,7
/proc/8976/task/8982/stat : 8982 (java) S 8973 8976 8644 0 -1 1077944384 8184 0 0 0 183 21 0 0 20 0 16 0 77625933 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369298025232 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8983] ppid=8973 vsize=10725652 memory=2436 CPUtime=0.23 cores=1,3,5,7
/proc/8976/task/8983/stat : 8983 (java) S 8973 8976 8644 0 -1 1077944384 30306 0 0 0 17 6 0 0 20 0 16 0 77625934 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369186482544 140369694395010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8984] ppid=8973 vsize=10725652 memory=556404 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8984/stat : 8984 (java) S 8973 8976 8644 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 77625935 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369185428576 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8985] ppid=8973 vsize=10725652 memory=556404 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8985/stat : 8985 (java) S 8973 8976 8644 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 77625935 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369184375680 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8986] ppid=8973 vsize=10725652 memory=556404 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8986/stat : 8986 (java) S 8973 8976 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77625937 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369183323984 140369694402459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8987] ppid=8973 vsize=10725652 memory=556404 CPUtime=1.68 cores=1,3,5,7
/proc/8976/task/8987/stat : 8987 (java) S 8973 8976 8644 0 -1 1077944384 12353 0 0 0 166 2 0 0 20 0 16 0 77625937 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369182272368 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8988] ppid=8973 vsize=10725652 memory=556404 CPUtime=1.71 cores=1,3,5,7
/proc/8976/task/8988/stat : 8988 (java) S 8973 8976 8644 0 -1 1077944384 8417 0 0 0 170 1 0 0 20 0 16 0 77625937 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369181219568 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8989] ppid=8973 vsize=10725652 memory=23420 CPUtime=0.49 cores=1,3,5,7
/proc/8976/task/8989/stat : 8989 (java) S 8973 8976 8644 0 -1 1077944384 5026 0 0 0 48 1 0 0 20 0 16 0 77625937 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369180166768 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8990] ppid=8973 vsize=10725652 memory=556404 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8990/stat : 8990 (java) S 8973 8976 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77625938 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369179114208 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8991] ppid=8973 vsize=10725652 memory=556404 CPUtime=1.38 cores=1,3,5,7
/proc/8976/task/8991/stat : 8991 (java) S 8973 8976 8644 0 -1 1077944384 2156 0 0 0 63 75 0 0 20 0 16 0 77625938 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369178061488 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8992] ppid=8973 vsize=10725652 memory=556404 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8992/stat : 8992 (java) S 8973 8976 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 77626032 10983067648 139101 33554432000 4194304 4196468 140727351489104 140369177007024 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 556404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2388.95 s]
# the end of solver process 8976 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.46 s, system=1.64116 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2388.81 s]
/proc/loadavg: 2.00 1.99 1.98 3/217 9087
/proc/meminfo: memFree=21504164/32770624 swapFree=67108860/67108860
[pid=8976] ppid=8973 vsize=10859808 memory=556616 CPUtime=2400.04 cores=1,3,5,7
/proc/8976/stat : 8976 (java) S 8973 8976 8644 0 -1 1077944320 115671 0 0 0 239841 163 0 0 20 0 17 0 77625932 11120443392 139154 33554432000 4194304 4196468 140727351489104 140727351471648 140369694383863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
/proc/8976/statm: 2714952 139154 3184 1 0 2677443 0
[pid=8976/tid=8978] ppid=8973 vsize=10859808 memory=1696 CPUtime=2386.34 cores=1,3,5,7
/proc/8976/task/8978/stat : 8978 (java) S 8973 8976 8644 0 -1 1077944384 21580 0 0 0 238629 5 0 0 20 0 17 0 77625932 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369698626736 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8979] ppid=8973 vsize=10859808 memory=8112282956445269571 CPUtime=2.02 cores=1,3,5,7
/proc/8976/task/8979/stat : 8979 (java) S 8973 8976 8644 0 -1 1077944384 8921 0 0 0 182 20 0 0 20 0 17 0 77625933 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369666227344 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8980] ppid=8973 vsize=10859808 memory=556404 CPUtime=2.03 cores=1,3,5,7
/proc/8976/task/8980/stat : 8980 (java) S 8973 8976 8644 0 -1 1077944384 8933 0 0 0 182 21 0 0 20 0 17 0 77625933 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369300130832 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8981] ppid=8973 vsize=10859808 memory=2436 CPUtime=2.04 cores=1,3,5,7
/proc/8976/task/8981/stat : 8981 (java) S 8973 8976 8644 0 -1 1077944384 7877 0 0 0 183 21 0 0 20 0 17 0 77625933 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369299078032 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8982] ppid=8973 vsize=10859808 memory=556404 CPUtime=2.04 cores=1,3,5,7
/proc/8976/task/8982/stat : 8982 (java) S 8973 8976 8644 0 -1 1077944384 8184 0 0 0 183 21 0 0 20 0 17 0 77625933 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369298025232 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8983] ppid=8973 vsize=10859808 memory=556404 CPUtime=0.23 cores=1,3,5,7
/proc/8976/task/8983/stat : 8983 (java) S 8973 8976 8644 0 -1 1077944384 30323 0 0 0 17 6 0 0 20 0 17 0 77625934 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369186482544 140369694395010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8984] ppid=8973 vsize=10859808 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8984/stat : 8984 (java) S 8973 8976 8644 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 77625935 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369185428576 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8985] ppid=8973 vsize=10859808 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8985/stat : 8985 (java) S 8973 8976 8644 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 17 0 77625935 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369184375680 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8986] ppid=8973 vsize=10859808 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8986/stat : 8986 (java) S 8973 8976 8644 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 17 0 77625937 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369183323984 140369694402459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8987] ppid=8973 vsize=10859808 memory=4100 CPUtime=1.68 cores=1,3,5,7
/proc/8976/task/8987/stat : 8987 (java) S 8973 8976 8644 0 -1 1077944384 12353 0 0 0 166 2 0 0 20 0 17 0 77625937 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369182272368 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8988] ppid=8973 vsize=10859808 memory=1404 CPUtime=1.71 cores=1,3,5,7
/proc/8976/task/8988/stat : 8988 (java) S 8973 8976 8644 0 -1 1077944384 8417 0 0 0 170 1 0 0 20 0 17 0 77625937 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369181219568 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8989] ppid=8973 vsize=10859808 memory=3340 CPUtime=0.49 cores=1,3,5,7
/proc/8976/task/8989/stat : 8989 (java) S 8973 8976 8644 0 -1 1077944384 5142 0 0 0 48 1 0 0 20 0 17 0 77625937 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369180166768 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8990] ppid=8973 vsize=10859808 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8990/stat : 8990 (java) S 8973 8976 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 77625938 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369179114208 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8991] ppid=8973 vsize=10859808 memory=4612 CPUtime=1.38 cores=1,3,5,7
/proc/8976/task/8991/stat : 8991 (java) S 8973 8976 8644 0 -1 1077944384 2158 0 0 0 63 75 0 0 20 0 17 0 77625938 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369178061488 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10859808 KiB
Current children cumulated memory: 556616 KiB
[startup+2388.9 s]
/proc/loadavg: 2.00 1.99 1.98 3/217 9087
/proc/meminfo: memFree=21504164/32770624 swapFree=67108860/67108860
[pid=8976] ppid=8973 vsize=10859808 memory=556616 CPUtime=2400.04 cores=1,3,5,7
/proc/8976/stat : 8976 (java) S 8973 8976 8644 0 -1 1077944320 115671 0 0 0 239841 163 0 0 20 0 17 0 77625932 11120443392 139154 33554432000 4194304 4196468 140727351489104 140727351471648 140369694383863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
/proc/8976/statm: 2714952 139154 3184 1 0 2677443 0
[pid=8976/tid=8978] ppid=8973 vsize=10859808 memory=556404 CPUtime=2386.34 cores=1,3,5,7
/proc/8976/task/8978/stat : 8978 (java) S 8973 8976 8644 0 -1 1077944384 21580 0 0 0 238629 5 0 0 20 0 17 0 77625932 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369698626736 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8979] ppid=8973 vsize=10859808 memory=556404 CPUtime=2.02 cores=1,3,5,7
/proc/8976/task/8979/stat : 8979 (java) S 8973 8976 8644 0 -1 1077944384 8921 0 0 0 182 20 0 0 20 0 17 0 77625933 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369666227344 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8980] ppid=8973 vsize=10859808 memory=556404 CPUtime=2.03 cores=1,3,5,7
/proc/8976/task/8980/stat : 8980 (java) S 8973 8976 8644 0 -1 1077944384 8933 0 0 0 182 21 0 0 20 0 17 0 77625933 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369300130832 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8981] ppid=8973 vsize=10859808 memory=556404 CPUtime=2.04 cores=1,3,5,7
/proc/8976/task/8981/stat : 8981 (java) S 8973 8976 8644 0 -1 1077944384 7877 0 0 0 183 21 0 0 20 0 17 0 77625933 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369299078032 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8982] ppid=8973 vsize=10859808 memory=556404 CPUtime=2.04 cores=1,3,5,7
/proc/8976/task/8982/stat : 8982 (java) S 8973 8976 8644 0 -1 1077944384 8184 0 0 0 183 21 0 0 20 0 17 0 77625933 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369298025232 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8983] ppid=8973 vsize=10859808 memory=2436 CPUtime=0.23 cores=1,3,5,7
/proc/8976/task/8983/stat : 8983 (java) S 8973 8976 8644 0 -1 1077944384 30323 0 0 0 17 6 0 0 20 0 17 0 77625934 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369186482544 140369694395010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8984] ppid=8973 vsize=10859808 memory=556404 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8984/stat : 8984 (java) S 8973 8976 8644 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 77625935 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369185428576 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8985] ppid=8973 vsize=10859808 memory=556404 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8985/stat : 8985 (java) S 8973 8976 8644 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 17 0 77625935 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369184375680 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8986] ppid=8973 vsize=10859808 memory=556404 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8986/stat : 8986 (java) S 8973 8976 8644 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 17 0 77625937 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369183323984 140369694402459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8987] ppid=8973 vsize=10859808 memory=15876 CPUtime=1.68 cores=1,3,5,7
/proc/8976/task/8987/stat : 8987 (java) S 8973 8976 8644 0 -1 1077944384 12353 0 0 0 166 2 0 0 20 0 17 0 77625937 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369182272368 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8988] ppid=8973 vsize=10859808 memory=556404 CPUtime=1.71 cores=1,3,5,7
/proc/8976/task/8988/stat : 8988 (java) S 8973 8976 8644 0 -1 1077944384 8417 0 0 0 170 1 0 0 20 0 17 0 77625937 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369181219568 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8989] ppid=8973 vsize=10859808 memory=556404 CPUtime=0.49 cores=1,3,5,7
/proc/8976/task/8989/stat : 8989 (java) S 8973 8976 8644 0 -1 1077944384 5142 0 0 0 48 1 0 0 20 0 17 0 77625937 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369180166768 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8990] ppid=8973 vsize=10859808 memory=23420 CPUtime=0 cores=1,3,5,7
/proc/8976/task/8990/stat : 8990 (java) S 8973 8976 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 77625938 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369179114208 140369694394069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
[pid=8976/tid=8991] ppid=8973 vsize=10859808 memory=556404 CPUtime=1.38 cores=1,3,5,7
/proc/8976/task/8991/stat : 8991 (java) S 8973 8976 8644 0 -1 1077944384 2158 0 0 0 63 75 0 0 20 0 17 0 77625938 11120443392 139154 33554432000 4194304 4196468 140727351489104 140369178061488 140369694395010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7487488 140727351497841 140727351497993 140727351497993 140727351500751 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10859808 KiB
Current children cumulated memory: 556616 KiB
Child status: 143
Real time (s): 2388.95
CPU time (s): 2400.1
CPU user time (s): 2398.46
CPU system time (s): 1.64116
CPU usage (%): 100.467
Max. virtual memory (cumulated for all children) (KiB): 10859808
Max. memory (cumulated for all children) (KiB): 815600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.46
system time used= 1.64116
maximum resident set size= 815648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116090
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54659
involuntary context switches= 801
# summary of solver processes directly reported to runsolver:
# pid: 8976
# total CPU time (s): 2400.1
# total CPU user time (s): 2398.46
# total CPU system time (s): 1.64116
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9016 second user time and 21.9167 second system time
The end