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 (12178 MiB free)
memory of node 1: 16384 MiB (11140 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301535-1532881848/watcher-4301535-1532881848 -o /tmp/evaluation-result-4301535-1532881848/solver-4301535-1532881848 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13546 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301535-1532881848.xml
running on 4 cores: 0,2,4,6
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
solver pid=15541, runsolver pid=15538
Current StackSize limit: 8192 KiB
[startup+0.102597 s]*
/proc/loadavg: 4.21 3.21 2.55 5/215 15556
/proc/meminfo: memFree=23860564/32770624 swapFree=67108860/67108860
[pid=15541] ppid=15538 vsize=10659012 memory=30008 CPUtime=0.13 cores=0,2,4,6
/proc/15541/stat : 15541 (java) S 15538 15541 13514 0 -1 1077944320 6594 0 0 0 12 1 0 0 20 0 15 0 105747954 10914828288 7502 33554432000 4194304 4196468 140729342323296 140729342305840 140106461322999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
/proc/15541/statm: 2664753 7502 2815 1 0 2627263 0
[pid=15541/tid=15543] ppid=15538 vsize=10659012 memory=-8773748148829853059 CPUtime=0.09 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (java) R 15538 15541 13514 0 -1 4202560 4436 0 0 0 8 1 0 0 20 0 15 0 105747954 10914828288 7502 33554432000 4194304 4196468 140729342323296 140106465551808 140106445403486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15544] ppid=15538 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (java) S 15538 15541 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105747955 10914828288 7502 33554432000 4194304 4196468 140729342323296 140106398013968 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15545] ppid=15538 vsize=10659012 memory=140096469608064 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15545/stat : 15545 (java) S 15538 15541 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105747955 10914828288 7502 33554432000 4194304 4196468 140729342323296 140106067208848 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15546] ppid=15538 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15546/stat : 15546 (java) S 15538 15541 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105747955 10914828288 7502 33554432000 4194304 4196468 140729342323296 140106066155792 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15547] ppid=15538 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15547/stat : 15547 (java) S 15538 15541 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105747955 10914828288 7502 33554432000 4194304 4196468 140729342323296 140106065103248 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15548] ppid=15538 vsize=10659012 memory=140096469608064 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15548/stat : 15548 (java) S 15538 15541 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105747956 10914828288 7502 33554432000 4194304 4196468 140729342323296 140105497705200 140106461334146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15549] ppid=15538 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15549/stat : 15549 (java) S 15538 15541 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105747957 10914828288 7502 33554432000 4194304 4196468 140729342323296 140105496651424 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15550] ppid=15538 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15550/stat : 15550 (java) S 15538 15541 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105747957 10914828288 7502 33554432000 4194304 4196468 140729342323296 140105495598320 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15551] ppid=15538 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15551/stat : 15551 (java) S 15538 15541 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105747959 10914828288 7502 33554432000 4194304 4196468 140729342323296 140105494546896 140106461341595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15552] ppid=15538 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15552/stat : 15552 (java) R 15538 15541 13514 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 15 0 105747959 10914828288 7502 33554432000 4194304 4196468 140729342323296 140105493494096 140106461333205 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15553] ppid=15538 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15553/stat : 15553 (java) S 15538 15541 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105747959 10914828288 7502 33554432000 4194304 4196468 140729342323296 140105492441456 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15554] ppid=15538 vsize=10659012 memory=140096469608064 CPUtime=0.02 cores=0,2,4,6
/proc/15541/task/15554/stat : 15554 (java) R 15538 15541 13514 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 105747959 10914828288 7502 33554432000 4194304 4196468 140729342323296 140105491388400 140106461334934 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15555] ppid=15538 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15555/stat : 15555 (java) S 15538 15541 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105747959 10914828288 7502 33554432000 4194304 4196468 140729342323296 140105490336096 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15556] ppid=15538 vsize=10659012 memory=140096469608064 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15556/stat : 15556 (java) S 15538 15541 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105747960 10914828288 7502 33554432000 4194304 4196468 140729342323296 140105489284144 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30008 KiB
[startup+0.210473 s]*
/proc/loadavg: 4.21 3.21 2.55 4/215 15556
/proc/meminfo: memFree=23852032/32770624 swapFree=67108860/67108860
[pid=15541] ppid=15538 vsize=10659012 memory=41484 CPUtime=0.33 cores=0,2,4,6
/proc/15541/stat : 15541 (java) S 15538 15541 13514 0 -1 1077944320 8042 0 0 0 31 2 0 0 20 0 15 0 105747954 10914828288 10371 33554432000 4194304 4196468 140729342323296 140729342305840 140106461322999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
/proc/15541/statm: 2664753 10371 2978 1 0 2627263 0
[pid=15541/tid=15543] ppid=15538 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (java) R 15538 15541 13514 0 -1 4202560 5006 0 0 0 19 1 0 0 20 0 15 0 105747954 10914828288 10371 33554432000 4194304 4196468 140729342323296 140106465556448 140106461334934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15544] ppid=15538 vsize=10659012 memory=331 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (java) S 15538 15541 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105747955 10914828288 10371 33554432000 4194304 4196468 140729342323296 140106398013968 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15545] ppid=15538 vsize=10659012 memory=140096470233098 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15545/stat : 15545 (java) S 15538 15541 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105747955 10914828288 10371 33554432000 4194304 4196468 140729342323296 140106067208848 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15546] ppid=15538 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15546/stat : 15546 (java) S 15538 15541 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105747955 10914828288 10371 33554432000 4194304 4196468 140729342323296 140106066155792 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15547] ppid=15538 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15547/stat : 15547 (java) S 15538 15541 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105747955 10914828288 10371 33554432000 4194304 4196468 140729342323296 140106065103248 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15548] ppid=15538 vsize=10659012 memory=140096469608064 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15548/stat : 15548 (java) S 15538 15541 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105747956 10914828288 10371 33554432000 4194304 4196468 140729342323296 140105497705200 140106461334146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15549] ppid=15538 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15549/stat : 15549 (java) S 15538 15541 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105747957 10914828288 10371 33554432000 4194304 4196468 140729342323296 140105496651424 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15550] ppid=15538 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15550/stat : 15550 (java) S 15538 15541 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105747957 10914828288 10371 33554432000 4194304 4196468 140729342323296 140105495598320 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15551] ppid=15538 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15551/stat : 15551 (java) S 15538 15541 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105747959 10914828288 10371 33554432000 4194304 4196468 140729342323296 140105494546896 140106461341595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15552] ppid=15538 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15541/task/15552/stat : 15552 (java) S 15538 15541 13514 0 -1 1077944384 632 0 0 0 2 0 0 0 20 0 15 0 105747959 10914828288 10371 33554432000 4194304 4196468 140729342323296 140105493494000 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15553] ppid=15538 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15541/task/15553/stat : 15553 (java) S 15538 15541 13514 0 -1 1077944384 329 0 0 0 2 0 0 0 20 0 15 0 105747959 10914828288 10371 33554432000 4194304 4196468 140729342323296 140105492441456 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15554] ppid=15538 vsize=10659012 memory=140096469608064 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15554/stat : 15554 (java) R 15538 15541 13514 0 -1 4202560 711 0 0 0 7 0 0 0 20 0 15 0 105747959 10914828288 10371 33554432000 4194304 4196468 140729342323296 140105491388400 140106445403486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15555] ppid=15538 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15555/stat : 15555 (java) S 15538 15541 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105747959 10914828288 10371 33554432000 4194304 4196468 140729342323296 140105490336096 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15556] ppid=15538 vsize=10659012 memory=140096469608064 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15556/stat : 15556 (java) S 15538 15541 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105747960 10914828288 10371 33554432000 4194304 4196468 140729342323296 140105489284144 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41484 KiB
[startup+0.315663 s]*
/proc/loadavg: 4.21 3.21 2.55 5/215 15556
/proc/meminfo: memFree=23839316/32770624 swapFree=67108860/67108860
[pid=15541] ppid=15538 vsize=10659088 memory=52096 CPUtime=0.61 cores=0,2,4,6
/proc/15541/stat : 15541 (java) S 15538 15541 13514 0 -1 1077944320 9830 0 0 0 58 3 0 0 20 0 15 0 105747954 10914906112 13024 33554432000 4194304 4196468 140729342323296 140729342305840 140106461322999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
/proc/15541/statm: 2664772 13024 3071 1 0 2627263 0
[pid=15541/tid=15543] ppid=15538 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (java) R 15538 15541 13514 0 -1 4202560 5694 0 0 0 28 2 0 0 20 0 15 0 105747954 10914906112 13024 33554432000 4194304 4196468 140729342323296 140106465558432 140106445403486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15544] ppid=15538 vsize=10659088 memory=4294977825 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (java) S 15538 15541 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105747955 10914906112 13024 33554432000 4194304 4196468 140729342323296 140106398013968 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15545] ppid=15538 vsize=10659088 memory=140096470227413 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15545/stat : 15545 (java) S 15538 15541 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105747955 10914906112 13024 33554432000 4194304 4196468 140729342323296 140106067208848 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15546] ppid=15538 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15546/stat : 15546 (java) S 15538 15541 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105747955 10914906112 13090 33554432000 4194304 4196468 140729342323296 140106066155792 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15547] ppid=15538 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15547/stat : 15547 (java) S 15538 15541 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105747955 10914906112 13090 33554432000 4194304 4196468 140729342323296 140106065103248 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15548] ppid=15538 vsize=10659088 memory=140096469608064 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15548/stat : 15548 (java) S 15538 15541 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105747956 10914906112 13090 33554432000 4194304 4196468 140729342323296 140105497705200 140106461334146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15549] ppid=15538 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15549/stat : 15549 (java) S 15538 15541 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105747957 10914906112 13090 33554432000 4194304 4196468 140729342323296 140105496651424 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15550] ppid=15538 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15550/stat : 15550 (java) S 15538 15541 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105747957 10914906112 13090 33554432000 4194304 4196468 140729342323296 140105495598320 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15551] ppid=15538 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15551/stat : 15551 (java) S 15538 15541 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105747959 10914906112 13090 33554432000 4194304 4196468 140729342323296 140105494546896 140106461341595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15552] ppid=15538 vsize=10659088 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15552/stat : 15552 (java) R 15538 15541 13514 0 -1 4202560 1189 0 0 0 7 0 0 0 20 0 15 0 105747959 10914906112 13090 33554432000 4194304 4196468 140729342323296 140105493475016 140106439339968 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15553] ppid=15538 vsize=10659088 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15553/stat : 15553 (java) R 15538 15541 13514 0 -1 1077944384 574 0 0 0 7 0 0 0 20 0 15 0 105747959 10914906112 13090 33554432000 4194304 4196468 140729342323296 140105492441456 140106461334146 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15554] ppid=15538 vsize=10659088 memory=140096469608064 CPUtime=0.13 cores=0,2,4,6
/proc/15541/task/15554/stat : 15554 (java) R 15538 15541 13514 0 -1 4202560 1007 0 0 0 13 0 0 0 20 0 15 0 105747959 10914906112 13090 33554432000 4194304 4196468 140729342323296 140105491388400 140106440803152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15555] ppid=15538 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15555/stat : 15555 (java) S 15538 15541 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105747959 10914906112 13090 33554432000 4194304 4196468 140729342323296 140105490336096 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15556] ppid=15538 vsize=10659088 memory=140096469608064 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15556/stat : 15556 (java) S 15538 15541 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105747960 10914906112 13154 33554432000 4194304 4196468 140729342323296 140105489284144 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 52096 KiB
[startup+0.700765 s]
/proc/loadavg: 4.21 3.21 2.55 5/215 15556
/proc/meminfo: memFree=23804696/32770624 swapFree=67108860/67108860
[pid=15541] ppid=15538 vsize=10659088 memory=192032 CPUtime=1.91 cores=0,2,4,6
/proc/15541/stat : 15541 (java) S 15538 15541 13514 0 -1 1077944320 13095 0 0 0 186 5 0 0 20 0 15 0 105747954 10914906112 48008 33554432000 4194304 4196468 140729342323296 140729342305840 140106461322999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
/proc/15541/statm: 2664772 48008 3123 1 0 2627263 0
[pid=15541/tid=15543] ppid=15538 vsize=10659088 memory=16828 CPUtime=0.66 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (java) R 15538 15541 13514 0 -1 4202560 5944 0 0 0 62 4 0 0 20 0 15 0 105747954 10914906112 48008 33554432000 4194304 4196468 140729342323296 140106465559504 140106439743583 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15544] ppid=15538 vsize=10659088 memory=2324 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (java) S 15538 15541 13514 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 105747955 10914906112 48008 33554432000 4194304 4196468 140729342323296 140106398013968 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15545] ppid=15538 vsize=10659088 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15545/stat : 15545 (java) S 15538 15541 13514 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 105747955 10914906112 48008 33554432000 4194304 4196468 140729342323296 140106067208848 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15546] ppid=15538 vsize=10659088 memory=496 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15546/stat : 15546 (java) S 15538 15541 13514 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 105747955 10914906112 48008 33554432000 4194304 4196468 140729342323296 140106066155792 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15547] ppid=15538 vsize=10659088 memory=928 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15547/stat : 15547 (java) S 15538 15541 13514 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 105747955 10914906112 48008 33554432000 4194304 4196468 140729342323296 140106065103248 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15548] ppid=15538 vsize=10659088 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15548/stat : 15548 (java) S 15538 15541 13514 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 105747956 10914906112 48008 33554432000 4194304 4196468 140729342323296 140105497705200 140106461334146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15549] ppid=15538 vsize=10659088 memory=1968 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15549/stat : 15549 (java) S 15538 15541 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105747957 10914906112 48008 33554432000 4194304 4196468 140729342323296 140105496651424 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15550] ppid=15538 vsize=10659088 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15550/stat : 15550 (java) R 15538 15541 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105747957 10914906112 48008 33554432000 4194304 4196468 140729342323296 140105495598320 140106461333205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15551] ppid=15538 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15551/stat : 15551 (java) S 15538 15541 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105747959 10914906112 48008 33554432000 4194304 4196468 140729342323296 140105494546896 140106461341595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15552] ppid=15538 vsize=10659088 memory=6081108994580573287 CPUtime=0.44 cores=0,2,4,6
/proc/15541/task/15552/stat : 15552 (java) R 15538 15541 13514 0 -1 4202560 1985 0 0 0 44 0 0 0 20 0 15 0 105747959 10914906112 48008 33554432000 4194304 4196468 140729342323296 140105493484352 140106440986608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15553] ppid=15538 vsize=10659088 memory=5788647689011156329 CPUtime=0.43 cores=0,2,4,6
/proc/15541/task/15553/stat : 15553 (java) R 15538 15541 13514 0 -1 4202560 1792 0 0 0 43 0 0 0 20 0 15 0 105747959 10914906112 48008 33554432000 4194304 4196468 140729342323296 140105492434480 140106461334934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15554] ppid=15538 vsize=10659088 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/15541/task/15554/stat : 15554 (java) R 15538 15541 13514 0 -1 1077944384 1879 0 0 0 32 0 0 0 20 0 15 0 105747959 10914906112 48008 33554432000 4194304 4196468 140729342323296 140105491388528 140106461333205 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15555] ppid=15538 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15555/stat : 15555 (java) S 15538 15541 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105747959 10914906112 48008 33554432000 4194304 4196468 140729342323296 140105490336096 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15556] ppid=15538 vsize=10659088 memory=756 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15556/stat : 15556 (java) S 15538 15541 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105747960 10914906112 48008 33554432000 4194304 4196468 140729342323296 140105489284144 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
Current children cumulated CPU time: 1.91 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 192032 KiB
[startup+1.50073 s]
/proc/loadavg: 4.21 3.21 2.55 3/215 15556
/proc/meminfo: memFree=23294812/32770624 swapFree=67108860/67108860
[pid=15541] ppid=15538 vsize=10661136 memory=623600 CPUtime=4.12 cores=0,2,4,6
/proc/15541/stat : 15541 (java) S 15538 15541 13514 0 -1 1077944320 14923 0 0 0 393 19 0 0 20 0 15 0 105747954 10917003264 155900 33554432000 4194304 4196468 140729342323296 140729342305840 140106461322999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
/proc/15541/statm: 2665284 155900 3150 1 0 2627775 0
[pid=15541/tid=15543] ppid=15538 vsize=10661136 memory=622404 CPUtime=1.38 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (java) R 15538 15541 13514 0 -1 4202560 6301 0 0 0 129 9 0 0 20 0 15 0 105747954 10917003264 155900 33554432000 4194304 4196468 140729342323296 140106465555568 140106083587214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15544] ppid=15538 vsize=10661136 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (java) S 15538 15541 13514 0 -1 1077944384 116 0 0 0 5 2 0 0 20 0 15 0 105747955 10917003264 155900 33554432000 4194304 4196468 140729342323296 140106398013968 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15545] ppid=15538 vsize=10661136 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/15541/task/15545/stat : 15545 (java) S 15538 15541 13514 0 -1 1077944384 115 0 0 0 4 1 0 0 20 0 15 0 105747955 10917003264 155900 33554432000 4194304 4196468 140729342323296 140106067208848 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15546] ppid=15538 vsize=10661136 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/15541/task/15546/stat : 15546 (java) S 15538 15541 13514 0 -1 1077944384 117 0 0 0 5 2 0 0 20 0 15 0 105747955 10917003264 155900 33554432000 4194304 4196468 140729342323296 140106066155792 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15547] ppid=15538 vsize=10661136 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/15541/task/15547/stat : 15547 (java) S 15538 15541 13514 0 -1 1077944384 104 0 0 0 3 1 0 0 20 0 15 0 105747955 10917003264 155900 33554432000 4194304 4196468 140729342323296 140106065103248 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15548] ppid=15538 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15548/stat : 15548 (java) S 15538 15541 13514 0 -1 1077944384 461 0 0 0 0 0 0 0 20 0 15 0 105747956 10917003264 155900 33554432000 4194304 4196468 140729342323296 140105497705200 140106461334146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
################
# More data... #
################
/proc/15541/task/15546/stat : 15546 (java) S 15538 15541 13514 0 -1 1077944384 5601 0 0 0 165 14 0 0 20 0 16 0 105747955 10985164800 399487 33554432000 4194304 4196468 140729342323296 140106066155792 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15547] ppid=15538 vsize=10727700 memory=1597948 CPUtime=1.76 cores=0,2,4,6
/proc/15541/task/15547/stat : 15547 (java) S 15538 15541 13514 0 -1 1077944384 4926 0 0 0 162 14 0 0 20 0 16 0 105747955 10985164800 399487 33554432000 4194304 4196468 140729342323296 140106065103248 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15548] ppid=15538 vsize=10727700 memory=1597948 CPUtime=0.63 cores=0,2,4,6
/proc/15541/task/15548/stat : 15548 (java) S 15538 15541 13514 0 -1 1077944384 7145 0 0 0 62 1 0 0 20 0 16 0 105747956 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105497705200 140106461334146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15549] ppid=15538 vsize=10727700 memory=280192660957792 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15549/stat : 15549 (java) S 15538 15541 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 105747957 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105496651488 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15550] ppid=15538 vsize=10727700 memory=1597948 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15550/stat : 15550 (java) S 15538 15541 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105747957 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105495598336 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15551] ppid=15538 vsize=10727700 memory=1597948 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15551/stat : 15551 (java) S 15538 15541 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105747959 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105494546896 140106461341595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15552] ppid=15538 vsize=10727700 memory=4140 CPUtime=2.94 cores=0,2,4,6
/proc/15541/task/15552/stat : 15552 (java) S 15538 15541 13514 0 -1 1077944384 12599 0 0 0 293 1 0 0 20 0 16 0 105747959 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105493494000 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15553] ppid=15538 vsize=10727700 memory=1597948 CPUtime=3.35 cores=0,2,4,6
/proc/15541/task/15553/stat : 15553 (java) S 15538 15541 13514 0 -1 1077944384 12414 0 0 0 333 2 0 0 20 0 16 0 105747959 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105492441456 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15554] ppid=15538 vsize=10727700 memory=4140 CPUtime=0.7 cores=0,2,4,6
/proc/15541/task/15554/stat : 15554 (java) S 15538 15541 13514 0 -1 1077944384 5230 0 0 0 69 1 0 0 20 0 16 0 105747959 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105491388400 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15555] ppid=15538 vsize=10727700 memory=1597948 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15555/stat : 15555 (java) S 15538 15541 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105747959 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105490336096 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15556] ppid=15538 vsize=10727700 memory=1597948 CPUtime=0.09 cores=0,2,4,6
/proc/15541/task/15556/stat : 15556 (java) S 15538 15541 13514 0 -1 1077944384 1049 0 0 0 4 5 0 0 20 0 16 0 105747960 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105489284144 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15557] ppid=15538 vsize=10727700 memory=2204 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15557/stat : 15557 (java) S 15538 15541 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105748511 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105486132784 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
Current children cumulated CPU time: 174.69 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1597948 KiB
[startup+222.301 s]
/proc/loadavg: 2.58 3.06 2.64 3/217 15710
/proc/meminfo: memFree=25658468/32770624 swapFree=67108860/67108860
[pid=15541] ppid=15538 vsize=10727700 memory=1597948 CPUtime=234.72 cores=0,2,4,6
/proc/15541/stat : 15541 (java) S 15538 15541 13514 0 -1 1077944320 130042 0 0 0 23384 88 0 0 20 0 16 0 105747954 10985164800 399487 33554432000 4194304 4196468 140729342323296 140729342305840 140106461322999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
/proc/15541/statm: 2681925 399487 3199 1 0 2644416 0
[pid=15541/tid=15543] ppid=15538 vsize=10727700 memory=1597948 CPUtime=219.82 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (java) R 15538 15541 13514 0 -1 4202560 68478 0 0 0 21963 19 0 0 20 0 16 0 105747954 10985164800 399487 33554432000 4194304 4196468 140729342323296 140106465559848 140106085499932 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15544] ppid=15538 vsize=10727700 memory=1597948 CPUtime=1.77 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (java) S 15538 15541 13514 0 -1 1077944384 5461 0 0 0 164 13 0 0 20 0 16 0 105747955 10985164800 399487 33554432000 4194304 4196468 140729342323296 140106398013968 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15545] ppid=15538 vsize=10727700 memory=1597948 CPUtime=1.75 cores=0,2,4,6
/proc/15541/task/15545/stat : 15545 (java) S 15538 15541 13514 0 -1 1077944384 5565 0 0 0 161 14 0 0 20 0 16 0 105747955 10985164800 399487 33554432000 4194304 4196468 140729342323296 140106067208848 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15546] ppid=15538 vsize=10727700 memory=1597948 CPUtime=1.79 cores=0,2,4,6
/proc/15541/task/15546/stat : 15546 (java) S 15538 15541 13514 0 -1 1077944384 5601 0 0 0 165 14 0 0 20 0 16 0 105747955 10985164800 399487 33554432000 4194304 4196468 140729342323296 140106066155792 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15547] ppid=15538 vsize=10727700 memory=1597948 CPUtime=1.76 cores=0,2,4,6
/proc/15541/task/15547/stat : 15547 (java) S 15538 15541 13514 0 -1 1077944384 4926 0 0 0 162 14 0 0 20 0 16 0 105747955 10985164800 399487 33554432000 4194304 4196468 140729342323296 140106065103248 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15548] ppid=15538 vsize=10727700 memory=1597948 CPUtime=0.63 cores=0,2,4,6
/proc/15541/task/15548/stat : 15548 (java) S 15538 15541 13514 0 -1 1077944384 7147 0 0 0 62 1 0 0 20 0 16 0 105747956 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105497705200 140106461334146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15549] ppid=15538 vsize=10727700 memory=1597948 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15549/stat : 15549 (java) S 15538 15541 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 105747957 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105496651488 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15550] ppid=15538 vsize=10727700 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15550/stat : 15550 (java) S 15538 15541 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105747957 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105495598336 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15551] ppid=15538 vsize=10727700 memory=1597948 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15551/stat : 15551 (java) S 15538 15541 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105747959 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105494546896 140106461341595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15552] ppid=15538 vsize=10727700 memory=1597948 CPUtime=2.94 cores=0,2,4,6
/proc/15541/task/15552/stat : 15552 (java) S 15538 15541 13514 0 -1 1077944384 12601 0 0 0 293 1 0 0 20 0 16 0 105747959 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105493494000 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15553] ppid=15538 vsize=10727700 memory=1597948 CPUtime=3.35 cores=0,2,4,6
/proc/15541/task/15553/stat : 15553 (java) S 15538 15541 13514 0 -1 1077944384 12416 0 0 0 333 2 0 0 20 0 16 0 105747959 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105492441456 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15554] ppid=15538 vsize=10727700 memory=1597948 CPUtime=0.7 cores=0,2,4,6
/proc/15541/task/15554/stat : 15554 (java) S 15538 15541 13514 0 -1 1077944384 5401 0 0 0 69 1 0 0 20 0 16 0 105747959 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105491388400 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15555] ppid=15538 vsize=10727700 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15555/stat : 15555 (java) S 15538 15541 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105747959 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105490336096 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15556] ppid=15538 vsize=10727700 memory=1597948 CPUtime=0.13 cores=0,2,4,6
/proc/15541/task/15556/stat : 15556 (java) S 15538 15541 13514 0 -1 1077944384 1055 0 0 0 7 6 0 0 20 0 16 0 105747960 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105489284144 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15557] ppid=15538 vsize=10727700 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15557/stat : 15557 (java) S 15538 15541 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105748511 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105486132784 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
Current children cumulated CPU time: 234.72 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1597948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+239.601 s]
/proc/loadavg: 2.45 3.00 2.63 3/217 15710
/proc/meminfo: memFree=25658344/32770624 swapFree=67108860/67108860
[pid=15541] ppid=15538 vsize=10727700 memory=1597948 CPUtime=252.04 cores=0,2,4,6
/proc/15541/stat : 15541 (java) S 15538 15541 13514 0 -1 1077944320 131002 0 0 0 25115 89 0 0 20 0 16 0 105747954 10985164800 399487 33554432000 4194304 4196468 140729342323296 140729342305840 140106461322999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
/proc/15541/statm: 2681925 399487 3199 1 0 2644416 0
[pid=15541/tid=15543] ppid=15538 vsize=10727700 memory=1240 CPUtime=237.12 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (java) R 15538 15541 13514 0 -1 4202560 69115 0 0 0 23693 19 0 0 20 0 16 0 105747954 10985164800 399487 33554432000 4194304 4196468 140729342323296 140106465561800 140106085499984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15544] ppid=15538 vsize=10727700 memory=1520 CPUtime=1.77 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (java) S 15538 15541 13514 0 -1 1077944384 5461 0 0 0 164 13 0 0 20 0 16 0 105747955 10985164800 399487 33554432000 4194304 4196468 140729342323296 140106398013968 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15545] ppid=15538 vsize=10727700 memory=6791534058613427641 CPUtime=1.75 cores=0,2,4,6
/proc/15541/task/15545/stat : 15545 (java) S 15538 15541 13514 0 -1 1077944384 5565 0 0 0 161 14 0 0 20 0 16 0 105747955 10985164800 399487 33554432000 4194304 4196468 140729342323296 140106067208848 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15546] ppid=15538 vsize=10727700 memory=844 CPUtime=1.79 cores=0,2,4,6
/proc/15541/task/15546/stat : 15546 (java) S 15538 15541 13514 0 -1 1077944384 5601 0 0 0 165 14 0 0 20 0 16 0 105747955 10985164800 399487 33554432000 4194304 4196468 140729342323296 140106066155792 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15547] ppid=15538 vsize=10727700 memory=3360 CPUtime=1.76 cores=0,2,4,6
/proc/15541/task/15547/stat : 15547 (java) S 15538 15541 13514 0 -1 1077944384 4926 0 0 0 162 14 0 0 20 0 16 0 105747955 10985164800 399487 33554432000 4194304 4196468 140729342323296 140106065103248 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15548] ppid=15538 vsize=10727700 memory=2724 CPUtime=0.63 cores=0,2,4,6
/proc/15541/task/15548/stat : 15548 (java) S 15538 15541 13514 0 -1 1077944384 7154 0 0 0 62 1 0 0 20 0 16 0 105747956 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105497705200 140106461334146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15549] ppid=15538 vsize=10727700 memory=1256 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15549/stat : 15549 (java) S 15538 15541 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 105747957 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105496651488 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15550] ppid=15538 vsize=10727700 memory=10368 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15550/stat : 15550 (java) S 15538 15541 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105747957 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105495598336 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15551] ppid=15538 vsize=10727700 memory=1597948 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15551/stat : 15551 (java) S 15538 15541 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105747959 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105494546896 140106461341595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15552] ppid=15538 vsize=10727700 memory=4126316290023845779 CPUtime=2.94 cores=0,2,4,6
/proc/15541/task/15552/stat : 15552 (java) S 15538 15541 13514 0 -1 1077944384 12609 0 0 0 293 1 0 0 20 0 16 0 105747959 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105493494000 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15553] ppid=15538 vsize=10727700 memory=14572 CPUtime=3.35 cores=0,2,4,6
/proc/15541/task/15553/stat : 15553 (java) S 15538 15541 13514 0 -1 1077944384 12420 0 0 0 333 2 0 0 20 0 16 0 105747959 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105492441456 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15554] ppid=15538 vsize=10727700 memory=12708 CPUtime=0.7 cores=0,2,4,6
/proc/15541/task/15554/stat : 15554 (java) S 15538 15541 13514 0 -1 1077944384 5671 0 0 0 69 1 0 0 20 0 16 0 105747959 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105491388400 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15555] ppid=15538 vsize=10727700 memory=16828 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15555/stat : 15555 (java) S 15538 15541 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105747959 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105490336096 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15556] ppid=15538 vsize=10727700 memory=2324 CPUtime=0.14 cores=0,2,4,6
/proc/15541/task/15556/stat : 15556 (java) S 15538 15541 13514 0 -1 1077944384 1089 0 0 0 7 7 0 0 20 0 16 0 105747960 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105489284144 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15557] ppid=15538 vsize=10727700 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15557/stat : 15557 (java) S 15538 15541 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105748511 10985164800 399487 33554432000 4194304 4196468 140729342323296 140105486132784 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1597948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+239.844 s]
# the end of solver process 15541 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.228 s, system=0.91044 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+239.801 s]
/proc/loadavg: 2.45 3.00 2.63 3/217 15710
/proc/meminfo: memFree=25658344/32770624 swapFree=67108860/67108860
[pid=15541] ppid=15538 vsize=10927392 memory=1598180 CPUtime=252.09 cores=0,2,4,6
/proc/15541/stat : 15541 (java) S 15538 15541 13514 0 -1 1077944320 132197 0 0 0 25120 89 0 0 20 0 17 0 105747954 11189649408 399545 33554432000 4194304 4196468 140729342323296 140729342305840 140106461322999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
/proc/15541/statm: 2731848 399545 3201 1 0 2694339 0
[pid=15541/tid=15543] ppid=15538 vsize=10927392 memory=4140 CPUtime=237.17 cores=0,2,4,6
/proc/15541/task/15543/stat : 15543 (java) S 15538 15541 13514 0 -1 1077944384 69467 0 0 0 23698 19 0 0 20 0 17 0 105747954 11189649408 399545 33554432000 4194304 4196468 140729342323296 140106465565872 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15544] ppid=15538 vsize=10927392 memory=30184 CPUtime=1.77 cores=0,2,4,6
/proc/15541/task/15544/stat : 15544 (java) S 15538 15541 13514 0 -1 1077944384 5461 0 0 0 164 13 0 0 20 0 17 0 105747955 11189649408 399545 33554432000 4194304 4196468 140729342323296 140106398013968 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15545] ppid=15538 vsize=10927392 memory=2204 CPUtime=1.75 cores=0,2,4,6
/proc/15541/task/15545/stat : 15545 (java) S 15538 15541 13514 0 -1 1077944384 5565 0 0 0 161 14 0 0 20 0 17 0 105747955 11189649408 399545 33554432000 4194304 4196468 140729342323296 140106067208848 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15546] ppid=15538 vsize=10927392 memory=1240 CPUtime=1.79 cores=0,2,4,6
/proc/15541/task/15546/stat : 15546 (java) S 15538 15541 13514 0 -1 1077944384 5601 0 0 0 165 14 0 0 20 0 17 0 105747955 11189649408 399545 33554432000 4194304 4196468 140729342323296 140106066155792 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15547] ppid=15538 vsize=10927392 memory=2204 CPUtime=1.76 cores=0,2,4,6
/proc/15541/task/15547/stat : 15547 (java) S 15538 15541 13514 0 -1 1077944384 4926 0 0 0 162 14 0 0 20 0 17 0 105747955 11189649408 399545 33554432000 4194304 4196468 140729342323296 140106065103248 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15548] ppid=15538 vsize=10927392 memory=1240 CPUtime=0.63 cores=0,2,4,6
/proc/15541/task/15548/stat : 15548 (java) S 15538 15541 13514 0 -1 1077944384 7204 0 0 0 62 1 0 0 20 0 17 0 105747956 11189649408 399545 33554432000 4194304 4196468 140729342323296 140105497705200 140106461334146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15549] ppid=15538 vsize=10927392 memory=1520 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15549/stat : 15549 (java) S 15538 15541 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 105747957 11189649408 399545 33554432000 4194304 4196468 140729342323296 140105496651488 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15550] ppid=15538 vsize=10927392 memory=844 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15550/stat : 15550 (java) S 15538 15541 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 105747957 11189649408 399545 33554432000 4194304 4196468 140729342323296 140105495598336 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15551] ppid=15538 vsize=10927392 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15551/stat : 15551 (java) S 15538 15541 13514 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 17 0 105747959 11189649408 399545 33554432000 4194304 4196468 140729342323296 140105494546896 140106461341595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15552] ppid=15538 vsize=10927392 memory=2724 CPUtime=2.94 cores=0,2,4,6
/proc/15541/task/15552/stat : 15552 (java) S 15538 15541 13514 0 -1 1077944384 12695 0 0 0 293 1 0 0 20 0 17 0 105747959 11189649408 399545 33554432000 4194304 4196468 140729342323296 140105493494000 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15553] ppid=15538 vsize=10927392 memory=1256 CPUtime=3.35 cores=0,2,4,6
/proc/15541/task/15553/stat : 15553 (java) S 15538 15541 13514 0 -1 1077944384 12523 0 0 0 333 2 0 0 20 0 17 0 105747959 11189649408 399545 33554432000 4194304 4196468 140729342323296 140105492441456 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15554] ppid=15538 vsize=10927392 memory=10368 CPUtime=0.7 cores=0,2,4,6
/proc/15541/task/15554/stat : 15554 (java) S 15538 15541 13514 0 -1 1077944384 5715 0 0 0 69 1 0 0 20 0 17 0 105747959 11189649408 399545 33554432000 4194304 4196468 140729342323296 140105491388400 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15555] ppid=15538 vsize=10927392 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/15541/task/15555/stat : 15555 (java) S 15538 15541 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105747959 11189649408 399545 33554432000 4194304 4196468 140729342323296 140105490336096 140106461333205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
[pid=15541/tid=15556] ppid=15538 vsize=10927392 memory=1172 CPUtime=0.14 cores=0,2,4,6
/proc/15541/task/15556/stat : 15556 (java) S 15538 15541 13514 0 -1 1077944384 1089 0 0 0 7 7 0 0 20 0 17 0 105747960 11189649408 399545 33554432000 4194304 4196468 140729342323296 140105489284144 140106461334146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140729342329974 140729342330126 140729342330126 140729342332879 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 1598180 KiB
Child status: 143
Real time (s): 239.844
CPU time (s): 252.138
CPU user time (s): 251.228
CPU system time (s): 0.91044
CPU usage (%): 105.126
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 1598796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.228
system time used= 0.91044
maximum resident set size= 1600560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133946
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8211
involuntary context switches= 421
# summary of solver processes directly reported to runsolver:
# pid: 15541
# total CPU time (s): 252.138
# total CPU user time (s): 251.228
# total CPU system time (s): 0.91044
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36492 second user time and 2.4193 second system time
The end