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 (9584 MiB free)
memory of node 1: 16384 MiB (12146 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296159-1532612887/watcher-4296159-1532612887 -o /tmp/evaluation-result-4296159-1532612887/solver-4296159-1532612887 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532594793-3954 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1496333557 -superng HOME/instance-4296159-1532612887.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=7572, runsolver pid=7569
[startup+0.10015 s]*
/proc/loadavg: 1.80 1.49 1.66 3/210 7629
/proc/meminfo: memFree=22246892/32770624 swapFree=67108860/67108860
[pid=7572] ppid=7569 vsize=9972712 memory=18992 CPUtime=0.09 cores=0,2,4,6
/proc/7572/stat : 7572 (java) S 7569 7572 2275 0 -1 1077944320 4404 13164 0 0 1 0 5 3 20 0 6 0 78851920 10212057088 4748 33554432000 4194304 4196468 140737148997936 140737148980480 139991244656375 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
/proc/7572/statm: 2493178 4748 1934 1 0 2481616 0
[pid=7572/tid=7625] ppid=7569 vsize=9972712 memory=4718545630382498451 CPUtime=0.09 cores=0,2,4,6
/proc/7572/task/7625/stat : 7625 (java) R 7569 7572 2275 0 -1 4202560 2215 13164 0 0 1 0 5 3 20 0 6 0 78851929 10212057088 4748 33554432000 4194304 4196468 140737148997936 139991216493136 139991236893502 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7626] ppid=7569 vsize=9972712 memory=5793855520747317689 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7626/stat : 7626 (java) S 7569 7572 2275 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 6 0 78851930 10212057088 4748 33554432000 4194304 4196468 140737148997936 139991248898704 139991244666581 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7627] ppid=7569 vsize=9972712 memory=140269737424512 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7627/stat : 7627 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 6 0 78851930 10212057088 4748 33554432000 4194304 4196468 140737148997936 139991172057616 139991244666581 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7628] ppid=7569 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7628/stat : 7628 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 6 0 78851930 10212057088 4748 33554432000 4194304 4196468 140737148997936 139990817020304 139991244666581 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7629] ppid=7569 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7629/stat : 7629 (java) S 7569 7572 2275 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 6 0 78851930 10212057088 4748 33554432000 4194304 4196468 140737148997936 139990815967504 139991244666581 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18992 KiB
[startup+0.210201 s]*
/proc/loadavg: 1.80 1.49 1.66 3/219 7638
/proc/meminfo: memFree=22223420/32770624 swapFree=67108860/67108860
[pid=7572] ppid=7569 vsize=10818856 memory=41856 CPUtime=0.26 cores=0,2,4,6
/proc/7572/stat : 7572 (java) S 7569 7572 2275 0 -1 1077944320 8387 13164 0 0 17 1 5 3 20 0 15 0 78851920 11078508544 10464 33554432000 4194304 4196468 140737148997936 140737148980480 139991244656375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
/proc/7572/statm: 2704714 10464 2918 1 0 2667149 0
[pid=7572/tid=7625] ppid=7569 vsize=10818856 memory=-2899909650764262549 CPUtime=0.2 cores=0,2,4,6
/proc/7572/task/7625/stat : 7625 (java) R 7569 7572 2275 0 -1 4202560 5035 13164 0 0 11 1 5 3 20 0 15 0 78851929 11078508544 10464 33554432000 4194304 4196468 140737148997936 139991216454032 139991226219904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7626] ppid=7569 vsize=10818856 memory=4211973995942215050 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7626/stat : 7626 (java) S 7569 7572 2275 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 78851930 11078508544 10464 33554432000 4194304 4196468 140737148997936 139991248898704 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7627] ppid=7569 vsize=10818856 memory=140269737424512 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7627/stat : 7627 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851930 11078508544 10464 33554432000 4194304 4196468 140737148997936 139991172057616 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7628] ppid=7569 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7628/stat : 7628 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851930 11078508544 10464 33554432000 4194304 4196468 140737148997936 139990817020304 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7629] ppid=7569 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7629/stat : 7629 (java) S 7569 7572 2275 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 78851930 11078508544 10464 33554432000 4194304 4196468 140737148997936 139990815967504 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7630] ppid=7569 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7630/stat : 7630 (java) S 7569 7572 2275 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 78851931 11078508544 10464 33554432000 4194304 4196468 140737148997936 139990771342192 139991244667522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7631] ppid=7569 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7631/stat : 7631 (java) S 7569 7572 2275 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 78851932 11078508544 10464 33554432000 4194304 4196468 140737148997936 139990700910112 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7632] ppid=7569 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7632/stat : 7632 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851932 11078508544 10464 33554432000 4194304 4196468 140737148997936 139990096930160 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7633] ppid=7569 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7633/stat : 7633 (java) S 7569 7572 2275 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 78851935 11078508544 10464 33554432000 4194304 4196468 140737148997936 139989789530448 139991244674971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7634] ppid=7569 vsize=10818856 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7572/task/7634/stat : 7634 (java) S 7569 7572 2275 0 -1 1077944384 524 13164 0 0 1 0 5 3 20 0 15 0 78851935 11078508544 10464 33554432000 4194304 4196468 140737148997936 139990770289008 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7635] ppid=7569 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7635/stat : 7635 (java) S 7569 7572 2275 0 -1 1077944384 54 13164 0 0 0 0 5 3 20 0 15 0 78851935 11078508544 10464 33554432000 4194304 4196468 140737148997936 139990769236208 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7636] ppid=7569 vsize=10818856 memory=140269737424512 CPUtime=0.11 cores=0,2,4,6
/proc/7572/task/7636/stat : 7636 (java) S 7569 7572 2275 0 -1 1077944384 553 13164 0 0 3 0 5 3 20 0 15 0 78851935 11078508544 10464 33554432000 4194304 4196468 140737148997936 139990667352176 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7637] ppid=7569 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7637/stat : 7637 (java) S 7569 7572 2275 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 78851935 11078508544 10464 33554432000 4194304 4196468 140737148997936 139989755971808 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7638] ppid=7569 vsize=10818856 memory=140269737424512 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7638/stat : 7638 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851935 11078508544 10464 33554432000 4194304 4196468 140737148997936 139990666300592 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 41856 KiB
[startup+0.310597 s]*
/proc/loadavg: 1.80 1.49 1.66 3/219 7638
/proc/meminfo: memFree=22215120/32770624 swapFree=67108860/67108860
[pid=7572] ppid=7569 vsize=10819352 memory=53184 CPUtime=0.39 cores=0,2,4,6
/proc/7572/stat : 7572 (java) S 7569 7572 2275 0 -1 1077944320 10418 13164 0 0 29 2 5 3 20 0 15 0 78851920 11079016448 13296 33554432000 4194304 4196468 140737148997936 140737148980480 139991244656375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
/proc/7572/statm: 2704838 13296 3049 1 0 2667149 0
[pid=7572/tid=7625] ppid=7569 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/7572/task/7625/stat : 7625 (java) R 7569 7572 2275 0 -1 4202560 7064 13164 0 0 20 1 5 3 20 0 15 0 78851929 11079016448 13296 33554432000 4194304 4196468 140737148997936 139991216468384 139991228736862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7626] ppid=7569 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7626/stat : 7626 (java) S 7569 7572 2275 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 78851930 11079016448 13296 33554432000 4194304 4196468 140737148997936 139991248898704 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7627] ppid=7569 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7627/stat : 7627 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851930 11079016448 13296 33554432000 4194304 4196468 140737148997936 139991172057616 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7628] ppid=7569 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7628/stat : 7628 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851930 11079016448 13296 33554432000 4194304 4196468 140737148997936 139990817020304 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7629] ppid=7569 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7629/stat : 7629 (java) S 7569 7572 2275 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 78851930 11079016448 13296 33554432000 4194304 4196468 140737148997936 139990815967504 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7630] ppid=7569 vsize=10819352 memory=140269737424511 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7630/stat : 7630 (java) S 7569 7572 2275 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 78851931 11079016448 13296 33554432000 4194304 4196468 140737148997936 139990771342192 139991244667522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7631] ppid=7569 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7631/stat : 7631 (java) S 7569 7572 2275 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 78851932 11079016448 13296 33554432000 4194304 4196468 140737148997936 139990700910112 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7632] ppid=7569 vsize=10819352 memory=140269737424512 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7632/stat : 7632 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851932 11079016448 13296 33554432000 4194304 4196468 140737148997936 139990096930160 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7633] ppid=7569 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7633/stat : 7633 (java) S 7569 7572 2275 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 78851935 11079016448 13296 33554432000 4194304 4196468 140737148997936 139989789530448 139991244674971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7634] ppid=7569 vsize=10819352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/7572/task/7634/stat : 7634 (java) S 7569 7572 2275 0 -1 1077944384 524 13164 0 0 2 0 5 3 20 0 15 0 78851935 11079016448 13296 33554432000 4194304 4196468 140737148997936 139990770289008 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7635] ppid=7569 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/7572/task/7635/stat : 7635 (java) S 7569 7572 2275 0 -1 1077944384 55 13164 0 0 1 0 5 3 20 0 15 0 78851935 11079016448 13296 33554432000 4194304 4196468 140737148997936 139990769236208 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7636] ppid=7569 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/7572/task/7636/stat : 7636 (java) R 7569 7572 2275 0 -1 4202560 561 13164 0 0 5 0 5 3 20 0 15 0 78851935 11079016448 13296 33554432000 4194304 4196468 140737148997936 139990667352176 139991236893502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7637] ppid=7569 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7637/stat : 7637 (java) S 7569 7572 2275 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 78851935 11079016448 13296 33554432000 4194304 4196468 140737148997936 139989755971808 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7638] ppid=7569 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7638/stat : 7638 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851935 11079016448 13296 33554432000 4194304 4196468 140737148997936 139990666300592 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53184 KiB
[startup+0.700762 s]
/proc/loadavg: 1.80 1.49 1.66 3/219 7638
/proc/meminfo: memFree=22203924/32770624 swapFree=67108860/67108860
[pid=7572] ppid=7569 vsize=10819352 memory=86460 CPUtime=1 cores=0,2,4,6
/proc/7572/stat : 7572 (java) S 7569 7572 2275 0 -1 1077944320 16828 13164 0 0 88 4 5 3 20 0 15 0 78851920 11079016448 21615 33554432000 4194304 4196468 140737148997936 140737148980480 139991244656375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
/proc/7572/statm: 2704838 21615 3237 1 0 2667149 0
[pid=7572/tid=7625] ppid=7569 vsize=10819352 memory=23536 CPUtime=0.67 cores=0,2,4,6
/proc/7572/task/7625/stat : 7625 (java) R 7569 7572 2275 0 -1 4202560 12511 13164 0 0 56 3 5 3 20 0 15 0 78851929 11079016448 21679 33554432000 4194304 4196468 140737148997936 139991216477200 139991228736862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7626] ppid=7569 vsize=10819352 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7626/stat : 7626 (java) S 7569 7572 2275 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 78851930 11079016448 21679 33554432000 4194304 4196468 140737148997936 139991248898704 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7627] ppid=7569 vsize=10819352 memory=140269605659123 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7627/stat : 7627 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851930 11079016448 21679 33554432000 4194304 4196468 140737148997936 139991172057616 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7628] ppid=7569 vsize=10819352 memory=140273631888267 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7628/stat : 7628 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851930 11079016448 21679 33554432000 4194304 4196468 140737148997936 139990817020304 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7629] ppid=7569 vsize=10819352 memory=1792 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7629/stat : 7629 (java) S 7569 7572 2275 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 78851930 11079016448 21679 33554432000 4194304 4196468 140737148997936 139990815967504 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7630] ppid=7569 vsize=10819352 memory=6296143700806424935 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7630/stat : 7630 (java) S 7569 7572 2275 0 -1 1077944384 5 13164 0 0 0 0 5 3 20 0 15 0 78851931 11079016448 21679 33554432000 4194304 4196468 140737148997936 139990771342192 139991244667522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7631] ppid=7569 vsize=10819352 memory=8099279071866868837 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7631/stat : 7631 (java) S 7569 7572 2275 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 78851932 11079016448 21679 33554432000 4194304 4196468 140737148997936 139990700910112 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7632] ppid=7569 vsize=10819352 memory=6004820471124940137 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7632/stat : 7632 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851932 11079016448 21679 33554432000 4194304 4196468 140737148997936 139990096930160 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7633] ppid=7569 vsize=10819352 memory=3054156605368933524 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7633/stat : 7633 (java) S 7569 7572 2275 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 78851935 11079016448 21679 33554432000 4194304 4196468 140737148997936 139989789530448 139991244674971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7634] ppid=7569 vsize=10819352 memory=8326441112149131689 CPUtime=0.18 cores=0,2,4,6
/proc/7572/task/7634/stat : 7634 (java) S 7569 7572 2275 0 -1 1077944384 1174 13164 0 0 10 0 5 3 20 0 15 0 78851935 11079016448 21679 33554432000 4194304 4196468 140737148997936 139990770289008 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7635] ppid=7569 vsize=10819352 memory=-7025452035940392864 CPUtime=0.14 cores=0,2,4,6
/proc/7572/task/7635/stat : 7635 (java) S 7569 7572 2275 0 -1 1077944384 287 13164 0 0 6 0 5 3 20 0 15 0 78851935 11079016448 21679 33554432000 4194304 4196468 140737148997936 139990769236208 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7636] ppid=7569 vsize=10819352 memory=6944656592452807326 CPUtime=0.21 cores=0,2,4,6
/proc/7572/task/7636/stat : 7636 (java) R 7569 7572 2275 0 -1 4202560 641 13164 0 0 13 0 5 3 20 0 15 0 78851935 11079016448 21679 33554432000 4194304 4196468 140737148997936 139990667352176 139991223312048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7637] ppid=7569 vsize=10819352 memory=-9178176116494409632 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7637/stat : 7637 (java) S 7569 7572 2275 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 78851935 11079016448 21679 33554432000 4194304 4196468 140737148997936 139989755971808 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7638] ppid=7569 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7638/stat : 7638 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851935 11079016448 21679 33554432000 4194304 4196468 140737148997936 139990666300592 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86460 KiB
[startup+1.50077 s]
/proc/loadavg: 1.80 1.49 1.66 3/219 7638
/proc/meminfo: memFree=22158440/32770624 swapFree=67108860/67108860
[pid=7572] ppid=7569 vsize=10834252 memory=180180 CPUtime=2.43 cores=0,2,4,6
/proc/7572/stat : 7572 (java) S 7569 7572 2275 0 -1 1077944320 24260 13164 0 0 225 10 5 3 20 0 15 0 78851920 11094274048 45045 33554432000 4194304 4196468 140737148997936 140737148980480 139991244656375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
/proc/7572/statm: 2708563 45045 3470 1 0 2670221 0
[pid=7572/tid=7625] ppid=7569 vsize=10834252 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/7572/task/7625/stat : 7625 (java) R 7569 7572 2275 0 -1 4202560 17870 13164 0 0 129 6 5 3 20 0 15 0 78851929 11094274048 45045 33554432000 4194304 4196468 140737148997936 139991216474016 139991228736862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7626] ppid=7569 vsize=10834252 memory=100620 CPUtime=0.09 cores=0,2,4,6
/proc/7572/task/7626/stat : 7626 (java) S 7569 7572 2275 0 -1 1077944384 190 13164 0 0 1 0 5 3 20 0 15 0 78851930 11094274048 45045 33554432000 4194304 4196468 140737148997936 139991248898704 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7627] ppid=7569 vsize=10834252 memory=5790086053191909267 CPUtime=0.09 cores=0,2,4,6
/proc/7572/task/7627/stat : 7627 (java) S 7569 7572 2275 0 -1 1077944384 17 13164 0 0 1 0 5 3 20 0 15 0 78851930 11094274048 45045 33554432000 4194304 4196468 140737148997936 139991172057616 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7628] ppid=7569 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7572/task/7628/stat : 7628 (java) S 7569 7572 2275 0 -1 1077944384 53 13164 0 0 1 0 5 3 20 0 15 0 78851930 11094274048 45045 33554432000 4194304 4196468 140737148997936 139990817020304 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7629] ppid=7569 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7572/task/7629/stat : 7629 (java) S 7569 7572 2275 0 -1 1077944384 34 13164 0 0 1 0 5 3 20 0 15 0 78851930 11094274048 45045 33554432000 4194304 4196468 140737148997936 139990815967504 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7630] ppid=7569 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7572/task/7630/stat : 7630 (java) S 7569 7572 2275 0 -1 1077944384 55 13164 0 0 1 0 5 3 20 0 15 0 78851931 11094274048 45045 33554432000 4194304 4196468 140737148997936 139990771342192 139991244667522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7631] ppid=7569 vsize=10834252 memory=-6221781267475802396 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7631/stat : 7631 (java) S 7569 7572 2275 0 -1 1077944384 14 13164 0 0 0 0 5 3 20 0 15 0 78851932 11094274048 45045 33554432000 4194304 4196468 140737148997936 139990700910176 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7632] ppid=7569 vsize=10834252 memory=4132 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7632/stat : 7632 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851932 11094274048 45045 33554432000 4194304 4196468 140737148997936 139990096930176 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7633] ppid=7569 vsize=10834252 memory=1696 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7633/stat : 7633 (java) S 7569 7572 2275 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 78851935 11094274048 45045 33554432000 4194304 4196468 140737148997936 139989789530448 139991244674971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7634] ppid=7569 vsize=10834252 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/7572/task/7634/stat : 7634 (java) S 7569 7572 2275 0 -1 1077944384 1711 13164 0 0 27 0 5 3 20 0 15 0 78851935 11094274048 45045 33554432000 4194304 4196468 140737148997936 139990770289008 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7635] ppid=7569 vsize=10834252 memory=173040205878253 CPUtime=0.34 cores=0,2,4,6
/proc/7572/task/7635/stat : 7635 (java) S 7569 7572 2275 0 -1 1077944384 853 13164 0 0 26 0 5 3 20 0 15 0 78851935 11094274048 45045 33554432000 4194304 4196468 140737148997936 139990769236208 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7636] ppid=7569 vsize=10834252 memory=23525 CPUtime=0.43 cores=0,2,4,6
/proc/7572/task/7636/stat : 7636 (java) S 7569 7572 2275 0 -1 1077944384 1264 13164 0 0 35 0 5 3 20 0 15 0 78851935 11094274048 45045 33554432000 4194304 4196468 140737148997936 139990667352176 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7637] ppid=7569 vsize=10834252 memory=4638778402628129104 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7637/stat : 7637 (java) S 7569 7572 2275 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 78851935 11094274048 45045 33554432000 4194304 4196468 140737148997936 139989755971808 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7638] ppid=7569 vsize=10834252 memory=6935650355271196736 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7638/stat : 7638 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851935 11094274048 45045 33554432000 4194304 4196468 140737148997936 139990666300592 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 10834252 KiB
Current children cumulated memory: 180180 KiB
[startup+3.11514 s]
/proc/loadavg: 1.80 1.49 1.66 4/219 7638
/proc/meminfo: memFree=22018180/32770624 swapFree=67108860/67108860
[pid=7572] ppid=7569 vsize=10844512 memory=259232 CPUtime=6.28 cores=0,2,4,6
/proc/7572/stat : 7572 (java) S 7569 7572 2275 0 -1 1077944320 39404 13164 0 0 605 15 5 3 20 0 15 0 78851920 11104780288 64808 33554432000 4194304 4196468 140737148997936 140737148980480 139991244656375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
/proc/7572/statm: 2711128 64808 3494 1 0 2672781 0
[pid=7572/tid=7625] ppid=7569 vsize=10844512 memory=235 CPUtime=3.04 cores=0,2,4,6
/proc/7572/task/7625/stat : 7625 (java) R 7569 7572 2275 0 -1 4202560 26831 13164 0 0 287 9 5 3 20 0 15 0 78851929 11104780288 64808 33554432000 4194304 4196468 140737148997936 139991216486976 139991226062674 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7626] ppid=7569 vsize=10844512 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7572/task/7626/stat : 7626 (java) S 7569 7572 2275 0 -1 1077944384 190 13164 0 0 1 0 5 3 20 0 15 0 78851930 11104780288 64808 33554432000 4194304 4196468 140737148997936 139991248898704 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7627] ppid=7569 vsize=10844512 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7572/task/7627/stat : 7627 (java) S 7569 7572 2275 0 -1 1077944384 17 13164 0 0 1 0 5 3 20 0 15 0 78851930 11104780288 64808 33554432000 4194304 4196468 140737148997936 139991172057616 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7628] ppid=7569 vsize=10844512 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7572/task/7628/stat : 7628 (java) S 7569 7572 2275 0 -1 1077944384 53 13164 0 0 1 0 5 3 20 0 15 0 78851930 11104780288 64808 33554432000 4194304 4196468 140737148997936 139990817020304 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7629] ppid=7569 vsize=10844512 memory=8 CPUtime=0.09 cores=0,2,4,6
/proc/7572/task/7629/stat : 7629 (java) S 7569 7572 2275 0 -1 1077944384 34 13164 0 0 1 0 5 3 20 0 15 0 78851930 11104780288 64808 33554432000 4194304 4196468 140737148997936 139990815967504 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7630] ppid=7569 vsize=10844512 memory=8 CPUtime=0.09 cores=0,2,4,6
/proc/7572/task/7630/stat : 7630 (java) S 7569 7572 2275 0 -1 1077944384 55 13164 0 0 1 0 5 3 20 0 15 0 78851931 11104780288 64808 33554432000 4194304 4196468 140737148997936 139990771342192 139991244667522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7631] ppid=7569 vsize=10844512 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7631/stat : 7631 (java) S 7569 7572 2275 0 -1 1077944384 14 13164 0 0 0 0 5 3 20 0 15 0 78851932 11104780288 64808 33554432000 4194304 4196468 140737148997936 139990700910176 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7632] ppid=7569 vsize=10844512 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7632/stat : 7632 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851932 11104780288 64808 33554432000 4194304 4196468 140737148997936 139990096930176 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7633] ppid=7569 vsize=10844512 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7633/stat : 7633 (java) S 7569 7572 2275 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 78851935 11104780288 64808 33554432000 4194304 4196468 140737148997936 139989789530448 139991244674971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7634] ppid=7569 vsize=10844512 memory=8 CPUtime=1.26 cores=0,2,4,6
/proc/7572/task/7634/stat : 7634 (java) R 7569 7572 2275 0 -1 4202560 4825 13164 0 0 118 0 5 3 20 0 15 0 78851935 11104780288 64808 33554432000 4194304 4196468 140737148997936 139990770268880 139991224312896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7635] ppid=7569 vsize=10844512 memory=8 CPUtime=0.93 cores=0,2,4,6
/proc/7572/task/7635/stat : 7635 (java) R 7569 7572 2275 0 -1 4202560 1403 13164 0 0 85 0 5 3 20 0 15 0 78851935 11104780288 64808 33554432000 4194304 4196468 140737148997936 139990769236504 139991229053192 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7636] ppid=7569 vsize=10844512 memory=0 CPUtime=1.16 cores=0,2,4,6
/proc/7572/task/7636/stat : 7636 (java) S 7569 7572 2275 0 -1 1077944384 3782 13164 0 0 106 2 5 3 20 0 15 0 78851935 11104780288 64808 33554432000 4194304 4196468 140737148997936 139990667352176 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7637] ppid=7569 vsize=10844512 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7637/stat : 7637 (java) S 7569 7572 2275 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 78851935 11104780288 64808 33554432000 4194304 4196468 140737148997936 139989755971808 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7638] ppid=7569 vsize=10844512 memory=302022848351043610 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7638/stat : 7638 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851935 11104780288 64808 33554432000 4194304 4196468 140737148997936 139990666300592 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 259232 KiB
[startup+5.14384 s]
# the end of solver process 7572 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.2019 s, system=0.252129 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20087 s]
/proc/loadavg: 1.80 1.49 1.66 4/219 7638
/proc/meminfo: memFree=22018180/32770624 swapFree=67108860/67108860
[pid=7572] ppid=7569 vsize=10844512 memory=279468 CPUtime=6.58 cores=0,2,4,6
/proc/7572/stat : 7572 (java) S 7569 7572 2275 0 -1 1077944320 46051 13164 0 0 634 16 5 3 20 0 15 0 78851920 11104780288 69867 33554432000 4194304 4196468 140737148997936 140737148980480 139991244656375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
/proc/7572/statm: 2711128 69867 3511 1 0 2672781 0
[pid=7572/tid=7625] ppid=7569 vsize=10844512 memory=22648 CPUtime=3.1 cores=0,2,4,6
/proc/7572/task/7625/stat : 7625 (java) S 7569 7572 2275 0 -1 1077944384 29479 13164 0 0 293 9 5 3 20 0 15 0 78851929 11104780288 69867 33554432000 4194304 4196468 140737148997936 139991216483568 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7626] ppid=7569 vsize=10844512 memory=139334420 CPUtime=0.1 cores=0,2,4,6
/proc/7572/task/7626/stat : 7626 (java) S 7569 7572 2275 0 -1 1077944384 224 13164 0 0 2 0 5 3 20 0 15 0 78851930 11104780288 69867 33554432000 4194304 4196468 140737148997936 139991248898704 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7627] ppid=7569 vsize=10844512 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/7572/task/7627/stat : 7627 (java) S 7569 7572 2275 0 -1 1077944384 247 13164 0 0 2 0 5 3 20 0 15 0 78851930 11104780288 69867 33554432000 4194304 4196468 140737148997936 139991172057616 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7628] ppid=7569 vsize=10844512 memory=280539211513440 CPUtime=0.1 cores=0,2,4,6
/proc/7572/task/7628/stat : 7628 (java) S 7569 7572 2275 0 -1 1077944384 580 13164 0 0 2 0 5 3 20 0 15 0 78851930 11104780288 69867 33554432000 4194304 4196468 140737148997936 139990817020304 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7629] ppid=7569 vsize=10844512 memory=140269605754917 CPUtime=0.1 cores=0,2,4,6
/proc/7572/task/7629/stat : 7629 (java) S 7569 7572 2275 0 -1 1077944384 70 13164 0 0 2 0 5 3 20 0 15 0 78851930 11104780288 69867 33554432000 4194304 4196468 140737148997936 139990815967504 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7630] ppid=7569 vsize=10844512 memory=140269605757222 CPUtime=0.1 cores=0,2,4,6
/proc/7572/task/7630/stat : 7630 (java) R 7569 7572 2275 0 -1 4202560 1034 13164 0 0 2 0 5 3 20 0 15 0 78851931 11104780288 69867 33554432000 4194304 4196468 140737148997936 139990771340480 139991229024031 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7631] ppid=7569 vsize=10844512 memory=280539211117416 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7631/stat : 7631 (java) S 7569 7572 2275 0 -1 1077944384 14 13164 0 0 0 0 5 3 20 0 15 0 78851932 11104780288 69867 33554432000 4194304 4196468 140737148997936 139990700910176 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7632] ppid=7569 vsize=10844512 memory=280539211508720 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7632/stat : 7632 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851932 11104780288 69867 33554432000 4194304 4196468 140737148997936 139990096930176 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7633] ppid=7569 vsize=10844512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7633/stat : 7633 (java) S 7569 7572 2275 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 78851935 11104780288 69867 33554432000 4194304 4196468 140737148997936 139989789530448 139991244674971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7634] ppid=7569 vsize=10844512 memory=0 CPUtime=1.33 cores=0,2,4,6
/proc/7572/task/7634/stat : 7634 (java) S 7569 7572 2275 0 -1 1077944384 5619 13164 0 0 125 0 5 3 20 0 15 0 78851935 11104780288 69867 33554432000 4194304 4196468 140737148997936 139990770274416 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7635] ppid=7569 vsize=10844512 memory=0 CPUtime=1 cores=0,2,4,6
/proc/7572/task/7635/stat : 7635 (java) S 7569 7572 2275 0 -1 1077944384 2522 13164 0 0 91 1 5 3 20 0 15 0 78851935 11104780288 69867 33554432000 4194304 4196468 140737148997936 139990769216272 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7636] ppid=7569 vsize=10844512 memory=6872598998417432672 CPUtime=1.21 cores=0,2,4,6
/proc/7572/task/7636/stat : 7636 (java) S 7569 7572 2275 0 -1 1077944384 4085 13164 0 0 111 2 5 3 20 0 15 0 78851935 11104780288 69867 33554432000 4194304 4196468 140737148997936 139990667352176 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7637] ppid=7569 vsize=10844512 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7637/stat : 7637 (java) S 7569 7572 2275 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 78851935 11104780288 69867 33554432000 4194304 4196468 140737148997936 139989755971808 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7638] ppid=7569 vsize=10844512 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7638/stat : 7638 (java) S 7569 7572 2275 0 -1 1077944384 7 13164 0 0 0 0 5 3 20 0 15 0 78851935 11104780288 69867 33554432000 4194304 4196468 140737148997936 139990666300592 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
Current children cumulated CPU time: 6.58 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 279468 KiB
[startup+4.00914 s]*
/proc/loadavg: 1.98 1.53 1.67 5/219 7638
/proc/meminfo: memFree=21942512/32770624 swapFree=67108860/67108860
[pid=7572] ppid=7569 vsize=10916768 memory=327180 CPUtime=8.97 cores=0,2,4,6
/proc/7572/stat : 7572 (java) S 7569 7572 2275 0 -1 1077944320 69060 13164 0 0 870 19 5 3 20 0 15 0 78851920 11178770432 81795 33554432000 4194304 4196468 140737148997936 140737148980480 139991244656375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
/proc/7572/statm: 2729192 81795 3514 1 0 2690845 0
[pid=7572/tid=7625] ppid=7569 vsize=10916768 memory=-2899909650764262549 CPUtime=3.89 cores=0,2,4,6
/proc/7572/task/7625/stat : 7625 (java) R 7569 7572 2275 0 -1 4202560 43688 13164 0 0 370 11 5 3 20 0 15 0 78851929 11178770432 81795 33554432000 4194304 4196468 140737148997936 139991216482944 139990860371335 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7626] ppid=7569 vsize=10916768 memory=4211973995942215050 CPUtime=0.11 cores=0,2,4,6
/proc/7572/task/7626/stat : 7626 (java) S 7569 7572 2275 0 -1 1077944384 226 13164 0 0 3 0 5 3 20 0 15 0 78851930 11178770432 81795 33554432000 4194304 4196468 140737148997936 139991248898704 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7627] ppid=7569 vsize=10916768 memory=665060393156906122 CPUtime=0.11 cores=0,2,4,6
/proc/7572/task/7627/stat : 7627 (java) S 7569 7572 2275 0 -1 1077944384 247 13164 0 0 3 0 5 3 20 0 15 0 78851930 11178770432 81795 33554432000 4194304 4196468 140737148997936 139991172057616 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7628] ppid=7569 vsize=10916768 memory=7450196645811737697 CPUtime=0.11 cores=0,2,4,6
/proc/7572/task/7628/stat : 7628 (java) S 7569 7572 2275 0 -1 1077944384 580 13164 0 0 3 0 5 3 20 0 15 0 78851930 11178770432 81795 33554432000 4194304 4196468 140737148997936 139990817020304 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7629] ppid=7569 vsize=10916768 memory=7521121785502524521 CPUtime=0.11 cores=0,2,4,6
/proc/7572/task/7629/stat : 7629 (java) S 7569 7572 2275 0 -1 1077944384 70 13164 0 0 3 0 5 3 20 0 15 0 78851930 11178770432 81795 33554432000 4194304 4196468 140737148997936 139990815967504 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7630] ppid=7569 vsize=10916768 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/7572/task/7630/stat : 7630 (java) S 7569 7572 2275 0 -1 1077944384 4890 13164 0 0 3 0 5 3 20 0 15 0 78851931 11178770432 81795 33554432000 4194304 4196468 140737148997936 139990771342192 139991244667522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7631] ppid=7569 vsize=10916768 memory=3905241247143829555 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7631/stat : 7631 (java) S 7569 7572 2275 0 -1 1077944384 14 13164 0 0 0 0 5 3 20 0 15 0 78851932 11178770432 81795 33554432000 4194304 4196468 140737148997936 139990700910176 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7632] ppid=7569 vsize=10916768 memory=7741803678089372268 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7632/stat : 7632 (java) S 7569 7572 2275 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 78851932 11178770432 81795 33554432000 4194304 4196468 140737148997936 139990096930176 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7633] ppid=7569 vsize=10916768 memory=7523376918531162212 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7633/stat : 7633 (java) S 7569 7572 2275 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 78851935 11178770432 81795 33554432000 4194304 4196468 140737148997936 139989789530448 139991244674971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7634] ppid=7569 vsize=10916768 memory=0 CPUtime=2.03 cores=0,2,4,6
/proc/7572/task/7634/stat : 7634 (java) R 7569 7572 2275 0 -1 4202560 8390 13164 0 0 194 1 5 3 20 0 15 0 78851935 11178770432 81795 33554432000 4194304 4196468 140737148997936 139990770274984 139991226200559 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7635] ppid=7569 vsize=10916768 memory=139638147653684 CPUtime=1.59 cores=0,2,4,6
/proc/7572/task/7635/stat : 7635 (java) R 7569 7572 2275 0 -1 4202560 4003 13164 0 0 150 1 5 3 20 0 15 0 78851935 11178770432 81795 33554432000 4194304 4196468 140737148997936 139990769224448 139991228041384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7636] ppid=7569 vsize=10916768 memory=280539474847808 CPUtime=1.46 cores=0,2,4,6
/proc/7572/task/7636/stat : 7636 (java) R 7569 7572 2275 0 -1 1077944384 4746 13164 0 0 136 2 5 3 20 0 15 0 78851935 11178770432 81795 33554432000 4194304 4196468 140737148997936 139990667352176 139991244667522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7637] ppid=7569 vsize=10916768 memory=4121416120939984434 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7637/stat : 7637 (java) S 7569 7572 2275 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 78851935 11178770432 81795 33554432000 4194304 4196468 140737148997936 139989755971808 139991244666581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
[pid=7572/tid=7638] ppid=7569 vsize=10916768 memory=3472478478766860727 CPUtime=0.08 cores=0,2,4,6
/proc/7572/task/7638/stat : 7638 (java) S 7569 7572 2275 0 -1 1077944384 7 13164 0 0 0 0 5 3 20 0 15 0 78851935 11178770432 81795 33554432000 4194304 4196468 140737148997936 139990666300592 139991244667522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19001344 140737148999851 140737149003100 140737149003100 140737149005775 0
Current children cumulated CPU time: 8.97 s
Current children cumulated vsize: 10916768 KiB
Current children cumulated memory: 327180 KiB
[startup+4.80016 s]
/proc/loadavg: 1.98 1.53 1.67 2/206 7639
/proc/meminfo: memFree=22241300/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+5.00016 s]*
/proc/loadavg: 1.98 1.53 1.67 2/206 7639
/proc/meminfo: memFree=22253172/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+5.10971 s]
/proc/loadavg: 1.98 1.53 1.67 2/206 7639
/proc/meminfo: memFree=22253172/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 5.14389
CPU time (s): 10.454
CPU user time (s): 10.2019
CPU system time (s): 0.252129
CPU usage (%): 203.231
Max. virtual memory (cumulated for all children) (KiB): 10916780
Max. memory (cumulated for all children) (KiB): 328340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2019
system time used= 0.252129
maximum resident set size= 329340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84275
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6320
involuntary context switches= 65
# summary of solver processes directly reported to runsolver:
# pid: 7572
# total CPU time (s): 10.454
# total CPU user time (s): 10.2019
# total CPU system time (s): 0.252129
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051338 second user time and 0.095342 second system time
The end