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 (14009 MiB free)
memory of node 1: 16384 MiB (14081 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274533-1502852552/watcher-4274533-1502852552 -o /tmp/evaluation-result-4274533-1502852552/solver-4274533-1502852552 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502839307-13258 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 539009427 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274533-1502852552.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15002, runsolver pid=14999
[startup+0.100091 s]*
/proc/loadavg: 1.53 1.64 1.70 3/215 15017
/proc/meminfo: memFree=28738504/32770624 swapFree=67108860/67108860
[pid=15002] ppid=14999 vsize=13980164 memory=34136 CPUtime=0.12 cores=1,3,5,7
/proc/15002/stat : 15002 (java) S 14999 15002 13226 0 -1 1077944320 8447 0 0 0 11 1 0 0 20 0 15 0 118343277 14315687936 8534 33554432000 4194304 4196468 140720455242192 140720455224736 140586036133623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
/proc/15002/statm: 3495041 8534 3410 1 0 3482761 0
[pid=15002/tid=15004] ppid=14999 vsize=13980164 memory=-7038777180040225399 CPUtime=0.09 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (java) R 14999 15002 13226 0 -1 4202560 6399 0 0 0 8 1 0 0 20 0 15 0 118343278 14315687936 8534 33554432000 4194304 4196468 140720455242192 140586040321536 140586036155549 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15005] ppid=14999 vsize=13980164 memory=5793854981230447033 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343279 14315687936 8534 33554432000 4194304 4196468 140720455242192 140585966222224 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15006] ppid=14999 vsize=13980164 memory=139730220553856 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343279 14315687936 8534 33554432000 4194304 4196468 140720455242192 140585965169424 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15007] ppid=14999 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15007/stat : 15007 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343279 14315687936 8534 33554432000 4194304 4196468 140720455242192 140585964117136 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15008] ppid=14999 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15008/stat : 15008 (java) S 14999 15002 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118343279 14315687936 8534 33554432000 4194304 4196468 140720455242192 140585963064336 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15009] ppid=14999 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15009/stat : 15009 (java) S 14999 15002 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118343280 14315687936 8534 33554432000 4194304 4196468 140720455242192 140585510332528 140586036144770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15010] ppid=14999 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15010/stat : 15010 (java) S 14999 15002 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118343280 14315687936 8534 33554432000 4194304 4196468 140720455242192 140585509278496 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15011] ppid=14999 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15011/stat : 15011 (java) S 14999 15002 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118343281 14315687936 8534 33554432000 4194304 4196468 140720455242192 140585508226160 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15012] ppid=14999 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15012/stat : 15012 (java) S 14999 15002 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118343283 14315687936 8534 33554432000 4194304 4196468 140720455242192 140585507174480 140586036152219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15013] ppid=14999 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15013/stat : 15013 (java) S 14999 15002 13226 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 118343283 14315687936 8534 33554432000 4194304 4196468 140720455242192 140585506122352 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15014] ppid=14999 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15014/stat : 15014 (java) S 14999 15002 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118343283 14315687936 8534 33554432000 4194304 4196468 140720455242192 140585505069552 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15015] ppid=14999 vsize=13980164 memory=139730220553856 CPUtime=0.02 cores=1,3,5,7
/proc/15002/task/15015/stat : 15015 (java) R 14999 15002 13226 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 15 0 118343283 14315687936 8534 33554432000 4194304 4196468 140720455242192 140585504017264 140586036154970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15016] ppid=14999 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15016/stat : 15016 (java) S 14999 15002 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118343283 14315687936 8534 33554432000 4194304 4196468 140720455242192 140585502964704 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15017] ppid=14999 vsize=13980164 memory=139730220553856 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15017/stat : 15017 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343283 14315687936 8534 33554432000 4194304 4196468 140720455242192 140585501911472 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 34136 KiB
[startup+0.210386 s]*
/proc/loadavg: 1.53 1.64 1.70 3/215 15017
/proc/meminfo: memFree=28713248/32770624 swapFree=67108860/67108860
[pid=15002] ppid=14999 vsize=13980196 memory=43512 CPUtime=0.3 cores=1,3,5,7
/proc/15002/stat : 15002 (java) S 14999 15002 13226 0 -1 1077944320 9491 0 0 0 28 2 0 0 20 0 15 0 118343277 14315720704 10878 33554432000 4194304 4196468 140720455242192 140720455224736 140586036133623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
/proc/15002/statm: 3495041 10878 3653 1 0 3482761 0
[pid=15002/tid=15004] ppid=14999 vsize=13980164 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (java) R 14999 15002 13226 0 -1 4202560 7082 0 0 0 18 2 0 0 20 0 15 0 118343278 14315687936 10878 33554432000 4194304 4196468 140720455242192 140586040349648 140586028812845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15005] ppid=14999 vsize=13980164 memory=4211973456425344394 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343279 14315687936 10878 33554432000 4194304 4196468 140720455242192 140585966222224 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15006] ppid=14999 vsize=13980164 memory=139730220553856 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343279 14315687936 10878 33554432000 4194304 4196468 140720455242192 140585965169424 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15007] ppid=14999 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15007/stat : 15007 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343279 14315687936 10878 33554432000 4194304 4196468 140720455242192 140585964117136 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15008] ppid=14999 vsize=13980196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15008/stat : 15008 (java) S 14999 15002 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118343279 14315720704 10878 33554432000 4194304 4196468 140720455242192 140585963064336 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15009] ppid=14999 vsize=13980164 memory=139730220553856 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15009/stat : 15009 (java) S 14999 15002 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118343280 14315687936 10878 33554432000 4194304 4196468 140720455242192 140585510332528 140586036144770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15010] ppid=14999 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15010/stat : 15010 (java) S 14999 15002 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118343280 14315687936 10878 33554432000 4194304 4196468 140720455242192 140585509278496 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15011] ppid=14999 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15011/stat : 15011 (java) S 14999 15002 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118343281 14315687936 10878 33554432000 4194304 4196468 140720455242192 140585508226160 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15012] ppid=14999 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15012/stat : 15012 (java) S 14999 15002 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118343283 14315687936 10878 33554432000 4194304 4196468 140720455242192 140585507174480 140586036152219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15013] ppid=14999 vsize=13980164 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15002/task/15013/stat : 15013 (java) S 14999 15002 13226 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 15 0 118343283 14315687936 10878 33554432000 4194304 4196468 140720455242192 140585506122352 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15014] ppid=14999 vsize=13980196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15002/task/15014/stat : 15014 (java) S 14999 15002 13226 0 -1 1077944384 305 0 0 0 2 0 0 0 20 0 15 0 118343283 14315720704 10878 33554432000 4194304 4196468 140720455242192 140585505069552 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15015] ppid=14999 vsize=13980164 memory=139730220553856 CPUtime=0.05 cores=1,3,5,7
/proc/15002/task/15015/stat : 15015 (java) S 14999 15002 13226 0 -1 1077944384 392 0 0 0 5 0 0 0 20 0 15 0 118343283 14315687936 10878 33554432000 4194304 4196468 140720455242192 140585504017264 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15016] ppid=14999 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15016/stat : 15016 (java) S 14999 15002 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118343283 14315687936 10878 33554432000 4194304 4196468 140720455242192 140585502964704 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15017] ppid=14999 vsize=13980164 memory=139730220553856 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15017/stat : 15017 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343283 14315687936 10878 33554432000 4194304 4196468 140720455242192 140585501911472 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13980196 KiB
Current children cumulated memory: 43512 KiB
[startup+0.310631 s]*
/proc/loadavg: 1.53 1.64 1.70 4/215 15017
/proc/meminfo: memFree=28705384/32770624 swapFree=67108860/67108860
[pid=15002] ppid=14999 vsize=13980184 memory=51828 CPUtime=0.49 cores=1,3,5,7
/proc/15002/stat : 15002 (java) S 14999 15002 13226 0 -1 1077944320 10598 0 0 0 46 3 0 0 20 0 15 0 118343277 14315708416 12957 33554432000 4194304 4196468 140720455242192 140720455224736 140586036133623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
/proc/15002/statm: 3495046 12957 3728 1 0 3482761 0
[pid=15002/tid=15004] ppid=14999 vsize=13980184 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (java) R 14999 15002 13226 0 -1 4202560 7593 0 0 0 27 2 0 0 20 0 15 0 118343278 14315708416 12957 33554432000 4194304 4196468 140720455242192 140586040366032 140586036145558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15005] ppid=14999 vsize=13980184 memory=4211973456425344394 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343279 14315708416 12957 33554432000 4194304 4196468 140720455242192 140585966222224 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15006] ppid=14999 vsize=13980184 memory=139730220556213 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343279 14315708416 12957 33554432000 4194304 4196468 140720455242192 140585965169424 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15007] ppid=14999 vsize=13980184 memory=139730117320122 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15007/stat : 15007 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343279 14315708416 12957 33554432000 4194304 4196468 140720455242192 140585964117136 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15008] ppid=14999 vsize=13980184 memory=139730117316047 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15008/stat : 15008 (java) S 14999 15002 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118343279 14315708416 12957 33554432000 4194304 4196468 140720455242192 140585963064336 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15009] ppid=14999 vsize=13980184 memory=139730220567109 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15009/stat : 15009 (java) S 14999 15002 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118343280 14315708416 12957 33554432000 4194304 4196468 140720455242192 140585510332528 140586036144770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15010] ppid=14999 vsize=13980184 memory=139730117325231 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15010/stat : 15010 (java) S 14999 15002 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118343280 14315708416 12957 33554432000 4194304 4196468 140720455242192 140585509278496 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15011] ppid=14999 vsize=13980184 memory=279460234641296 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15011/stat : 15011 (java) S 14999 15002 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118343281 14315708416 12957 33554432000 4194304 4196468 140720455242192 140585508226160 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15012] ppid=14999 vsize=13980184 memory=279460234638992 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15012/stat : 15012 (java) S 14999 15002 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118343283 14315708416 12957 33554432000 4194304 4196468 140720455242192 140585507174480 140586036152219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15013] ppid=14999 vsize=13980184 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/15002/task/15013/stat : 15013 (java) S 14999 15002 13226 0 -1 1077944384 607 0 0 0 5 0 0 0 20 0 15 0 118343283 14315708416 12957 33554432000 4194304 4196468 140720455242192 140585506122352 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15014] ppid=14999 vsize=13980184 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/15002/task/15014/stat : 15014 (java) S 14999 15002 13226 0 -1 1077944384 475 0 0 0 4 0 0 0 20 0 15 0 118343283 14315708416 12957 33554432000 4194304 4196468 140720455242192 140585505069552 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15015] ppid=14999 vsize=13980184 memory=139730220553856 CPUtime=0.09 cores=1,3,5,7
/proc/15002/task/15015/stat : 15015 (java) S 14999 15002 13226 0 -1 1077944384 542 0 0 0 9 0 0 0 20 0 15 0 118343283 14315708416 12957 33554432000 4194304 4196468 140720455242192 140585504017264 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15016] ppid=14999 vsize=13980184 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15016/stat : 15016 (java) S 14999 15002 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118343283 14315708416 12957 33554432000 4194304 4196468 140720455242192 140585502964704 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15017] ppid=14999 vsize=13980184 memory=139730220553856 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15017/stat : 15017 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343283 14315708416 12957 33554432000 4194304 4196468 140720455242192 140585501911472 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 51828 KiB
[startup+0.701401 s]
/proc/loadavg: 1.53 1.64 1.70 4/215 15017
/proc/meminfo: memFree=28693224/32770624 swapFree=67108860/67108860
[pid=15002] ppid=14999 vsize=13984280 memory=85836 CPUtime=1.2 cores=1,3,5,7
/proc/15002/stat : 15002 (java) S 14999 15002 13226 0 -1 1077944320 14126 0 0 0 114 6 0 0 20 0 15 0 118343277 14319902720 21459 33554432000 4194304 4196468 140720455242192 140720455224736 140586036133623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
/proc/15002/statm: 3496070 21459 3771 1 0 3483785 0
[pid=15002/tid=15004] ppid=14999 vsize=13984280 memory=1952 CPUtime=0.68 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (java) R 14999 15002 13226 0 -1 4202560 9904 0 0 0 63 5 0 0 20 0 15 0 118343278 14319902720 21459 33554432000 4194304 4196468 140720455242192 140586040371360 140585640364724 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15005] ppid=14999 vsize=13984280 memory=8568 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343279 14319902720 21459 33554432000 4194304 4196468 140720455242192 140585966222224 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15006] ppid=14999 vsize=13984280 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343279 14319902720 21459 33554432000 4194304 4196468 140720455242192 140585965169424 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15007] ppid=14999 vsize=13984280 memory=7662705889289527641 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15007/stat : 15007 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343279 14319902720 21459 33554432000 4194304 4196468 140720455242192 140585964117136 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15008] ppid=14999 vsize=13984280 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15008/stat : 15008 (java) S 14999 15002 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118343279 14319902720 21459 33554432000 4194304 4196468 140720455242192 140585963064336 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15009] ppid=14999 vsize=13984280 memory=5859271421084194152 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15009/stat : 15009 (java) S 14999 15002 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118343280 14319902720 21459 33554432000 4194304 4196468 140720455242192 140585510332528 140586036144770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15010] ppid=14999 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15010/stat : 15010 (java) S 14999 15002 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118343280 14319902720 21459 33554432000 4194304 4196468 140720455242192 140585509278496 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15011] ppid=14999 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15011/stat : 15011 (java) S 14999 15002 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118343281 14319902720 21459 33554432000 4194304 4196468 140720455242192 140585508226160 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15012] ppid=14999 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15012/stat : 15012 (java) S 14999 15002 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118343283 14319902720 21459 33554432000 4194304 4196468 140720455242192 140585507174480 140586036152219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15013] ppid=14999 vsize=13984280 memory=39 CPUtime=0.14 cores=1,3,5,7
/proc/15002/task/15013/stat : 15013 (java) R 14999 15002 13226 0 -1 4202560 972 0 0 0 14 0 0 0 20 0 15 0 118343283 14319902720 21459 33554432000 4194304 4196468 140720455242192 140585506101968 140586015455507 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15014] ppid=14999 vsize=13984280 memory=4 CPUtime=0.14 cores=1,3,5,7
/proc/15002/task/15014/stat : 15014 (java) R 14999 15002 13226 0 -1 4202560 759 0 0 0 14 0 0 0 20 0 15 0 118343283 14319902720 21459 33554432000 4194304 4196468 140720455242192 140585505055320 140586019521927 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15015] ppid=14999 vsize=13984280 memory=6981 CPUtime=0.22 cores=1,3,5,7
/proc/15002/task/15015/stat : 15015 (java) S 14999 15002 13226 0 -1 1077944384 1110 0 0 0 22 0 0 0 20 0 15 0 118343283 14319902720 21459 33554432000 4194304 4196468 140720455242192 140585504017264 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15016] ppid=14999 vsize=13984280 memory=279460234825200 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15016/stat : 15016 (java) S 14999 15002 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118343283 14319902720 21459 33554432000 4194304 4196468 140720455242192 140585502964704 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15017] ppid=14999 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15017/stat : 15017 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343283 14319902720 21459 33554432000 4194304 4196468 140720455242192 140585501911472 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 85836 KiB
[startup+1.50071 s]
/proc/loadavg: 1.53 1.64 1.70 3/215 15017
/proc/meminfo: memFree=28645888/32770624 swapFree=67108860/67108860
[pid=15002] ppid=14999 vsize=13984280 memory=139968 CPUtime=2.49 cores=1,3,5,7
/proc/15002/stat : 15002 (java) S 14999 15002 13226 0 -1 1077944320 18576 0 0 0 242 7 0 0 20 0 15 0 118343277 14319902720 34992 33554432000 4194304 4196468 140720455242192 140720455224736 140586036133623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
/proc/15002/statm: 3496070 34992 3780 1 0 3483785 0
[pid=15002/tid=15004] ppid=14999 vsize=13984280 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (java) R 14999 15002 13226 0 -1 4202560 10546 0 0 0 142 5 0 0 20 0 15 0 118343278 14319902720 34992 33554432000 4194304 4196468 140720455242192 140586040363280 140585640955158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15005] ppid=14999 vsize=13984280 memory=4945966796003318400 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343279 14319902720 34992 33554432000 4194304 4196468 140720455242192 140585966222224 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15006] ppid=14999 vsize=13984280 memory=-6151212656979484457 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343279 14319902720 34992 33554432000 4194304 4196468 140720455242192 140585965169424 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15007] ppid=14999 vsize=13984280 memory=-6305710624543892352 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15007/stat : 15007 (java) S 14999 15002 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118343279 14319902720 34992 33554432000 4194304 4196468 140720455242192 140585964117136 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15008] ppid=14999 vsize=13984280 memory=-5863791755699840613 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15008/stat : 15008 (java) S 14999 15002 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118343279 14319902720 34992 33554432000 4194304 4196468 140720455242192 140585963064336 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15009] ppid=14999 vsize=13984280 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15009/stat : 15009 (java) S 14999 15002 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118343280 14319902720 34992 33554432000 4194304 4196468 140720455242192 140585510332528 140586036144770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
################
# More data... #
################
/proc/15002/task/15004/stat : 15004 (java) R 14999 15002 13226 0 -1 4202560 73013 0 0 0 235454 46 0 0 20 0 15 0 118343278 14321999872 121660 33554432000 4194304 4196468 140720455242192 140586040372048 140585641840057 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15005] ppid=14999 vsize=13986328 memory=486640 CPUtime=13.62 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (java) S 14999 15002 13226 0 -1 1077944384 3901 0 0 0 1289 73 0 0 20 0 15 0 118343279 14321999872 121660 33554432000 4194304 4196468 140720455242192 140585966222224 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15006] ppid=14999 vsize=13986328 memory=486640 CPUtime=13.65 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (java) S 14999 15002 13226 0 -1 1077944384 5889 0 0 0 1294 71 0 0 20 0 15 0 118343279 14321999872 121660 33554432000 4194304 4196468 140720455242192 140585965169424 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15007] ppid=14999 vsize=13986328 memory=484592 CPUtime=13.6 cores=1,3,5,7
/proc/15002/task/15007/stat : 15007 (java) S 14999 15002 13226 0 -1 1077944384 5266 0 0 0 1285 75 0 0 20 0 15 0 118343279 14321999872 121660 33554432000 4194304 4196468 140720455242192 140585964117136 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15008] ppid=14999 vsize=13986328 memory=486640 CPUtime=13.59 cores=1,3,5,7
/proc/15002/task/15008/stat : 15008 (java) S 14999 15002 13226 0 -1 1077944384 4927 0 0 0 1285 74 0 0 20 0 15 0 118343279 14321999872 121660 33554432000 4194304 4196468 140720455242192 140585963064336 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15009] ppid=14999 vsize=13986328 memory=486640 CPUtime=10.27 cores=1,3,5,7
/proc/15002/task/15009/stat : 15009 (java) S 14999 15002 13226 0 -1 1077944384 6244 0 0 0 955 72 0 0 20 0 15 0 118343280 14321999872 121660 33554432000 4194304 4196468 140720455242192 140585510332528 140586036144770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15010] ppid=14999 vsize=13986328 memory=484592 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15010/stat : 15010 (java) S 14999 15002 13226 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 118343280 14321999872 121660 33554432000 4194304 4196468 140720455242192 140585509278560 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15011] ppid=14999 vsize=13986328 memory=486640 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15011/stat : 15011 (java) S 14999 15002 13226 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 118343281 14321999872 121660 33554432000 4194304 4196468 140720455242192 140585508226176 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15012] ppid=14999 vsize=13986328 memory=486640 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15012/stat : 15012 (java) S 14999 15002 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118343283 14321999872 121660 33554432000 4194304 4196468 140720455242192 140585507174480 140586036152219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15013] ppid=14999 vsize=13986328 memory=4140 CPUtime=1.38 cores=1,3,5,7
/proc/15002/task/15013/stat : 15013 (java) S 14999 15002 13226 0 -1 1077944384 13678 0 0 0 136 2 0 0 20 0 15 0 118343283 14321999872 121660 33554432000 4194304 4196468 140720455242192 140585506122352 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15014] ppid=14999 vsize=13986328 memory=32916 CPUtime=1.39 cores=1,3,5,7
/proc/15002/task/15014/stat : 15014 (java) S 14999 15002 13226 0 -1 1077944384 14401 0 0 0 137 2 0 0 20 0 15 0 118343283 14321999872 121660 33554432000 4194304 4196468 140720455242192 140585505069552 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15015] ppid=14999 vsize=13986328 memory=2340 CPUtime=0.64 cores=1,3,5,7
/proc/15002/task/15015/stat : 15015 (java) S 14999 15002 13226 0 -1 1077944384 14599 0 0 0 62 2 0 0 20 0 15 0 118343283 14321999872 121660 33554432000 4194304 4196468 140720455242192 140585504017264 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15016] ppid=14999 vsize=13986328 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15016/stat : 15016 (java) S 14999 15002 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118343283 14321999872 121660 33554432000 4194304 4196468 140720455242192 140585502964704 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15017] ppid=14999 vsize=13986328 memory=486640 CPUtime=1.4 cores=1,3,5,7
/proc/15002/task/15017/stat : 15017 (java) S 14999 15002 13226 0 -1 1077944384 1223 0 0 0 66 74 0 0 20 0 15 0 118343283 14321999872 121660 33554432000 4194304 4196468 140720455242192 140585501911472 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
Current children cumulated CPU time: 2424.64 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 486640 KiB
[startup+2442.3 s]
/proc/loadavg: 1.42 1.33 1.38 3/215 15116
/proc/meminfo: memFree=27999356/32770624 swapFree=67108860/67108860
[pid=15002] ppid=14999 vsize=13986328 memory=490736 CPUtime=2485.8 cores=1,3,5,7
/proc/15002/stat : 15002 (java) S 14999 15002 13226 0 -1 1077944320 146063 0 0 0 248165 415 0 0 20 0 15 0 118343277 14321999872 122684 33554432000 4194304 4196468 140720455242192 140720455224736 140586036133623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
/proc/15002/statm: 3496582 122684 3834 1 0 3484297 0
[pid=15002/tid=15004] ppid=14999 vsize=13986328 memory=490736 CPUtime=2414.3 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (java) R 14999 15002 13226 0 -1 4202560 73773 0 0 0 241383 47 0 0 20 0 15 0 118343278 14321999872 122684 33554432000 4194304 4196468 140720455242192 140586040371952 140585641840241 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15005] ppid=14999 vsize=13986328 memory=1420 CPUtime=14.02 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (java) S 14999 15002 13226 0 -1 1077944384 4062 0 0 0 1327 75 0 0 20 0 15 0 118343279 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585966222224 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15006] ppid=14999 vsize=13986328 memory=488688 CPUtime=14.04 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (java) S 14999 15002 13226 0 -1 1077944384 6033 0 0 0 1331 73 0 0 20 0 15 0 118343279 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585965169424 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15007] ppid=14999 vsize=13986328 memory=484592 CPUtime=13.99 cores=1,3,5,7
/proc/15002/task/15007/stat : 15007 (java) S 14999 15002 13226 0 -1 1077944384 5370 0 0 0 1322 77 0 0 20 0 15 0 118343279 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585964117136 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15008] ppid=14999 vsize=13986328 memory=486640 CPUtime=13.97 cores=1,3,5,7
/proc/15002/task/15008/stat : 15008 (java) S 14999 15002 13226 0 -1 1077944384 5002 0 0 0 1323 74 0 0 20 0 15 0 118343279 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585963064336 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15009] ppid=14999 vsize=13986328 memory=488688 CPUtime=10.51 cores=1,3,5,7
/proc/15002/task/15009/stat : 15009 (java) S 14999 15002 13226 0 -1 1077944384 6426 0 0 0 977 74 0 0 20 0 15 0 118343280 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585510332528 140586036144770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15010] ppid=14999 vsize=13986328 memory=488688 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15010/stat : 15010 (java) S 14999 15002 13226 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 118343280 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585509278560 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15011] ppid=14999 vsize=13986328 memory=488688 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15011/stat : 15011 (java) S 14999 15002 13226 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 118343281 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585508226176 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15012] ppid=14999 vsize=13986328 memory=490736 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15012/stat : 15012 (java) S 14999 15002 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585507174480 140586036152219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15013] ppid=14999 vsize=13986328 memory=490736 CPUtime=1.38 cores=1,3,5,7
/proc/15002/task/15013/stat : 15013 (java) S 14999 15002 13226 0 -1 1077944384 13680 0 0 0 136 2 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585506122352 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15014] ppid=14999 vsize=13986328 memory=490736 CPUtime=1.39 cores=1,3,5,7
/proc/15002/task/15014/stat : 15014 (java) S 14999 15002 13226 0 -1 1077944384 14404 0 0 0 137 2 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585505069552 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15015] ppid=14999 vsize=13986328 memory=490736 CPUtime=0.64 cores=1,3,5,7
/proc/15002/task/15015/stat : 15015 (java) S 14999 15002 13226 0 -1 1077944384 14601 0 0 0 62 2 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585504017264 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15016] ppid=14999 vsize=13986328 memory=490736 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15016/stat : 15016 (java) S 14999 15002 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585502964704 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15017] ppid=14999 vsize=13986328 memory=490736 CPUtime=1.44 cores=1,3,5,7
/proc/15002/task/15017/stat : 15017 (java) S 14999 15002 13226 0 -1 1077944384 1230 0 0 0 68 76 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585501911472 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
Current children cumulated CPU time: 2485.8 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 490736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2475.91 s]
/proc/loadavg: 1.16 1.28 1.36 4/214 15148
/proc/meminfo: memFree=28416136/32770624 swapFree=67108860/67108860
[pid=15002] ppid=14999 vsize=13986328 memory=490736 CPUtime=2520.01 cores=1,3,5,7
/proc/15002/stat : 15002 (java) S 14999 15002 13226 0 -1 1077944320 146495 0 0 0 251581 420 0 0 20 0 15 0 118343277 14321999872 122684 33554432000 4194304 4196468 140720455242192 140720455224736 140586036133623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
/proc/15002/statm: 3496582 122684 3834 1 0 3484297 0
[pid=15002/tid=15004] ppid=14999 vsize=13986328 memory=490736 CPUtime=2447.52 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (java) R 14999 15002 13226 0 -1 4202560 74032 0 0 0 244703 49 0 0 20 0 15 0 118343278 14321999872 122684 33554432000 4194304 4196468 140720455242192 140586040371936 140585642055586 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15005] ppid=14999 vsize=13986328 memory=490736 CPUtime=14.23 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (java) S 14999 15002 13226 0 -1 1077944384 4127 0 0 0 1347 76 0 0 20 0 15 0 118343279 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585966222224 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15006] ppid=14999 vsize=13986328 memory=490736 CPUtime=14.26 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (java) S 14999 15002 13226 0 -1 1077944384 6074 0 0 0 1352 74 0 0 20 0 15 0 118343279 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585965169424 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15007] ppid=14999 vsize=13986328 memory=490736 CPUtime=14.2 cores=1,3,5,7
/proc/15002/task/15007/stat : 15007 (java) S 14999 15002 13226 0 -1 1077944384 5426 0 0 0 1343 77 0 0 20 0 15 0 118343279 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585964117136 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15008] ppid=14999 vsize=13986328 memory=490736 CPUtime=14.19 cores=1,3,5,7
/proc/15002/task/15008/stat : 15008 (java) S 14999 15002 13226 0 -1 1077944384 5009 0 0 0 1344 75 0 0 20 0 15 0 118343279 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585963064336 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15009] ppid=14999 vsize=13986328 memory=490736 CPUtime=10.64 cores=1,3,5,7
/proc/15002/task/15009/stat : 15009 (java) S 14999 15002 13226 0 -1 1077944384 6428 0 0 0 989 75 0 0 20 0 15 0 118343280 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585510332528 140586036144770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15010] ppid=14999 vsize=13986328 memory=490736 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15010/stat : 15010 (java) S 14999 15002 13226 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 118343280 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585509278560 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15011] ppid=14999 vsize=13986328 memory=490736 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15011/stat : 15011 (java) S 14999 15002 13226 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 118343281 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585508226176 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15012] ppid=14999 vsize=13986328 memory=490736 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15012/stat : 15012 (java) S 14999 15002 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585507174480 140586036152219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15013] ppid=14999 vsize=13986328 memory=1236 CPUtime=1.38 cores=1,3,5,7
/proc/15002/task/15013/stat : 15013 (java) S 14999 15002 13226 0 -1 1077944384 13680 0 0 0 136 2 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585506122352 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15014] ppid=14999 vsize=13986328 memory=490736 CPUtime=1.39 cores=1,3,5,7
/proc/15002/task/15014/stat : 15014 (java) S 14999 15002 13226 0 -1 1077944384 14404 0 0 0 137 2 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585505069552 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15015] ppid=14999 vsize=13986328 memory=490736 CPUtime=0.64 cores=1,3,5,7
/proc/15002/task/15015/stat : 15015 (java) S 14999 15002 13226 0 -1 1077944384 14601 0 0 0 62 2 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585504017264 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15016] ppid=14999 vsize=13986328 memory=490736 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15016/stat : 15016 (java) S 14999 15002 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585502964704 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15017] ppid=14999 vsize=13986328 memory=4140 CPUtime=1.45 cores=1,3,5,7
/proc/15002/task/15017/stat : 15017 (java) S 14999 15002 13226 0 -1 1077944384 1232 0 0 0 68 77 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585501911472 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 490736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2475.93 s]
# the end of solver process 15002 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.83 s, system=4.20912 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2475.91 s]
/proc/loadavg: 1.16 1.28 1.36 4/214 15148
/proc/meminfo: memFree=28416136/32770624 swapFree=67108860/67108860
[pid=15002] ppid=14999 vsize=13986328 memory=490736 CPUtime=2520.01 cores=1,3,5,7
/proc/15002/stat : 15002 (java) S 14999 15002 13226 0 -1 1077944320 146495 0 0 0 251581 420 0 0 20 0 15 0 118343277 14321999872 122684 33554432000 4194304 4196468 140720455242192 140720455224736 140586036133623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
/proc/15002/statm: 3496582 122684 3834 1 0 3484297 0
[pid=15002/tid=15004] ppid=14999 vsize=13986328 memory=490736 CPUtime=2447.52 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (java) R 14999 15002 13226 0 -1 4202560 74032 0 0 0 244703 49 0 0 20 0 15 0 118343278 14321999872 122684 33554432000 4194304 4196468 140720455242192 140586040371936 140585642055586 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15005] ppid=14999 vsize=13986328 memory=490736 CPUtime=14.23 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (java) S 14999 15002 13226 0 -1 1077944384 4127 0 0 0 1347 76 0 0 20 0 15 0 118343279 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585966222224 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15006] ppid=14999 vsize=13986328 memory=490736 CPUtime=14.26 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (java) S 14999 15002 13226 0 -1 1077944384 6074 0 0 0 1352 74 0 0 20 0 15 0 118343279 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585965169424 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15007] ppid=14999 vsize=13986328 memory=490736 CPUtime=14.2 cores=1,3,5,7
/proc/15002/task/15007/stat : 15007 (java) S 14999 15002 13226 0 -1 1077944384 5426 0 0 0 1343 77 0 0 20 0 15 0 118343279 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585964117136 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15008] ppid=14999 vsize=13986328 memory=490736 CPUtime=14.19 cores=1,3,5,7
/proc/15002/task/15008/stat : 15008 (java) S 14999 15002 13226 0 -1 1077944384 5009 0 0 0 1344 75 0 0 20 0 15 0 118343279 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585963064336 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15009] ppid=14999 vsize=13986328 memory=490736 CPUtime=10.64 cores=1,3,5,7
/proc/15002/task/15009/stat : 15009 (java) S 14999 15002 13226 0 -1 1077944384 6428 0 0 0 989 75 0 0 20 0 15 0 118343280 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585510332528 140586036144770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15010] ppid=14999 vsize=13986328 memory=490736 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15010/stat : 15010 (java) S 14999 15002 13226 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 118343280 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585509278560 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15011] ppid=14999 vsize=13986328 memory=490736 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15011/stat : 15011 (java) S 14999 15002 13226 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 118343281 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585508226176 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15012] ppid=14999 vsize=13986328 memory=490736 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15012/stat : 15012 (java) S 14999 15002 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585507174480 140586036152219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15013] ppid=14999 vsize=13986328 memory=1236 CPUtime=1.38 cores=1,3,5,7
/proc/15002/task/15013/stat : 15013 (java) S 14999 15002 13226 0 -1 1077944384 13680 0 0 0 136 2 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585506122352 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15014] ppid=14999 vsize=13986328 memory=490736 CPUtime=1.39 cores=1,3,5,7
/proc/15002/task/15014/stat : 15014 (java) S 14999 15002 13226 0 -1 1077944384 14404 0 0 0 137 2 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585505069552 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15015] ppid=14999 vsize=13986328 memory=490736 CPUtime=0.64 cores=1,3,5,7
/proc/15002/task/15015/stat : 15015 (java) S 14999 15002 13226 0 -1 1077944384 14601 0 0 0 62 2 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585504017264 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15016] ppid=14999 vsize=13986328 memory=490736 CPUtime=0 cores=1,3,5,7
/proc/15002/task/15016/stat : 15016 (java) S 14999 15002 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585502964704 140586036143829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
[pid=15002/tid=15017] ppid=14999 vsize=13986328 memory=4140 CPUtime=1.45 cores=1,3,5,7
/proc/15002/task/15017/stat : 15017 (java) S 14999 15002 13226 0 -1 1077944384 1232 0 0 0 68 77 0 0 20 0 15 0 118343283 14321999872 122684 33554432000 4194304 4196468 140720455242192 140585501911472 140586036144770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17911808 140720455251049 140720455251231 140720455251231 140720455253967 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 490736 KiB
Child status: 143
Real time (s): 2475.93
CPU time (s): 2520.04
CPU user time (s): 2515.83
CPU system time (s): 4.20912
CPU usage (%): 101.781
Max. virtual memory (cumulated for all children) (KiB): 13986328
Max. memory (cumulated for all children) (KiB): 490736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.83
system time used= 4.20912
maximum resident set size= 491160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146741
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 355211
involuntary context switches= 7355
# summary of solver processes directly reported to runsolver:
# pid: 15002
# total CPU time (s): 2520.04
# total CPU user time (s): 2515.83
# total CPU system time (s): 4.20912
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9998 second user time and 21.8393 second system time
The end