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 (14849 MiB free)
memory of node 1: 16384 MiB (15194 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274838-1502714070/watcher-4274838-1502714070 -o /tmp/evaluation-result-4274838-1502714070/solver-4274838-1502714070 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1920943182 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274838-1502714070.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=21213, runsolver pid=21210
[startup+0.100156 s]*
/proc/loadavg: 1.44 1.42 1.41 3/212 21222
/proc/meminfo: memFree=30758148/32770624 swapFree=67108860/67108860
[pid=21213] ppid=21210 vsize=13573664 memory=17224 CPUtime=0.03 cores=1,3,5,7
/proc/21213/stat : 21213 (java) S 21210 21213 12395 0 -1 1077944320 4225 0 0 0 2 1 0 0 20 0 9 0 113318379 13899431936 4306 18446744073709551615 4194304 4196468 140727061299536 140727061282080 140391284805367 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
/proc/21213/statm: 3393416 4306 2106 1 0 3382913 0
[pid=21213/tid=21215] ppid=21210 vsize=13573664 memory=7824330835253697688 CPUtime=0.02 cores=1,3,5,7
/proc/21213/task/21215/stat : 21215 (java) R 21210 21213 12395 0 -1 4202560 2857 0 0 0 2 0 0 0 20 0 9 0 113318386 13899431936 4306 18446744073709551615 4194304 4196468 140727061299536 140391289041096 140391268885854 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21216] ppid=21210 vsize=13573664 memory=732370621541333989 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21216/stat : 21216 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 113318387 13899431936 4306 18446744073709551615 4194304 4196468 140727061299536 140391219239440 140391284815573 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21217] ppid=21210 vsize=13573664 memory=140483203880576 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21217/stat : 21217 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 113318387 13899431936 4306 18446744073709551615 4194304 4196468 140727061299536 140391218186896 140391284815573 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21218] ppid=21210 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21218/stat : 21218 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 113318387 13899431936 4306 18446744073709551615 4194304 4196468 140727061299536 140391217133840 140391284815573 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21219] ppid=21210 vsize=13573664 memory=-1807685287725067907 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21219/stat : 21219 (java) S 21210 21213 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 113318387 13899431936 4306 18446744073709551615 4194304 4196468 140727061299536 140391216081296 140391284815573 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21220] ppid=21210 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21220/stat : 21220 (java) S 21210 21213 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 113318388 13899431936 4306 18446744073709551615 4194304 4196468 140727061299536 140390763703024 140391284816514 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21221] ppid=21210 vsize=13574688 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21221/stat : 21221 (java) S 21210 21213 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 113318388 13900480512 4372 18446744073709551615 4194304 4196468 140727061299536 140390762649248 140391284815573 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21222] ppid=21210 vsize=13574688 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21222/stat : 21222 (java) S 21210 21213 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 113318389 13900480512 4372 18446744073709551615 4194304 4196468 140727061299536 140390761596208 140391284815573 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 17224 KiB
[startup+0.210197 s]*
/proc/loadavg: 1.44 1.42 1.41 3/218 21228
/proc/meminfo: memFree=30746984/32770624 swapFree=67108860/67108860
[pid=21213] ppid=21210 vsize=13975920 memory=34448 CPUtime=0.12 cores=1,3,5,7
/proc/21213/stat : 21213 (java) S 21210 21213 12395 0 -1 1077944320 9581 0 0 0 10 2 0 0 20 0 15 0 113318379 14311342080 8612 18446744073709551615 4194304 4196468 140727061299536 140727061282080 140391284805367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
/proc/21213/statm: 3493980 8612 3385 1 0 3482759 0
[pid=21213/tid=21215] ppid=21210 vsize=13975920 memory=-4116735710718344508 CPUtime=0.1 cores=1,3,5,7
/proc/21213/task/21215/stat : 21215 (java) R 21210 21213 12395 0 -1 4202560 7519 0 0 0 8 2 0 0 20 0 15 0 113318386 14311342080 8612 18446744073709551615 4194304 4196468 140727061299536 140391289012416 140391284827293 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21216] ppid=21210 vsize=13975920 memory=280966282532600 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21216/stat : 21216 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113318387 14311342080 8612 18446744073709551615 4194304 4196468 140727061299536 140391219239440 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21217] ppid=21210 vsize=13975920 memory=140483203880576 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21217/stat : 21217 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113318387 14311342080 8612 18446744073709551615 4194304 4196468 140727061299536 140391218186896 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21218] ppid=21210 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21218/stat : 21218 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113318387 14311342080 8612 18446744073709551615 4194304 4196468 140727061299536 140391217133840 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21219] ppid=21210 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21219/stat : 21219 (java) S 21210 21213 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113318387 14311342080 8612 18446744073709551615 4194304 4196468 140727061299536 140391216081296 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21220] ppid=21210 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21220/stat : 21220 (java) S 21210 21213 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113318388 14311342080 8612 18446744073709551615 4194304 4196468 140727061299536 140390763703024 140391284816514 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21221] ppid=21210 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21221/stat : 21221 (java) S 21210 21213 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113318388 14311342080 8612 18446744073709551615 4194304 4196468 140727061299536 140390762649248 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21222] ppid=21210 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21222/stat : 21222 (java) S 21210 21213 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113318389 14311342080 8612 18446744073709551615 4194304 4196468 140727061299536 140390761596144 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21223] ppid=21210 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21223/stat : 21223 (java) S 21210 21213 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113318391 14311342080 8612 18446744073709551615 4194304 4196468 140727061299536 140390760544720 140391284823963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21224] ppid=21210 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21224/stat : 21224 (java) S 21210 21213 12395 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 113318391 14311342080 8612 18446744073709551615 4194304 4196468 140727061299536 140390759491824 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21225] ppid=21210 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21225/stat : 21225 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113318391 14311342080 8612 18446744073709551615 4194304 4196468 140727061299536 140390758439280 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21226] ppid=21210 vsize=13975920 memory=140483203880576 CPUtime=0.01 cores=1,3,5,7
/proc/21213/task/21226/stat : 21226 (java) R 21210 21213 12395 0 -1 4202560 377 0 0 0 1 0 0 0 20 0 15 0 113318391 14311342080 8612 18446744073709551615 4194304 4196468 140727061299536 140390757386224 140391263721046 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21227] ppid=21210 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21227/stat : 21227 (java) S 21210 21213 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113318391 14311342080 8612 18446744073709551615 4194304 4196468 140727061299536 140390756333920 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21228] ppid=21210 vsize=13975920 memory=140483203880576 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21228/stat : 21228 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113318396 14311342080 8612 18446744073709551615 4194304 4196468 140727061299536 140390755281968 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 34448 KiB
[startup+0.311697 s]*
/proc/loadavg: 1.44 1.42 1.41 4/218 21228
/proc/meminfo: memFree=30737692/32770624 swapFree=67108860/67108860
[pid=21213] ppid=21210 vsize=13975920 memory=43288 CPUtime=0.29 cores=1,3,5,7
/proc/21213/stat : 21213 (java) S 21210 21213 12395 0 -1 1077944320 11064 0 0 0 26 3 0 0 20 0 15 0 113318379 14311342080 10822 18446744073709551615 4194304 4196468 140727061299536 140727061282080 140391284805367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
/proc/21213/statm: 3493980 10822 3582 1 0 3482759 0
[pid=21213/tid=21215] ppid=21210 vsize=13975920 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/21213/task/21215/stat : 21215 (java) R 21210 21213 12395 0 -1 4202560 8677 0 0 0 17 2 0 0 20 0 15 0 113318386 14311342080 10822 18446744073709551615 4194304 4196468 140727061299536 140391289014560 140391284827293 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21216] ppid=21210 vsize=13975920 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21216/stat : 21216 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113318387 14311342080 10822 18446744073709551615 4194304 4196468 140727061299536 140391219239440 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21217] ppid=21210 vsize=13975920 memory=1398720917958146503 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21217/stat : 21217 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113318387 14311342080 10822 18446744073709551615 4194304 4196468 140727061299536 140391218186896 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21218] ppid=21210 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21218/stat : 21218 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113318387 14311342080 10822 18446744073709551615 4194304 4196468 140727061299536 140391217133840 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21219] ppid=21210 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21219/stat : 21219 (java) S 21210 21213 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113318387 14311342080 10822 18446744073709551615 4194304 4196468 140727061299536 140391216081296 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21220] ppid=21210 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21220/stat : 21220 (java) S 21210 21213 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113318388 14311342080 10822 18446744073709551615 4194304 4196468 140727061299536 140390763703024 140391284816514 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21221] ppid=21210 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21221/stat : 21221 (java) S 21210 21213 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113318388 14311342080 10822 18446744073709551615 4194304 4196468 140727061299536 140390762649248 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21222] ppid=21210 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21222/stat : 21222 (java) S 21210 21213 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113318389 14311342080 10822 18446744073709551615 4194304 4196468 140727061299536 140390761596144 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21223] ppid=21210 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21223/stat : 21223 (java) S 21210 21213 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113318391 14311342080 10822 18446744073709551615 4194304 4196468 140727061299536 140390760544720 140391284823963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21224] ppid=21210 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21213/task/21224/stat : 21224 (java) S 21210 21213 12395 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 15 0 113318391 14311342080 10822 18446744073709551615 4194304 4196468 140727061299536 140390759491824 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21225] ppid=21210 vsize=13975920 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21213/task/21225/stat : 21225 (java) S 21210 21213 12395 0 -1 1077944384 263 0 0 0 2 0 0 0 20 0 15 0 113318391 14311342080 10822 18446744073709551615 4194304 4196468 140727061299536 140390758439280 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21226] ppid=21210 vsize=13975920 memory=140483203880576 CPUtime=0.05 cores=1,3,5,7
/proc/21213/task/21226/stat : 21226 (java) S 21210 21213 12395 0 -1 1077944384 395 0 0 0 5 0 0 0 20 0 15 0 113318391 14311342080 10822 18446744073709551615 4194304 4196468 140727061299536 140390757386224 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21227] ppid=21210 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21227/stat : 21227 (java) S 21210 21213 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113318391 14311342080 10822 18446744073709551615 4194304 4196468 140727061299536 140390756333920 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21228] ppid=21210 vsize=13975920 memory=140483203880576 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21228/stat : 21228 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113318396 14311342080 10822 18446744073709551615 4194304 4196468 140727061299536 140390755281968 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 43288 KiB
[startup+0.700758 s]
/proc/loadavg: 1.44 1.42 1.41 3/218 21228
/proc/meminfo: memFree=30723972/32770624 swapFree=67108860/67108860
[pid=21213] ppid=21210 vsize=13977988 memory=69416 CPUtime=1.07 cores=1,3,5,7
/proc/21213/stat : 21213 (java) S 21210 21213 12395 0 -1 1077944320 14015 0 0 0 102 5 0 0 20 0 15 0 113318379 14313459712 17354 18446744073709551615 4194304 4196468 140727061299536 140727061282080 140391284805367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
/proc/21213/statm: 3494497 17354 3736 1 0 3483271 0
[pid=21213/tid=21215] ppid=21210 vsize=13977988 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/21213/task/21215/stat : 21215 (java) R 21210 21213 12395 0 -1 4202560 10472 0 0 0 53 4 0 0 20 0 15 0 113318386 14313459712 17354 18446744073709551615 4194304 4196468 140727061299536 140391289041456 140391284827293 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21216] ppid=21210 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21216/stat : 21216 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113318387 14313459712 17354 18446744073709551615 4194304 4196468 140727061299536 140391219239440 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21217] ppid=21210 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21217/stat : 21217 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113318387 14313459712 17354 18446744073709551615 4194304 4196468 140727061299536 140391218186896 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21218] ppid=21210 vsize=13977988 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21218/stat : 21218 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113318387 14313459712 17354 18446744073709551615 4194304 4196468 140727061299536 140391217133840 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21219] ppid=21210 vsize=13977988 memory=32380 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21219/stat : 21219 (java) S 21210 21213 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113318387 14313459712 17354 18446744073709551615 4194304 4196468 140727061299536 140391216081296 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21220] ppid=21210 vsize=13977988 memory=18468 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21220/stat : 21220 (java) S 21210 21213 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113318388 14313459712 17354 18446744073709551615 4194304 4196468 140727061299536 140390763703024 140391284816514 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21221] ppid=21210 vsize=13977988 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21221/stat : 21221 (java) S 21210 21213 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113318388 14313459712 17354 18446744073709551615 4194304 4196468 140727061299536 140390762649248 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21222] ppid=21210 vsize=13977988 memory=644 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21222/stat : 21222 (java) S 21210 21213 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113318389 14313459712 17354 18446744073709551615 4194304 4196468 140727061299536 140390761596144 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21223] ppid=21210 vsize=13977988 memory=956 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21223/stat : 21223 (java) S 21210 21213 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113318391 14313459712 17354 18446744073709551615 4194304 4196468 140727061299536 140390760544720 140391284823963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21224] ppid=21210 vsize=13977988 memory=1236 CPUtime=0.12 cores=1,3,5,7
/proc/21213/task/21224/stat : 21224 (java) S 21210 21213 12395 0 -1 1077944384 605 0 0 0 12 0 0 0 20 0 15 0 113318391 14313459712 17354 18446744073709551615 4194304 4196468 140727061299536 140390759491824 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21225] ppid=21210 vsize=13977988 memory=2240 CPUtime=0.12 cores=1,3,5,7
/proc/21213/task/21225/stat : 21225 (java) S 21210 21213 12395 0 -1 1077944384 687 0 0 0 12 0 0 0 20 0 15 0 113318391 14313459712 17354 18446744073709551615 4194304 4196468 140727061299536 140390758439280 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21226] ppid=21210 vsize=13977988 memory=4296 CPUtime=0.24 cores=1,3,5,7
/proc/21213/task/21226/stat : 21226 (java) S 21210 21213 12395 0 -1 1077944384 870 0 0 0 24 0 0 0 20 0 15 0 113318391 14313459712 17354 18446744073709551615 4194304 4196468 140727061299536 140390757386224 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21227] ppid=21210 vsize=13977988 memory=6153431502485415779 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21227/stat : 21227 (java) S 21210 21213 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113318391 14313459712 17354 18446744073709551615 4194304 4196468 140727061299536 140390756333920 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21228] ppid=21210 vsize=13977988 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21228/stat : 21228 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113318396 14313459712 17354 18446744073709551615 4194304 4196468 140727061299536 140390755281968 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 69416 KiB
[startup+1.50157 s]
/proc/loadavg: 1.44 1.42 1.41 3/218 21228
/proc/meminfo: memFree=30685708/32770624 swapFree=67108860/67108860
[pid=21213] ppid=21210 vsize=13982084 memory=131840 CPUtime=3.23 cores=1,3,5,7
/proc/21213/stat : 21213 (java) S 21210 21213 12395 0 -1 1077944320 31276 0 0 0 313 10 0 0 20 0 15 0 113318379 14317654016 32960 18446744073709551615 4194304 4196468 140727061299536 140727061282080 140391284805367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
/proc/21213/statm: 3495521 32960 3756 1 0 3484295 0
[pid=21213/tid=21215] ppid=21210 vsize=13982084 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/21213/task/21215/stat : 21215 (java) R 21210 21213 12395 0 -1 4202560 14762 0 0 0 130 6 0 0 20 0 15 0 113318386 14317654016 32960 18446744073709551615 4194304 4196468 140727061299536 140391289042176 140390894790147 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21216] ppid=21210 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21216/stat : 21216 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113318387 14317654016 32960 18446744073709551615 4194304 4196468 140727061299536 140391219239440 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21217] ppid=21210 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21217/stat : 21217 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113318387 14317654016 32960 18446744073709551615 4194304 4196468 140727061299536 140391218186896 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21218] ppid=21210 vsize=13982084 memory=6364808323080098708 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21218/stat : 21218 (java) S 21210 21213 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113318387 14317654016 32960 18446744073709551615 4194304 4196468 140727061299536 140391217133840 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21219] ppid=21210 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21219/stat : 21219 (java) S 21210 21213 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113318387 14317654016 32960 18446744073709551615 4194304 4196468 140727061299536 140391216081296 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21220] ppid=21210 vsize=13982084 memory=280966157307152 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21220/stat : 21220 (java) S 21210 21213 12395 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 113318388 14317654016 32960 18446744073709551615 4194304 4196468 140727061299536 140390763703024 140391284816514 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21221] ppid=21210 vsize=13982084 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21221/stat : 21221 (java) S 21210 21213 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113318388 14317654016 32960 18446744073709551615 4194304 4196468 140727061299536 140390762649248 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21222] ppid=21210 vsize=13982084 memory=1437 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21222/stat : 21222 (java) S 21210 21213 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113318389 14317654016 32960 18446744073709551615 4194304 4196468 140727061299536 140390761596144 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21223] ppid=21210 vsize=13982084 memory=521 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21223/stat : 21223 (java) S 21210 21213 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113318391 14317654016 32960 18446744073709551615 4194304 4196468 140727061299536 140390760544720 140391284823963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21224] ppid=21210 vsize=13982084 memory=172 CPUtime=0.59 cores=1,3,5,7
/proc/21213/task/21224/stat : 21224 (java) R 21210 21213 12395 0 -1 4202560 4425 0 0 0 59 0 0 0 20 0 15 0 113318391 14317654016 32960 18446744073709551615 4194304 4196468 140727061299536 140390759472840 140391262662538 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21225] ppid=21210 vsize=13982084 memory=2 CPUtime=0.61 cores=1,3,5,7
/proc/21213/task/21225/stat : 21225 (java) R 21210 21213 12395 0 -1 4202560 3235 0 0 0 61 0 0 0 20 0 15 0 113318391 14317654016 32960 18446744073709551615 4194304 4196468 140727061299536 140390758425040 140391269731940 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21226] ppid=21210 vsize=13982084 memory=38 CPUtime=0.62 cores=1,3,5,7
/proc/21213/task/21226/stat : 21226 (java) S 21210 21213 12395 0 -1 1077944384 7395 0 0 0 61 1 0 0 20 0 15 0 113318391 14317654016 32960 18446744073709551615 4194304 4196468 140727061299536 140390757386224 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
################
# More data... #
################
/proc/21213/task/21215/stat : 21215 (java) R 21210 21213 12395 0 -1 4202560 111874 0 0 0 235480 73 0 0 20 0 15 0 113318386 14317654016 115609 18446744073709551615 4194304 4196468 140727061299536 140391289043760 140390898066052 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21216] ppid=21210 vsize=13982084 memory=404468 CPUtime=17.07 cores=1,3,5,7
/proc/21213/task/21216/stat : 21216 (java) S 21210 21213 12395 0 -1 1077944384 14601 0 0 0 1646 61 0 0 20 0 15 0 113318387 14317654016 115609 18446744073709551615 4194304 4196468 140727061299536 140391219239440 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21217] ppid=21210 vsize=13982084 memory=449764 CPUtime=17.04 cores=1,3,5,7
/proc/21213/task/21217/stat : 21217 (java) S 21210 21213 12395 0 -1 1077944384 17504 0 0 0 1639 65 0 0 20 0 15 0 113318387 14317654016 115609 18446744073709551615 4194304 4196468 140727061299536 140391218186896 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21218] ppid=21210 vsize=13982084 memory=438784 CPUtime=17.11 cores=1,3,5,7
/proc/21213/task/21218/stat : 21218 (java) S 21210 21213 12395 0 -1 1077944384 17115 0 0 0 1645 66 0 0 20 0 15 0 113318387 14317654016 115609 18446744073709551615 4194304 4196468 140727061299536 140391217133840 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21219] ppid=21210 vsize=13982084 memory=460024 CPUtime=17.08 cores=1,3,5,7
/proc/21213/task/21219/stat : 21219 (java) S 21210 21213 12395 0 -1 1077944384 15828 0 0 0 1644 64 0 0 20 0 15 0 113318387 14317654016 115609 18446744073709551615 4194304 4196468 140727061299536 140391216081296 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21220] ppid=21210 vsize=13982084 memory=463464 CPUtime=6.57 cores=1,3,5,7
/proc/21213/task/21220/stat : 21220 (java) S 21210 21213 12395 0 -1 1077944384 42280 0 0 0 572 85 0 0 20 0 15 0 113318388 14317654016 115609 18446744073709551615 4194304 4196468 140727061299536 140390763703024 140391284816514 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21221] ppid=21210 vsize=13982084 memory=462436 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21221/stat : 21221 (java) S 21210 21213 12395 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 113318388 14317654016 115609 18446744073709551615 4194304 4196468 140727061299536 140390762649312 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21222] ppid=21210 vsize=13982084 memory=465516 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21222/stat : 21222 (java) S 21210 21213 12395 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 113318389 14317654016 115609 18446744073709551615 4194304 4196468 140727061299536 140390761596160 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21223] ppid=21210 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21223/stat : 21223 (java) S 21210 21213 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113318391 14317654016 115609 18446744073709551615 4194304 4196468 140727061299536 140390760544720 140391284823963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21224] ppid=21210 vsize=13982084 memory=439504 CPUtime=3.19 cores=1,3,5,7
/proc/21213/task/21224/stat : 21224 (java) S 21210 21213 12395 0 -1 1077944384 17482 0 0 0 317 2 0 0 20 0 15 0 113318391 14317654016 115609 18446744073709551615 4194304 4196468 140727061299536 140390759491824 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 61 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21225] ppid=21210 vsize=13982084 memory=444636 CPUtime=3.27 cores=1,3,5,7
/proc/21213/task/21225/stat : 21225 (java) S 21210 21213 12395 0 -1 1077944384 18384 0 0 0 325 2 0 0 20 0 15 0 113318391 14317654016 115609 18446744073709551615 4194304 4196468 140727061299536 140390758439280 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 65 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21226] ppid=21210 vsize=13982084 memory=445660 CPUtime=1 cores=1,3,5,7
/proc/21213/task/21226/stat : 21226 (java) S 21210 21213 12395 0 -1 1077944384 14959 0 0 0 98 2 0 0 20 0 15 0 113318391 14317654016 115609 18446744073709551615 4194304 4196468 140727061299536 140390757386224 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 55 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21227] ppid=21210 vsize=13982084 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21227/stat : 21227 (java) S 21210 21213 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113318391 14317654016 115609 18446744073709551615 4194304 4196468 140727061299536 140390756333920 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21228] ppid=21210 vsize=13982084 memory=4132 CPUtime=1.46 cores=1,3,5,7
/proc/21213/task/21228/stat : 21228 (java) S 21210 21213 12395 0 -1 1077944384 1149 0 0 0 66 80 0 0 20 0 15 0 113318396 14317654016 115609 18446744073709551615 4194304 4196468 140727061299536 140390755281968 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 70 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
Current children cumulated CPU time: 2439.41 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 462436 KiB
[startup+2442.3 s]
/proc/loadavg: 1.52 1.39 1.40 3/217 21581
/proc/meminfo: memFree=29977724/32770624 swapFree=67108860/67108860
[pid=21213] ppid=21210 vsize=13982084 memory=437808 CPUtime=2500.67 cores=1,3,5,7
/proc/21213/stat : 21213 (java) S 21210 21213 12395 0 -1 1077944320 277857 0 0 0 249611 456 0 0 20 0 15 0 113318379 14317654016 109452 18446744073709551615 4194304 4196468 140727061299536 140727061282080 140391284805367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
/proc/21213/statm: 3495521 109452 3842 1 0 3484295 0
[pid=21213/tid=21215] ppid=21210 vsize=13982084 memory=446016 CPUtime=2414.82 cores=1,3,5,7
/proc/21213/task/21215/stat : 21215 (java) R 21210 21213 12395 0 -1 4202560 113088 0 0 0 241408 74 0 0 20 0 15 0 113318386 14317654016 109452 18446744073709551615 4194304 4196468 140727061299536 140391289043808 140390898065904 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21216] ppid=21210 vsize=13982084 memory=447044 CPUtime=17.51 cores=1,3,5,7
/proc/21213/task/21216/stat : 21216 (java) S 21210 21213 12395 0 -1 1077944384 15020 0 0 0 1687 64 0 0 20 0 15 0 113318387 14317654016 109452 18446744073709551615 4194304 4196468 140727061299536 140391219239440 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21217] ppid=21210 vsize=13982084 memory=451148 CPUtime=17.48 cores=1,3,5,7
/proc/21213/task/21217/stat : 21217 (java) S 21210 21213 12395 0 -1 1077944384 17840 0 0 0 1681 67 0 0 20 0 15 0 113318387 14317654016 109452 18446744073709551615 4194304 4196468 140727061299536 140391218186896 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21218] ppid=21210 vsize=13982084 memory=438784 CPUtime=17.55 cores=1,3,5,7
/proc/21213/task/21218/stat : 21218 (java) S 21210 21213 12395 0 -1 1077944384 17417 0 0 0 1688 67 0 0 20 0 15 0 113318387 14317654016 109452 18446744073709551615 4194304 4196468 140727061299536 140391217133840 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21219] ppid=21210 vsize=13982084 memory=4132 CPUtime=17.52 cores=1,3,5,7
/proc/21213/task/21219/stat : 21219 (java) S 21210 21213 12395 0 -1 1077944384 16191 0 0 0 1686 66 0 0 20 0 15 0 113318387 14317654016 109452 18446744073709551615 4194304 4196468 140727061299536 140391216081296 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21220] ppid=21210 vsize=13982084 memory=445428 CPUtime=6.74 cores=1,3,5,7
/proc/21213/task/21220/stat : 21220 (java) S 21210 21213 12395 0 -1 1077944384 44848 0 0 0 587 87 0 0 20 0 15 0 113318388 14317654016 109452 18446744073709551615 4194304 4196468 140727061299536 140390763703024 140391284816514 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21221] ppid=21210 vsize=13982084 memory=449072 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21221/stat : 21221 (java) S 21210 21213 12395 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 113318388 14317654016 109452 18446744073709551615 4194304 4196468 140727061299536 140390762649312 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21222] ppid=21210 vsize=13982084 memory=449072 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21222/stat : 21222 (java) S 21210 21213 12395 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 113318389 14317654016 109452 18446744073709551615 4194304 4196468 140727061299536 140390761596160 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21223] ppid=21210 vsize=13982084 memory=451164 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21223/stat : 21223 (java) S 21210 21213 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113318391 14317654016 109452 18446744073709551615 4194304 4196468 140727061299536 140390760544720 140391284823963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21224] ppid=21210 vsize=13982084 memory=439860 CPUtime=3.19 cores=1,3,5,7
/proc/21213/task/21224/stat : 21224 (java) S 21210 21213 12395 0 -1 1077944384 17483 0 0 0 317 2 0 0 20 0 15 0 113318391 14317654016 109452 18446744073709551615 4194304 4196468 140727061299536 140390759491824 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 61 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21225] ppid=21210 vsize=13982084 memory=437808 CPUtime=3.27 cores=1,3,5,7
/proc/21213/task/21225/stat : 21225 (java) S 21210 21213 12395 0 -1 1077944384 18385 0 0 0 325 2 0 0 20 0 15 0 113318391 14317654016 109452 18446744073709551615 4194304 4196468 140727061299536 140390758439280 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 65 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21226] ppid=21210 vsize=13982084 memory=446016 CPUtime=1 cores=1,3,5,7
/proc/21213/task/21226/stat : 21226 (java) S 21210 21213 12395 0 -1 1077944384 14959 0 0 0 98 2 0 0 20 0 15 0 113318391 14317654016 109452 18446744073709551615 4194304 4196468 140727061299536 140390757386224 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 55 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21227] ppid=21210 vsize=13982084 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21227/stat : 21227 (java) S 21210 21213 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113318391 14317654016 109452 18446744073709551615 4194304 4196468 140727061299536 140390756333920 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21228] ppid=21210 vsize=13982084 memory=437808 CPUtime=1.5 cores=1,3,5,7
/proc/21213/task/21228/stat : 21228 (java) S 21210 21213 12395 0 -1 1077944384 1153 0 0 0 68 82 0 0 20 0 15 0 113318396 14317654016 109452 18446744073709551615 4194304 4196468 140727061299536 140390755281968 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 70 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
Current children cumulated CPU time: 2500.67 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 437808 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2461.3 s]
/proc/loadavg: 1.57 1.41 1.41 3/217 21582
/proc/meminfo: memFree=29952652/32770624 swapFree=67108860/67108860
[pid=21213] ppid=21210 vsize=13982084 memory=457888 CPUtime=2520.04 cores=1,3,5,7
/proc/21213/stat : 21213 (java) S 21210 21213 12395 0 -1 1077944320 281650 0 0 0 251545 459 0 0 20 0 15 0 113318379 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140727061282080 140391284805367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
/proc/21213/statm: 3495521 114472 3842 1 0 3484295 0
[pid=21213/tid=21215] ppid=21210 vsize=13982084 memory=458916 CPUtime=2433.6 cores=1,3,5,7
/proc/21213/task/21215/stat : 21215 (java) R 21210 21213 12395 0 -1 4202560 115954 0 0 0 243286 74 0 0 20 0 15 0 113318386 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140391289043648 140390897555159 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21216] ppid=21210 vsize=13982084 memory=459940 CPUtime=17.63 cores=1,3,5,7
/proc/21213/task/21216/stat : 21216 (java) S 21210 21213 12395 0 -1 1077944384 15240 0 0 0 1699 64 0 0 20 0 15 0 113318387 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140391219239440 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21217] ppid=21210 vsize=13982084 memory=1758 CPUtime=17.6 cores=1,3,5,7
/proc/21213/task/21217/stat : 21217 (java) S 21210 21213 12395 0 -1 1077944384 18085 0 0 0 1693 67 0 0 20 0 15 0 113318387 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140391218186896 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21218] ppid=21210 vsize=13982084 memory=461828 CPUtime=17.68 cores=1,3,5,7
/proc/21213/task/21218/stat : 21218 (java) S 21210 21213 12395 0 -1 1077944384 17651 0 0 0 1700 68 0 0 20 0 15 0 113318387 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140391217133840 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21219] ppid=21210 vsize=13982084 memory=434732 CPUtime=17.65 cores=1,3,5,7
/proc/21213/task/21219/stat : 21219 (java) S 21210 21213 12395 0 -1 1077944384 16397 0 0 0 1699 66 0 0 20 0 15 0 113318387 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140391216081296 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21220] ppid=21210 vsize=13982084 memory=4132 CPUtime=6.8 cores=1,3,5,7
/proc/21213/task/21220/stat : 21220 (java) S 21210 21213 12395 0 -1 1077944384 44868 0 0 0 592 88 0 0 20 0 15 0 113318388 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390763703024 140391284816514 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21221] ppid=21210 vsize=13982084 memory=444508 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21221/stat : 21221 (java) S 21210 21213 12395 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 113318388 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390762649312 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21222] ppid=21210 vsize=13982084 memory=458916 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21222/stat : 21222 (java) S 21210 21213 12395 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 113318389 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390761596160 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21223] ppid=21210 vsize=13982084 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21223/stat : 21223 (java) S 21210 21213 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113318391 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390760544720 140391284823963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21224] ppid=21210 vsize=13982084 memory=458916 CPUtime=3.19 cores=1,3,5,7
/proc/21213/task/21224/stat : 21224 (java) S 21210 21213 12395 0 -1 1077944384 17484 0 0 0 317 2 0 0 20 0 15 0 113318391 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390759491824 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 61 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21225] ppid=21210 vsize=13982084 memory=1236 CPUtime=3.27 cores=1,3,5,7
/proc/21213/task/21225/stat : 21225 (java) S 21210 21213 12395 0 -1 1077944384 18386 0 0 0 325 2 0 0 20 0 15 0 113318391 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390758439280 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 65 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21226] ppid=21210 vsize=13982084 memory=457888 CPUtime=1 cores=1,3,5,7
/proc/21213/task/21226/stat : 21226 (java) S 21210 21213 12395 0 -1 1077944384 14959 0 0 0 98 2 0 0 20 0 15 0 113318391 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390757386224 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 55 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21227] ppid=21210 vsize=13982084 memory=460804 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21227/stat : 21227 (java) S 21210 21213 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113318391 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390756333920 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21228] ppid=21210 vsize=13982084 memory=460804 CPUtime=1.51 cores=1,3,5,7
/proc/21213/task/21228/stat : 21228 (java) S 21210 21213 12395 0 -1 1077944384 1153 0 0 0 68 83 0 0 20 0 15 0 113318396 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390755281968 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 70 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 457888 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2461.33 s]
# the end of solver process 21213 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.47 s, system=4.60336 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2461.3 s]
/proc/loadavg: 1.57 1.41 1.41 3/217 21582
/proc/meminfo: memFree=29952652/32770624 swapFree=67108860/67108860
[pid=21213] ppid=21210 vsize=13982084 memory=457888 CPUtime=2520.04 cores=1,3,5,7
/proc/21213/stat : 21213 (java) S 21210 21213 12395 0 -1 1077944320 281650 0 0 0 251545 459 0 0 20 0 15 0 113318379 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140727061282080 140391284805367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
/proc/21213/statm: 3495521 114472 3842 1 0 3484295 0
[pid=21213/tid=21215] ppid=21210 vsize=13982084 memory=458916 CPUtime=2433.6 cores=1,3,5,7
/proc/21213/task/21215/stat : 21215 (java) R 21210 21213 12395 0 -1 4202560 115954 0 0 0 243286 74 0 0 20 0 15 0 113318386 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140391289043648 140390897555159 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21216] ppid=21210 vsize=13982084 memory=459940 CPUtime=17.63 cores=1,3,5,7
/proc/21213/task/21216/stat : 21216 (java) S 21210 21213 12395 0 -1 1077944384 15240 0 0 0 1699 64 0 0 20 0 15 0 113318387 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140391219239440 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21217] ppid=21210 vsize=13982084 memory=1758 CPUtime=17.6 cores=1,3,5,7
/proc/21213/task/21217/stat : 21217 (java) S 21210 21213 12395 0 -1 1077944384 18085 0 0 0 1693 67 0 0 20 0 15 0 113318387 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140391218186896 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21218] ppid=21210 vsize=13982084 memory=461828 CPUtime=17.68 cores=1,3,5,7
/proc/21213/task/21218/stat : 21218 (java) S 21210 21213 12395 0 -1 1077944384 17651 0 0 0 1700 68 0 0 20 0 15 0 113318387 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140391217133840 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21219] ppid=21210 vsize=13982084 memory=434732 CPUtime=17.65 cores=1,3,5,7
/proc/21213/task/21219/stat : 21219 (java) S 21210 21213 12395 0 -1 1077944384 16397 0 0 0 1699 66 0 0 20 0 15 0 113318387 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140391216081296 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21220] ppid=21210 vsize=13982084 memory=4132 CPUtime=6.8 cores=1,3,5,7
/proc/21213/task/21220/stat : 21220 (java) S 21210 21213 12395 0 -1 1077944384 44868 0 0 0 592 88 0 0 20 0 15 0 113318388 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390763703024 140391284816514 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21221] ppid=21210 vsize=13982084 memory=444508 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21221/stat : 21221 (java) S 21210 21213 12395 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 113318388 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390762649312 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21222] ppid=21210 vsize=13982084 memory=458916 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21222/stat : 21222 (java) S 21210 21213 12395 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 113318389 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390761596160 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21223] ppid=21210 vsize=13982084 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21223/stat : 21223 (java) S 21210 21213 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113318391 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390760544720 140391284823963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21224] ppid=21210 vsize=13982084 memory=458916 CPUtime=3.19 cores=1,3,5,7
/proc/21213/task/21224/stat : 21224 (java) S 21210 21213 12395 0 -1 1077944384 17484 0 0 0 317 2 0 0 20 0 15 0 113318391 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390759491824 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 61 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21225] ppid=21210 vsize=13982084 memory=1236 CPUtime=3.27 cores=1,3,5,7
/proc/21213/task/21225/stat : 21225 (java) S 21210 21213 12395 0 -1 1077944384 18386 0 0 0 325 2 0 0 20 0 15 0 113318391 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390758439280 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 65 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21226] ppid=21210 vsize=13982084 memory=457888 CPUtime=1 cores=1,3,5,7
/proc/21213/task/21226/stat : 21226 (java) S 21210 21213 12395 0 -1 1077944384 14959 0 0 0 98 2 0 0 20 0 15 0 113318391 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390757386224 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 55 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21227] ppid=21210 vsize=13982084 memory=460804 CPUtime=0 cores=1,3,5,7
/proc/21213/task/21227/stat : 21227 (java) S 21210 21213 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113318391 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390756333920 140391284815573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
[pid=21213/tid=21228] ppid=21210 vsize=13982084 memory=460804 CPUtime=1.51 cores=1,3,5,7
/proc/21213/task/21228/stat : 21228 (java) S 21210 21213 12395 0 -1 1077944384 1153 0 0 0 68 83 0 0 20 0 15 0 113318396 14317654016 114472 18446744073709551615 4194304 4196468 140727061299536 140390755281968 140391284816514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 70 0 0 6293624 6294260 8048640 140727061303666 140727061303849 140727061303849 140727061307343 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 457888 KiB
Child status: 143
Real time (s): 2461.33
CPU time (s): 2520.08
CPU user time (s): 2515.47
CPU system time (s): 4.60336
CPU usage (%): 102.387
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 705340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.47
system time used= 4.60336
maximum resident set size= 713704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281868
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 225189
involuntary context switches= 9142
# summary of solver processes directly reported to runsolver:
# pid: 21213
# total CPU time (s): 2520.08
# total CPU user time (s): 2515.47
# total CPU system time (s): 4.60336
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9857 second user time and 24.1663 second system time
The end