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 (8851 MiB free)
memory of node 1: 16384 MiB (12902 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296141-1532611039/watcher-4296141-1532611039 -o /tmp/evaluation-result-4296141-1532611039/solver-4296141-1532611039 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532594793-3955 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=550757528 -superng HOME/instance-4296141-1532611039.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7385, runsolver pid=7382
Current StackSize limit: 8192 KiB
[startup+0.101775 s]*
/proc/loadavg: 1.36 1.96 2.97 2/210 7442
/proc/meminfo: memFree=22269268/32770624 swapFree=67108860/67108860
[pid=7385] ppid=7382 vsize=9972712 memory=14912 CPUtime=0.09 cores=1,3,5,7
/proc/7385/stat : 7385 (java) S 7382 7385 2275 0 -1 1077944320 4401 13181 0 0 1 0 5 3 20 0 6 0 78667039 10212057088 3728 33554432000 4194304 4196468 140735190776352 140735190758896 139956274806519 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
/proc/7385/statm: 2493178 3728 1934 1 0 2481616 0
[pid=7385/tid=7438] ppid=7382 vsize=9972712 memory=4718545630382498451 CPUtime=0.09 cores=1,3,5,7
/proc/7385/task/7438/stat : 7438 (java) R 7382 7385 2275 0 -1 4202560 2234 13181 0 0 1 0 5 3 20 0 6 0 78667048 10212057088 3794 33554432000 4194304 4196468 140735190776352 139956246643280 139956258887006 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7439] ppid=7382 vsize=9972712 memory=5793855748935268793 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7439/stat : 7439 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 6 0 78667049 10212057088 3794 33554432000 4194304 4196468 140735190776352 139956279049232 139956274816725 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7440] ppid=7382 vsize=9972712 memory=140497925375616 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7440/stat : 7440 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 6 0 78667049 10212057088 3794 33554432000 4194304 4196468 140735190776352 139956208807056 139956274816725 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7441] ppid=7382 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7441/stat : 7441 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 6 0 78667049 10212057088 3794 33554432000 4194304 4196468 140735190776352 139955846703888 139956274816725 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7442] ppid=7382 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7442/stat : 7442 (java) S 7382 7385 2275 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 6 0 78667049 10212057088 3794 33554432000 4194304 4196468 140735190776352 139955845651344 139956274816725 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14912 KiB
[startup+0.210085 s]*
/proc/loadavg: 1.36 1.96 2.97 3/219 7451
/proc/meminfo: memFree=22249140/32770624 swapFree=67108860/67108860
[pid=7385] ppid=7382 vsize=10818904 memory=41540 CPUtime=0.26 cores=1,3,5,7
/proc/7385/stat : 7385 (java) S 7382 7385 2275 0 -1 1077944320 8120 13181 0 0 17 1 5 3 20 0 15 0 78667039 11078557696 10385 33554432000 4194304 4196468 140735190776352 140735190758896 139956274806519 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
/proc/7385/statm: 2704726 10385 2969 1 0 2667149 0
[pid=7385/tid=7438] ppid=7382 vsize=10818904 memory=-2899909650764262549 CPUtime=0.19 cores=1,3,5,7
/proc/7385/task/7438/stat : 7438 (java) R 7382 7385 2275 0 -1 4202560 4693 13181 0 0 11 0 5 3 20 0 15 0 78667048 11078557696 10385 33554432000 4194304 4196468 140735190776352 139956246611680 139956258887006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7439] ppid=7382 vsize=10818904 memory=4211974224130166154 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7439/stat : 7439 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 78667049 11078557696 10385 33554432000 4194304 4196468 140735190776352 139956279049232 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7440] ppid=7382 vsize=10818904 memory=140497925375616 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7440/stat : 7440 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 78667049 11078557696 10385 33554432000 4194304 4196468 140735190776352 139956208807056 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7441] ppid=7382 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7441/stat : 7441 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 78667049 11078557696 10385 33554432000 4194304 4196468 140735190776352 139955846703888 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7442] ppid=7382 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7442/stat : 7442 (java) S 7382 7385 2275 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 78667049 11078557696 10385 33554432000 4194304 4196468 140735190776352 139955845651344 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7443] ppid=7382 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7443/stat : 7443 (java) S 7382 7385 2275 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 78667051 11078557696 10385 33554432000 4194304 4196468 140735190776352 139955345012976 139956274817666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7444] ppid=7382 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7444/stat : 7444 (java) S 7382 7385 2275 0 -1 1077944384 13 13181 0 0 0 0 5 3 20 0 15 0 78667051 11078557696 10385 33554432000 4194304 4196468 140735190776352 139955267429536 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7445] ppid=7382 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7445/stat : 7445 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 78667051 11078557696 10385 33554432000 4194304 4196468 140735190776352 139955066102512 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7446] ppid=7382 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7446/stat : 7446 (java) S 7382 7385 2275 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 78667054 11078557696 10385 33554432000 4194304 4196468 140735190776352 139954825811920 139956274825115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7447] ppid=7382 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7385/task/7447/stat : 7447 (java) S 7382 7385 2275 0 -1 1077944384 510 13181 0 0 1 0 5 3 20 0 15 0 78667054 11078557696 10385 33554432000 4194304 4196468 140735190776352 139955343960816 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7448] ppid=7382 vsize=10818904 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/7385/task/7448/stat : 7448 (java) S 7382 7385 2275 0 -1 1077944384 99 13181 0 0 1 0 5 3 20 0 15 0 78667054 11078557696 10385 33554432000 4194304 4196468 140735190776352 139955342908272 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7449] ppid=7382 vsize=10818904 memory=140497925375616 CPUtime=0.11 cores=1,3,5,7
/proc/7385/task/7449/stat : 7449 (java) S 7382 7385 2275 0 -1 1077944384 608 13181 0 0 3 0 5 3 20 0 15 0 78667054 11078557696 10385 33554432000 4194304 4196468 140735190776352 139955341855216 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7450] ppid=7382 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7450/stat : 7450 (java) S 7382 7385 2275 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 78667054 11078557696 10385 33554432000 4194304 4196468 140735190776352 139954792254304 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7451] ppid=7382 vsize=10818904 memory=140497925375616 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7451/stat : 7451 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 78667054 11078557696 10385 33554432000 4194304 4196468 140735190776352 139955340802608 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 41540 KiB
[startup+0.310549 s]*
/proc/loadavg: 1.36 1.96 2.97 4/219 7451
/proc/meminfo: memFree=22237620/32770624 swapFree=67108860/67108860
[pid=7385] ppid=7382 vsize=10819352 memory=52232 CPUtime=0.38 cores=1,3,5,7
/proc/7385/stat : 7385 (java) S 7382 7385 2275 0 -1 1077944320 10650 13181 0 0 28 2 5 3 20 0 15 0 78667039 11079016448 13058 33554432000 4194304 4196468 140735190776352 140735190758896 139956274806519 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
/proc/7385/statm: 2704838 13058 3088 1 0 2667149 0
[pid=7385/tid=7438] ppid=7382 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/7385/task/7438/stat : 7438 (java) R 7382 7385 2275 0 -1 4202560 7182 13181 0 0 19 1 5 3 20 0 15 0 78667048 11079016448 13058 33554432000 4194304 4196468 140735190776352 139956246596048 139956256370048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7439] ppid=7382 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7439/stat : 7439 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 78667049 11079016448 13058 33554432000 4194304 4196468 140735190776352 139956279049232 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7440] ppid=7382 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7440/stat : 7440 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 78667049 11079016448 13058 33554432000 4194304 4196468 140735190776352 139956208807056 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7441] ppid=7382 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7441/stat : 7441 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 78667049 11079016448 13058 33554432000 4194304 4196468 140735190776352 139955846703888 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7442] ppid=7382 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7442/stat : 7442 (java) S 7382 7385 2275 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 78667049 11079016448 13058 33554432000 4194304 4196468 140735190776352 139955845651344 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7443] ppid=7382 vsize=10819352 memory=140497925375615 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7443/stat : 7443 (java) S 7382 7385 2275 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 78667051 11079016448 13058 33554432000 4194304 4196468 140735190776352 139955345012976 139956274817666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7444] ppid=7382 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7444/stat : 7444 (java) S 7382 7385 2275 0 -1 1077944384 13 13181 0 0 0 0 5 3 20 0 15 0 78667051 11079016448 13058 33554432000 4194304 4196468 140735190776352 139955267429536 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7445] ppid=7382 vsize=10819352 memory=140497925375616 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7445/stat : 7445 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 78667051 11079016448 13058 33554432000 4194304 4196468 140735190776352 139955066102512 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7446] ppid=7382 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7446/stat : 7446 (java) S 7382 7385 2275 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 78667054 11079016448 13058 33554432000 4194304 4196468 140735190776352 139954825811920 139956274825115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7447] ppid=7382 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/7385/task/7447/stat : 7447 (java) S 7382 7385 2275 0 -1 1077944384 518 13181 0 0 2 0 5 3 20 0 15 0 78667054 11079016448 13058 33554432000 4194304 4196468 140735190776352 139955343960816 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7448] ppid=7382 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/7385/task/7448/stat : 7448 (java) S 7382 7385 2275 0 -1 1077944384 99 13181 0 0 1 0 5 3 20 0 15 0 78667054 11079016448 13058 33554432000 4194304 4196468 140735190776352 139955342908272 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7449] ppid=7382 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/7385/task/7449/stat : 7449 (java) S 7382 7385 2275 0 -1 1077944384 632 13181 0 0 5 0 5 3 20 0 15 0 78667054 11079016448 13058 33554432000 4194304 4196468 140735190776352 139955341855216 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7450] ppid=7382 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7450/stat : 7450 (java) S 7382 7385 2275 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 78667054 11079016448 13058 33554432000 4194304 4196468 140735190776352 139954792254304 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7451] ppid=7382 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7451/stat : 7451 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 78667054 11079016448 13058 33554432000 4194304 4196468 140735190776352 139955340802608 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52232 KiB
[startup+0.70078 s]
/proc/loadavg: 1.36 1.96 2.97 3/219 7451
/proc/meminfo: memFree=22226208/32770624 swapFree=67108860/67108860
[pid=7385] ppid=7382 vsize=10819352 memory=85588 CPUtime=0.99 cores=1,3,5,7
/proc/7385/stat : 7385 (java) S 7382 7385 2275 0 -1 1077944320 17037 13181 0 0 88 3 5 3 20 0 15 0 78667039 11079016448 21397 33554432000 4194304 4196468 140735190776352 140735190758896 139956274806519 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
/proc/7385/statm: 2704838 21397 3237 1 0 2667149 0
[pid=7385/tid=7438] ppid=7382 vsize=10819352 memory=23504 CPUtime=0.66 cores=1,3,5,7
/proc/7385/task/7438/stat : 7438 (java) R 7382 7385 2275 0 -1 4202560 12360 13181 0 0 56 2 5 3 20 0 15 0 78667048 11079016448 21397 33554432000 4194304 4196468 140735190776352 139956246602544 139956274828445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7439] ppid=7382 vsize=10819352 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7439/stat : 7439 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 78667049 11079016448 21397 33554432000 4194304 4196468 140735190776352 139956279049232 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7440] ppid=7382 vsize=10819352 memory=140497775796723 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7440/stat : 7440 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 78667049 11079016448 21397 33554432000 4194304 4196468 140735190776352 139956208807056 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7441] ppid=7382 vsize=10819352 memory=140501265154955 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7441/stat : 7441 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 78667049 11079016448 21397 33554432000 4194304 4196468 140735190776352 139955846703888 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7442] ppid=7382 vsize=10819352 memory=1792 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7442/stat : 7442 (java) S 7382 7385 2275 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 78667049 11079016448 21397 33554432000 4194304 4196468 140735190776352 139955845651344 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7443] ppid=7382 vsize=10819352 memory=6296143700806424935 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7443/stat : 7443 (java) S 7382 7385 2275 0 -1 1077944384 5 13181 0 0 0 0 5 3 20 0 15 0 78667051 11079016448 21397 33554432000 4194304 4196468 140735190776352 139955345012976 139956274817666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7444] ppid=7382 vsize=10819352 memory=8099279071866868837 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7444/stat : 7444 (java) S 7382 7385 2275 0 -1 1077944384 13 13181 0 0 0 0 5 3 20 0 15 0 78667051 11079016448 21397 33554432000 4194304 4196468 140735190776352 139955267429536 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7445] ppid=7382 vsize=10819352 memory=6004820471124940137 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7445/stat : 7445 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 78667051 11079016448 21397 33554432000 4194304 4196468 140735190776352 139955066102512 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7446] ppid=7382 vsize=10819352 memory=3054156605368933524 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7446/stat : 7446 (java) S 7382 7385 2275 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 78667054 11079016448 21397 33554432000 4194304 4196468 140735190776352 139954825811920 139956274825115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7447] ppid=7382 vsize=10819352 memory=8326441112149131689 CPUtime=0.18 cores=1,3,5,7
/proc/7385/task/7447/stat : 7447 (java) S 7382 7385 2275 0 -1 1077944384 1132 13181 0 0 10 0 5 3 20 0 15 0 78667054 11079016448 21397 33554432000 4194304 4196468 140735190776352 139955343960816 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7448] ppid=7382 vsize=10819352 memory=-7025452035940392864 CPUtime=0.15 cores=1,3,5,7
/proc/7385/task/7448/stat : 7448 (java) S 7382 7385 2275 0 -1 1077944384 491 13181 0 0 7 0 5 3 20 0 15 0 78667054 11079016448 21397 33554432000 4194304 4196468 140735190776352 139955342908272 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7449] ppid=7382 vsize=10819352 memory=6944656592452807326 CPUtime=0.2 cores=1,3,5,7
/proc/7385/task/7449/stat : 7449 (java) S 7382 7385 2275 0 -1 1077944384 832 13181 0 0 12 0 5 3 20 0 15 0 78667054 11079016448 21397 33554432000 4194304 4196468 140735190776352 139955341855216 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7450] ppid=7382 vsize=10819352 memory=-9178176116494409632 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7450/stat : 7450 (java) S 7382 7385 2275 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 78667054 11079016448 21397 33554432000 4194304 4196468 140735190776352 139954792254304 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7451] ppid=7382 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7451/stat : 7451 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 78667054 11079016448 21397 33554432000 4194304 4196468 140735190776352 139955340802608 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85588 KiB
[startup+1.50109 s]
/proc/loadavg: 1.36 1.96 2.97 3/219 7451
/proc/meminfo: memFree=22182296/32770624 swapFree=67108860/67108860
[pid=7385] ppid=7382 vsize=10834252 memory=214832 CPUtime=2.77 cores=1,3,5,7
/proc/7385/stat : 7385 (java) S 7382 7385 2275 0 -1 1077944320 24955 13181 0 0 259 10 5 3 20 0 15 0 78667039 11094274048 53708 33554432000 4194304 4196468 140735190776352 140735190758896 139956274806519 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
/proc/7385/statm: 2708563 53708 3472 1 0 2670221 0
[pid=7385/tid=7438] ppid=7382 vsize=10834252 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/7385/task/7438/stat : 7438 (java) R 7382 7385 2275 0 -1 4202560 17249 13181 0 0 129 5 5 3 20 0 15 0 78667048 11094274048 53708 33554432000 4194304 4196468 140735190776352 139956246611760 139956274828445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7439] ppid=7382 vsize=10834252 memory=99600 CPUtime=0.09 cores=1,3,5,7
/proc/7385/task/7439/stat : 7439 (java) S 7382 7385 2275 0 -1 1077944384 55 13181 0 0 1 0 5 3 20 0 15 0 78667049 11094274048 53708 33554432000 4194304 4196468 140735190776352 139956279049232 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7440] ppid=7382 vsize=10834252 memory=5790086053191909267 CPUtime=0.09 cores=1,3,5,7
/proc/7385/task/7440/stat : 7440 (java) S 7382 7385 2275 0 -1 1077944384 15 13181 0 0 1 0 5 3 20 0 15 0 78667049 11094274048 53708 33554432000 4194304 4196468 140735190776352 139956208807056 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7441] ppid=7382 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7385/task/7441/stat : 7441 (java) S 7382 7385 2275 0 -1 1077944384 174 13181 0 0 1 0 5 3 20 0 15 0 78667049 11094274048 53708 33554432000 4194304 4196468 140735190776352 139955846703888 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7442] ppid=7382 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7385/task/7442/stat : 7442 (java) S 7382 7385 2275 0 -1 1077944384 41 13181 0 0 1 0 5 3 20 0 15 0 78667049 11094274048 53708 33554432000 4194304 4196468 140735190776352 139955845651344 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7443] ppid=7382 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7385/task/7443/stat : 7443 (java) S 7382 7385 2275 0 -1 1077944384 465 13181 0 0 1 0 5 3 20 0 15 0 78667051 11094274048 53708 33554432000 4194304 4196468 140735190776352 139955345012976 139956274817666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7444] ppid=7382 vsize=10834252 memory=-6221781267475802396 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7444/stat : 7444 (java) R 7382 7385 2275 0 -1 4202560 14 13181 0 0 0 0 5 3 20 0 15 0 78667051 11094274048 53708 33554432000 4194304 4196468 140735190776352 139955267429536 139955877265091 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7445] ppid=7382 vsize=10834252 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7445/stat : 7445 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 78667051 11094274048 53708 33554432000 4194304 4196468 140735190776352 139955066101328 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7446] ppid=7382 vsize=10834252 memory=1696 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7446/stat : 7446 (java) S 7382 7385 2275 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 78667054 11094274048 53708 33554432000 4194304 4196468 140735190776352 139954825811920 139956274825115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7447] ppid=7382 vsize=10834252 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/7385/task/7447/stat : 7447 (java) R 7382 7385 2275 0 -1 1077944384 1774 13181 0 0 41 0 5 3 20 0 15 0 78667054 11094274048 53708 33554432000 4194304 4196468 140735190776352 139955343960816 139956274817666 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7448] ppid=7382 vsize=10834252 memory=172465217131314 CPUtime=0.5 cores=1,3,5,7
/proc/7385/task/7448/stat : 7448 (java) S 7382 7385 2275 0 -1 1077944384 1286 13181 0 0 42 0 5 3 20 0 15 0 78667054 11094274048 53708 33554432000 4194304 4196468 140735190776352 139955342908272 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7449] ppid=7382 vsize=10834252 memory=23525 CPUtime=0.46 cores=1,3,5,7
/proc/7385/task/7449/stat : 7449 (java) R 7382 7385 2275 0 -1 4202560 1683 13181 0 0 37 1 5 3 20 0 15 0 78667054 11094274048 53708 33554432000 4194304 4196468 140735190776352 139955341855216 139956253940504 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7450] ppid=7382 vsize=10834252 memory=4638778402628129104 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7450/stat : 7450 (java) S 7382 7385 2275 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 78667054 11094274048 53708 33554432000 4194304 4196468 140735190776352 139954792254304 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7451] ppid=7382 vsize=10834252 memory=6935650355271196736 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7451/stat : 7451 (java) S 7382 7385 2275 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 78667054 11094274048 53708 33554432000 4194304 4196468 140735190776352 139955340802608 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/7385/task/7438/stat : 7438 (java) R 7382 7385 2275 0 -1 4202560 90418 13181 0 0 237036 31 5 3 20 0 15 0 78667048 11178180608 194512 33554432000 4194304 4196468 140735190776352 139956246640064 139955891771840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7439] ppid=7382 vsize=10916192 memory=778048 CPUtime=5.18 cores=1,3,5,7
/proc/7385/task/7439/stat : 7439 (java) S 7382 7385 2275 0 -1 1077944384 11787 13181 0 0 477 33 5 3 20 0 15 0 78667049 11178180608 194512 33554432000 4194304 4196468 140735190776352 139956279049232 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7440] ppid=7382 vsize=10916192 memory=778048 CPUtime=5.17 cores=1,3,5,7
/proc/7385/task/7440/stat : 7440 (java) S 7382 7385 2275 0 -1 1077944384 11699 13181 0 0 478 31 5 3 20 0 15 0 78667049 11178180608 194512 33554432000 4194304 4196468 140735190776352 139956208807056 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7441] ppid=7382 vsize=10916192 memory=778048 CPUtime=5.15 cores=1,3,5,7
/proc/7385/task/7441/stat : 7441 (java) S 7382 7385 2275 0 -1 1077944384 12546 13181 0 0 475 32 5 3 20 0 15 0 78667049 11178180608 194512 33554432000 4194304 4196468 140735190776352 139955846703888 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7442] ppid=7382 vsize=10916192 memory=778048 CPUtime=5.17 cores=1,3,5,7
/proc/7385/task/7442/stat : 7442 (java) S 7382 7385 2275 0 -1 1077944384 15209 13181 0 0 475 34 5 3 20 0 15 0 78667049 11178180608 194512 33554432000 4194304 4196468 140735190776352 139955845651344 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7443] ppid=7382 vsize=10916192 memory=778048 CPUtime=4.38 cores=1,3,5,7
/proc/7385/task/7443/stat : 7443 (java) S 7382 7385 2275 0 -1 1077944384 13056 13181 0 0 404 26 5 3 20 0 15 0 78667051 11178180608 194512 33554432000 4194304 4196468 140735190776352 139955345012976 139956274817666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7444] ppid=7382 vsize=10916192 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7444/stat : 7444 (java) S 7382 7385 2275 0 -1 1077944384 15 13181 0 0 0 0 5 3 20 0 15 0 78667051 11178180608 194512 33554432000 4194304 4196468 140735190776352 139955267429600 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7445] ppid=7382 vsize=10916192 memory=778048 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7445/stat : 7445 (java) S 7382 7385 2275 0 -1 1077944384 6 13181 0 0 0 0 5 3 20 0 15 0 78667051 11178180608 194512 33554432000 4194304 4196468 140735190776352 139955066102528 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7446] ppid=7382 vsize=10916192 memory=2448 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7446/stat : 7446 (java) S 7382 7385 2275 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 78667054 11178180608 194512 33554432000 4194304 4196468 140735190776352 139954825811920 139956274825115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7447] ppid=7382 vsize=10916192 memory=778048 CPUtime=5.19 cores=1,3,5,7
/proc/7385/task/7447/stat : 7447 (java) S 7382 7385 2275 0 -1 1077944384 22104 13181 0 0 508 3 5 3 20 0 15 0 78667054 11178180608 194512 33554432000 4194304 4196468 140735190776352 139955343960816 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7448] ppid=7382 vsize=10916192 memory=778048 CPUtime=5.06 cores=1,3,5,7
/proc/7385/task/7448/stat : 7448 (java) S 7382 7385 2275 0 -1 1077944384 28283 13181 0 0 495 3 5 3 20 0 15 0 78667054 11178180608 194512 33554432000 4194304 4196468 140735190776352 139955342908272 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7449] ppid=7382 vsize=10916192 memory=2592 CPUtime=2.07 cores=1,3,5,7
/proc/7385/task/7449/stat : 7449 (java) S 7382 7385 2275 0 -1 1077944384 26953 13181 0 0 194 5 5 3 20 0 15 0 78667054 11178180608 194512 33554432000 4194304 4196468 140735190776352 139955341855216 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7450] ppid=7382 vsize=10916192 memory=2896 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7450/stat : 7450 (java) S 7382 7385 2275 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 78667054 11178180608 194512 33554432000 4194304 4196468 140735190776352 139954792254304 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7451] ppid=7382 vsize=10916192 memory=4100 CPUtime=1.41 cores=1,3,5,7
/proc/7385/task/7451/stat : 7451 (java) S 7382 7385 2275 0 -1 1077944384 1413 13181 0 0 60 73 5 3 20 0 15 0 78667054 11178180608 194512 33554432000 4194304 4196468 140735190776352 139955340802608 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
Current children cumulated CPU time: 2408.92 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 778048 KiB
[startup+2442.3 s]
/proc/loadavg: 1.59 1.64 1.68 3/220 7787
/proc/meminfo: memFree=20749820/32770624 swapFree=67108860/67108860
[pid=7385] ppid=7382 vsize=10916192 memory=778092 CPUtime=2469.38 cores=1,3,5,7
/proc/7385/stat : 7385 (java) S 7382 7385 2275 0 -1 1077944320 237598 13181 0 0 246695 235 5 3 20 0 15 0 78667039 11178180608 194523 33554432000 4194304 4196468 140735190776352 140735190758896 139956274806519 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
/proc/7385/statm: 2729048 194523 3526 1 0 2690701 0
[pid=7385/tid=7438] ppid=7382 vsize=10916192 memory=3828 CPUtime=2430.42 cores=1,3,5,7
/proc/7385/task/7438/stat : 7438 (java) R 7382 7385 2275 0 -1 4202560 90813 13181 0 0 243003 31 5 3 20 0 15 0 78667048 11178180608 194523 33554432000 4194304 4196468 140735190776352 139956246640080 139955890159656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7439] ppid=7382 vsize=10916192 memory=778048 CPUtime=5.32 cores=1,3,5,7
/proc/7385/task/7439/stat : 7439 (java) S 7382 7385 2275 0 -1 1077944384 12056 13181 0 0 490 34 5 3 20 0 15 0 78667049 11178180608 194523 33554432000 4194304 4196468 140735190776352 139956279049232 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7440] ppid=7382 vsize=10916192 memory=778048 CPUtime=5.31 cores=1,3,5,7
/proc/7385/task/7440/stat : 7440 (java) S 7382 7385 2275 0 -1 1077944384 11715 13181 0 0 491 32 5 3 20 0 15 0 78667049 11178180608 194523 33554432000 4194304 4196468 140735190776352 139956208807056 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7441] ppid=7382 vsize=10916192 memory=778048 CPUtime=5.28 cores=1,3,5,7
/proc/7385/task/7441/stat : 7441 (java) S 7382 7385 2275 0 -1 1077944384 12591 13181 0 0 487 33 5 3 20 0 15 0 78667049 11178180608 194523 33554432000 4194304 4196468 140735190776352 139955846703888 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7442] ppid=7382 vsize=10916192 memory=778048 CPUtime=5.3 cores=1,3,5,7
/proc/7385/task/7442/stat : 7442 (java) S 7382 7385 2275 0 -1 1077944384 15263 13181 0 0 488 34 5 3 20 0 15 0 78667049 11178180608 194523 33554432000 4194304 4196468 140735190776352 139955845651344 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7443] ppid=7382 vsize=10916192 memory=778048 CPUtime=4.49 cores=1,3,5,7
/proc/7385/task/7443/stat : 7443 (java) S 7382 7385 2275 0 -1 1077944384 13082 13181 0 0 415 26 5 3 20 0 15 0 78667051 11178180608 194523 33554432000 4194304 4196468 140735190776352 139955345012976 139956274817666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7444] ppid=7382 vsize=10916192 memory=778048 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7444/stat : 7444 (java) S 7382 7385 2275 0 -1 1077944384 15 13181 0 0 0 0 5 3 20 0 15 0 78667051 11178180608 194523 33554432000 4194304 4196468 140735190776352 139955267429600 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7445] ppid=7382 vsize=10916192 memory=778048 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7445/stat : 7445 (java) S 7382 7385 2275 0 -1 1077944384 6 13181 0 0 0 0 5 3 20 0 15 0 78667051 11178180608 194523 33554432000 4194304 4196468 140735190776352 139955066102528 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7446] ppid=7382 vsize=10916192 memory=778092 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7446/stat : 7446 (java) S 7382 7385 2275 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 78667054 11178180608 194523 33554432000 4194304 4196468 140735190776352 139954825811920 139956274825115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7447] ppid=7382 vsize=10916192 memory=778092 CPUtime=5.28 cores=1,3,5,7
/proc/7385/task/7447/stat : 7447 (java) S 7382 7385 2275 0 -1 1077944384 22913 13181 0 0 517 3 5 3 20 0 15 0 78667054 11178180608 194523 33554432000 4194304 4196468 140735190776352 139955343960816 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7448] ppid=7382 vsize=10916192 memory=8112282956445269571 CPUtime=5.07 cores=1,3,5,7
/proc/7385/task/7448/stat : 7448 (java) S 7382 7385 2275 0 -1 1077944384 28407 13181 0 0 496 3 5 3 20 0 15 0 78667054 11178180608 194523 33554432000 4194304 4196468 140735190776352 139955342908272 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7449] ppid=7382 vsize=10916192 memory=2448 CPUtime=2.07 cores=1,3,5,7
/proc/7385/task/7449/stat : 7449 (java) S 7382 7385 2275 0 -1 1077944384 27122 13181 0 0 194 5 5 3 20 0 15 0 78667054 11178180608 194523 33554432000 4194304 4196468 140735190776352 139955341855216 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7450] ppid=7382 vsize=10916192 memory=778092 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7450/stat : 7450 (java) S 7382 7385 2275 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 78667054 11178180608 194523 33554432000 4194304 4196468 140735190776352 139954792254304 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7451] ppid=7382 vsize=10916192 memory=15868 CPUtime=1.45 cores=1,3,5,7
/proc/7385/task/7451/stat : 7451 (java) S 7382 7385 2275 0 -1 1077944384 1418 13181 0 0 62 75 5 3 20 0 15 0 78667054 11178180608 194523 33554432000 4194304 4196468 140735190776352 139955340802608 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
Current children cumulated CPU time: 2469.38 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 778092 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2492.7 s]
/proc/loadavg: 1.50 1.61 1.67 3/220 7789
/proc/meminfo: memFree=20769708/32770624 swapFree=67108860/67108860
[pid=7385] ppid=7382 vsize=10916192 memory=781172 CPUtime=2520.07 cores=1,3,5,7
/proc/7385/stat : 7385 (java) S 7382 7385 2275 0 -1 1077944320 238180 13181 0 0 251760 239 5 3 20 0 15 0 78667039 11178180608 195293 33554432000 4194304 4196468 140735190776352 140735190758896 139956274806519 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
/proc/7385/statm: 2729048 195293 3526 1 0 2690701 0
[pid=7385/tid=7438] ppid=7382 vsize=10916192 memory=780140 CPUtime=2480.54 cores=1,3,5,7
/proc/7385/task/7438/stat : 7438 (java) R 7382 7385 2275 0 -1 4202560 91083 13181 0 0 248015 31 5 3 20 0 15 0 78667048 11178180608 195293 33554432000 4194304 4196468 140735190776352 139956246640864 139955893746730 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7439] ppid=7382 vsize=10916192 memory=781172 CPUtime=5.43 cores=1,3,5,7
/proc/7385/task/7439/stat : 7439 (java) S 7382 7385 2275 0 -1 1077944384 12074 13181 0 0 500 35 5 3 20 0 15 0 78667049 11178180608 195293 33554432000 4194304 4196468 140735190776352 139956279049232 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7440] ppid=7382 vsize=10916192 memory=781172 CPUtime=5.42 cores=1,3,5,7
/proc/7385/task/7440/stat : 7440 (java) S 7382 7385 2275 0 -1 1077944384 11731 13181 0 0 501 33 5 3 20 0 15 0 78667049 11178180608 195293 33554432000 4194304 4196468 140735190776352 139956208807056 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7441] ppid=7382 vsize=10916192 memory=781172 CPUtime=5.39 cores=1,3,5,7
/proc/7385/task/7441/stat : 7441 (java) S 7382 7385 2275 0 -1 1077944384 12653 13181 0 0 498 33 5 3 20 0 15 0 78667049 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955846703888 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7442] ppid=7382 vsize=10916192 memory=781172 CPUtime=5.41 cores=1,3,5,7
/proc/7385/task/7442/stat : 7442 (java) S 7382 7385 2275 0 -1 1077944384 15291 13181 0 0 498 35 5 3 20 0 15 0 78667049 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955845651344 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7443] ppid=7382 vsize=10916192 memory=781172 CPUtime=4.58 cores=1,3,5,7
/proc/7385/task/7443/stat : 7443 (java) S 7382 7385 2275 0 -1 1077944384 13256 13181 0 0 424 26 5 3 20 0 15 0 78667051 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955345012976 139956274817666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7444] ppid=7382 vsize=10916192 memory=781172 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7444/stat : 7444 (java) S 7382 7385 2275 0 -1 1077944384 15 13181 0 0 0 0 5 3 20 0 15 0 78667051 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955267429600 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7445] ppid=7382 vsize=10916192 memory=781172 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7445/stat : 7445 (java) S 7382 7385 2275 0 -1 1077944384 6 13181 0 0 0 0 5 3 20 0 15 0 78667051 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955066102528 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7446] ppid=7382 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7446/stat : 7446 (java) S 7382 7385 2275 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 78667054 11178180608 195293 33554432000 4194304 4196468 140735190776352 139954825811920 139956274825115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7447] ppid=7382 vsize=10916192 memory=781172 CPUtime=5.28 cores=1,3,5,7
/proc/7385/task/7447/stat : 7447 (java) S 7382 7385 2275 0 -1 1077944384 22913 13181 0 0 517 3 5 3 20 0 15 0 78667054 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955343960816 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7448] ppid=7382 vsize=10916192 memory=164 CPUtime=5.07 cores=1,3,5,7
/proc/7385/task/7448/stat : 7448 (java) S 7382 7385 2275 0 -1 1077944384 28407 13181 0 0 496 3 5 3 20 0 15 0 78667054 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955342908272 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7449] ppid=7382 vsize=10916192 memory=781172 CPUtime=2.07 cores=1,3,5,7
/proc/7385/task/7449/stat : 7449 (java) S 7382 7385 2275 0 -1 1077944384 27122 13181 0 0 194 5 5 3 20 0 15 0 78667054 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955341855216 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7450] ppid=7382 vsize=10916192 memory=781172 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7450/stat : 7450 (java) S 7382 7385 2275 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 78667054 11178180608 195293 33554432000 4194304 4196468 140735190776352 139954792254304 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7451] ppid=7382 vsize=10916192 memory=781172 CPUtime=1.47 cores=1,3,5,7
/proc/7385/task/7451/stat : 7451 (java) S 7382 7385 2275 0 -1 1077944384 1432 13181 0 0 63 76 5 3 20 0 15 0 78667054 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955340802608 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 781172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2492.73 s]
# the end of solver process 7385 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.68 s, system=2.43561 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2492.7 s]
/proc/loadavg: 1.50 1.61 1.67 3/220 7789
/proc/meminfo: memFree=20769708/32770624 swapFree=67108860/67108860
[pid=7385] ppid=7382 vsize=10916192 memory=781172 CPUtime=2520.07 cores=1,3,5,7
/proc/7385/stat : 7385 (java) S 7382 7385 2275 0 -1 1077944320 238180 13181 0 0 251760 239 5 3 20 0 15 0 78667039 11178180608 195293 33554432000 4194304 4196468 140735190776352 140735190758896 139956274806519 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
/proc/7385/statm: 2729048 195293 3526 1 0 2690701 0
[pid=7385/tid=7438] ppid=7382 vsize=10916192 memory=780140 CPUtime=2480.54 cores=1,3,5,7
/proc/7385/task/7438/stat : 7438 (java) R 7382 7385 2275 0 -1 4202560 91083 13181 0 0 248015 31 5 3 20 0 15 0 78667048 11178180608 195293 33554432000 4194304 4196468 140735190776352 139956246640864 139955893746730 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7439] ppid=7382 vsize=10916192 memory=781172 CPUtime=5.43 cores=1,3,5,7
/proc/7385/task/7439/stat : 7439 (java) S 7382 7385 2275 0 -1 1077944384 12074 13181 0 0 500 35 5 3 20 0 15 0 78667049 11178180608 195293 33554432000 4194304 4196468 140735190776352 139956279049232 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7440] ppid=7382 vsize=10916192 memory=781172 CPUtime=5.42 cores=1,3,5,7
/proc/7385/task/7440/stat : 7440 (java) S 7382 7385 2275 0 -1 1077944384 11731 13181 0 0 501 33 5 3 20 0 15 0 78667049 11178180608 195293 33554432000 4194304 4196468 140735190776352 139956208807056 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7441] ppid=7382 vsize=10916192 memory=781172 CPUtime=5.39 cores=1,3,5,7
/proc/7385/task/7441/stat : 7441 (java) S 7382 7385 2275 0 -1 1077944384 12653 13181 0 0 498 33 5 3 20 0 15 0 78667049 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955846703888 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7442] ppid=7382 vsize=10916192 memory=781172 CPUtime=5.41 cores=1,3,5,7
/proc/7385/task/7442/stat : 7442 (java) S 7382 7385 2275 0 -1 1077944384 15291 13181 0 0 498 35 5 3 20 0 15 0 78667049 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955845651344 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7443] ppid=7382 vsize=10916192 memory=781172 CPUtime=4.58 cores=1,3,5,7
/proc/7385/task/7443/stat : 7443 (java) S 7382 7385 2275 0 -1 1077944384 13256 13181 0 0 424 26 5 3 20 0 15 0 78667051 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955345012976 139956274817666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7444] ppid=7382 vsize=10916192 memory=781172 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7444/stat : 7444 (java) S 7382 7385 2275 0 -1 1077944384 15 13181 0 0 0 0 5 3 20 0 15 0 78667051 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955267429600 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7445] ppid=7382 vsize=10916192 memory=781172 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7445/stat : 7445 (java) S 7382 7385 2275 0 -1 1077944384 6 13181 0 0 0 0 5 3 20 0 15 0 78667051 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955066102528 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7446] ppid=7382 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7446/stat : 7446 (java) S 7382 7385 2275 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 78667054 11178180608 195293 33554432000 4194304 4196468 140735190776352 139954825811920 139956274825115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7447] ppid=7382 vsize=10916192 memory=781172 CPUtime=5.28 cores=1,3,5,7
/proc/7385/task/7447/stat : 7447 (java) S 7382 7385 2275 0 -1 1077944384 22913 13181 0 0 517 3 5 3 20 0 15 0 78667054 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955343960816 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7448] ppid=7382 vsize=10916192 memory=164 CPUtime=5.07 cores=1,3,5,7
/proc/7385/task/7448/stat : 7448 (java) S 7382 7385 2275 0 -1 1077944384 28407 13181 0 0 496 3 5 3 20 0 15 0 78667054 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955342908272 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7449] ppid=7382 vsize=10916192 memory=781172 CPUtime=2.07 cores=1,3,5,7
/proc/7385/task/7449/stat : 7449 (java) S 7382 7385 2275 0 -1 1077944384 27122 13181 0 0 194 5 5 3 20 0 15 0 78667054 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955341855216 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7450] ppid=7382 vsize=10916192 memory=781172 CPUtime=0.08 cores=1,3,5,7
/proc/7385/task/7450/stat : 7450 (java) S 7382 7385 2275 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 78667054 11178180608 195293 33554432000 4194304 4196468 140735190776352 139954792254304 139956274816725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
[pid=7385/tid=7451] ppid=7382 vsize=10916192 memory=781172 CPUtime=1.47 cores=1,3,5,7
/proc/7385/task/7451/stat : 7451 (java) S 7382 7385 2275 0 -1 1077944384 1432 13181 0 0 63 76 5 3 20 0 15 0 78667054 11178180608 195293 33554432000 4194304 4196468 140735190776352 139955340802608 139956274817666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7426048 140735190780076 140735190783324 140735190783324 140735190785999 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 781172 KiB
Child status: 143
Real time (s): 2492.73
CPU time (s): 2520.11
CPU user time (s): 2517.68
CPU system time (s): 2.43561
CPU usage (%): 101.099
Max. virtual memory (cumulated for all children) (KiB): 10916976
Max. memory (cumulated for all children) (KiB): 1024388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.68
system time used= 2.43561
maximum resident set size= 1031032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 150221
involuntary context switches= 6249
# summary of solver processes directly reported to runsolver:
# pid: 7385
# total CPU time (s): 2520.11
# total CPU user time (s): 2517.68
# total CPU system time (s): 2.43561
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.767 second user time and 21.4331 second system time
The end