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 (6682 MiB free)
memory of node 1: 16384 MiB (10495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295674-1532587619/watcher-4295674-1532587619 -o /tmp/evaluation-result-4295674-1532587619/solver-4295674-1532587619 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532582651-32591 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=662495599 -superng HOME/instance-4295674-1532587619.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=850, runsolver pid=844
[startup+0.100061 s]*
/proc/loadavg: 1.11 1.19 1.31 2/204 929
/proc/meminfo: memFree=17568612/32770624 swapFree=67108796/67108860
[pid=850] ppid=844 vsize=9972712 memory=16020 CPUtime=0.09 cores=0,2,4,6
/proc/850/stat : 850 (java) S 844 850 32560 0 -1 1077944320 4186 12927 0 0 0 1 5 3 20 0 6 0 76325038 10212057088 4005 33554432000 4194304 4196468 140726278391200 140726278373744 140603620617975 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
/proc/850/statm: 2493178 4005 1895 1 0 2481616 0
[pid=850/tid=926] ppid=844 vsize=9972712 memory=7883960649037381690 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/926/stat : 926 (java) R 844 850 32560 0 -1 4202560 2147 12927 0 0 0 0 5 3 20 0 6 0 76325048 10212057088 4203 33554432000 4194304 4196468 140726278391200 140603592454736 140603604698462 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=927] ppid=844 vsize=9972712 memory=288230617609666583 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/927/stat : 927 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 6 0 76325048 10212057088 4203 33554432000 4194304 4196468 140726278391200 140603624860560 140603620628181 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=928] ppid=844 vsize=9972712 memory=140477941482225 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/928/stat : 928 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 6 0 76325048 10212057088 4203 33554432000 4194304 4196468 140726278391200 140603193744144 140603620628181 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=929] ppid=844 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/929/stat : 929 (java) S 844 850 32560 0 -1 1077944384 2 12927 0 0 0 0 5 3 20 0 6 0 76325048 10212057088 4203 33554432000 4194304 4196468 140726278391200 140603192691856 140603620628181 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=930] ppid=844 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/930/stat : 930 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 6 0 76325048 10212057088 4203 33554432000 4194304 4196468 140726278391200 140603191639056 140603620628181 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16020 KiB
[startup+0.210102 s]*
/proc/loadavg: 1.11 1.19 1.31 2/198 939
/proc/meminfo: memFree=17562640/32770624 swapFree=67108796/67108860
[pid=850] ppid=844 vsize=10818904 memory=43100 CPUtime=0.26 cores=0,2,4,6
/proc/850/stat : 850 (java) S 844 850 32560 0 -1 1077944320 7929 12927 0 0 16 2 5 3 20 0 15 0 76325038 11078557696 10709 33554432000 4194304 4196468 140726278391200 140726278373744 140603620617975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
/proc/850/statm: 2704726 10709 2973 1 0 2667149 0
[pid=850/tid=926] ppid=844 vsize=10821524 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/850/task/926/stat : 926 (java) R 844 850 32560 0 -1 4202560 5377 12927 0 0 10 1 5 3 20 0 15 0 76325048 11081240576 11501 33554432000 4194304 4196468 140726278391200 140603592442784 140603613297693 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=927] ppid=844 vsize=10821524 memory=4294976271 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/927/stat : 927 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325048 11081240576 11567 33554432000 4194304 4196468 140726278391200 140603624860560 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=928] ppid=844 vsize=10821524 memory=3978005541838063264 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/928/stat : 928 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325048 11081240576 11567 33554432000 4194304 4196468 140726278391200 140603193744144 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=929] ppid=844 vsize=10821524 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/929/stat : 929 (java) S 844 850 32560 0 -1 1077944384 2 12927 0 0 0 0 5 3 20 0 15 0 76325048 11081240576 11567 33554432000 4194304 4196468 140726278391200 140603192691856 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=930] ppid=844 vsize=10821524 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/930/stat : 930 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325048 11081240576 11567 33554432000 4194304 4196468 140726278391200 140603191639056 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=931] ppid=844 vsize=10821524 memory=140477941089920 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/931/stat : 931 (java) S 844 850 32560 0 -1 1077944384 2 12927 0 0 0 0 5 3 20 0 15 0 76325050 11081240576 11633 33554432000 4194304 4196468 140726278391200 140603147196528 140603620629122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=932] ppid=844 vsize=10821524 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/932/stat : 932 (java) S 844 850 32560 0 -1 1077944384 13 12927 0 0 0 0 5 3 20 0 15 0 76325050 11081240576 11633 33554432000 4194304 4196468 140726278391200 140603069293344 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=933] ppid=844 vsize=10821524 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/933/stat : 933 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325050 11081240576 11633 33554432000 4194304 4196468 140726278391200 140602465313904 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=934] ppid=844 vsize=10821524 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/934/stat : 934 (java) S 844 850 32560 0 -1 1077944384 3 12927 0 0 0 0 5 3 20 0 15 0 76325053 11081240576 11633 33554432000 4194304 4196468 140726278391200 140602157914192 140603620636571 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=935] ppid=844 vsize=10821524 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/850/task/935/stat : 935 (java) S 844 850 32560 0 -1 1077944384 502 12927 0 0 1 0 5 3 20 0 15 0 76325053 11081240576 11633 33554432000 4194304 4196468 140726278391200 140603146144368 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=936] ppid=844 vsize=10821524 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/850/task/936/stat : 936 (java) S 844 850 32560 0 -1 1077944384 89 12927 0 0 1 0 5 3 20 0 15 0 76325053 11081240576 11272 33554432000 4194304 4196468 140726278391200 140603145091568 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=937] ppid=844 vsize=10821524 memory=140477941089920 CPUtime=0.11 cores=0,2,4,6
/proc/850/task/937/stat : 937 (java) S 844 850 32560 0 -1 1077944384 538 12927 0 0 3 0 5 3 20 0 15 0 76325053 11081240576 11272 33554432000 4194304 4196468 140726278391200 140603144039280 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=938] ppid=844 vsize=10819896 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/938/stat : 938 (java) S 844 850 32560 0 -1 1077944384 3 12927 0 0 0 0 5 3 20 0 15 0 76325053 11079573504 11032 33554432000 4194304 4196468 140726278391200 140602124356576 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=939] ppid=844 vsize=10819896 memory=140477941089920 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/939/stat : 939 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325054 11079573504 11032 33554432000 4194304 4196468 140726278391200 140603142986160 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43100 KiB
[startup+0.310159 s]*
/proc/loadavg: 1.11 1.19 1.31 3/197 942
/proc/meminfo: memFree=17547300/32770624 swapFree=67108796/67108860
[pid=850] ppid=844 vsize=10819352 memory=54556 CPUtime=0.39 cores=0,2,4,6
/proc/850/stat : 850 (java) S 844 850 32560 0 -1 1077944320 10673 12927 0 0 28 3 5 3 20 0 15 0 76325038 11079016448 13639 33554432000 4194304 4196468 140726278391200 140726278373744 140603620617975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
/proc/850/statm: 2704838 13639 3092 1 0 2667149 0
[pid=850/tid=926] ppid=844 vsize=10819352 memory=8390339637985935414 CPUtime=0.29 cores=0,2,4,6
/proc/850/task/926/stat : 926 (java) R 844 850 32560 0 -1 4202560 7346 12927 0 0 19 2 5 3 20 0 15 0 76325048 11079016448 13639 33554432000 4194304 4196468 140726278391200 140603592407504 140603604698462 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=927] ppid=844 vsize=10819352 memory=4294967626 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/927/stat : 927 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325048 11079016448 13639 33554432000 4194304 4196468 140726278391200 140603624860560 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=928] ppid=844 vsize=10819352 memory=3474162034991105696 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/928/stat : 928 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325048 11079016448 13639 33554432000 4194304 4196468 140726278391200 140603193744144 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=929] ppid=844 vsize=10819352 memory=140477941128097 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/929/stat : 929 (java) S 844 850 32560 0 -1 1077944384 2 12927 0 0 0 0 5 3 20 0 15 0 76325048 11079016448 13639 33554432000 4194304 4196468 140726278391200 140603192691856 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=930] ppid=844 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/930/stat : 930 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325048 11079016448 13639 33554432000 4194304 4196468 140726278391200 140603191639056 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=931] ppid=844 vsize=10819352 memory=280955882178624 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/931/stat : 931 (java) S 844 850 32560 0 -1 1077944384 2 12927 0 0 0 0 5 3 20 0 15 0 76325050 11079016448 13639 33554432000 4194304 4196468 140726278391200 140603147196528 140603620629122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=932] ppid=844 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/932/stat : 932 (java) S 844 850 32560 0 -1 1077944384 13 12927 0 0 0 0 5 3 20 0 15 0 76325050 11079016448 13639 33554432000 4194304 4196468 140726278391200 140603069293344 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=933] ppid=844 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/933/stat : 933 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325050 11079016448 13639 33554432000 4194304 4196468 140726278391200 140602465313904 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=934] ppid=844 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/934/stat : 934 (java) S 844 850 32560 0 -1 1077944384 3 12927 0 0 0 0 5 3 20 0 15 0 76325053 11079016448 13639 33554432000 4194304 4196468 140726278391200 140602157914192 140603620636571 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=935] ppid=844 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/850/task/935/stat : 935 (java) S 844 850 32560 0 -1 1077944384 502 12927 0 0 1 0 5 3 20 0 15 0 76325053 11079016448 13639 33554432000 4194304 4196468 140726278391200 140603146144368 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=936] ppid=844 vsize=10819352 memory=7022329023077181793 CPUtime=0.1 cores=0,2,4,6
/proc/850/task/936/stat : 936 (java) R 844 850 32560 0 -1 4202560 90 12927 0 0 2 0 5 3 20 0 15 0 76325053 11079016448 13639 33554432000 4194304 4196468 140726278391200 140603145091568 140603598751488 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=937] ppid=844 vsize=10819352 memory=3605617657567402634 CPUtime=0.13 cores=0,2,4,6
/proc/850/task/937/stat : 937 (java) R 844 850 32560 0 -1 4202560 543 12927 0 0 5 0 5 3 20 0 15 0 76325053 11079016448 13639 33554432000 4194304 4196468 140726278391200 140603144039280 140603599603120 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=938] ppid=844 vsize=10819352 memory=7310575247366451814 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/938/stat : 938 (java) S 844 850 32560 0 -1 1077944384 3 12927 0 0 0 0 5 3 20 0 15 0 76325053 11079016448 13639 33554432000 4194304 4196468 140726278391200 140602124356576 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=939] ppid=844 vsize=10819352 memory=4050619483780377321 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/939/stat : 939 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325054 11079016448 13639 33554432000 4194304 4196468 140726278391200 140603142986160 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54556 KiB
[startup+0.700793 s]
/proc/loadavg: 1.11 1.19 1.31 3/195 961
/proc/meminfo: memFree=17542320/32770624 swapFree=67108796/67108860
[pid=850] ppid=844 vsize=10819352 memory=86444 CPUtime=1 cores=0,2,4,6
/proc/850/stat : 850 (java) S 844 850 32560 0 -1 1077944320 16777 12927 0 0 88 4 5 3 20 0 15 0 76325038 11079016448 21611 33554432000 4194304 4196468 140726278391200 140726278373744 140603620617975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
/proc/850/statm: 2704838 21611 3232 1 0 2667149 0
[pid=850/tid=926] ppid=844 vsize=10819352 memory=22628 CPUtime=0.66 cores=0,2,4,6
/proc/850/task/926/stat : 926 (java) R 844 850 32560 0 -1 4202560 12347 12927 0 0 56 2 5 3 20 0 15 0 76325048 11079016448 21611 33554432000 4194304 4196468 140726278391200 140603592438800 140603605783568 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=927] ppid=844 vsize=10819352 memory=2088 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/927/stat : 927 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325048 11079016448 21611 33554432000 4194304 4196468 140726278391200 140603624860560 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=928] ppid=844 vsize=10819352 memory=1040 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/928/stat : 928 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325048 11079016448 21611 33554432000 4194304 4196468 140726278391200 140603193744144 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=929] ppid=844 vsize=10819352 memory=3708 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/929/stat : 929 (java) S 844 850 32560 0 -1 1077944384 2 12927 0 0 0 0 5 3 20 0 15 0 76325048 11079016448 21611 33554432000 4194304 4196468 140726278391200 140603192691856 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=930] ppid=844 vsize=10819352 memory=4417 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/930/stat : 930 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325048 11079016448 21611 33554432000 4194304 4196468 140726278391200 140603191639056 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=931] ppid=844 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/931/stat : 931 (java) S 844 850 32560 0 -1 1077944384 5 12927 0 0 0 0 5 3 20 0 15 0 76325050 11079016448 21611 33554432000 4194304 4196468 140726278391200 140603147196528 140603620629122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=932] ppid=844 vsize=10819352 memory=6788 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/932/stat : 932 (java) S 844 850 32560 0 -1 1077944384 13 12927 0 0 0 0 5 3 20 0 15 0 76325050 11079016448 21611 33554432000 4194304 4196468 140726278391200 140603069293344 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=933] ppid=844 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/933/stat : 933 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325050 11079016448 21611 33554432000 4194304 4196468 140726278391200 140602465313904 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=934] ppid=844 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/934/stat : 934 (java) S 844 850 32560 0 -1 1077944384 3 12927 0 0 0 0 5 3 20 0 15 0 76325053 11079016448 21611 33554432000 4194304 4196468 140726278391200 140602157914192 140603620636571 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=935] ppid=844 vsize=10819352 memory=100 CPUtime=0.17 cores=0,2,4,6
/proc/850/task/935/stat : 935 (java) S 844 850 32560 0 -1 1077944384 1108 12927 0 0 9 0 5 3 20 0 15 0 76325053 11079016448 21611 33554432000 4194304 4196468 140726278391200 140603146144368 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=936] ppid=844 vsize=10819352 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/850/task/936/stat : 936 (java) S 844 850 32560 0 -1 1077944384 506 12927 0 0 8 0 5 3 20 0 15 0 76325053 11079016448 21611 33554432000 4194304 4196468 140726278391200 140603145091568 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=937] ppid=844 vsize=10819352 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/850/task/937/stat : 937 (java) S 844 850 32560 0 -1 1077944384 593 12927 0 0 13 0 5 3 20 0 15 0 76325053 11079016448 21611 33554432000 4194304 4196468 140726278391200 140603144039280 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=938] ppid=844 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/938/stat : 938 (java) S 844 850 32560 0 -1 1077944384 3 12927 0 0 0 0 5 3 20 0 15 0 76325053 11079016448 21611 33554432000 4194304 4196468 140726278391200 140602124356576 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=939] ppid=844 vsize=10819352 memory=-9110635228796802480 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/939/stat : 939 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325054 11079016448 21611 33554432000 4194304 4196468 140726278391200 140603142986160 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86444 KiB
[startup+1.50081 s]
/proc/loadavg: 1.11 1.19 1.31 6/215 1044
/proc/meminfo: memFree=17446504/32770624 swapFree=67108796/67108860
[pid=850] ppid=844 vsize=10832204 memory=211396 CPUtime=2.87 cores=0,2,4,6
/proc/850/stat : 850 (java) S 844 850 32560 0 -1 1077944320 23722 12927 0 0 271 8 5 3 20 0 15 0 76325038 11092176896 52849 33554432000 4194304 4196468 140726278391200 140726278373744 140603620617975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
/proc/850/statm: 2708051 52849 3451 1 0 2669709 0
[pid=850/tid=926] ppid=844 vsize=10832204 memory=3708 CPUtime=1.46 cores=0,2,4,6
/proc/850/task/926/stat : 926 (java) R 844 850 32560 0 -1 4202560 16906 12927 0 0 132 6 5 3 20 0 15 0 76325048 11092176896 52849 33554432000 4194304 4196468 140726278391200 140603592432848 140603604698462 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=927] ppid=844 vsize=10832204 memory=22628 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/927/stat : 927 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325048 11092176896 52849 33554432000 4194304 4196468 140726278391200 140603624860560 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=928] ppid=844 vsize=10832204 memory=22628 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/928/stat : 928 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325048 11092176896 52849 33554432000 4194304 4196468 140726278391200 140603193744144 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=929] ppid=844 vsize=10832204 memory=2088 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/929/stat : 929 (java) S 844 850 32560 0 -1 1077944384 2 12927 0 0 0 0 5 3 20 0 15 0 76325048 11092176896 52849 33554432000 4194304 4196468 140726278391200 140603192691856 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=930] ppid=844 vsize=10832204 memory=6009316314409558119 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/930/stat : 930 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325048 11092176896 52849 33554432000 4194304 4196468 140726278391200 140603191639056 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=931] ppid=844 vsize=10832204 memory=280955688819824 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/931/stat : 931 (java) S 844 850 32560 0 -1 1077944384 12 12927 0 0 0 0 5 3 20 0 15 0 76325050 11092176896 52849 33554432000 4194304 4196468 140726278391200 140603147196528 140603620629122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=932] ppid=844 vsize=10832204 memory=288230604624101685 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/932/stat : 932 (java) S 844 850 32560 0 -1 1077944384 13 12927 0 0 0 0 5 3 20 0 15 0 76325050 11092176896 52849 33554432000 4194304 4196468 140726278391200 140603069293344 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=933] ppid=844 vsize=10832204 memory=14975559646053779 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/933/stat : 933 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325050 11092176896 52849 33554432000 4194304 4196468 140726278391200 140602465313904 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=934] ppid=844 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/934/stat : 934 (java) S 844 850 32560 0 -1 1077944384 3 12927 0 0 0 0 5 3 20 0 15 0 76325053 11092176896 52849 33554432000 4194304 4196468 140726278391200 140602157914192 140603620636571 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=935] ppid=844 vsize=10832204 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/850/task/935/stat : 935 (java) S 844 850 32560 0 -1 1077944384 1813 12927 0 0 45 0 5 3 20 0 15 0 76325053 11092176896 52849 33554432000 4194304 4196468 140726278391200 140603146144368 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=936] ppid=844 vsize=10832204 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/850/task/936/stat : 936 (java) S 844 850 32560 0 -1 1077944384 1319 12927 0 0 50 0 5 3 20 0 15 0 76325053 11092176896 52849 33554432000 4194304 4196468 140726278391200 140603145091568 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=937] ppid=844 vsize=10832204 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/850/task/937/stat : 937 (java) S 844 850 32560 0 -1 1077944384 1456 12927 0 0 42 0 5 3 20 0 15 0 76325053 11092176896 52849 33554432000 4194304 4196468 140726278391200 140603144039280 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=938] ppid=844 vsize=10832204 memory=11 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/938/stat : 938 (java) S 844 850 32560 0 -1 1077944384 3 12927 0 0 0 0 5 3 20 0 15 0 76325053 11092176896 52849 33554432000 4194304 4196468 140726278391200 140602124356576 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=939] ppid=844 vsize=10832204 memory=12 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/939/stat : 939 (java) S 844 850 32560 0 -1 1077944384 1 12927 0 0 0 0 5 3 20 0 15 0 76325054 11092176896 52849 33554432000 4194304 4196468 140726278391200 140603142986160 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/850/task/926/stat : 926 (java) R 844 850 32560 0 -1 4202560 83542 12927 0 0 236208 46 5 3 20 0 15 0 76325048 11176083456 214384 33554432000 4194304 4196468 140726278391200 140603592451744 140603235223612 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=927] ppid=844 vsize=10914144 memory=857536 CPUtime=8.57 cores=0,2,4,6
/proc/850/task/927/stat : 927 (java) S 844 850 32560 0 -1 1077944384 9066 12927 0 0 801 48 5 3 20 0 15 0 76325048 11176083456 214384 33554432000 4194304 4196468 140726278391200 140603624860560 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=928] ppid=844 vsize=10914144 memory=0 CPUtime=8.55 cores=0,2,4,6
/proc/850/task/928/stat : 928 (java) S 844 850 32560 0 -1 1077944384 7832 12927 0 0 805 42 5 3 20 0 15 0 76325048 11176083456 214384 33554432000 4194304 4196468 140726278391200 140603193744144 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=929] ppid=844 vsize=10914144 memory=857536 CPUtime=8.53 cores=0,2,4,6
/proc/850/task/929/stat : 929 (java) S 844 850 32560 0 -1 1077944384 8368 12927 0 0 800 45 5 3 20 0 15 0 76325048 11176083456 214384 33554432000 4194304 4196468 140726278391200 140603192691856 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=930] ppid=844 vsize=10914144 memory=857536 CPUtime=8.55 cores=0,2,4,6
/proc/850/task/930/stat : 930 (java) S 844 850 32560 0 -1 1077944384 7042 12927 0 0 801 46 5 3 20 0 15 0 76325048 11176083456 214384 33554432000 4194304 4196468 140726278391200 140603191639056 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=931] ppid=844 vsize=10914144 memory=857536 CPUtime=8.04 cores=0,2,4,6
/proc/850/task/931/stat : 931 (java) S 844 850 32560 0 -1 1077944384 11962 12927 0 0 755 41 5 3 20 0 15 0 76325050 11176083456 214384 33554432000 4194304 4196468 140726278391200 140603147196528 140603620629122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=932] ppid=844 vsize=10914144 memory=857536 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/932/stat : 932 (java) S 844 850 32560 0 -1 1077944384 14 12927 0 0 0 0 5 3 20 0 15 0 76325050 11176083456 214384 33554432000 4194304 4196468 140726278391200 140603069293472 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=933] ppid=844 vsize=10914144 memory=22684 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/933/stat : 933 (java) S 844 850 32560 0 -1 1077944384 4 12927 0 0 0 0 5 3 20 0 15 0 76325050 11176083456 214384 33554432000 4194304 4196468 140726278391200 140602465313920 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=934] ppid=844 vsize=10914144 memory=857536 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/934/stat : 934 (java) S 844 850 32560 0 -1 1077944384 3 12927 0 0 0 0 5 3 20 0 15 0 76325053 11176083456 214384 33554432000 4194304 4196468 140726278391200 140602157914192 140603620636571 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=935] ppid=844 vsize=10914144 memory=857536 CPUtime=4.78 cores=0,2,4,6
/proc/850/task/935/stat : 935 (java) S 844 850 32560 0 -1 1077944384 24767 12927 0 0 467 3 5 3 20 0 15 0 76325053 11176083456 214384 33554432000 4194304 4196468 140726278391200 140603146144368 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=936] ppid=844 vsize=10914144 memory=857536 CPUtime=5.21 cores=0,2,4,6
/proc/850/task/936/stat : 936 (java) S 844 850 32560 0 -1 1077944384 23688 12927 0 0 510 3 5 3 20 0 15 0 76325053 11176083456 214384 33554432000 4194304 4196468 140726278391200 140603145091568 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=937] ppid=844 vsize=10914144 memory=857536 CPUtime=2.05 cores=0,2,4,6
/proc/850/task/937/stat : 937 (java) S 844 850 32560 0 -1 1077944384 21008 12927 0 0 193 4 5 3 20 0 15 0 76325053 11176083456 214384 33554432000 4194304 4196468 140726278391200 140603144039280 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=938] ppid=844 vsize=10914144 memory=7524 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/938/stat : 938 (java) S 844 850 32560 0 -1 1077944384 3 12927 0 0 0 0 5 3 20 0 15 0 76325053 11176083456 214384 33554432000 4194304 4196468 140726278391200 140602124356576 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=939] ppid=844 vsize=10914144 memory=3708 CPUtime=1.56 cores=0,2,4,6
/proc/850/task/939/stat : 939 (java) S 844 850 32560 0 -1 1077944384 1467 12927 0 0 76 72 5 3 20 0 15 0 76325054 11176083456 214384 33554432000 4194304 4196468 140726278391200 140603142986160 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
Current children cumulated CPU time: 2417.89 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 857536 KiB
[startup+2442.3 s]
/proc/loadavg: 1.23 1.24 1.29 3/215 1281
/proc/meminfo: memFree=15696436/32770624 swapFree=67108796/67108860
[pid=850] ppid=844 vsize=10914144 memory=857600 CPUtime=2478.48 cores=0,2,4,6
/proc/850/stat : 850 (java) S 844 850 32560 0 -1 1077944320 202186 12927 0 0 247540 300 5 3 20 0 15 0 76325038 11176083456 214400 33554432000 4194304 4196468 140726278391200 140726278373744 140603620617975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
/proc/850/statm: 2728536 214400 3523 1 0 2690189 0
[pid=850/tid=926] ppid=844 vsize=10914144 memory=1676 CPUtime=2422.15 cores=0,2,4,6
/proc/850/task/926/stat : 926 (java) R 844 850 32560 0 -1 4202560 84113 12927 0 0 242160 47 5 3 20 0 15 0 76325048 11176083456 214400 33554432000 4194304 4196468 140726278391200 140603592452368 140603221442040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=927] ppid=844 vsize=10914144 memory=857600 CPUtime=8.78 cores=0,2,4,6
/proc/850/task/927/stat : 927 (java) S 844 850 32560 0 -1 1077944384 9144 12927 0 0 821 49 5 3 20 0 15 0 76325048 11176083456 214400 33554432000 4194304 4196468 140726278391200 140603624860560 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=928] ppid=844 vsize=10914144 memory=857600 CPUtime=8.77 cores=0,2,4,6
/proc/850/task/928/stat : 928 (java) S 844 850 32560 0 -1 1077944384 7885 12927 0 0 826 43 5 3 20 0 15 0 76325048 11176083456 214400 33554432000 4194304 4196468 140726278391200 140603193744144 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=929] ppid=844 vsize=10914144 memory=857536 CPUtime=8.74 cores=0,2,4,6
/proc/850/task/929/stat : 929 (java) S 844 850 32560 0 -1 1077944384 8645 12927 0 0 820 46 5 3 20 0 15 0 76325048 11176083456 214400 33554432000 4194304 4196468 140726278391200 140603192691856 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=930] ppid=844 vsize=10914144 memory=857600 CPUtime=8.76 cores=0,2,4,6
/proc/850/task/930/stat : 930 (java) S 844 850 32560 0 -1 1077944384 7067 12927 0 0 821 47 5 3 20 0 15 0 76325048 11176083456 214400 33554432000 4194304 4196468 140726278391200 140603191639056 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=931] ppid=844 vsize=10914144 memory=857600 CPUtime=8.23 cores=0,2,4,6
/proc/850/task/931/stat : 931 (java) S 844 850 32560 0 -1 1077944384 12163 12927 0 0 773 42 5 3 20 0 15 0 76325050 11176083456 214400 33554432000 4194304 4196468 140726278391200 140603147196528 140603620629122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=932] ppid=844 vsize=10914144 memory=857600 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/932/stat : 932 (java) S 844 850 32560 0 -1 1077944384 14 12927 0 0 0 0 5 3 20 0 15 0 76325050 11176083456 214400 33554432000 4194304 4196468 140726278391200 140603069293472 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=933] ppid=844 vsize=10914144 memory=857600 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/933/stat : 933 (java) S 844 850 32560 0 -1 1077944384 4 12927 0 0 0 0 5 3 20 0 15 0 76325050 11176083456 214400 33554432000 4194304 4196468 140726278391200 140602465313920 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=934] ppid=844 vsize=10914144 memory=857600 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/934/stat : 934 (java) S 844 850 32560 0 -1 1077944384 3 12927 0 0 0 0 5 3 20 0 15 0 76325053 11176083456 214400 33554432000 4194304 4196468 140726278391200 140602157914192 140603620636571 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=935] ppid=844 vsize=10914144 memory=857600 CPUtime=4.78 cores=0,2,4,6
/proc/850/task/935/stat : 935 (java) S 844 850 32560 0 -1 1077944384 24769 12927 0 0 467 3 5 3 20 0 15 0 76325053 11176083456 214400 33554432000 4194304 4196468 140726278391200 140603146144368 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=936] ppid=844 vsize=10914144 memory=857600 CPUtime=5.22 cores=0,2,4,6
/proc/850/task/936/stat : 936 (java) S 844 850 32560 0 -1 1077944384 23690 12927 0 0 511 3 5 3 20 0 15 0 76325053 11176083456 214400 33554432000 4194304 4196468 140726278391200 140603145091568 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=937] ppid=844 vsize=10914144 memory=857600 CPUtime=2.05 cores=0,2,4,6
/proc/850/task/937/stat : 937 (java) S 844 850 32560 0 -1 1077944384 21010 12927 0 0 193 4 5 3 20 0 15 0 76325053 11176083456 214400 33554432000 4194304 4196468 140726278391200 140603144039280 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=938] ppid=844 vsize=10914144 memory=6947385649911455296 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/938/stat : 938 (java) S 844 850 32560 0 -1 1077944384 3 12927 0 0 0 0 5 3 20 0 15 0 76325053 11176083456 214400 33554432000 4194304 4196468 140726278391200 140602124356576 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=939] ppid=844 vsize=10914144 memory=857600 CPUtime=1.61 cores=0,2,4,6
/proc/850/task/939/stat : 939 (java) S 844 850 32560 0 -1 1077944384 1484 12927 0 0 79 74 5 3 20 0 15 0 76325054 11176083456 214400 33554432000 4194304 4196468 140726278391200 140603142986160 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
Current children cumulated CPU time: 2478.48 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 857600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2483.5 s]
/proc/loadavg: 1.35 1.27 1.30 3/215 1283
/proc/meminfo: memFree=15693908/32770624 swapFree=67108796/67108860
[pid=850] ppid=844 vsize=10914144 memory=859684 CPUtime=2520.08 cores=0,2,4,6
/proc/850/stat : 850 (java) S 844 850 32560 0 -1 1077944320 203343 12927 0 0 251696 304 5 3 20 0 15 0 76325038 11176083456 214921 33554432000 4194304 4196468 140726278391200 140726278373744 140603620617975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
/proc/850/statm: 2728536 214921 3523 1 0 2690189 0
[pid=850/tid=926] ppid=844 vsize=10914144 memory=859684 CPUtime=2463.02 cores=0,2,4,6
/proc/850/task/926/stat : 926 (java) R 844 850 32560 0 -1 4202560 84631 12927 0 0 246246 48 5 3 20 0 15 0 76325048 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603592451984 140603237875688 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=927] ppid=844 vsize=10914144 memory=859684 CPUtime=8.93 cores=0,2,4,6
/proc/850/task/927/stat : 927 (java) S 844 850 32560 0 -1 1077944384 9167 12927 0 0 835 50 5 3 20 0 15 0 76325048 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603624860560 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=928] ppid=844 vsize=10914144 memory=859684 CPUtime=8.9 cores=0,2,4,6
/proc/850/task/928/stat : 928 (java) S 844 850 32560 0 -1 1077944384 7972 12927 0 0 839 43 5 3 20 0 15 0 76325048 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603193744144 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=929] ppid=844 vsize=10914144 memory=859684 CPUtime=8.89 cores=0,2,4,6
/proc/850/task/929/stat : 929 (java) S 844 850 32560 0 -1 1077944384 8658 12927 0 0 834 47 5 3 20 0 15 0 76325048 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603192691856 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=930] ppid=844 vsize=10914144 memory=859684 CPUtime=8.91 cores=0,2,4,6
/proc/850/task/930/stat : 930 (java) S 844 850 32560 0 -1 1077944384 7368 12927 0 0 835 48 5 3 20 0 15 0 76325048 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603191639056 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=931] ppid=844 vsize=10914144 memory=881 CPUtime=8.37 cores=0,2,4,6
/proc/850/task/931/stat : 931 (java) S 844 850 32560 0 -1 1077944384 12357 12927 0 0 786 43 5 3 20 0 15 0 76325050 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603147196528 140603620629122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=932] ppid=844 vsize=10914144 memory=832 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/932/stat : 932 (java) S 844 850 32560 0 -1 1077944384 14 12927 0 0 0 0 5 3 20 0 15 0 76325050 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603069293472 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=933] ppid=844 vsize=10914144 memory=164 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/933/stat : 933 (java) S 844 850 32560 0 -1 1077944384 4 12927 0 0 0 0 5 3 20 0 15 0 76325050 11176083456 214921 33554432000 4194304 4196468 140726278391200 140602465313920 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=934] ppid=844 vsize=10914144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/934/stat : 934 (java) S 844 850 32560 0 -1 1077944384 3 12927 0 0 0 0 5 3 20 0 15 0 76325053 11176083456 214921 33554432000 4194304 4196468 140726278391200 140602157914192 140603620636571 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=935] ppid=844 vsize=10914144 memory=859684 CPUtime=4.78 cores=0,2,4,6
/proc/850/task/935/stat : 935 (java) S 844 850 32560 0 -1 1077944384 24771 12927 0 0 467 3 5 3 20 0 15 0 76325053 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603146144368 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=936] ppid=844 vsize=10914144 memory=6947385649911455296 CPUtime=5.22 cores=0,2,4,6
/proc/850/task/936/stat : 936 (java) S 844 850 32560 0 -1 1077944384 23692 12927 0 0 511 3 5 3 20 0 15 0 76325053 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603145091568 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=937] ppid=844 vsize=10914144 memory=840 CPUtime=2.05 cores=0,2,4,6
/proc/850/task/937/stat : 937 (java) S 844 850 32560 0 -1 1077944384 21012 12927 0 0 193 4 5 3 20 0 15 0 76325053 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603144039280 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=938] ppid=844 vsize=10914144 memory=859684 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/938/stat : 938 (java) S 844 850 32560 0 -1 1077944384 3 12927 0 0 0 0 5 3 20 0 15 0 76325053 11176083456 214921 33554432000 4194304 4196468 140726278391200 140602124356576 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=939] ppid=844 vsize=10914144 memory=859684 CPUtime=1.64 cores=0,2,4,6
/proc/850/task/939/stat : 939 (java) S 844 850 32560 0 -1 1077944384 1499 12927 0 0 81 75 5 3 20 0 15 0 76325054 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603142986160 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 859684 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2483.53 s]
# the end of solver process 850 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.04 s, system=3.08707 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2483.5 s]
/proc/loadavg: 1.35 1.27 1.30 3/215 1283
/proc/meminfo: memFree=15693908/32770624 swapFree=67108796/67108860
[pid=850] ppid=844 vsize=10914144 memory=859684 CPUtime=2520.08 cores=0,2,4,6
/proc/850/stat : 850 (java) S 844 850 32560 0 -1 1077944320 203343 12927 0 0 251696 304 5 3 20 0 15 0 76325038 11176083456 214921 33554432000 4194304 4196468 140726278391200 140726278373744 140603620617975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
/proc/850/statm: 2728536 214921 3523 1 0 2690189 0
[pid=850/tid=926] ppid=844 vsize=10914144 memory=859684 CPUtime=2463.02 cores=0,2,4,6
/proc/850/task/926/stat : 926 (java) R 844 850 32560 0 -1 4202560 84631 12927 0 0 246246 48 5 3 20 0 15 0 76325048 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603592451984 140603237875688 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=927] ppid=844 vsize=10914144 memory=859684 CPUtime=8.93 cores=0,2,4,6
/proc/850/task/927/stat : 927 (java) S 844 850 32560 0 -1 1077944384 9167 12927 0 0 835 50 5 3 20 0 15 0 76325048 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603624860560 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=928] ppid=844 vsize=10914144 memory=859684 CPUtime=8.9 cores=0,2,4,6
/proc/850/task/928/stat : 928 (java) S 844 850 32560 0 -1 1077944384 7972 12927 0 0 839 43 5 3 20 0 15 0 76325048 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603193744144 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=929] ppid=844 vsize=10914144 memory=859684 CPUtime=8.89 cores=0,2,4,6
/proc/850/task/929/stat : 929 (java) S 844 850 32560 0 -1 1077944384 8658 12927 0 0 834 47 5 3 20 0 15 0 76325048 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603192691856 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=930] ppid=844 vsize=10914144 memory=859684 CPUtime=8.91 cores=0,2,4,6
/proc/850/task/930/stat : 930 (java) S 844 850 32560 0 -1 1077944384 7368 12927 0 0 835 48 5 3 20 0 15 0 76325048 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603191639056 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=931] ppid=844 vsize=10914144 memory=881 CPUtime=8.37 cores=0,2,4,6
/proc/850/task/931/stat : 931 (java) S 844 850 32560 0 -1 1077944384 12357 12927 0 0 786 43 5 3 20 0 15 0 76325050 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603147196528 140603620629122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=932] ppid=844 vsize=10914144 memory=832 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/932/stat : 932 (java) S 844 850 32560 0 -1 1077944384 14 12927 0 0 0 0 5 3 20 0 15 0 76325050 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603069293472 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=933] ppid=844 vsize=10914144 memory=164 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/933/stat : 933 (java) S 844 850 32560 0 -1 1077944384 4 12927 0 0 0 0 5 3 20 0 15 0 76325050 11176083456 214921 33554432000 4194304 4196468 140726278391200 140602465313920 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=934] ppid=844 vsize=10914144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/934/stat : 934 (java) S 844 850 32560 0 -1 1077944384 3 12927 0 0 0 0 5 3 20 0 15 0 76325053 11176083456 214921 33554432000 4194304 4196468 140726278391200 140602157914192 140603620636571 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=935] ppid=844 vsize=10914144 memory=859684 CPUtime=4.78 cores=0,2,4,6
/proc/850/task/935/stat : 935 (java) S 844 850 32560 0 -1 1077944384 24771 12927 0 0 467 3 5 3 20 0 15 0 76325053 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603146144368 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=936] ppid=844 vsize=10914144 memory=6947385649911455296 CPUtime=5.22 cores=0,2,4,6
/proc/850/task/936/stat : 936 (java) S 844 850 32560 0 -1 1077944384 23692 12927 0 0 511 3 5 3 20 0 15 0 76325053 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603145091568 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=937] ppid=844 vsize=10914144 memory=840 CPUtime=2.05 cores=0,2,4,6
/proc/850/task/937/stat : 937 (java) S 844 850 32560 0 -1 1077944384 21012 12927 0 0 193 4 5 3 20 0 15 0 76325053 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603144039280 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=938] ppid=844 vsize=10914144 memory=859684 CPUtime=0.08 cores=0,2,4,6
/proc/850/task/938/stat : 938 (java) S 844 850 32560 0 -1 1077944384 3 12927 0 0 0 0 5 3 20 0 15 0 76325053 11176083456 214921 33554432000 4194304 4196468 140726278391200 140602124356576 140603620628181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
[pid=850/tid=939] ppid=844 vsize=10914144 memory=859684 CPUtime=1.64 cores=0,2,4,6
/proc/850/task/939/stat : 939 (java) S 844 850 32560 0 -1 1077944384 1499 12927 0 0 81 75 5 3 20 0 15 0 76325054 11176083456 214921 33554432000 4194304 4196468 140726278391200 140603142986160 140603620629122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17920000 140726278400172 140726278403420 140726278403420 140726278406095 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 859684 KiB
Child status: 143
Real time (s): 2483.53
CPU time (s): 2520.12
CPU user time (s): 2517.04
CPU system time (s): 3.08707
CPU usage (%): 101.473
Max. virtual memory (cumulated for all children) (KiB): 10916780
Max. memory (cumulated for all children) (KiB): 859684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.04
system time used= 3.08707
maximum resident set size= 863908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 235321
involuntary context switches= 8926
# summary of solver processes directly reported to runsolver:
# pid: 850
# total CPU time (s): 2520.12
# total CPU user time (s): 2517.04
# total CPU system time (s): 3.08707
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8791 second user time and 24.5177 second system time
The end