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 (7822 MiB free)
memory of node 1: 16384 MiB (14113 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290046-1532207966/watcher-4290046-1532207966 -o /tmp/evaluation-result-4290046-1532207966/solver-4290046-1532207966 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532207966-25848 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290046-1532207966.xml
running on 4 cores: 0,2,4,6
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=25880, runsolver pid=25873
Current StackSize limit: 8192 KiB
[startup+0.100968 s]*
/proc/loadavg: 1.05 1.52 1.84 4/217 25909
/proc/meminfo: memFree=22426380/32770624 swapFree=67108860/67108860
[pid=25880] ppid=25873 vsize=10659012 memory=30660 CPUtime=0.12 cores=0,2,4,6
/proc/25880/stat : 25880 (java) S 25873 25880 23514 0 -1 1077944320 6726 0 0 0 11 1 0 0 20 0 15 0 38359901 10914828288 7665 33554432000 4194304 4196468 140730085207296 140730085189840 140339330801399 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
/proc/25880/statm: 2664753 7665 2822 1 0 2627263 0
[pid=25880/tid=25883] ppid=25873 vsize=10659012 memory=5450919713671312938 CPUtime=0.08 cores=0,2,4,6
/proc/25880/task/25883/stat : 25883 (java) R 25873 25880 23514 0 -1 4202560 4565 0 0 0 8 0 0 0 20 0 15 0 38359901 10914828288 7665 33554432000 4194304 4196468 140730085207296 140339335022528 140339314929246 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25885] ppid=25873 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25885/stat : 25885 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38359903 10914828288 7665 33554432000 4194304 4196468 140730085207296 140339267493008 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25887] ppid=25873 vsize=10659012 memory=140145486710400 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25887/stat : 25887 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38359903 10914828288 7665 33554432000 4194304 4196468 140730085207296 140339266440208 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25888] ppid=25873 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25888/stat : 25888 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38359903 10914828288 7665 33554432000 4194304 4196468 140730085207296 140338934967184 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25890] ppid=25873 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25890/stat : 25890 (java) S 25873 25880 23514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38359903 10914828288 7665 33554432000 4194304 4196468 140730085207296 140338933914384 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25892] ppid=25873 vsize=10659012 memory=140145486710400 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25892/stat : 25892 (java) S 25873 25880 23514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38359904 10914828288 7665 33554432000 4194304 4196468 140730085207296 140338822646128 140339330812546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25894] ppid=25873 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25894/stat : 25894 (java) S 25873 25880 23514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38359904 10914828288 7665 33554432000 4194304 4196468 140730085207296 140338821592096 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25896] ppid=25873 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25896/stat : 25896 (java) S 25873 25880 23514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38359905 10914828288 7665 33554432000 4194304 4196468 140730085207296 140338820539248 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25898] ppid=25873 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25898/stat : 25898 (java) S 25873 25880 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38359907 10914828288 7665 33554432000 4194304 4196468 140730085207296 140338819487568 140339330819995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25899] ppid=25873 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25899/stat : 25899 (java) S 25873 25880 23514 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 15 0 38359907 10914828288 7665 33554432000 4194304 4196468 140730085207296 140338818435952 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25900] ppid=25873 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25900/stat : 25900 (java) S 25873 25880 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38359907 10914828288 7665 33554432000 4194304 4196468 140730085207296 140338817383152 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25901] ppid=25873 vsize=10659012 memory=140145486710400 CPUtime=0.01 cores=0,2,4,6
/proc/25880/task/25901/stat : 25901 (java) S 25873 25880 23514 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 15 0 38359907 10914828288 7665 33554432000 4194304 4196468 140730085207296 140338816330352 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25906] ppid=25873 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25906/stat : 25906 (java) S 25873 25880 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38359907 10914828288 7665 33554432000 4194304 4196468 140730085207296 140338815277792 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25908] ppid=25873 vsize=10659012 memory=140145486710400 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25908/stat : 25908 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38359907 10914828288 7665 33554432000 4194304 4196468 140730085207296 140338814225072 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30660 KiB
[startup+0.210328 s]*
/proc/loadavg: 1.05 1.52 1.84 6/217 25909
/proc/meminfo: memFree=22418672/32770624 swapFree=67108860/67108860
[pid=25880] ppid=25873 vsize=10659012 memory=33364 CPUtime=0.19 cores=0,2,4,6
/proc/25880/stat : 25880 (java) S 25873 25880 23514 0 -1 1077944320 7048 0 0 0 18 1 0 0 20 0 15 0 38359901 10914828288 8341 33554432000 4194304 4196468 140730085207296 140730085189840 140339330801399 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
/proc/25880/statm: 2664753 8341 2892 1 0 2627263 0
[pid=25880/tid=25883] ppid=25873 vsize=10659012 memory=7022364594140610616 CPUtime=0.13 cores=0,2,4,6
/proc/25880/task/25883/stat : 25883 (java) R 25873 25880 23514 0 -1 4202560 4737 0 0 0 12 1 0 0 20 0 15 0 38359901 10914828288 8341 33554432000 4194304 4196468 140730085207296 140339335024288 140338946849684 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25885] ppid=25873 vsize=10659012 memory=340 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25885/stat : 25885 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38359903 10914828288 8853 33554432000 4194304 4196468 140730085207296 140339267493008 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25887] ppid=25873 vsize=10659012 memory=140145486906318 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25887/stat : 25887 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38359903 10914828288 8853 33554432000 4194304 4196468 140730085207296 140339266440208 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25888] ppid=25873 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25888/stat : 25888 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38359903 10914828288 8853 33554432000 4194304 4196468 140730085207296 140338934967184 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25890] ppid=25873 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25890/stat : 25890 (java) S 25873 25880 23514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38359903 10914828288 8853 33554432000 4194304 4196468 140730085207296 140338933914384 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25892] ppid=25873 vsize=10659012 memory=140145486710400 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25892/stat : 25892 (java) S 25873 25880 23514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38359904 10914828288 8853 33554432000 4194304 4196468 140730085207296 140338822646128 140339330812546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25894] ppid=25873 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25894/stat : 25894 (java) S 25873 25880 23514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38359904 10914828288 8853 33554432000 4194304 4196468 140730085207296 140338821592096 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25896] ppid=25873 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25896/stat : 25896 (java) S 25873 25880 23514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38359905 10914828288 8853 33554432000 4194304 4196468 140730085207296 140338820539248 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25898] ppid=25873 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25898/stat : 25898 (java) S 25873 25880 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38359907 10914828288 8853 33554432000 4194304 4196468 140730085207296 140338819487568 140339330819995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25899] ppid=25873 vsize=10659012 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25880/task/25899/stat : 25899 (java) S 25873 25880 23514 0 -1 1077944384 510 0 0 0 1 0 0 0 20 0 15 0 38359907 10914828288 8853 33554432000 4194304 4196468 140730085207296 140338818435952 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25900] ppid=25873 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25900/stat : 25900 (java) S 25873 25880 23514 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 38359907 10914828288 8853 33554432000 4194304 4196468 140730085207296 140338817383152 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25901] ppid=25873 vsize=10659012 memory=140145486710400 CPUtime=0.03 cores=0,2,4,6
/proc/25880/task/25901/stat : 25901 (java) S 25873 25880 23514 0 -1 1077944384 373 0 0 0 3 0 0 0 20 0 15 0 38359907 10914828288 8853 33554432000 4194304 4196468 140730085207296 140338816330352 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25906] ppid=25873 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25906/stat : 25906 (java) S 25873 25880 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38359907 10914828288 8853 33554432000 4194304 4196468 140730085207296 140338815277792 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25908] ppid=25873 vsize=10659012 memory=140145486710400 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25908/stat : 25908 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38359907 10914828288 8917 33554432000 4194304 4196468 140730085207296 140338814225072 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 33364 KiB
[startup+0.310008 s]*
/proc/loadavg: 1.05 1.52 1.84 4/217 25909
/proc/meminfo: memFree=22401248/32770624 swapFree=67108860/67108860
[pid=25880] ppid=25873 vsize=10659012 memory=43268 CPUtime=0.36 cores=0,2,4,6
/proc/25880/stat : 25880 (java) S 25873 25880 23514 0 -1 1077944320 8399 0 0 0 35 1 0 0 20 0 15 0 38359901 10914828288 10817 33554432000 4194304 4196468 140730085207296 140730085189840 140339330801399 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
/proc/25880/statm: 2664753 10817 3006 1 0 2627263 0
[pid=25880/tid=25883] ppid=25873 vsize=10659012 memory=7022364594140610616 CPUtime=0.23 cores=0,2,4,6
/proc/25880/task/25883/stat : 25883 (java) R 25873 25880 23514 0 -1 4202560 5349 0 0 0 22 1 0 0 20 0 15 0 38359901 10914828288 10817 33554432000 4194304 4196468 140730085207296 140339335037664 140339330813334 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25885] ppid=25873 vsize=10659012 memory=4294977867 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25885/stat : 25885 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38359903 10914828288 10817 33554432000 4194304 4196468 140730085207296 140339267493008 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25887] ppid=25873 vsize=10659012 memory=140145486907035 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25887/stat : 25887 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38359903 10914828288 10817 33554432000 4194304 4196468 140730085207296 140339266440208 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25888] ppid=25873 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25888/stat : 25888 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38359903 10914828288 10817 33554432000 4194304 4196468 140730085207296 140338934967184 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25890] ppid=25873 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25890/stat : 25890 (java) S 25873 25880 23514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38359903 10914828288 10817 33554432000 4194304 4196468 140730085207296 140338933914384 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25892] ppid=25873 vsize=10659012 memory=140145486710400 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25892/stat : 25892 (java) S 25873 25880 23514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38359904 10914828288 10817 33554432000 4194304 4196468 140730085207296 140338822646128 140339330812546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25894] ppid=25873 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25894/stat : 25894 (java) S 25873 25880 23514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38359904 10914828288 10817 33554432000 4194304 4196468 140730085207296 140338821592096 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25896] ppid=25873 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25896/stat : 25896 (java) S 25873 25880 23514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38359905 10914828288 10817 33554432000 4194304 4196468 140730085207296 140338820539248 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25898] ppid=25873 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25898/stat : 25898 (java) S 25873 25880 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38359907 10914828288 10817 33554432000 4194304 4196468 140730085207296 140338819487568 140339330819995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25899] ppid=25873 vsize=10659012 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25880/task/25899/stat : 25899 (java) R 25873 25880 23514 0 -1 1077944384 760 0 0 0 3 0 0 0 20 0 15 0 38359907 10914828288 10817 33554432000 4194304 4196468 140730085207296 140338818435952 140339330812546 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25900] ppid=25873 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25880/task/25900/stat : 25900 (java) R 25873 25880 23514 0 -1 4202560 239 0 0 0 1 0 0 0 20 0 15 0 38359907 10914828288 10817 33554432000 4194304 4196468 140730085207296 140338817383152 140339323786441 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25901] ppid=25873 vsize=10659012 memory=140145486710400 CPUtime=0.08 cores=0,2,4,6
/proc/25880/task/25901/stat : 25901 (java) R 25873 25880 23514 0 -1 4202560 682 0 0 0 8 0 0 0 20 0 15 0 38359907 10914828288 10817 33554432000 4194304 4196468 140730085207296 140338816330352 140339309770635 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25906] ppid=25873 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25906/stat : 25906 (java) S 25873 25880 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38359907 10914828288 10817 33554432000 4194304 4196468 140730085207296 140338815277792 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25908] ppid=25873 vsize=10659012 memory=140145486710400 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25908/stat : 25908 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38359907 10914828288 10817 33554432000 4194304 4196468 140730085207296 140338814225072 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 43268 KiB
[startup+0.700708 s]
/proc/loadavg: 1.05 1.52 1.84 8/218 25910
/proc/meminfo: memFree=22360800/32770624 swapFree=67108860/67108860
[pid=25880] ppid=25873 vsize=10725652 memory=85548 CPUtime=1.49 cores=0,2,4,6
/proc/25880/stat : 25880 (java) S 25873 25880 23514 0 -1 1077944320 13516 0 0 0 146 3 0 0 20 0 16 0 38359901 10983067648 21387 33554432000 4194304 4196468 140730085207296 140730085189840 140339330801399 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
/proc/25880/statm: 2681413 21387 3109 1 0 2643904 0
[pid=25880/tid=25883] ppid=25873 vsize=10725652 memory=251350680107138 CPUtime=0.61 cores=0,2,4,6
/proc/25880/task/25883/stat : 25883 (java) R 25873 25880 23514 0 -1 4202560 5933 0 0 0 60 1 0 0 20 0 16 0 38359901 10983067648 21387 33554432000 4194304 4196468 140730085207296 140339335039736 140338948748742 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25885] ppid=25873 vsize=10725652 memory=4265253205551874080 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25885/stat : 25885 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38359903 10983067648 21387 33554432000 4194304 4196468 140730085207296 140339267493008 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25887] ppid=25873 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25887/stat : 25887 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38359903 10983067648 21387 33554432000 4194304 4196468 140730085207296 140339266440208 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25888] ppid=25873 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25888/stat : 25888 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38359903 10983067648 21387 33554432000 4194304 4196468 140730085207296 140338934967184 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25890] ppid=25873 vsize=10725652 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25890/stat : 25890 (java) S 25873 25880 23514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38359903 10983067648 21387 33554432000 4194304 4196468 140730085207296 140338933914384 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25892] ppid=25873 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25892/stat : 25892 (java) S 25873 25880 23514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 38359904 10983067648 21387 33554432000 4194304 4196468 140730085207296 140338822646128 140339330812546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25894] ppid=25873 vsize=10725652 memory=-3472574513799858008 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25894/stat : 25894 (java) S 25873 25880 23514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 38359904 10983067648 21387 33554432000 4194304 4196468 140730085207296 140338821592096 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25896] ppid=25873 vsize=10725652 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25896/stat : 25896 (java) S 25873 25880 23514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38359905 10983067648 21387 33554432000 4194304 4196468 140730085207296 140338820539248 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25898] ppid=25873 vsize=10725652 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25898/stat : 25898 (java) S 25873 25880 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38359907 10983067648 21387 33554432000 4194304 4196468 140730085207296 140338819487568 140339330819995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25899] ppid=25873 vsize=10725652 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/25880/task/25899/stat : 25899 (java) R 25873 25880 23514 0 -1 4202560 2965 0 0 0 31 0 0 0 20 0 16 0 38359907 10983067648 21387 33554432000 4194304 4196468 140730085207296 140338818421976 140339323090781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25900] ppid=25873 vsize=10725652 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/25880/task/25900/stat : 25900 (java) R 25873 25880 23514 0 -1 4202560 1763 0 0 0 30 0 0 0 20 0 16 0 38359907 10983067648 21387 33554432000 4194304 4196468 140730085207296 140338817369032 140339315603820 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25901] ppid=25873 vsize=10725652 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/25880/task/25901/stat : 25901 (java) S 25873 25880 23514 0 -1 1077944384 1463 0 0 0 24 0 0 0 20 0 16 0 38359907 10983067648 21387 33554432000 4194304 4196468 140730085207296 140338816330352 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25906] ppid=25873 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25906/stat : 25906 (java) S 25873 25880 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38359907 10983067648 21387 33554432000 4194304 4196468 140730085207296 140338815277792 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25908] ppid=25873 vsize=10725652 memory=18464 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25908/stat : 25908 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38359907 10983067648 21387 33554432000 4194304 4196468 140730085207296 140338814225072 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 85548 KiB
[startup+1.50073 s]
/proc/loadavg: 1.05 1.52 1.84 5/219 25911
/proc/meminfo: memFree=22338164/32770624 swapFree=67108860/67108860
[pid=25880] ppid=25873 vsize=10725652 memory=97160 CPUtime=2.92 cores=0,2,4,6
/proc/25880/stat : 25880 (java) S 25873 25880 23514 0 -1 1077944320 17370 0 0 0 288 4 0 0 20 0 16 0 38359901 10983067648 24290 33554432000 4194304 4196468 140730085207296 140730085189840 140339330801399 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
/proc/25880/statm: 2681413 24290 3116 1 0 2643904 0
[pid=25880/tid=25883] ppid=25873 vsize=10725652 memory=10799 CPUtime=1.41 cores=0,2,4,6
/proc/25880/task/25883/stat : 25883 (java) R 25873 25880 23514 0 -1 4202560 6366 0 0 0 139 2 0 0 20 0 16 0 38359901 10983067648 24290 33554432000 4194304 4196468 140730085207296 140339335037808 140338948717472 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25885] ppid=25873 vsize=10725652 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25885/stat : 25885 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38359903 10983067648 24290 33554432000 4194304 4196468 140730085207296 140339267493008 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25887] ppid=25873 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25887/stat : 25887 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38359903 10983067648 24290 33554432000 4194304 4196468 140730085207296 140339266440208 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25888] ppid=25873 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25888/stat : 25888 (java) S 25873 25880 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38359903 10983067648 24290 33554432000 4194304 4196468 140730085207296 140338934967184 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25890] ppid=25873 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25890/stat : 25890 (java) S 25873 25880 23514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38359903 10983067648 24290 33554432000 4194304 4196468 140730085207296 140338933914384 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25892] ppid=25873 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25892/stat : 25892 (java) S 25873 25880 23514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 38359904 10983067648 24290 33554432000 4194304 4196468 140730085207296 140338822646128 140339330812546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
################
# More data... #
################
/proc/25880/task/25894/stat : 25894 (java) S 25873 25880 23514 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 38359904 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338821592096 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25896] ppid=25873 vsize=10725652 memory=462236 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25896/stat : 25896 (java) S 25873 25880 23514 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 38359905 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338820539248 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25898] ppid=25873 vsize=10725652 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25898/stat : 25898 (java) S 25873 25880 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38359907 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338819487568 140339330819995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25899] ppid=25873 vsize=10725652 memory=464288 CPUtime=0.71 cores=0,2,4,6
/proc/25880/task/25899/stat : 25899 (java) S 25873 25880 23514 0 -1 1077944384 5188 0 0 0 70 1 0 0 20 0 16 0 38359907 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338818435952 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25900] ppid=25873 vsize=10725652 memory=9920 CPUtime=0.87 cores=0,2,4,6
/proc/25880/task/25900/stat : 25900 (java) S 25873 25880 23514 0 -1 1077944384 5504 0 0 0 86 1 0 0 20 0 16 0 38359907 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338817383152 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25901] ppid=25873 vsize=10725652 memory=1728 CPUtime=0.3 cores=0,2,4,6
/proc/25880/task/25901/stat : 25901 (java) S 25873 25880 23514 0 -1 1077944384 3309 0 0 0 29 1 0 0 20 0 16 0 38359907 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338816330352 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25906] ppid=25873 vsize=10725652 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25906/stat : 25906 (java) S 25873 25880 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38359907 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338815277792 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25908] ppid=25873 vsize=10725652 memory=4136 CPUtime=1.22 cores=0,2,4,6
/proc/25880/task/25908/stat : 25908 (java) S 25873 25880 23514 0 -1 1077944384 1751 0 0 0 58 64 0 0 20 0 16 0 38359907 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338814225072 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25911] ppid=25873 vsize=10725652 memory=13860 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25911/stat : 25911 (java) S 25873 25880 23514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38359953 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338813170608 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
Current children cumulated CPU time: 2393.45 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 462236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2388.9 s]
/proc/loadavg: 2.00 2.01 2.02 3/217 26178
/proc/meminfo: memFree=21499200/32770624 swapFree=67108860/67108860
[pid=25880] ppid=25873 vsize=10725652 memory=462236 CPUtime=2400.05 cores=0,2,4,6
/proc/25880/stat : 25880 (java) S 25873 25880 23514 0 -1 1077944320 78525 0 0 0 239860 145 0 0 20 0 16 0 38359901 10983067648 115559 33554432000 4194304 4196468 140730085207296 140730085189840 140339330801399 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
/proc/25880/statm: 2681413 115559 3176 1 0 2643904 0
[pid=25880/tid=25883] ppid=25873 vsize=10725652 memory=462236 CPUtime=2385.42 cores=0,2,4,6
/proc/25880/task/25883/stat : 25883 (java) R 25873 25880 23514 0 -1 4202560 17463 0 0 0 238537 5 0 0 20 0 16 0 38359901 10983067648 115559 33554432000 4194304 4196468 140730085207296 140339335040368 140338948717881 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25885] ppid=25873 vsize=10725652 memory=462236 CPUtime=2.79 cores=0,2,4,6
/proc/25880/task/25885/stat : 25885 (java) S 25873 25880 23514 0 -1 1077944384 6615 0 0 0 259 20 0 0 20 0 16 0 38359903 10983067648 115559 33554432000 4194304 4196468 140730085207296 140339267493008 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25887] ppid=25873 vsize=10725652 memory=462236 CPUtime=2.79 cores=0,2,4,6
/proc/25880/task/25887/stat : 25887 (java) S 25873 25880 23514 0 -1 1077944384 9385 0 0 0 259 20 0 0 20 0 16 0 38359903 10983067648 115559 33554432000 4194304 4196468 140730085207296 140339266440208 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25888] ppid=25873 vsize=10725652 memory=462236 CPUtime=2.78 cores=0,2,4,6
/proc/25880/task/25888/stat : 25888 (java) S 25873 25880 23514 0 -1 1077944384 5297 0 0 0 258 20 0 0 20 0 16 0 38359903 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338934967184 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25890] ppid=25873 vsize=10725652 memory=462236 CPUtime=2.81 cores=0,2,4,6
/proc/25880/task/25890/stat : 25890 (java) S 25873 25880 23514 0 -1 1077944384 6042 0 0 0 261 20 0 0 20 0 16 0 38359903 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338933914384 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25892] ppid=25873 vsize=10725652 memory=462236 CPUtime=0.25 cores=0,2,4,6
/proc/25880/task/25892/stat : 25892 (java) S 25873 25880 23514 0 -1 1077944384 16522 0 0 0 20 5 0 0 20 0 16 0 38359904 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338822646128 140339330812546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25894] ppid=25873 vsize=10725652 memory=464288 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25894/stat : 25894 (java) S 25873 25880 23514 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 38359904 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338821592096 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25896] ppid=25873 vsize=10725652 memory=462236 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25896/stat : 25896 (java) S 25873 25880 23514 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 38359905 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338820539248 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25898] ppid=25873 vsize=10725652 memory=462236 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25898/stat : 25898 (java) S 25873 25880 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38359907 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338819487568 140339330819995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25899] ppid=25873 vsize=10725652 memory=515328 CPUtime=0.71 cores=0,2,4,6
/proc/25880/task/25899/stat : 25899 (java) S 25873 25880 23514 0 -1 1077944384 5188 0 0 0 70 1 0 0 20 0 16 0 38359907 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338818435952 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25900] ppid=25873 vsize=10725652 memory=4100 CPUtime=0.87 cores=0,2,4,6
/proc/25880/task/25900/stat : 25900 (java) S 25873 25880 23514 0 -1 1077944384 5504 0 0 0 86 1 0 0 20 0 16 0 38359907 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338817383152 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25901] ppid=25873 vsize=10725652 memory=462236 CPUtime=0.3 cores=0,2,4,6
/proc/25880/task/25901/stat : 25901 (java) S 25873 25880 23514 0 -1 1077944384 3309 0 0 0 29 1 0 0 20 0 16 0 38359907 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338816330352 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25906] ppid=25873 vsize=10725652 memory=462236 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25906/stat : 25906 (java) S 25873 25880 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38359907 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338815277792 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25908] ppid=25873 vsize=10725652 memory=462236 CPUtime=1.24 cores=0,2,4,6
/proc/25880/task/25908/stat : 25908 (java) S 25873 25880 23514 0 -1 1077944384 1753 0 0 0 59 65 0 0 20 0 16 0 38359907 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338814225072 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25911] ppid=25873 vsize=10725652 memory=234536 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25911/stat : 25911 (java) S 25873 25880 23514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38359953 10983067648 115559 33554432000 4194304 4196468 140730085207296 140338813170608 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 462236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2389.16 s]
# the end of solver process 25880 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.67 s, system=1.45806 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2389.01 s]*
/proc/loadavg: 2.00 2.01 2.02 2/218 26181
/proc/meminfo: memFree=21499200/32770624 swapFree=67108860/67108860
[pid=25880] ppid=25873 vsize=10925344 memory=462288 CPUtime=2400.06 cores=0,2,4,6
/proc/25880/stat : 25880 (java) S 25873 25880 23514 0 -1 1077944320 78802 0 0 0 239861 145 0 0 20 0 17 0 38359901 11187552256 115572 33554432000 4194304 4196468 140730085207296 140730085189840 140339330801399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
/proc/25880/statm: 2731336 115572 3179 1 0 2693827 0
[pid=25880/tid=25883] ppid=25873 vsize=10925344 memory=1398720917958146503 CPUtime=2385.43 cores=0,2,4,6
/proc/25880/task/25883/stat : 25883 (java) S 25873 25880 23514 0 -1 1077944384 17477 0 0 0 238538 5 0 0 20 0 17 0 38359901 11187552256 115572 33554432000 4194304 4196468 140730085207296 140339335044272 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25885] ppid=25873 vsize=10925344 memory=4126316290023845779 CPUtime=2.79 cores=0,2,4,6
/proc/25880/task/25885/stat : 25885 (java) S 25873 25880 23514 0 -1 1077944384 6615 0 0 0 259 20 0 0 20 0 17 0 38359903 11187552256 115572 33554432000 4194304 4196468 140730085207296 140339267493008 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25887] ppid=25873 vsize=10925344 memory=14410445029116127 CPUtime=2.79 cores=0,2,4,6
/proc/25880/task/25887/stat : 25887 (java) S 25873 25880 23514 0 -1 1077944384 9385 0 0 0 259 20 0 0 20 0 17 0 38359903 11187552256 115572 33554432000 4194304 4196468 140730085207296 140339266440208 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25888] ppid=25873 vsize=10925344 memory=916 CPUtime=2.78 cores=0,2,4,6
/proc/25880/task/25888/stat : 25888 (java) S 25873 25880 23514 0 -1 1077944384 5297 0 0 0 258 20 0 0 20 0 17 0 38359903 11187552256 115572 33554432000 4194304 4196468 140730085207296 140338934967184 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25890] ppid=25873 vsize=10925344 memory=3848 CPUtime=2.81 cores=0,2,4,6
/proc/25880/task/25890/stat : 25890 (java) S 25873 25880 23514 0 -1 1077944384 6042 0 0 0 261 20 0 0 20 0 17 0 38359903 11187552256 115572 33554432000 4194304 4196468 140730085207296 140338933914384 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25892] ppid=25873 vsize=10925344 memory=2296 CPUtime=0.25 cores=0,2,4,6
/proc/25880/task/25892/stat : 25892 (java) S 25873 25880 23514 0 -1 1077944384 16522 0 0 0 20 5 0 0 20 0 17 0 38359904 11187552256 115572 33554432000 4194304 4196468 140730085207296 140338822646128 140339330812546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25894] ppid=25873 vsize=10925344 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25894/stat : 25894 (java) S 25873 25880 23514 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 38359904 11187552256 115572 33554432000 4194304 4196468 140730085207296 140338821592096 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25896] ppid=25873 vsize=10925344 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25896/stat : 25896 (java) S 25873 25880 23514 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 38359905 11187552256 115572 33554432000 4194304 4196468 140730085207296 140338820539248 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25898] ppid=25873 vsize=10925344 memory=3320 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25898/stat : 25898 (java) S 25873 25880 23514 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 17 0 38359907 11187552256 115572 33554432000 4194304 4196468 140730085207296 140338819487568 140339330819995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25899] ppid=25873 vsize=10925344 memory=464288 CPUtime=0.71 cores=0,2,4,6
/proc/25880/task/25899/stat : 25899 (java) S 25873 25880 23514 0 -1 1077944384 5188 0 0 0 70 1 0 0 20 0 17 0 38359907 11187552256 115572 33554432000 4194304 4196468 140730085207296 140338818435952 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25900] ppid=25873 vsize=10925344 memory=1408 CPUtime=0.87 cores=0,2,4,6
/proc/25880/task/25900/stat : 25900 (java) S 25873 25880 23514 0 -1 1077944384 5504 0 0 0 86 1 0 0 20 0 17 0 38359907 11187552256 115572 33554432000 4194304 4196468 140730085207296 140338817383152 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25901] ppid=25873 vsize=10925344 memory=3204 CPUtime=0.3 cores=0,2,4,6
/proc/25880/task/25901/stat : 25901 (java) S 25873 25880 23514 0 -1 1077944384 3380 0 0 0 29 1 0 0 20 0 17 0 38359907 11187552256 115572 33554432000 4194304 4196468 140730085207296 140338816330352 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25906] ppid=25873 vsize=10925344 memory=515328 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25906/stat : 25906 (java) S 25873 25880 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38359907 11187552256 115572 33554432000 4194304 4196468 140730085207296 140338815277792 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25908] ppid=25873 vsize=10925344 memory=4100 CPUtime=1.24 cores=0,2,4,6
/proc/25880/task/25908/stat : 25908 (java) S 25873 25880 23514 0 -1 1077944384 1753 0 0 0 59 65 0 0 20 0 17 0 38359907 11187552256 115572 33554432000 4194304 4196468 140730085207296 140338814225072 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=26179] ppid=25873 vsize=10925344 memory=1398720917958146503 CPUtime=0 cores=0,2,4,6
/proc/25880/task/26179/stat : 26179 (java) S 25873 25880 23514 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 17 0 38598792 11187552256 115572 33554432000 4194304 4196468 140730085207296 140338812117104 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=26180] ppid=25873 vsize=10925344 memory=-8412652160765825907 CPUtime=0 cores=0,2,4,6
/proc/25880/task/26180/stat : 26180 (java) S 25873 25880 23514 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 17 0 38598792 11187552256 115572 33554432000 4194304 4196468 140730085207296 140338811065232 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 462288 KiB
[startup+2389.12 s]
/proc/loadavg: 2.00 2.01 2.02 2/218 26181
/proc/meminfo: memFree=21499200/32770624 swapFree=67108860/67108860
[pid=25880] ppid=25873 vsize=10925344 memory=462296 CPUtime=2400.08 cores=0,2,4,6
/proc/25880/stat : 25880 (java) S 25873 25880 23514 0 -1 1077944320 79125 0 0 0 239863 145 0 0 20 0 17 0 38359901 11187552256 115574 33554432000 4194304 4196468 140730085207296 140730085189840 140339330801399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
/proc/25880/statm: 2731336 115574 3179 1 0 2693827 0
[pid=25880/tid=25883] ppid=25873 vsize=10925344 memory=462236 CPUtime=2385.43 cores=0,2,4,6
/proc/25880/task/25883/stat : 25883 (java) S 25873 25880 23514 0 -1 1077944384 17477 0 0 0 238538 5 0 0 20 0 17 0 38359901 11187552256 115574 33554432000 4194304 4196468 140730085207296 140339335044272 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25885] ppid=25873 vsize=10925344 memory=464288 CPUtime=2.79 cores=0,2,4,6
/proc/25880/task/25885/stat : 25885 (java) S 25873 25880 23514 0 -1 1077944384 6615 0 0 0 259 20 0 0 20 0 17 0 38359903 11187552256 115574 33554432000 4194304 4196468 140730085207296 140339267493008 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25887] ppid=25873 vsize=10925344 memory=462236 CPUtime=2.79 cores=0,2,4,6
/proc/25880/task/25887/stat : 25887 (java) S 25873 25880 23514 0 -1 1077944384 9385 0 0 0 259 20 0 0 20 0 17 0 38359903 11187552256 115574 33554432000 4194304 4196468 140730085207296 140339266440208 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25888] ppid=25873 vsize=10925344 memory=462236 CPUtime=2.78 cores=0,2,4,6
/proc/25880/task/25888/stat : 25888 (java) S 25873 25880 23514 0 -1 1077944384 5297 0 0 0 258 20 0 0 20 0 17 0 38359903 11187552256 115574 33554432000 4194304 4196468 140730085207296 140338934967184 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25890] ppid=25873 vsize=10925344 memory=462236 CPUtime=2.81 cores=0,2,4,6
/proc/25880/task/25890/stat : 25890 (java) S 25873 25880 23514 0 -1 1077944384 6042 0 0 0 261 20 0 0 20 0 17 0 38359903 11187552256 115574 33554432000 4194304 4196468 140730085207296 140338933914384 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25892] ppid=25873 vsize=10925344 memory=462236 CPUtime=0.25 cores=0,2,4,6
/proc/25880/task/25892/stat : 25892 (java) S 25873 25880 23514 0 -1 1077944384 16522 0 0 0 20 5 0 0 20 0 17 0 38359904 11187552256 115574 33554432000 4194304 4196468 140730085207296 140338822646128 140339330812546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25894] ppid=25873 vsize=10925344 memory=462236 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25894/stat : 25894 (java) S 25873 25880 23514 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 38359904 11187552256 115574 33554432000 4194304 4196468 140730085207296 140338821592096 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25896] ppid=25873 vsize=10925344 memory=462236 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25896/stat : 25896 (java) S 25873 25880 23514 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 38359905 11187552256 115574 33554432000 4194304 4196468 140730085207296 140338820539248 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25898] ppid=25873 vsize=10925344 memory=462236 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25898/stat : 25898 (java) S 25873 25880 23514 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 17 0 38359907 11187552256 115574 33554432000 4194304 4196468 140730085207296 140338819487568 140339330819995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25899] ppid=25873 vsize=10925344 memory=462236 CPUtime=0.71 cores=0,2,4,6
/proc/25880/task/25899/stat : 25899 (java) S 25873 25880 23514 0 -1 1077944384 5304 0 0 0 70 1 0 0 20 0 17 0 38359907 11187552256 115574 33554432000 4194304 4196468 140730085207296 140338818435952 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25900] ppid=25873 vsize=10925344 memory=234536 CPUtime=0.87 cores=0,2,4,6
/proc/25880/task/25900/stat : 25900 (java) S 25873 25880 23514 0 -1 1077944384 5540 0 0 0 86 1 0 0 20 0 17 0 38359907 11187552256 115574 33554432000 4194304 4196468 140730085207296 140338817383152 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25901] ppid=25873 vsize=10925344 memory=462236 CPUtime=0.3 cores=0,2,4,6
/proc/25880/task/25901/stat : 25901 (java) S 25873 25880 23514 0 -1 1077944384 3511 0 0 0 29 1 0 0 20 0 17 0 38359907 11187552256 115574 33554432000 4194304 4196468 140730085207296 140338816330352 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25906] ppid=25873 vsize=10925344 memory=462236 CPUtime=0 cores=0,2,4,6
/proc/25880/task/25906/stat : 25906 (java) S 25873 25880 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38359907 11187552256 115574 33554432000 4194304 4196468 140730085207296 140338815277792 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=25908] ppid=25873 vsize=10925344 memory=288230574492221466 CPUtime=1.24 cores=0,2,4,6
/proc/25880/task/25908/stat : 25908 (java) S 25873 25880 23514 0 -1 1077944384 1753 0 0 0 59 65 0 0 20 0 17 0 38359907 11187552256 115574 33554432000 4194304 4196468 140730085207296 140338814225072 140339330812546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=26179] ppid=25873 vsize=10925344 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/25880/task/26179/stat : 26179 (java) S 25873 25880 23514 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 17 0 38598792 11187552256 115574 33554432000 4194304 4196468 140730085207296 140338812117104 140339330811605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
[pid=25880/tid=26180] ppid=25873 vsize=10925344 memory=14410445029116127 CPUtime=0.01 cores=0,2,4,6
/proc/25880/task/26180/stat : 26180 (java) R 25873 25880 23514 0 -1 4202560 66 0 0 0 1 0 0 0 20 0 17 0 38598792 11187552256 115574 33554432000 4194304 4196468 140730085207296 140338811061368 140339308801099 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9928704 140730085209201 140730085209353 140730085209353 140730085212111 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 462296 KiB
Child status: 143
Real time (s): 2389.16
CPU time (s): 2400.13
CPU user time (s): 2398.67
CPU system time (s): 1.45806
CPU usage (%): 100.459
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 721536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.67
system time used= 1.45806
maximum resident set size= 741352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79294
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55456
involuntary context switches= 3050
# summary of solver processes directly reported to runsolver:
# pid: 25880
# total CPU time (s): 2400.13
# total CPU user time (s): 2398.67
# total CPU system time (s): 1.45806
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0488 second user time and 23.3194 second system time
The end