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 (13539 MiB free)
memory of node 1: 16384 MiB (10461 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307670-1534258055/watcher-4307670-1534258055 -o /tmp/evaluation-result-4307670-1534258055/solver-4307670-1534258055 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534258053-18502 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 714878160 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307670-1534258055.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=18533, runsolver pid=18527
[startup+0.100141 s]*
/proc/loadavg: 0.08 0.03 0.05 2/189 18535
/proc/meminfo: memFree=24576200/32770624 swapFree=67108796/67108860
[pid=18533] ppid=18527 vsize=10648 memory=600 CPUtime=0 cores=0,2,4,6
/proc/18533/stat : 18533 (java) D 18527 18533 18471 0 -1 1077944320 328 0 0 0 0 0 0 0 20 0 1 0 243368870 10903552 150 33554432000 4194304 4196468 140729404882208 140729404860408 139978896239120 0 0 4096 0 18446744072101629476 0 0 17 0 0 0 1 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
/proc/18533/statm: 2662 150 119 1 0 84 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 10648 KiB
Current children cumulated memory: 600 KiB
[startup+0.209438 s]*
/proc/loadavg: 0.08 0.03 0.05 2/191 18537
/proc/meminfo: memFree=24574092/32770624 swapFree=67108796/67108860
[pid=18533] ppid=18527 vsize=103032 memory=4844 CPUtime=0 cores=0,2,4,6
/proc/18533/stat : 18533 (java) S 18527 18533 18471 0 -1 1077944320 1450 0 0 0 0 0 0 0 20 0 2 0 243368870 105504768 1211 33554432000 4194304 4196468 140729404882208 140729404864752 139978903559927 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
/proc/18533/statm: 25758 1211 892 1 0 16800 0
[pid=18533/tid=18537] ppid=18527 vsize=103032 memory=4871374705135476842 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18537/stat : 18537 (java) D 18527 18533 18471 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 2 0 243368886 105504768 1211 33554432000 4194304 4196468 140729404882208 139978907793432 139978896237941 0 0 4096 0 18446744072101629476 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 103032 KiB
Current children cumulated memory: 4844 KiB
[startup+0.309678 s]*
/proc/loadavg: 0.08 0.03 0.05 3/191 18537
/proc/meminfo: memFree=24572044/32770624 swapFree=67108796/67108860
[pid=18533] ppid=18527 vsize=13360588 memory=11384 CPUtime=0 cores=0,2,4,6
/proc/18533/stat : 18533 (java) S 18527 18533 18471 0 -1 1077944320 2618 0 0 0 0 0 0 0 20 0 6 0 243368870 13681242112 2846 33554432000 4194304 4196468 140729404882208 140729404864752 139978903559927 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
/proc/18533/statm: 3340147 2846 1345 1 0 3329058 0
[pid=18533/tid=18537] ppid=18527 vsize=13360588 memory=288355116380323867 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18537/stat : 18537 (java) D 18527 18533 18471 0 -1 1077944384 1300 0 0 0 0 0 0 0 20 0 6 0 243368886 13681242112 2846 33554432000 4194304 4196468 140729404882208 139978907796048 139978903583805 0 4 0 16784584 18446744072101629476 0 0 -1 0 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18542] ppid=18527 vsize=13360588 memory=288230604657655831 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18542/stat : 18542 (java) S 18527 18533 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 243368902 13681242112 2846 33554432000 4194304 4196468 140729404882208 139978833648144 139978903570133 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18543] ppid=18527 vsize=13360588 memory=139629239812610 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18543/stat : 18543 (java) S 18527 18533 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 243368902 13681242112 2846 33554432000 4194304 4196468 140729404882208 139978832595600 139978903570133 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18544] ppid=18527 vsize=13360588 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18544/stat : 18544 (java) S 18527 18533 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 243368902 13681242112 2846 33554432000 4194304 4196468 140729404882208 139978831542544 139978903570133 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18545] ppid=18527 vsize=13360588 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18545/stat : 18545 (java) S 18527 18533 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 243368902 13681242112 2846 33554432000 4194304 4196468 140729404882208 139978830490000 139978903570133 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13360588 KiB
Current children cumulated memory: 11384 KiB
[startup+0.700525 s]
/proc/loadavg: 0.08 0.03 0.05 2/205 18551
/proc/meminfo: memFree=24554672/32770624 swapFree=67108796/67108860
[pid=18533] ppid=18527 vsize=14082736 memory=24984 CPUtime=0.08 cores=0,2,4,6
/proc/18533/stat : 18533 (java) S 18527 18533 18471 0 -1 1077944320 6166 0 0 0 6 2 0 0 20 0 15 0 243368870 14420721664 6246 33554432000 4194304 4196468 140729404882208 140729404864752 139978903559927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
/proc/18533/statm: 3520684 6246 3111 1 0 3482761 0
[pid=18533/tid=18537] ppid=18527 vsize=14082736 memory=65900 CPUtime=0.06 cores=0,2,4,6
/proc/18533/task/18537/stat : 18537 (java) R 18527 18533 18471 0 -1 4202560 4264 0 0 0 5 1 0 0 20 0 15 0 243368886 14420721664 6246 33554432000 4194304 4196468 140729404882208 139978907785616 139978903581853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18542] ppid=18527 vsize=14082736 memory=279258237463136 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18542/stat : 18542 (java) S 18527 18533 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368902 14420721664 6246 33554432000 4194304 4196468 140729404882208 139978833648144 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18543] ppid=18527 vsize=14082736 memory=279258237467584 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18543/stat : 18543 (java) S 18527 18533 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368902 14420721664 6246 33554432000 4194304 4196468 140729404882208 139978832595600 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18544] ppid=18527 vsize=14082736 memory=139629118738368 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18544/stat : 18544 (java) S 18527 18533 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368902 14420721664 6246 33554432000 4194304 4196468 140729404882208 139978831542544 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18545] ppid=18527 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18545/stat : 18545 (java) S 18527 18533 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368902 14420721664 6246 33554432000 4194304 4196468 140729404882208 139978830490000 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18547] ppid=18527 vsize=14082736 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18547/stat : 18547 (java) S 18527 18533 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368905 14420721664 6246 33554432000 4194304 4196468 140729404882208 139978377493232 139978903571074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18549] ppid=18527 vsize=14082736 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18549/stat : 18549 (java) S 18527 18533 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243368905 14420721664 6246 33554432000 4194304 4196468 140729404882208 139978376439456 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18551] ppid=18527 vsize=14082736 memory=3632 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18551/stat : 18551 (java) S 18527 18533 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243368905 14420721664 6246 33554432000 4194304 4196468 140729404882208 139978375386352 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 24984 KiB
[startup+1.50082 s]
/proc/loadavg: 0.08 0.03 0.05 5/217 18563
/proc/meminfo: memFree=24501704/32770624 swapFree=67108796/67108860
[pid=18533] ppid=18527 vsize=14084804 memory=88908 CPUtime=1.03 cores=0,2,4,6
/proc/18533/stat : 18533 (java) S 18527 18533 18471 0 -1 1077944320 17635 0 0 0 97 6 0 0 20 0 15 0 243368870 14422839296 22227 33554432000 4194304 4196468 140729404882208 140729404864752 139978903559927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
/proc/18533/statm: 3521201 22227 3495 1 0 3483273 0
[pid=18533/tid=18537] ppid=18527 vsize=14084804 memory=75572 CPUtime=0.7 cores=0,2,4,6
/proc/18533/task/18537/stat : 18537 (java) D 18527 18533 18471 0 -1 4202560 14919 0 0 0 65 5 0 0 20 0 15 0 243368886 14422839296 22227 33554432000 4194304 4196468 140729404882208 139978907798288 139978903581853 0 4 0 16800975 18446744072099916933 0 0 -1 0 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18542] ppid=18527 vsize=14084804 memory=24984 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18542/stat : 18542 (java) S 18527 18533 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368902 14422839296 22227 33554432000 4194304 4196468 140729404882208 139978833648144 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18543] ppid=18527 vsize=14084804 memory=65900 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18543/stat : 18543 (java) S 18527 18533 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368902 14422839296 22227 33554432000 4194304 4196468 140729404882208 139978832595600 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18544] ppid=18527 vsize=14084804 memory=65900 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18544/stat : 18544 (java) S 18527 18533 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368902 14422839296 22227 33554432000 4194304 4196468 140729404882208 139978831542544 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18545] ppid=18527 vsize=14084804 memory=2056 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18545/stat : 18545 (java) S 18527 18533 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368902 14422839296 22227 33554432000 4194304 4196468 140729404882208 139978830490000 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18547] ppid=18527 vsize=14084804 memory=932 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18547/stat : 18547 (java) S 18527 18533 18471 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243368905 14422839296 22227 33554432000 4194304 4196468 140729404882208 139978377493232 139978903571074 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18549] ppid=18527 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18549/stat : 18549 (java) S 18527 18533 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243368905 14422839296 22227 33554432000 4194304 4196468 140729404882208 139978376439456 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18551] ppid=18527 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18551/stat : 18551 (java) S 18527 18533 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243368905 14422839296 22227 33554432000 4194304 4196468 140729404882208 139978375386352 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18556] ppid=18527 vsize=14084804 memory=3184237549194361984 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18556/stat : 18556 (java) S 18527 18533 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368925 14422839296 22227 33554432000 4194304 4196468 140729404882208 139978374334928 139978903578523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18557] ppid=18527 vsize=14084804 memory=6656426216303648864 CPUtime=0.05 cores=0,2,4,6
/proc/18533/task/18557/stat : 18557 (java) S 18527 18533 18471 0 -1 1077944384 676 0 0 0 5 0 0 0 20 0 15 0 243368925 14422839296 22227 33554432000 4194304 4196468 140729404882208 139978373282032 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18558] ppid=18527 vsize=14084804 memory=279258236795520 CPUtime=0.09 cores=0,2,4,6
/proc/18533/task/18558/stat : 18558 (java) S 18527 18533 18471 0 -1 1077944384 245 0 0 0 9 0 0 0 20 0 15 0 243368925 14422839296 22227 33554432000 4194304 4196468 140729404882208 139978372229488 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18559] ppid=18527 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/18533/task/18559/stat : 18559 (java) S 18527 18533 18471 0 -1 1077944384 411 0 0 0 15 0 0 0 20 0 15 0 243368925 14422839296 22227 33554432000 4194304 4196468 140729404882208 139978371176432 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18561] ppid=18527 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18561/stat : 18561 (java) S 18527 18533 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368926 14422839296 22227 33554432000 4194304 4196468 140729404882208 139978370124128 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18562] ppid=18527 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18562/stat : 18562 (java) S 18527 18533 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368935 14422839296 22227 33554432000 4194304 4196468 140729404882208 139978369072176 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88908 KiB
[startup+3.11063 s]
/proc/loadavg: 0.32 0.08 0.07 7/216 18593
/proc/meminfo: memFree=24421844/32770624 swapFree=67108796/67108860
[pid=18533] ppid=18527 vsize=14090948 memory=160860 CPUtime=3.33 cores=0,2,4,6
/proc/18533/stat : 18533 (java) S 18527 18533 18471 0 -1 1077944320 29172 0 0 0 323 10 0 0 20 0 15 0 243368870 14429130752 40215 33554432000 4194304 4196468 140729404882208 140729404864752 139978903559927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
/proc/18533/statm: 3522737 40215 3550 1 0 3484809 0
[pid=18533/tid=18537] ppid=18527 vsize=14090948 memory=0 CPUtime=1.63 cores=0,2,4,6
/proc/18533/task/18537/stat : 18537 (java) R 18527 18533 18471 0 -1 4202560 19923 0 0 0 157 6 0 0 20 0 15 0 243368886 14429130752 40215 33554432000 4194304 4196468 140729404882208 139978907794872 139978508680711 0 4 0 16800975 0 0 0 -1 0 0 0 70 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18542] ppid=18527 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18542/stat : 18542 (java) S 18527 18533 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368902 14429130752 40215 33554432000 4194304 4196468 140729404882208 139978833648144 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18543] ppid=18527 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18543/stat : 18543 (java) S 18527 18533 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368902 14429130752 40215 33554432000 4194304 4196468 140729404882208 139978832595600 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18544] ppid=18527 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18544/stat : 18544 (java) S 18527 18533 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368902 14429130752 40215 33554432000 4194304 4196468 140729404882208 139978831542544 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18545] ppid=18527 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18545/stat : 18545 (java) S 18527 18533 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368902 14429130752 40215 33554432000 4194304 4196468 140729404882208 139978830490000 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18547] ppid=18527 vsize=14090948 memory=9182 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18547/stat : 18547 (java) S 18527 18533 18471 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 243368905 14429130752 40215 33554432000 4194304 4196468 140729404882208 139978377493232 139978903571074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18549] ppid=18527 vsize=14090948 memory=3088 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18549/stat : 18549 (java) S 18527 18533 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243368905 14429130752 40215 33554432000 4194304 4196468 140729404882208 139978376439456 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18551] ppid=18527 vsize=14090948 memory=920 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18551/stat : 18551 (java) S 18527 18533 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243368905 14429130752 40215 33554432000 4194304 4196468 140729404882208 139978375386352 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18556] ppid=18527 vsize=14090948 memory=3796 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18556/stat : 18556 (java) S 18527 18533 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368925 14429130752 40215 33554432000 4194304 4196468 140729404882208 139978374334928 139978903578523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18557] ppid=18527 vsize=14090948 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/18533/task/18557/stat : 18557 (java) R 18527 18533 18471 0 -1 4202560 3286 0 0 0 57 2 0 0 20 0 15 0 243368925 14429130752 40215 33554432000 4194304 4196468 140729404882208 139978373281208 139978881410113 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18558] ppid=18527 vsize=14090948 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/18533/task/18558/stat : 18558 (java) R 18527 18533 18471 0 -1 4202560 2046 0 0 0 60 0 0 0 20 0 15 0 243368925 14429130752 40215 33554432000 4194304 4196468 140729404882208 139978372216928 139978885104086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18559] ppid=18527 vsize=14090948 memory=3184237549194609632 CPUtime=0.48 cores=0,2,4,6
/proc/18533/task/18559/stat : 18559 (java) S 18527 18533 18471 0 -1 1077944384 2492 0 0 0 48 0 0 0 20 0 15 0 243368925 14429130752 40215 33554432000 4194304 4196468 140729404882208 139978371176432 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18561] ppid=18527 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18561/stat : 18561 (java) S 18527 18533 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368926 14429130752 40215 33554432000 4194304 4196468 140729404882208 139978370124128 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18562] ppid=18527 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18562/stat : 18562 (java) S 18527 18533 18471 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 243368935 14429130752 40215 33554432000 4194304 4196468 140729404882208 139978369072176 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
Current children cumulated CPU time: 3.33 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 160860 KiB
[startup+6.30084 s]
/proc/loadavg: 0.32 0.08 0.07 8/217 18639
/proc/meminfo: memFree=24047684/32770624 swapFree=67108796/67108860
[pid=18533] ppid=18527 vsize=14090948 memory=231804 CPUtime=8.16 cores=0,2,4,6
/proc/18533/stat : 18533 (java) S 18527 18533 18471 0 -1 1077944320 34647 0 0 0 803 13 0 0 20 0 15 0 243368870 14429130752 57951 33554432000 4194304 4196468 140729404882208 140729404864752 139978903559927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
/proc/18533/statm: 3522737 57951 3578 1 0 3484809 0
[pid=18533/tid=18537] ppid=18527 vsize=14090948 memory=231804 CPUtime=4.79 cores=0,2,4,6
/proc/18533/task/18537/stat : 18537 (java) R 18527 18533 18471 0 -1 4202560 20091 0 0 0 472 7 0 0 20 0 15 0 243368886 14429130752 57951 33554432000 4194304 4196468 140729404882208 139978907798064 139978510076346 0 4 0 16800975 0 0 0 -1 2 0 0 70 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18542] ppid=18527 vsize=14090948 memory=56 CPUtime=0.01 cores=0,2,4,6
/proc/18533/task/18542/stat : 18542 (java) S 18527 18533 18471 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 15 0 243368902 14429130752 57951 33554432000 4194304 4196468 140729404882208 139978833648144 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18543] ppid=18527 vsize=14090948 memory=6944656575208382560 CPUtime=0.01 cores=0,2,4,6
/proc/18533/task/18543/stat : 18543 (java) S 18527 18533 18471 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 15 0 243368902 14429130752 57951 33554432000 4194304 4196468 140729404882208 139978832595600 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18544] ppid=18527 vsize=14090948 memory=7305485535250964581 CPUtime=0.01 cores=0,2,4,6
/proc/18533/task/18544/stat : 18544 (java) S 18527 18533 18471 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 243368902 14429130752 57951 33554432000 4194304 4196468 140729404882208 139978831542544 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18545] ppid=18527 vsize=14090948 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18533/task/18545/stat : 18545 (java) S 18527 18533 18471 0 -1 1077944384 308 0 0 0 1 0 0 0 20 0 15 0 243368902 14429130752 57951 33554432000 4194304 4196468 140729404882208 139978830490000 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18547] ppid=18527 vsize=14090948 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18547/stat : 18547 (java) S 18527 18533 18471 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 243368905 14429130752 57951 33554432000 4194304 4196468 140729404882208 139978377493232 139978903571074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18549] ppid=18527 vsize=14090948 memory=56 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18549/stat : 18549 (java) S 18527 18533 18471 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 243368905 14429130752 57951 33554432000 4194304 4196468 140729404882208 139978376439520 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18551] ppid=18527 vsize=14090948 memory=7309175535011130674 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18551/stat : 18551 (java) S 18527 18533 18471 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 243368905 14429130752 57951 33554432000 4194304 4196468 140729404882208 139978375386368 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18556] ppid=18527 vsize=14090948 memory=8027785518184754021 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18556/stat : 18556 (java) S 18527 18533 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368925 14429130752 57951 33554432000 4194304 4196468 140729404882208 139978374334928 139978903578523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18557] ppid=18527 vsize=14090948 memory=0 CPUtime=1.11 cores=0,2,4,6
/proc/18533/task/18557/stat : 18557 (java) S 18527 18533 18471 0 -1 1077944384 3924 0 0 0 109 2 0 0 20 0 15 0 243368925 14429130752 57951 33554432000 4194304 4196468 140729404882208 139978373282032 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
################
# More data... #
################
/proc/18533/task/18537/stat : 18537 (java) R 18527 18533 18471 0 -1 4202560 48772 0 0 0 229845 30 0 0 20 0 15 0 243368886 14429130752 115530 33554432000 4194304 4196468 140729404882208 139978907798176 139978508788694 0 4 0 16800975 0 0 0 -1 0 0 0 70 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18542] ppid=18527 vsize=14090948 memory=460072 CPUtime=11.24 cores=0,2,4,6
/proc/18533/task/18542/stat : 18542 (java) S 18527 18533 18471 0 -1 1077944384 5265 0 0 0 1071 53 0 0 20 0 15 0 243368902 14429130752 115530 33554432000 4194304 4196468 140729404882208 139978833648144 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18543] ppid=18527 vsize=14090948 memory=460072 CPUtime=11.33 cores=0,2,4,6
/proc/18533/task/18543/stat : 18543 (java) S 18527 18533 18471 0 -1 1077944384 8133 0 0 0 1074 59 0 0 20 0 15 0 243368902 14429130752 115530 33554432000 4194304 4196468 140729404882208 139978832595600 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18544] ppid=18527 vsize=14090948 memory=460072 CPUtime=11.27 cores=0,2,4,6
/proc/18533/task/18544/stat : 18544 (java) S 18527 18533 18471 0 -1 1077944384 6729 0 0 0 1077 50 0 0 20 0 15 0 243368902 14429130752 115530 33554432000 4194304 4196468 140729404882208 139978831542544 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18545] ppid=18527 vsize=14090948 memory=458024 CPUtime=11.28 cores=0,2,4,6
/proc/18533/task/18545/stat : 18545 (java) S 18527 18533 18471 0 -1 1077944384 7386 0 0 0 1074 54 0 0 20 0 15 0 243368902 14429130752 115530 33554432000 4194304 4196468 140729404882208 139978830490000 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18547] ppid=18527 vsize=14090948 memory=3632 CPUtime=7.87 cores=0,2,4,6
/proc/18533/task/18547/stat : 18547 (java) S 18527 18533 18471 0 -1 1077944384 7149 0 0 0 733 54 0 0 20 0 15 0 243368905 14429130752 115530 33554432000 4194304 4196468 140729404882208 139978377493232 139978903571074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18549] ppid=18527 vsize=14090948 memory=65976 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18549/stat : 18549 (java) S 18527 18533 18471 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 243368905 14429130752 115530 33554432000 4194304 4196468 140729404882208 139978376439520 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18551] ppid=18527 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18551/stat : 18551 (java) S 18527 18533 18471 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 243368905 14429130752 115530 33554432000 4194304 4196468 140729404882208 139978375386368 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18556] ppid=18527 vsize=14090948 memory=1080 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18556/stat : 18556 (java) S 18527 18533 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368925 14429130752 115530 33554432000 4194304 4196468 140729404882208 139978374334928 139978903578523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18557] ppid=18527 vsize=14090948 memory=41296 CPUtime=1.2 cores=0,2,4,6
/proc/18533/task/18557/stat : 18557 (java) S 18527 18533 18471 0 -1 1077944384 6099 0 0 0 117 3 0 0 20 0 15 0 243368925 14429130752 115530 33554432000 4194304 4196468 140729404882208 139978373282032 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18558] ppid=18527 vsize=14090948 memory=15116 CPUtime=1.69 cores=0,2,4,6
/proc/18533/task/18558/stat : 18558 (java) S 18527 18533 18471 0 -1 1077944384 7508 0 0 0 167 2 0 0 20 0 15 0 243368925 14429130752 115530 33554432000 4194304 4196468 140729404882208 139978372229488 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18559] ppid=18527 vsize=14090948 memory=1408 CPUtime=0.56 cores=0,2,4,6
/proc/18533/task/18559/stat : 18559 (java) S 18527 18533 18471 0 -1 1077944384 5117 0 0 0 55 1 0 0 20 0 15 0 243368925 14429130752 115530 33554432000 4194304 4196468 140729404882208 139978371176432 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18561] ppid=18527 vsize=14090948 memory=3216 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18561/stat : 18561 (java) S 18527 18533 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368926 14429130752 115530 33554432000 4194304 4196468 140729404882208 139978370124128 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18562] ppid=18527 vsize=14090948 memory=460072 CPUtime=1.29 cores=0,2,4,6
/proc/18533/task/18562/stat : 18562 (java) S 18527 18533 18471 0 -1 1077944384 1093 0 0 0 67 62 0 0 20 0 15 0 243368935 14429130752 115530 33554432000 4194304 4196468 140729404882208 139978369072176 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
Current children cumulated CPU time: 2356.59 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 462120 KiB
[startup+2382.3 s]
/proc/loadavg: 1.53 1.32 1.21 3/215 18733
/proc/meminfo: memFree=23128792/32770624 swapFree=67108796/67108860
[pid=18533] ppid=18527 vsize=14090948 memory=468264 CPUtime=2417.76 cores=0,2,4,6
/proc/18533/stat : 18533 (java) S 18527 18533 18471 0 -1 1077944320 105803 0 0 0 241459 317 0 0 20 0 15 0 243368870 14429130752 117066 33554432000 4194304 4196468 140729404882208 140729404864752 139978903559927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
/proc/18533/statm: 3522737 117066 3581 1 0 3484809 0
[pid=18533/tid=18537] ppid=18527 vsize=14090948 memory=468264 CPUtime=2358.08 cores=0,2,4,6
/proc/18533/task/18537/stat : 18537 (java) R 18527 18533 18471 0 -1 4202560 49233 0 0 0 235778 30 0 0 20 0 15 0 243368886 14429130752 117066 33554432000 4194304 4196468 140729404882208 139978907798176 139978509305522 0 4 0 16800975 0 0 0 -1 4 0 0 70 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18542] ppid=18527 vsize=14090948 memory=468264 CPUtime=11.65 cores=0,2,4,6
/proc/18533/task/18542/stat : 18542 (java) S 18527 18533 18471 0 -1 1077944384 5437 0 0 0 1110 55 0 0 20 0 15 0 243368902 14429130752 117066 33554432000 4194304 4196468 140729404882208 139978833648144 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18543] ppid=18527 vsize=14090948 memory=464168 CPUtime=11.73 cores=0,2,4,6
/proc/18533/task/18543/stat : 18543 (java) S 18527 18533 18471 0 -1 1077944384 8217 0 0 0 1113 60 0 0 20 0 15 0 243368902 14429130752 117066 33554432000 4194304 4196468 140729404882208 139978832595600 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18544] ppid=18527 vsize=14090948 memory=6791534058613427641 CPUtime=11.67 cores=0,2,4,6
/proc/18533/task/18544/stat : 18544 (java) S 18527 18533 18471 0 -1 1077944384 6855 0 0 0 1115 52 0 0 20 0 15 0 243368902 14429130752 117066 33554432000 4194304 4196468 140729404882208 139978831542544 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18545] ppid=18527 vsize=14090948 memory=468264 CPUtime=11.69 cores=0,2,4,6
/proc/18533/task/18545/stat : 18545 (java) S 18527 18533 18471 0 -1 1077944384 7496 0 0 0 1113 56 0 0 20 0 15 0 243368902 14429130752 117066 33554432000 4194304 4196468 140729404882208 139978830490000 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18547] ppid=18527 vsize=14090948 memory=466216 CPUtime=8.08 cores=0,2,4,6
/proc/18533/task/18547/stat : 18547 (java) S 18527 18533 18471 0 -1 1077944384 7306 0 0 0 752 56 0 0 20 0 15 0 243368905 14429130752 117066 33554432000 4194304 4196468 140729404882208 139978377493232 139978903571074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18549] ppid=18527 vsize=14090948 memory=466216 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18549/stat : 18549 (java) S 18527 18533 18471 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 243368905 14429130752 117066 33554432000 4194304 4196468 140729404882208 139978376439520 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18551] ppid=18527 vsize=14090948 memory=468264 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18551/stat : 18551 (java) S 18527 18533 18471 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 243368905 14429130752 117066 33554432000 4194304 4196468 140729404882208 139978375386368 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18556] ppid=18527 vsize=14090948 memory=468264 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18556/stat : 18556 (java) S 18527 18533 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368925 14429130752 117066 33554432000 4194304 4196468 140729404882208 139978374334928 139978903578523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18557] ppid=18527 vsize=14090948 memory=468264 CPUtime=1.2 cores=0,2,4,6
/proc/18533/task/18557/stat : 18557 (java) S 18527 18533 18471 0 -1 1077944384 6099 0 0 0 117 3 0 0 20 0 15 0 243368925 14429130752 117066 33554432000 4194304 4196468 140729404882208 139978373282032 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18558] ppid=18527 vsize=14090948 memory=466216 CPUtime=1.69 cores=0,2,4,6
/proc/18533/task/18558/stat : 18558 (java) S 18527 18533 18471 0 -1 1077944384 7508 0 0 0 167 2 0 0 20 0 15 0 243368925 14429130752 117066 33554432000 4194304 4196468 140729404882208 139978372229488 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18559] ppid=18527 vsize=14090948 memory=468264 CPUtime=0.56 cores=0,2,4,6
/proc/18533/task/18559/stat : 18559 (java) S 18527 18533 18471 0 -1 1077944384 5117 0 0 0 55 1 0 0 20 0 15 0 243368925 14429130752 117066 33554432000 4194304 4196468 140729404882208 139978371176432 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18561] ppid=18527 vsize=14090948 memory=65976 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18561/stat : 18561 (java) S 18527 18533 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368926 14429130752 117066 33554432000 4194304 4196468 140729404882208 139978370124128 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18562] ppid=18527 vsize=14090948 memory=2056 CPUtime=1.32 cores=0,2,4,6
/proc/18533/task/18562/stat : 18562 (java) S 18527 18533 18471 0 -1 1077944384 1106 0 0 0 68 64 0 0 20 0 15 0 243368935 14429130752 117066 33554432000 4194304 4196468 140729404882208 139978369072176 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
Current children cumulated CPU time: 2417.76 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 468264 KiB
[startup+2442.3 s]
/proc/loadavg: 1.33 1.29 1.21 3/215 18735
/proc/meminfo: memFree=23114080/32770624 swapFree=67108796/67108860
[pid=18533] ppid=18527 vsize=14090948 memory=476456 CPUtime=2478.91 cores=0,2,4,6
/proc/18533/stat : 18533 (java) S 18527 18533 18471 0 -1 1077944320 107345 0 0 0 247567 324 0 0 20 0 15 0 243368870 14429130752 119114 33554432000 4194304 4196468 140729404882208 140729404864752 139978903559927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
/proc/18533/statm: 3522737 119114 3581 1 0 3484809 0
[pid=18533/tid=18537] ppid=18527 vsize=14090948 memory=466216 CPUtime=2417.44 cores=0,2,4,6
/proc/18533/task/18537/stat : 18537 (java) R 18527 18533 18471 0 -1 4202560 49888 0 0 0 241713 31 0 0 20 0 15 0 243368886 14429130752 119114 33554432000 4194304 4196468 140729404882208 139978907798272 139978508537383 0 4 0 16800975 0 0 0 -1 4 0 0 70 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18542] ppid=18527 vsize=14090948 memory=472360 CPUtime=12.04 cores=0,2,4,6
/proc/18533/task/18542/stat : 18542 (java) S 18527 18533 18471 0 -1 1077944384 5617 0 0 0 1148 56 0 0 20 0 15 0 243368902 14429130752 119114 33554432000 4194304 4196468 140729404882208 139978833648144 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18543] ppid=18527 vsize=14090948 memory=134 CPUtime=12.12 cores=0,2,4,6
/proc/18533/task/18543/stat : 18543 (java) S 18527 18533 18471 0 -1 1077944384 8541 0 0 0 1152 60 0 0 20 0 15 0 243368902 14429130752 119114 33554432000 4194304 4196468 140729404882208 139978832595600 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18544] ppid=18527 vsize=14090948 memory=472360 CPUtime=12.06 cores=0,2,4,6
/proc/18533/task/18544/stat : 18544 (java) S 18527 18533 18471 0 -1 1077944384 6861 0 0 0 1153 53 0 0 20 0 15 0 243368902 14429130752 119114 33554432000 4194304 4196468 140729404882208 139978831542544 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18545] ppid=18527 vsize=14090948 memory=474408 CPUtime=12.08 cores=0,2,4,6
/proc/18533/task/18545/stat : 18545 (java) S 18527 18533 18471 0 -1 1077944384 7675 0 0 0 1151 57 0 0 20 0 15 0 243368902 14429130752 119114 33554432000 4194304 4196468 140729404882208 139978830490000 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18547] ppid=18527 vsize=14090948 memory=474408 CPUtime=8.28 cores=0,2,4,6
/proc/18533/task/18547/stat : 18547 (java) S 18527 18533 18471 0 -1 1077944384 7483 0 0 0 771 57 0 0 20 0 15 0 243368905 14429130752 119114 33554432000 4194304 4196468 140729404882208 139978377493232 139978903571074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18549] ppid=18527 vsize=14090948 memory=474408 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18549/stat : 18549 (java) S 18527 18533 18471 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 243368905 14429130752 119114 33554432000 4194304 4196468 140729404882208 139978376439520 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18551] ppid=18527 vsize=14090948 memory=474408 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18551/stat : 18551 (java) S 18527 18533 18471 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 243368905 14429130752 119114 33554432000 4194304 4196468 140729404882208 139978375386368 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18556] ppid=18527 vsize=14090948 memory=474408 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18556/stat : 18556 (java) S 18527 18533 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368925 14429130752 119114 33554432000 4194304 4196468 140729404882208 139978374334928 139978903578523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18557] ppid=18527 vsize=14090948 memory=476456 CPUtime=1.2 cores=0,2,4,6
/proc/18533/task/18557/stat : 18557 (java) S 18527 18533 18471 0 -1 1077944384 6101 0 0 0 117 3 0 0 20 0 15 0 243368925 14429130752 119114 33554432000 4194304 4196468 140729404882208 139978373282032 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18558] ppid=18527 vsize=14090948 memory=476456 CPUtime=1.69 cores=0,2,4,6
/proc/18533/task/18558/stat : 18558 (java) S 18527 18533 18471 0 -1 1077944384 7510 0 0 0 167 2 0 0 20 0 15 0 243368925 14429130752 119114 33554432000 4194304 4196468 140729404882208 139978372229488 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18559] ppid=18527 vsize=14090948 memory=474408 CPUtime=0.56 cores=0,2,4,6
/proc/18533/task/18559/stat : 18559 (java) S 18527 18533 18471 0 -1 1077944384 5119 0 0 0 55 1 0 0 20 0 15 0 243368925 14429130752 119114 33554432000 4194304 4196468 140729404882208 139978371176432 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18561] ppid=18527 vsize=14090948 memory=476456 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18561/stat : 18561 (java) S 18527 18533 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368926 14429130752 119114 33554432000 4194304 4196468 140729404882208 139978370124128 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18562] ppid=18527 vsize=14090948 memory=476456 CPUtime=1.36 cores=0,2,4,6
/proc/18533/task/18562/stat : 18562 (java) S 18527 18533 18471 0 -1 1077944384 1121 0 0 0 70 66 0 0 20 0 15 0 243368935 14429130752 119114 33554432000 4194304 4196468 140729404882208 139978369072176 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
Current children cumulated CPU time: 2478.91 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 476456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2482.6 s]
/proc/loadavg: 1.29 1.29 1.21 3/215 18736
/proc/meminfo: memFree=23107424/32770624 swapFree=67108796/67108860
[pid=18533] ppid=18527 vsize=14090948 memory=480552 CPUtime=2520.01 cores=0,2,4,6
/proc/18533/stat : 18533 (java) S 18527 18533 18471 0 -1 1077944320 108482 0 0 0 251672 329 0 0 20 0 15 0 243368870 14429130752 120138 33554432000 4194304 4196468 140729404882208 140729404864752 139978903559927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
/proc/18533/statm: 3522737 120138 3581 1 0 3484809 0
[pid=18533/tid=18537] ppid=18527 vsize=14090948 memory=8628 CPUtime=2457.29 cores=0,2,4,6
/proc/18533/task/18537/stat : 18537 (java) R 18527 18533 18471 0 -1 4202560 50356 0 0 0 245698 31 0 0 20 0 15 0 243368886 14429130752 120138 33554432000 4194304 4196468 140729404882208 139978907798176 139978883285141 0 4 0 16800975 0 0 0 -1 0 0 0 70 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18542] ppid=18527 vsize=14090948 memory=1080 CPUtime=12.31 cores=0,2,4,6
/proc/18533/task/18542/stat : 18542 (java) S 18527 18533 18471 0 -1 1077944384 5714 0 0 0 1174 57 0 0 20 0 15 0 243368902 14429130752 120138 33554432000 4194304 4196468 140729404882208 139978833648144 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18543] ppid=18527 vsize=14090948 memory=752 CPUtime=12.4 cores=0,2,4,6
/proc/18533/task/18543/stat : 18543 (java) S 18527 18533 18471 0 -1 1077944384 8759 0 0 0 1179 61 0 0 20 0 15 0 243368902 14429130752 120138 33554432000 4194304 4196468 140729404882208 139978832595600 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18544] ppid=18527 vsize=14090948 memory=796 CPUtime=12.33 cores=0,2,4,6
/proc/18533/task/18544/stat : 18544 (java) S 18527 18533 18471 0 -1 1077944384 7126 0 0 0 1179 54 0 0 20 0 15 0 243368902 14429130752 120138 33554432000 4194304 4196468 140729404882208 139978831542544 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18545] ppid=18527 vsize=14090948 memory=1592 CPUtime=12.35 cores=0,2,4,6
/proc/18533/task/18545/stat : 18545 (java) S 18527 18533 18471 0 -1 1077944384 7732 0 0 0 1177 58 0 0 20 0 15 0 243368902 14429130752 120138 33554432000 4194304 4196468 140729404882208 139978830490000 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18547] ppid=18527 vsize=14090948 memory=480552 CPUtime=8.41 cores=0,2,4,6
/proc/18533/task/18547/stat : 18547 (java) S 18527 18533 18471 0 -1 1077944384 7505 0 0 0 784 57 0 0 20 0 15 0 243368905 14429130752 120138 33554432000 4194304 4196468 140729404882208 139978377493232 139978903571074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18549] ppid=18527 vsize=14090948 memory=1036 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18549/stat : 18549 (java) S 18527 18533 18471 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 243368905 14429130752 120138 33554432000 4194304 4196468 140729404882208 139978376439520 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18551] ppid=18527 vsize=14090948 memory=1776 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18551/stat : 18551 (java) S 18527 18533 18471 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 243368905 14429130752 120138 33554432000 4194304 4196468 140729404882208 139978375386368 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18556] ppid=18527 vsize=14090948 memory=5704 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18556/stat : 18556 (java) S 18527 18533 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368925 14429130752 120138 33554432000 4194304 4196468 140729404882208 139978374334928 139978903578523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18557] ppid=18527 vsize=14090948 memory=14772 CPUtime=1.2 cores=0,2,4,6
/proc/18533/task/18557/stat : 18557 (java) S 18527 18533 18471 0 -1 1077944384 6103 0 0 0 117 3 0 0 20 0 15 0 243368925 14429130752 120138 33554432000 4194304 4196468 140729404882208 139978373282032 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18558] ppid=18527 vsize=14090948 memory=41296 CPUtime=1.69 cores=0,2,4,6
/proc/18533/task/18558/stat : 18558 (java) S 18527 18533 18471 0 -1 1077944384 7512 0 0 0 167 2 0 0 20 0 15 0 243368925 14429130752 120138 33554432000 4194304 4196468 140729404882208 139978372229488 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18559] ppid=18527 vsize=14090948 memory=15116 CPUtime=0.56 cores=0,2,4,6
/proc/18533/task/18559/stat : 18559 (java) S 18527 18533 18471 0 -1 1077944384 5121 0 0 0 55 1 0 0 20 0 15 0 243368925 14429130752 120138 33554432000 4194304 4196468 140729404882208 139978371176432 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18561] ppid=18527 vsize=14090948 memory=3160 CPUtime=0 cores=0,2,4,6
/proc/18533/task/18561/stat : 18561 (java) S 18527 18533 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368926 14429130752 120138 33554432000 4194304 4196468 140729404882208 139978370124128 139978903570133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
[pid=18533/tid=18562] ppid=18527 vsize=14090948 memory=496 CPUtime=1.38 cores=0,2,4,6
/proc/18533/task/18562/stat : 18562 (java) S 18527 18533 18471 0 -1 1077944384 1125 0 0 0 71 67 0 0 20 0 15 0 243368935 14429130752 120138 33554432000 4194304 4196468 140729404882208 139978369072176 139978903571074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28704768 140729404888145 140729404888329 140729404888329 140729404891087 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 480552 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2482.61 s]
# the end of solver process 18533 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.73 s, system=3.29701 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2482.61
CPU time (s): 2520.03
CPU user time (s): 2516.73
CPU system time (s): 3.29701
CPU usage (%): 101.507
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 480552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.73
system time used= 3.29701
maximum resident set size= 481032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108662
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 289253
involuntary context switches= 9150
# summary of solver processes directly reported to runsolver:
# pid: 18533
# total CPU time (s): 2520.03
# total CPU user time (s): 2516.73
# total CPU system time (s): 3.29701
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8994 second user time and 23.6814 second system time
The end