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 (7451 MiB free)
memory of node 1: 16384 MiB (15836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301517-1532881638/watcher-4301517-1532881638 -o /tmp/evaluation-result-4301517-1532881638/solver-4301517-1532881638 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301517-1532881638.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15229, runsolver pid=15226
[startup+0.10013 s]*
/proc/loadavg: 2.17 2.22 2.15 3/216 15244
/proc/meminfo: memFree=23829000/32770624 swapFree=67108860/67108860
[pid=15229] ppid=15226 vsize=10659012 memory=30476 CPUtime=0.12 cores=1,3,5,7
/proc/15229/stat : 15229 (java) S 15226 15229 13514 0 -1 1077944320 6689 0 0 0 11 1 0 0 20 0 15 0 105726992 10914828288 7619 33554432000 4194304 4196468 140725194848704 140725194831248 140104120381175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
/proc/15229/statm: 2664753 7619 2814 1 0 2627263 0
[pid=15229/tid=15231] ppid=15226 vsize=10659012 memory=-8773748148830375295 CPUtime=0.09 cores=1,3,5,7
/proc/15229/task/15231/stat : 15231 (java) R 15226 15229 13514 0 -1 4202560 4528 0 0 0 8 1 0 0 20 0 15 0 105726992 10914828288 7619 33554432000 4194304 4196468 140725194848704 140104124606992 140104120404765 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15232] ppid=15226 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15232/stat : 15232 (java) S 15226 15229 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105726993 10914828288 7619 33554432000 4194304 4196468 140725194848704 140104057072144 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15233] ppid=15226 vsize=10659012 memory=140525630617216 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15233/stat : 15233 (java) S 15226 15229 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105726993 10914828288 7619 33554432000 4194304 4196468 140725194848704 140104056019600 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15234] ppid=15226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15234/stat : 15234 (java) S 15226 15229 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105726993 10914828288 7619 33554432000 4194304 4196468 140725194848704 140104054966544 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15235] ppid=15226 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15235/stat : 15235 (java) S 15226 15229 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105726993 10914828288 7619 33554432000 4194304 4196468 140725194848704 140104053914000 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15236] ppid=15226 vsize=10659012 memory=140525630617216 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105726994 10914828288 7619 33554432000 4194304 4196468 140725194848704 140103288396528 140104120392322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15237] ppid=15226 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15237/stat : 15237 (java) S 15226 15229 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105726995 10914828288 7619 33554432000 4194304 4196468 140725194848704 140103287342752 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15238] ppid=15226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15238/stat : 15238 (java) S 15226 15229 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105726995 10914828288 7619 33554432000 4194304 4196468 140725194848704 140103286289648 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15239] ppid=15226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15239/stat : 15239 (java) S 15226 15229 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105726997 10914828288 7619 33554432000 4194304 4196468 140725194848704 140103285238224 140104120399771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15240] ppid=15226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15240/stat : 15240 (java) S 15226 15229 13514 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 15 0 105726997 10914828288 7619 33554432000 4194304 4196468 140725194848704 140103284185328 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15241] ppid=15226 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15241/stat : 15241 (java) S 15226 15229 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105726997 10914828288 7619 33554432000 4194304 4196468 140725194848704 140103283132784 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15242] ppid=15226 vsize=10659012 memory=140525630617216 CPUtime=0.02 cores=1,3,5,7
/proc/15229/task/15242/stat : 15242 (java) R 15226 15229 13514 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 15 0 105726997 10914828288 7619 33554432000 4194304 4196468 140725194848704 140103282079728 140104112622565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15243] ppid=15226 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15243/stat : 15243 (java) S 15226 15229 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105726997 10914828288 7619 33554432000 4194304 4196468 140725194848704 140103281027424 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15244] ppid=15226 vsize=10659012 memory=140525630617216 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15244/stat : 15244 (java) S 15226 15229 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105726997 10914828288 7619 33554432000 4194304 4196468 140725194848704 140103279975472 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30476 KiB
[startup+0.211914 s]*
/proc/loadavg: 2.17 2.22 2.15 4/216 15244
/proc/meminfo: memFree=23815704/32770624 swapFree=67108860/67108860
[pid=15229] ppid=15226 vsize=10659012 memory=42104 CPUtime=0.33 cores=1,3,5,7
/proc/15229/stat : 15229 (java) S 15226 15229 13514 0 -1 1077944320 8118 0 0 0 31 2 0 0 20 0 15 0 105726992 10914828288 10526 33554432000 4194304 4196468 140725194848704 140725194831248 140104120381175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
/proc/15229/statm: 2664753 10526 3007 1 0 2627263 0
[pid=15229/tid=15231] ppid=15226 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/15229/task/15231/stat : 15231 (java) R 15226 15229 13514 0 -1 4202560 5042 0 0 0 18 2 0 0 20 0 15 0 105726992 10914828288 10526 33554432000 4194304 4196468 140725194848704 140104124611280 140104104461662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15232] ppid=15226 vsize=10659012 memory=331 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15232/stat : 15232 (java) S 15226 15229 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105726993 10914828288 10526 33554432000 4194304 4196468 140725194848704 140104057072144 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15233] ppid=15226 vsize=10659012 memory=140525631242250 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15233/stat : 15233 (java) S 15226 15229 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105726993 10914828288 10526 33554432000 4194304 4196468 140725194848704 140104056019600 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15234] ppid=15226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15234/stat : 15234 (java) S 15226 15229 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105726993 10914828288 10526 33554432000 4194304 4196468 140725194848704 140104054966544 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15235] ppid=15226 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15235/stat : 15235 (java) S 15226 15229 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105726993 10914828288 10526 33554432000 4194304 4196468 140725194848704 140104053914000 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15236] ppid=15226 vsize=10659012 memory=140525630617216 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105726994 10914828288 10526 33554432000 4194304 4196468 140725194848704 140103288396528 140104120392322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15237] ppid=15226 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15237/stat : 15237 (java) S 15226 15229 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105726995 10914828288 10526 33554432000 4194304 4196468 140725194848704 140103287342752 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15238] ppid=15226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15238/stat : 15238 (java) S 15226 15229 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105726995 10914828288 10526 33554432000 4194304 4196468 140725194848704 140103286289648 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15239] ppid=15226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15239/stat : 15239 (java) S 15226 15229 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105726997 10914828288 10526 33554432000 4194304 4196468 140725194848704 140103285238224 140104120399771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15240] ppid=15226 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15229/task/15240/stat : 15240 (java) S 15226 15229 13514 0 -1 1077944384 664 0 0 0 2 0 0 0 20 0 15 0 105726997 10914828288 10526 33554432000 4194304 4196468 140725194848704 140103284185328 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15241] ppid=15226 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15229/task/15241/stat : 15241 (java) S 15226 15229 13514 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 15 0 105726997 10914828288 10526 33554432000 4194304 4196468 140725194848704 140103283132784 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15242] ppid=15226 vsize=10659012 memory=140525630617216 CPUtime=0.07 cores=1,3,5,7
/proc/15229/task/15242/stat : 15242 (java) R 15226 15229 13514 0 -1 4202560 693 0 0 0 7 0 0 0 20 0 15 0 105726997 10914828288 10526 33554432000 4194304 4196468 140725194848704 140103282079728 140104120402522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15243] ppid=15226 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15243/stat : 15243 (java) S 15226 15229 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105726997 10914828288 10526 33554432000 4194304 4196468 140725194848704 140103281027424 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15244] ppid=15226 vsize=10659012 memory=140525630617216 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15244/stat : 15244 (java) S 15226 15229 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105726997 10914828288 10526 33554432000 4194304 4196468 140725194848704 140103279975472 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42104 KiB
[startup+0.310362 s]*
/proc/loadavg: 2.17 2.22 2.15 7/216 15244
/proc/meminfo: memFree=23806028/32770624 swapFree=67108860/67108860
[pid=15229] ppid=15226 vsize=10659012 memory=52556 CPUtime=0.6 cores=1,3,5,7
/proc/15229/stat : 15229 (java) S 15226 15229 13514 0 -1 1077944320 9877 0 0 0 57 3 0 0 20 0 15 0 105726992 10914828288 13139 33554432000 4194304 4196468 140725194848704 140725194831248 140104120381175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
/proc/15229/statm: 2664753 13139 3050 1 0 2627263 0
[pid=15229/tid=15231] ppid=15226 vsize=10659012 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/15229/task/15231/stat : 15231 (java) R 15226 15229 13514 0 -1 4202560 5623 0 0 0 27 2 0 0 20 0 15 0 105726992 10914828288 13139 33554432000 4194304 4196468 140725194848704 140104124613840 140104106074641 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15232] ppid=15226 vsize=10659012 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15232/stat : 15232 (java) S 15226 15229 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105726993 10914828288 13139 33554432000 4194304 4196468 140725194848704 140104057072144 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15233] ppid=15226 vsize=10659012 memory=140525631236565 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15233/stat : 15233 (java) S 15226 15229 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105726993 10914828288 13139 33554432000 4194304 4196468 140725194848704 140104056019600 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15234] ppid=15226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15234/stat : 15234 (java) S 15226 15229 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105726993 10914828288 13139 33554432000 4194304 4196468 140725194848704 140104054966544 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15235] ppid=15226 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15235/stat : 15235 (java) S 15226 15229 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105726993 10914828288 13139 33554432000 4194304 4196468 140725194848704 140104053914000 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15236] ppid=15226 vsize=10659012 memory=140525630617216 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105726994 10914828288 13139 33554432000 4194304 4196468 140725194848704 140103288396528 140104120392322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15237] ppid=15226 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15237/stat : 15237 (java) S 15226 15229 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105726995 10914828288 13139 33554432000 4194304 4196468 140725194848704 140103287342752 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15238] ppid=15226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15238/stat : 15238 (java) S 15226 15229 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105726995 10914828288 13139 33554432000 4194304 4196468 140725194848704 140103286289648 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15239] ppid=15226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15239/stat : 15239 (java) S 15226 15229 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105726997 10914828288 13139 33554432000 4194304 4196468 140725194848704 140103285238224 140104120399771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15240] ppid=15226 vsize=10659012 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15229/task/15240/stat : 15240 (java) R 15226 15229 13514 0 -1 4202560 1180 0 0 0 7 0 0 0 20 0 15 0 105726997 10914828288 13139 33554432000 4194304 4196468 140725194848704 140103284166344 140104103881381 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15241] ppid=15226 vsize=10659012 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15229/task/15241/stat : 15241 (java) R 15226 15229 13514 0 -1 4202560 668 0 0 0 7 0 0 0 20 0 15 0 105726997 10914828288 13139 33554432000 4194304 4196468 140725194848704 140103283118808 140104112618302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15242] ppid=15226 vsize=10659012 memory=140525630617216 CPUtime=0.13 cores=1,3,5,7
/proc/15229/task/15242/stat : 15242 (java) R 15226 15229 13514 0 -1 1077944384 1045 0 0 0 13 0 0 0 20 0 15 0 105726997 10914828288 13139 33554432000 4194304 4196468 140725194848704 140103282079728 140104120392322 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15243] ppid=15226 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15243/stat : 15243 (java) S 15226 15229 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105726997 10914828288 13139 33554432000 4194304 4196468 140725194848704 140103281027424 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15244] ppid=15226 vsize=10659088 memory=140525630617216 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15244/stat : 15244 (java) S 15226 15229 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105726997 10914906112 13139 33554432000 4194304 4196468 140725194848704 140103279975472 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 52556 KiB
[startup+0.702108 s]
/proc/loadavg: 2.17 2.22 2.15 5/216 15244
/proc/meminfo: memFree=23772780/32770624 swapFree=67108860/67108860
[pid=15229] ppid=15226 vsize=10659088 memory=197680 CPUtime=1.93 cores=1,3,5,7
/proc/15229/stat : 15229 (java) S 15226 15229 13514 0 -1 1077944320 14491 0 0 0 186 7 0 0 20 0 15 0 105726992 10914906112 49420 33554432000 4194304 4196468 140725194848704 140725194831248 140104120381175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
/proc/15229/statm: 2664772 49420 3124 1 0 2627263 0
[pid=15229/tid=15231] ppid=15226 vsize=10659088 memory=16820 CPUtime=0.67 cores=1,3,5,7
/proc/15229/task/15231/stat : 15231 (java) R 15226 15229 13514 0 -1 4202560 5973 0 0 0 63 4 0 0 20 0 15 0 105726992 10914906112 49420 33554432000 4194304 4196468 140725194848704 140104124617600 140103730047296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15232] ppid=15226 vsize=10659088 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15232/stat : 15232 (java) S 15226 15229 13514 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 105726993 10914906112 49420 33554432000 4194304 4196468 140725194848704 140104057072144 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15233] ppid=15226 vsize=10659088 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15233/stat : 15233 (java) S 15226 15229 13514 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 105726993 10914906112 49420 33554432000 4194304 4196468 140725194848704 140104056019600 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15234] ppid=15226 vsize=10659088 memory=496 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15234/stat : 15234 (java) S 15226 15229 13514 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 105726993 10914906112 49420 33554432000 4194304 4196468 140725194848704 140104054966544 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15235] ppid=15226 vsize=10659088 memory=928 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15235/stat : 15235 (java) S 15226 15229 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 105726993 10914906112 49420 33554432000 4194304 4196468 140725194848704 140104053914000 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15236] ppid=15226 vsize=10659088 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 13514 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 105726994 10914906112 49420 33554432000 4194304 4196468 140725194848704 140103288396528 140104120392322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15237] ppid=15226 vsize=10659088 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15237/stat : 15237 (java) S 15226 15229 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105726995 10914906112 49420 33554432000 4194304 4196468 140725194848704 140103287342752 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15238] ppid=15226 vsize=10659088 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15238/stat : 15238 (java) R 15226 15229 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105726995 10914906112 49420 33554432000 4194304 4196468 140725194848704 140103286289648 140104120391381 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15239] ppid=15226 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15239/stat : 15239 (java) S 15226 15229 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105726997 10914906112 49420 33554432000 4194304 4196468 140725194848704 140103285238224 140104120399771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15240] ppid=15226 vsize=10659088 memory=6081108994580573287 CPUtime=0.44 cores=1,3,5,7
/proc/15229/task/15240/stat : 15240 (java) R 15226 15229 13514 0 -1 4202560 2610 0 0 0 44 0 0 0 20 0 15 0 105726997 10914906112 49420 33554432000 4194304 4196468 140725194848704 140103284165104 140104099619648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15241] ppid=15226 vsize=10659088 memory=5788647689011156329 CPUtime=0.43 cores=1,3,5,7
/proc/15229/task/15241/stat : 15241 (java) R 15226 15229 13514 0 -1 1077944384 2302 0 0 0 43 0 0 0 20 0 15 0 105726997 10914906112 49420 33554432000 4194304 4196468 140725194848704 140103283119632 140104120391381 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15242] ppid=15226 vsize=10659088 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/15229/task/15242/stat : 15242 (java) R 15226 15229 13514 0 -1 4202560 2106 0 0 0 33 0 0 0 20 0 15 0 105726997 10914906112 49420 33554432000 4194304 4196468 140725194848704 140103282075456 140104113478011 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15243] ppid=15226 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15243/stat : 15243 (java) S 15226 15229 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105726997 10914906112 49420 33554432000 4194304 4196468 140725194848704 140103281027424 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15244] ppid=15226 vsize=10659088 memory=756 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15244/stat : 15244 (java) S 15226 15229 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105726997 10914906112 49420 33554432000 4194304 4196468 140725194848704 140103279975472 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
Current children cumulated CPU time: 1.93 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 197680 KiB
[startup+1.50107 s]
/proc/loadavg: 2.17 2.22 2.15 5/216 15244
/proc/meminfo: memFree=23641840/32770624 swapFree=67108860/67108860
[pid=15229] ppid=15226 vsize=10661136 memory=430928 CPUtime=4.39 cores=1,3,5,7
/proc/15229/stat : 15229 (java) S 15226 15229 13514 0 -1 1077944320 15707 0 0 0 417 22 0 0 20 0 15 0 105726992 10917003264 107732 33554432000 4194304 4196468 140725194848704 140725194831248 140104120381175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
/proc/15229/statm: 2665284 107732 3144 1 0 2627775 0
[pid=15229/tid=15231] ppid=15226 vsize=10661136 memory=405344 CPUtime=1.33 cores=1,3,5,7
/proc/15229/task/15231/stat : 15231 (java) R 15226 15229 13514 0 -1 4202560 6147 0 0 0 127 6 0 0 20 0 15 0 105726992 10917003264 107732 33554432000 4194304 4196468 140725194848704 140104124615008 140103734120550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15232] ppid=15226 vsize=10661136 memory=33 CPUtime=0.1 cores=1,3,5,7
/proc/15229/task/15232/stat : 15232 (java) S 15226 15229 13514 0 -1 1077944384 64 0 0 0 7 3 0 0 20 0 15 0 105726993 10917003264 107732 33554432000 4194304 4196468 140725194848704 140104057072144 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15233] ppid=15226 vsize=10661136 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15229/task/15233/stat : 15233 (java) S 15226 15229 13514 0 -1 1077944384 69 0 0 0 9 3 0 0 20 0 15 0 105726993 10917003264 107732 33554432000 4194304 4196468 140725194848704 140104056019600 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15234] ppid=15226 vsize=10661136 memory=6791534058613427641 CPUtime=0.12 cores=1,3,5,7
/proc/15229/task/15234/stat : 15234 (java) S 15226 15229 13514 0 -1 1077944384 65 0 0 0 9 3 0 0 20 0 15 0 105726993 10917003264 107732 33554432000 4194304 4196468 140725194848704 140104054966544 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15235] ppid=15226 vsize=10661136 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/15229/task/15235/stat : 15235 (java) S 15226 15229 13514 0 -1 1077944384 68 0 0 0 8 2 0 0 20 0 15 0 105726993 10917003264 107732 33554432000 4194304 4196468 140725194848704 140104053914000 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15236] ppid=15226 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 13514 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 105726994 10917003264 107732 33554432000 4194304 4196468 140725194848704 140103288396528 140104120392322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
################
# More data... #
################
/proc/15229/statm: 2665284 2066177 3188 1 0 2627775 0
[pid=15229/tid=15231] ppid=15226 vsize=10661136 memory=6791534058613427641 CPUtime=18.14 cores=1,3,5,7
/proc/15229/task/15231/stat : 15231 (java) S 15226 15229 13514 0 -1 1077944384 14471 0 0 0 1802 12 0 0 20 0 15 0 105726992 10917003264 2066177 33554432000 4194304 4196468 140725194848704 140104124613312 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15232] ppid=15226 vsize=10661136 memory=1240 CPUtime=53.29 cores=1,3,5,7
/proc/15229/task/15232/stat : 15232 (java) R 15226 15229 13514 0 -1 4202560 8471 0 0 0 5183 146 0 0 20 0 15 0 105726993 10917003264 2066177 33554432000 4194304 4196468 140725194848704 140104057072344 140104105078972 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15233] ppid=15226 vsize=10661136 memory=1520 CPUtime=53.32 cores=1,3,5,7
/proc/15229/task/15233/stat : 15233 (java) R 15226 15229 13514 0 -1 4202560 10493 0 0 0 5186 146 0 0 20 0 15 0 105726993 10917003264 2066177 33554432000 4194304 4196468 140725194848704 140104056019800 140104105331780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15234] ppid=15226 vsize=10661136 memory=844 CPUtime=53.56 cores=1,3,5,7
/proc/15229/task/15234/stat : 15234 (java) R 15226 15229 13514 0 -1 4202560 10549 0 0 0 5201 155 0 0 20 0 15 0 105726993 10917003264 2066177 33554432000 4194304 4196468 140725194848704 140104054966432 140104101978186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15235] ppid=15226 vsize=10661136 memory=3360 CPUtime=53.19 cores=1,3,5,7
/proc/15229/task/15235/stat : 15235 (java) R 15226 15229 13514 0 -1 4202560 8272 0 0 0 5159 160 0 0 20 0 15 0 105726993 10917003264 2066177 33554432000 4194304 4196468 140725194848704 140104053914200 140104101934824 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15236] ppid=15226 vsize=10661136 memory=281050984487712 CPUtime=14.42 cores=1,3,5,7
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 13514 0 -1 1077944384 30931 0 0 0 1440 2 0 0 20 0 15 0 105726994 10917003264 2066177 33554432000 4194304 4196468 140725194848704 140103288394848 140104120391381 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15237] ppid=15226 vsize=10661136 memory=5787213826727426663 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15237/stat : 15237 (java) S 15226 15229 13514 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 105726995 10917003264 2066177 33554432000 4194304 4196468 140725194848704 140103287342816 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15238] ppid=15226 vsize=10661136 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15238/stat : 15238 (java) S 15226 15229 13514 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 105726995 10917003264 2066177 33554432000 4194304 4196468 140725194848704 140103286289664 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15239] ppid=15226 vsize=10661136 memory=281050983045328 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15239/stat : 15239 (java) S 15226 15229 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105726997 10917003264 2066177 33554432000 4194304 4196468 140725194848704 140103285238224 140104120399771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15240] ppid=15226 vsize=10661136 memory=31356350842106267 CPUtime=3.07 cores=1,3,5,7
/proc/15229/task/15240/stat : 15240 (java) S 15226 15229 13514 0 -1 1077944384 14130 0 0 0 304 3 0 0 20 0 15 0 105726997 10917003264 2066177 33554432000 4194304 4196468 140725194848704 140103284185328 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15241] ppid=15226 vsize=10661136 memory=1812 CPUtime=2.54 cores=1,3,5,7
/proc/15229/task/15241/stat : 15241 (java) S 15226 15229 13514 0 -1 1077944384 8947 0 0 0 253 1 0 0 20 0 15 0 105726997 10917003264 2066177 33554432000 4194304 4196468 140725194848704 140103283132784 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15242] ppid=15226 vsize=10661136 memory=1020 CPUtime=0.59 cores=1,3,5,7
/proc/15229/task/15242/stat : 15242 (java) S 15226 15229 13514 0 -1 1077944384 3195 0 0 0 58 1 0 0 20 0 15 0 105726997 10917003264 2066177 33554432000 4194304 4196468 140725194848704 140103282079728 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15243] ppid=15226 vsize=10661136 memory=5456 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15243/stat : 15243 (java) S 15226 15229 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105726997 10917003264 2066177 33554432000 4194304 4196468 140725194848704 140103281027424 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15244] ppid=15226 vsize=10661136 memory=756 CPUtime=0.06 cores=1,3,5,7
/proc/15229/task/15244/stat : 15244 (java) S 15226 15229 13514 0 -1 1077944384 1028 0 0 0 3 3 0 0 20 0 15 0 105726997 10917003264 2066177 33554432000 4194304 4196468 140725194848704 140103279975472 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
Current children cumulated CPU time: 252.27 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8264708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+88.4463 s]
# the end of solver process 15229 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.984 s, system=6.33745 s
Solver just ended.
Dumping a history of the last processes samples
[startup+87.2011 s]
/proc/loadavg: 3.90 2.73 2.33 6/216 15246
/proc/meminfo: memFree=15577456/32770624 swapFree=67108860/67108860
[pid=15229] ppid=15226 vsize=10661136 memory=8264736 CPUtime=255.45 cores=1,3,5,7
/proc/15229/stat : 15229 (java) S 15226 15229 13514 0 -1 1077944320 111897 0 0 0 24915 630 0 0 20 0 15 0 105726992 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140725194831248 140104120381175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
/proc/15229/statm: 2665284 2066184 3188 1 0 2627775 0
[pid=15229/tid=15231] ppid=15226 vsize=10661136 memory=2204 CPUtime=18.14 cores=1,3,5,7
/proc/15229/task/15231/stat : 15231 (java) S 15226 15229 13514 0 -1 1077944384 14471 0 0 0 1802 12 0 0 20 0 15 0 105726992 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140104124613312 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15232] ppid=15226 vsize=10661136 memory=6791534058613427641 CPUtime=54.09 cores=1,3,5,7
/proc/15229/task/15232/stat : 15232 (java) R 15226 15229 13514 0 -1 4202560 8473 0 0 0 5263 146 0 0 20 0 15 0 105726993 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140104057072344 140104105078927 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15233] ppid=15226 vsize=10661136 memory=1812 CPUtime=54.12 cores=1,3,5,7
/proc/15229/task/15233/stat : 15233 (java) R 15226 15229 13514 0 -1 4202560 10495 0 0 0 5266 146 0 0 20 0 15 0 105726993 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140104056019800 140104105078900 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15234] ppid=15226 vsize=10661136 memory=6791534058613427641 CPUtime=54.36 cores=1,3,5,7
/proc/15229/task/15234/stat : 15234 (java) R 15226 15229 13514 0 -1 4202560 10554 0 0 0 5281 155 0 0 20 0 15 0 105726993 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140104054966432 140104105078927 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15235] ppid=15226 vsize=10661136 memory=5456 CPUtime=53.98 cores=1,3,5,7
/proc/15229/task/15235/stat : 15235 (java) R 15226 15229 13514 0 -1 4202560 8277 0 0 0 5238 160 0 0 20 0 15 0 105726993 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140104053914200 140104101978192 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15236] ppid=15226 vsize=10661136 memory=4140 CPUtime=14.42 cores=1,3,5,7
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 13514 0 -1 1077944384 30931 0 0 0 1440 2 0 0 20 0 15 0 105726994 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103288394848 140104120391381 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15237] ppid=15226 vsize=10661136 memory=30176 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15237/stat : 15237 (java) S 15226 15229 13514 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 105726995 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103287342816 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15238] ppid=15226 vsize=10661136 memory=8264604 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15238/stat : 15238 (java) S 15226 15229 13514 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 105726995 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103286289664 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15239] ppid=15226 vsize=10661136 memory=2724 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15239/stat : 15239 (java) S 15226 15229 13514 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103285237872 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15240] ppid=15226 vsize=10661136 memory=1256 CPUtime=3.07 cores=1,3,5,7
/proc/15229/task/15240/stat : 15240 (java) S 15226 15229 13514 0 -1 1077944384 14130 0 0 0 304 3 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103284185328 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15241] ppid=15226 vsize=10661136 memory=10368 CPUtime=2.54 cores=1,3,5,7
/proc/15229/task/15241/stat : 15241 (java) S 15226 15229 13514 0 -1 1077944384 8947 0 0 0 253 1 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103283132784 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15242] ppid=15226 vsize=10661136 memory=1700 CPUtime=0.59 cores=1,3,5,7
/proc/15229/task/15242/stat : 15242 (java) S 15226 15229 13514 0 -1 1077944384 3195 0 0 0 58 1 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103282079728 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15243] ppid=15226 vsize=10661136 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15243/stat : 15243 (java) S 15226 15229 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103281027424 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15244] ppid=15226 vsize=10661136 memory=1812 CPUtime=0.06 cores=1,3,5,7
/proc/15229/task/15244/stat : 15244 (java) S 15226 15229 13514 0 -1 1077944384 1028 0 0 0 3 3 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103279975472 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
Current children cumulated CPU time: 255.45 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8264736 KiB
[startup+88.0011 s]*
/proc/loadavg: 3.90 2.73 2.33 6/216 15246
/proc/meminfo: memFree=15577456/32770624 swapFree=67108860/67108860
[pid=15229] ppid=15226 vsize=10661136 memory=8264736 CPUtime=258.67 cores=1,3,5,7
/proc/15229/stat : 15229 (java) S 15226 15229 13514 0 -1 1077944320 111923 0 0 0 25237 630 0 0 20 0 15 0 105726992 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140725194831248 140104120381175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
/proc/15229/statm: 2665284 2066184 3188 1 0 2627775 0
[pid=15229/tid=15231] ppid=15226 vsize=10661136 memory=1812 CPUtime=18.14 cores=1,3,5,7
/proc/15229/task/15231/stat : 15231 (java) S 15226 15229 13514 0 -1 1077944384 14471 0 0 0 1802 12 0 0 20 0 15 0 105726992 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140104124613312 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15232] ppid=15226 vsize=10661136 memory=1020 CPUtime=54.9 cores=1,3,5,7
/proc/15229/task/15232/stat : 15232 (java) R 15226 15229 13514 0 -1 4202560 8473 0 0 0 5344 146 0 0 20 0 15 0 105726993 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140104057072344 140104105332302 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15233] ppid=15226 vsize=10661136 memory=5456 CPUtime=54.93 cores=1,3,5,7
/proc/15229/task/15233/stat : 15233 (java) R 15226 15229 13514 0 -1 4202560 10495 0 0 0 5347 146 0 0 20 0 15 0 105726993 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140104056019800 140104101978186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15234] ppid=15226 vsize=10661136 memory=4126316290023845779 CPUtime=55.17 cores=1,3,5,7
/proc/15229/task/15234/stat : 15234 (java) R 15226 15229 13514 0 -1 4202560 10554 0 0 0 5362 155 0 0 20 0 15 0 105726993 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140104054966432 140104105331780 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15235] ppid=15226 vsize=10661136 memory=6791534058613427641 CPUtime=54.77 cores=1,3,5,7
/proc/15229/task/15235/stat : 15235 (java) R 15226 15229 13514 0 -1 4202560 8303 0 0 0 5317 160 0 0 20 0 15 0 105726993 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140104053914200 140104105332302 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15236] ppid=15226 vsize=10661136 memory=288230613214036277 CPUtime=14.42 cores=1,3,5,7
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 13514 0 -1 1077944384 30931 0 0 0 1440 2 0 0 20 0 15 0 105726994 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103288394848 140104120391381 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15237] ppid=15226 vsize=10661136 memory=15535236834396114 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15237/stat : 15237 (java) S 15226 15229 13514 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 105726995 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103287342816 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15238] ppid=15226 vsize=10661136 memory=10368 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15238/stat : 15238 (java) S 15226 15229 13514 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 105726995 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103286289664 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15239] ppid=15226 vsize=10661136 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15239/stat : 15239 (java) S 15226 15229 13514 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103285237872 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15240] ppid=15226 vsize=10661136 memory=1172 CPUtime=3.07 cores=1,3,5,7
/proc/15229/task/15240/stat : 15240 (java) S 15226 15229 13514 0 -1 1077944384 14130 0 0 0 304 3 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103284185328 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15241] ppid=15226 vsize=10661136 memory=1812 CPUtime=2.54 cores=1,3,5,7
/proc/15229/task/15241/stat : 15241 (java) S 15226 15229 13514 0 -1 1077944384 8947 0 0 0 253 1 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103283132784 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15242] ppid=15226 vsize=10661136 memory=1020 CPUtime=0.59 cores=1,3,5,7
/proc/15229/task/15242/stat : 15242 (java) S 15226 15229 13514 0 -1 1077944384 3195 0 0 0 58 1 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103282079728 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15243] ppid=15226 vsize=10661136 memory=5456 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15243/stat : 15243 (java) S 15226 15229 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103281027424 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15244] ppid=15226 vsize=10661136 memory=281050983810416 CPUtime=0.06 cores=1,3,5,7
/proc/15229/task/15244/stat : 15244 (java) S 15226 15229 13514 0 -1 1077944384 1028 0 0 0 3 3 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103279975472 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
Current children cumulated CPU time: 258.67 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8264736 KiB
[startup+88.4011 s]
/proc/loadavg: 3.90 2.73 2.33 6/216 15246
/proc/meminfo: memFree=15577456/32770624 swapFree=67108860/67108860
[pid=15229] ppid=15226 vsize=10661136 memory=8264736 CPUtime=260.24 cores=1,3,5,7
/proc/15229/stat : 15229 (java) S 15226 15229 13514 0 -1 1077944320 111923 0 0 0 25394 630 0 0 20 0 15 0 105726992 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140725194831248 140104120381175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
/proc/15229/statm: 2665284 2066184 3188 1 0 2627775 0
[pid=15229/tid=15231] ppid=15226 vsize=10661136 memory=4420 CPUtime=18.14 cores=1,3,5,7
/proc/15229/task/15231/stat : 15231 (java) S 15226 15229 13514 0 -1 1077944384 14471 0 0 0 1802 12 0 0 20 0 15 0 105726992 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140104124613312 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15232] ppid=15226 vsize=10661136 memory=6791534058613427641 CPUtime=55.29 cores=1,3,5,7
/proc/15229/task/15232/stat : 15232 (java) R 15226 15229 13514 0 -1 4202560 8473 0 0 0 5383 146 0 0 20 0 15 0 105726993 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140104057072344 140104101978186 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15233] ppid=15226 vsize=10661136 memory=3852 CPUtime=55.32 cores=1,3,5,7
/proc/15229/task/15233/stat : 15233 (java) R 15226 15229 13514 0 -1 4202560 10495 0 0 0 5386 146 0 0 20 0 15 0 105726993 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140104056019800 140104101977562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15234] ppid=15226 vsize=10661136 memory=2592 CPUtime=55.56 cores=1,3,5,7
/proc/15229/task/15234/stat : 15234 (java) R 15226 15229 13514 0 -1 4202560 10554 0 0 0 5401 155 0 0 20 0 15 0 105726993 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140104054966432 140104101978186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15235] ppid=15226 vsize=10661136 memory=2592 CPUtime=55.16 cores=1,3,5,7
/proc/15229/task/15235/stat : 15235 (java) R 15226 15229 13514 0 -1 4202560 8303 0 0 0 5356 160 0 0 20 0 15 0 105726993 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140104053914200 140104101977562 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15236] ppid=15226 vsize=10661136 memory=4104 CPUtime=14.42 cores=1,3,5,7
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 13514 0 -1 1077944384 30931 0 0 0 1440 2 0 0 20 0 15 0 105726994 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103288394848 140104120391381 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15237] ppid=15226 vsize=10661136 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15237/stat : 15237 (java) S 15226 15229 13514 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 105726995 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103287342816 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15238] ppid=15226 vsize=10661136 memory=3080 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15238/stat : 15238 (java) S 15226 15229 13514 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 105726995 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103286289664 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15239] ppid=15226 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15239/stat : 15239 (java) S 15226 15229 13514 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103285237872 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15240] ppid=15226 vsize=10661136 memory=0 CPUtime=3.07 cores=1,3,5,7
/proc/15229/task/15240/stat : 15240 (java) S 15226 15229 13514 0 -1 1077944384 14130 0 0 0 304 3 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103284185328 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15241] ppid=15226 vsize=10661136 memory=0 CPUtime=2.54 cores=1,3,5,7
/proc/15229/task/15241/stat : 15241 (java) S 15226 15229 13514 0 -1 1077944384 8947 0 0 0 253 1 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103283132784 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15242] ppid=15226 vsize=10661136 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/15229/task/15242/stat : 15242 (java) S 15226 15229 13514 0 -1 1077944384 3195 0 0 0 58 1 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103282079728 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15243] ppid=15226 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15229/task/15243/stat : 15243 (java) S 15226 15229 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103281027424 140104120391381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
[pid=15229/tid=15244] ppid=15226 vsize=10661136 memory=140525491861136 CPUtime=0.06 cores=1,3,5,7
/proc/15229/task/15244/stat : 15244 (java) S 15226 15229 13514 0 -1 1077944384 1028 0 0 0 3 3 0 0 20 0 15 0 105726997 10917003264 2066184 33554432000 4194304 4196468 140725194848704 140103279975472 140104120392322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14921728 140725194851446 140725194851598 140725194851598 140725194854351 0
Current children cumulated CPU time: 260.24 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8264736 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 88.4464
CPU time (s): 260.321
CPU user time (s): 253.984
CPU system time (s): 6.33745
CPU usage (%): 294.327
Max. virtual memory (cumulated for all children) (KiB): 10663740
Max. memory (cumulated for all children) (KiB): 8264736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.984
system time used= 6.33745
maximum resident set size= 8265044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111927
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4828
involuntary context switches= 2028
# summary of solver processes directly reported to runsolver:
# pid: 15229
# total CPU time (s): 260.321
# total CPU user time (s): 253.984
# total CPU system time (s): 6.33745
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.60247 second user time and 0.85727 second system time
The end