runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4243983-1500678448/watcher-4243983-1500678448 -o /tmp/evaluation-result-4243983-1500678448/solver-4243983-1500678448 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500678446-13854 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243983-1500678448.xml
pid=13987
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.24 3.57 3.60 3/261 13990
/proc/meminfo: memFree=31276220/32770624 swapFree=5968/203292
[pid=13990] ppid=13987 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/stat : 13990 (java) S 13987 13990 13822 0 -1 1077944320 2078 0 0 0 0 0 0 0 20 0 2 0 3111560 8550137856 2328 33554432000 4194304 4196468 140729479941616 140729479924160 140697745477367 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
/proc/13990/statm: 2087436 2328 1197 1 0 2076347 0
[pid=13990/tid=13991] ppid=13987 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13991/stat : 13991 (java) R 13987 13990 13822 0 -1 4202560 877 0 0 0 0 0 0 0 20 0 2 0 3111560 8550137856 2394 33554432000 4194304 4196468 140729479941616 140697749719456 140697737766816 0 4 0 16784584 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[startup+0.100156 s]
/proc/loadavg: 1.24 3.57 3.60 3/261 13990
/proc/meminfo: memFree=31276220/32770624 swapFree=5968/203292
[pid=13990] ppid=13987 vsize=10900556 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/13990/stat : 13990 (java) S 13987 13990 13822 0 -1 1077944320 5058 0 0 0 9 1 0 0 20 0 20 0 3111560 11162169344 6629 33554432000 4194304 4196468 140729479941616 140729479924160 140697745477367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
/proc/13990/statm: 2725139 6629 2640 1 0 2713552 0
[pid=13990/tid=13991] ppid=13987 vsize=10900556 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13991/stat : 13991 (java) R 13987 13990 13822 0 -1 4202560 3134 0 0 0 8 0 0 0 20 0 20 0 3111560 11162169344 6629 33554432000 4194304 4196468 140729479941616 140697749707664 140697729557854 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556
[startup+0.200448 s]
/proc/loadavg: 1.24 3.57 3.60 3/261 13990
/proc/meminfo: memFree=31276220/32770624 swapFree=5968/203292
[pid=13990] ppid=13987 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/13990/stat : 13990 (java) S 13987 13990 13822 0 -1 1077944320 7195 0 0 0 25 1 0 0 20 0 20 0 3111560 11162169344 9006 33554432000 4194304 4196468 140729479941616 140729479924160 140697745477367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
/proc/13990/statm: 2725139 9006 2857 1 0 2713552 0
[pid=13990/tid=13991] ppid=13987 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13991/stat : 13991 (java) R 13987 13990 13822 0 -1 4202560 4853 0 0 0 17 1 0 0 20 0 20 0 3111560 11162169344 9006 33554432000 4194304 4196468 140729479941616 140697749698320 140697729557854 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300288 s]
/proc/loadavg: 1.24 3.57 3.60 3/261 13990
/proc/meminfo: memFree=31276220/32770624 swapFree=5968/203292
[pid=13990] ppid=13987 vsize=10900556 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/13990/stat : 13990 (java) S 13987 13990 13822 0 -1 1077944320 8775 0 0 0 45 1 0 0 20 0 20 0 3111560 11162169344 10974 33554432000 4194304 4196468 140729479941616 140729479924160 140697745477367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
/proc/13990/statm: 2725139 10974 2968 1 0 2713552 0
[pid=13990/tid=13991] ppid=13987 vsize=10900556 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13991/stat : 13991 (java) R 13987 13990 13822 0 -1 4202560 5456 0 0 0 27 1 0 0 20 0 20 0 3111560 11162169344 10974 33554432000 4194304 4196468 140729479941616 140697749698800 140697729557884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10900556
[startup+0.700389 s]
/proc/loadavg: 1.24 3.57 3.60 3/261 13990
/proc/meminfo: memFree=31276220/32770624 swapFree=5968/203292
[pid=13990] ppid=13987 vsize=10900632 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/13990/stat : 13990 (java) S 13987 13990 13822 0 -1 1077944320 12988 0 0 0 199 8 0 0 20 0 20 0 3111560 11162247168 47246 33554432000 4194304 4196468 140729479941616 140729479924160 140697745477367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
/proc/13990/statm: 2725158 47246 3111 1 0 2713552 0
[pid=13990/tid=13991] ppid=13987 vsize=10900632 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13991/stat : 13991 (java) R 13987 13990 13822 0 -1 4202560 5949 0 0 0 64 3 0 0 20 0 20 0 3111560 11162247168 47246 33554432000 4194304 4196468 140729479941616 140697749703080 140697377769436 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 10900632
[startup+1.5018 s]
/proc/loadavg: 2.02 3.69 3.64 13/281 14010
/proc/meminfo: memFree=30688296/32770624 swapFree=5968/203356
[pid=13990] ppid=13987 vsize=10900632 CPUtime=5.92 cores=1,3,5,7,9,11,13,15
/proc/13990/stat : 13990 (java) S 13987 13990 13822 0 -1 1077944320 23084 0 0 0 529 63 0 0 20 0 20 0 3111560 11162247168 117568 33554432000 4194304 4196468 140729479941616 140729479924160 140697745477367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
/proc/13990/statm: 2725158 117568 3131 1 0 2713552 0
[pid=13990/tid=13991] ppid=13987 vsize=10900632 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13991/stat : 13991 (java) S 13987 13990 13822 0 -1 1077944384 6012 0 0 0 126 4 0 0 20 0 20 0 3111560 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697749713360 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13993] ppid=13987 vsize=10900632 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13993/stat : 13993 (java) R 13987 13990 13822 0 -1 4202560 112 0 0 0 8 7 0 0 20 0 20 0 3111561 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697698097752 140697730501169 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13994] ppid=13987 vsize=10900632 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13994/stat : 13994 (java) R 13987 13990 13822 0 -1 4202560 111 0 0 0 6 8 0 0 20 0 20 0 3111561 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697697044952 140697729925662 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13995] ppid=13987 vsize=10900632 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13995/stat : 13995 (java) R 13987 13990 13822 0 -1 4202560 112 0 0 0 8 8 0 0 20 0 20 0 3111561 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697695992664 140697727103403 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13996] ppid=13987 vsize=10900632 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13996/stat : 13996 (java) R 13987 13990 13822 0 -1 4202560 109 0 0 0 10 5 0 0 20 0 20 0 3111561 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697694939552 140697730504786 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13997] ppid=13987 vsize=10900632 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13997/stat : 13997 (java) R 13987 13990 13822 0 -1 4202560 79 0 0 0 6 7 0 0 20 0 20 0 3111561 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697693887456 140697730505641 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13998] ppid=13987 vsize=10900632 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13998/stat : 13998 (java) R 13987 13990 13822 0 -1 4202560 87 0 0 0 7 7 0 0 20 0 20 0 3111561 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697347480536 140697730504502 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13999] ppid=13987 vsize=10900632 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13999/stat : 13999 (java) R 13987 13990 13822 0 -1 4202560 97 0 0 0 5 4 0 0 20 0 20 0 3111561 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697346428248 140697730501285 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14000] ppid=13987 vsize=10900632 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14000/stat : 14000 (java) R 13987 13990 13822 0 -1 4202560 78 0 0 0 4 5 0 0 20 0 20 0 3111561 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697345375328 140697730505176 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14001] ppid=13987 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14001/stat : 14001 (java) S 13987 13990 13822 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 3111563 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697220924064 140697745487573 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14002] ppid=13987 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14002/stat : 14002 (java) S 13987 13990 13822 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3111564 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697219871520 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14003] ppid=13987 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14003/stat : 14003 (java) S 13987 13990 13822 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3111564 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697218819184 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14004] ppid=13987 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14004/stat : 14004 (java) S 13987 13990 13822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3111568 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697217767504 140697745495963 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14005] ppid=13987 vsize=10900632 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14005/stat : 14005 (java) S 13987 13990 13822 0 -1 1077944384 4419 0 0 0 93 1 0 0 20 0 20 0 3111568 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697216700368 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14006] ppid=13987 vsize=10900632 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14006/stat : 14006 (java) S 13987 13990 13822 0 -1 1077944384 4177 0 0 0 107 0 0 0 20 0 20 0 3111568 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697215647568 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14007] ppid=13987 vsize=10900632 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14007/stat : 14007 (java) S 13987 13990 13822 0 -1 1077944384 4260 0 0 0 102 1 0 0 20 0 20 0 3111568 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697214595280 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14008] ppid=13987 vsize=10900632 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14008/stat : 14008 (java) S 13987 13990 13822 0 -1 1077944384 1980 0 0 0 40 0 0 0 20 0 20 0 3111568 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697213557488 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14009] ppid=13987 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14009/stat : 14009 (java) S 13987 13990 13822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3111568 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697212504416 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14010] ppid=13987 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14010/stat : 14010 (java) S 13987 13990 13822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3111568 11162247168 117568 33554432000 4194304 4196468 140729479941616 140697211451696 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 10900632
[startup+3.10083 s]
/proc/loadavg: 2.02 3.69 3.64 3/282 14011
/proc/meminfo: memFree=30462772/32770624 swapFree=5968/203360
[pid=13990] ppid=13987 vsize=10967196 CPUtime=9.22 cores=1,3,5,7,9,11,13,15
/proc/13990/stat : 13990 (java) S 13987 13990 13822 0 -1 1077944320 23770 0 0 0 856 66 0 0 20 0 21 0 3111560 11230408704 119140 33554432000 4194304 4196468 140729479941616 140729479924160 140697745477367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
/proc/13990/statm: 2741799 119140 3152 1 0 2730193 0
[pid=13990/tid=13991] ppid=13987 vsize=10967196 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13991/stat : 13991 (java) R 13987 13990 13822 0 -1 4202560 6120 0 0 0 285 4 0 0 20 0 21 0 3111560 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697749713896 140697379191797 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13993] ppid=13987 vsize=10967196 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13993/stat : 13993 (java) S 13987 13990 13822 0 -1 1077944384 114 0 0 0 8 7 0 0 20 0 21 0 3111561 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697698097552 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13994] ppid=13987 vsize=10967196 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13994/stat : 13994 (java) S 13987 13990 13822 0 -1 1077944384 114 0 0 0 7 8 0 0 20 0 21 0 3111561 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697697044752 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13995] ppid=13987 vsize=10967196 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13995/stat : 13995 (java) S 13987 13990 13822 0 -1 1077944384 114 0 0 0 8 8 0 0 20 0 21 0 3111561 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697695992464 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13996] ppid=13987 vsize=10967196 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13996/stat : 13996 (java) S 13987 13990 13822 0 -1 1077944384 111 0 0 0 10 5 0 0 20 0 21 0 3111561 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697694939664 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13997] ppid=13987 vsize=10967196 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13997/stat : 13997 (java) S 13987 13990 13822 0 -1 1077944384 81 0 0 0 7 7 0 0 20 0 21 0 3111561 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697693887376 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13998] ppid=13987 vsize=10967196 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13998/stat : 13998 (java) S 13987 13990 13822 0 -1 1077944384 90 0 0 0 8 7 0 0 20 0 21 0 3111561 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697347480336 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13999] ppid=13987 vsize=10967196 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13999/stat : 13999 (java) S 13987 13990 13822 0 -1 1077944384 99 0 0 0 6 5 0 0 20 0 21 0 3111561 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697346428048 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14000] ppid=13987 vsize=10967196 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14000/stat : 14000 (java) S 13987 13990 13822 0 -1 1077944384 81 0 0 0 4 5 0 0 20 0 21 0 3111561 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697345375248 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14001] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14001/stat : 14001 (java) S 13987 13990 13822 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 21 0 3111563 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697220925552 140697745488514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14002] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14002/stat : 14002 (java) S 13987 13990 13822 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 3111564 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697219871520 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14003] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14003/stat : 14003 (java) S 13987 13990 13822 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 3111564 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697218819184 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14004] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14004/stat : 14004 (java) S 13987 13990 13822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3111568 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697217767504 140697745495963 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14005] ppid=13987 vsize=10967196 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14005/stat : 14005 (java) S 13987 13990 13822 0 -1 1077944384 4520 0 0 0 159 1 0 0 20 0 21 0 3111568 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697216715376 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14006] ppid=13987 vsize=10967196 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14006/stat : 14006 (java) S 13987 13990 13822 0 -1 1077944384 4291 0 0 0 154 0 0 0 20 0 21 0 3111568 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697215662576 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14007] ppid=13987 vsize=10967196 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14007/stat : 14007 (java) S 13987 13990 13822 0 -1 1077944384 4347 0 0 0 146 1 0 0 20 0 21 0 3111568 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697214610288 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14008] ppid=13987 vsize=10967196 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14008/stat : 14008 (java) S 13987 13990 13822 0 -1 1077944384 2090 0 0 0 50 0 0 0 20 0 21 0 3111568 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697213557488 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14009] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14009/stat : 14009 (java) S 13987 13990 13822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3111568 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697212504416 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14010] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14010/stat : 14010 (java) D 13987 13990 13822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 3111568 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697211451616 140697730333454 0 4 0 16800975 18446744072100600965 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14011] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14011/stat : 14011 (java) S 13987 13990 13822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3111739 11230408704 119140 33554432000 4194304 4196468 140729479941616 140697210397744 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
Current children cumulated CPU time (s) 9.22
Current children cumulated vsize (KiB) 10967196
[startup+6.3009 s]
/proc/loadavg: 2.02 3.69 3.64 10/282 14011
/proc/meminfo: memFree=29517620/32770624 swapFree=5968/203376
[pid=13990] ppid=13987 vsize=10967196 CPUtime=12.43 cores=1,3,5,7,9,11,13,15
/proc/13990/stat : 13990 (java) S 13987 13990 13822 0 -1 1077944320 25854 0 0 0 1177 66 0 0 20 0 21 0 3111560 11230408704 118153 33554432000 4194304 4196468 140729479941616 140729479924160 140697745477367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
/proc/13990/statm: 2741799 118153 3152 1 0 2730193 0
[pid=13990/tid=13991] ppid=13987 vsize=10967196 CPUtime=6.09 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13991/stat : 13991 (java) R 13987 13990 13822 0 -1 4202560 6409 0 0 0 605 4 0 0 20 0 21 0 3111560 11230408704 118153 33554432000 4194304 4196468 140729479941616 140697749713608 140697374371908 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13993] ppid=13987 vsize=10967196 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13993/stat : 13993 (java) S 13987 13990 13822 0 -1 1077944384 114 0 0 0 8 7 0 0 20 0 21 0 3111561 11230408704 118153 33554432000 4194304 4196468 140729479941616 140697698097552 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13994] ppid=13987 vsize=10967196 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13994/stat : 13994 (java) S 13987 13990 13822 0 -1 1077944384 114 0 0 0 7 8 0 0 20 0 21 0 3111561 11230408704 118153 33554432000 4194304 4196468 140729479941616 140697697044752 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13995] ppid=13987 vsize=10967196 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13995/stat : 13995 (java) S 13987 13990 13822 0 -1 1077944384 114 0 0 0 8 8 0 0 20 0 21 0 3111561 11230408704 118153 33554432000 4194304 4196468 140729479941616 140697695992464 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13996] ppid=13987 vsize=10967196 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13996/stat : 13996 (java) S 13987 13990 13822 0 -1 1077944384 111 0 0 0 10 5 0 0 20 0 21 0 3111561 11230408704 118153 33554432000 4194304 4196468 140729479941616 140697694939664 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13997] ppid=13987 vsize=10967196 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13997/stat : 13997 (java) S 13987 13990 13822 0 -1 1077944384 81 0 0 0 7 7 0 0 20 0 21 0 3111561 11230408704 118153 33554432000 4194304 4196468 140729479941616 140697693887376 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13998] ppid=13987 vsize=10967196 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13998/stat : 13998 (java) S 13987 13990 13822 0 -1 1077944384 90 0 0 0 8 7 0 0 20 0 21 0 3111561 11230408704 118153 33554432000 4194304 4196468 140729479941616 140697347480336 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13999] ppid=13987 vsize=10967196 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13999/stat : 13999 (java) S 13987 13990 13822 0 -1 1077944384 99 0 0 0 6 5 0 0 20 0 21 0 3111561 11230408704 118153 33554432000 4194304 4196468 140729479941616 140697346428048 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14000] ppid=13987 vsize=10967196 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14000/stat : 14000 (java) S 13987 13990 13822 0 -1 1077944384 81 0 0 0 4 5 0 0 20 0 21 0 3111561 11230408704 118153 33554432000 4194304 4196468 140729479941616 140697345375248 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14001] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14001/stat : 14001 (java) S 13987 13990 13822 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 21 0 3111563 11230408704 118153 33554432000 4194304 4196468 140729479941616 140697220925552 140697745488514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14002] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14002/stat : 14002 (java) S 13987 13990 13822 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 3111564 11230408704 118153 33554432000 4194304 4196468 140729479941616 140697219871520 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14003] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
/proc/13990/task/14011/stat : 14011 (java) S 13987 13990 13822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3111739 11230408704 334289 33554432000 4194304 4196468 140729479941616 140697210397744 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
Current children cumulated CPU time (s) 2333.53
Current children cumulated vsize (KiB) 10967196
[startup+2382.3 s]
/proc/loadavg: 4.00 2.62 2.35 11/282 14170
/proc/meminfo: memFree=23261744/32770624 swapFree=5968/205460
[pid=13990] ppid=13987 vsize=10967196 CPUtime=2393.53 cores=1,3,5,7,9,11,13,15
/proc/13990/stat : 13990 (java) S 13987 13990 13822 0 -1 1077944320 92990 0 0 0 239042 311 0 0 20 0 21 0 3111560 11230408704 347089 33554432000 4194304 4196468 140729479941616 140729479924160 140697745477367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
/proc/13990/statm: 2741799 347089 3172 1 0 2730193 0
[pid=13990/tid=13991] ppid=13987 vsize=10967196 CPUtime=2379.98 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13991/stat : 13991 (java) R 13987 13990 13822 0 -1 4202560 42120 0 0 0 237983 15 0 0 20 0 21 0 3111560 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697749713088 140697379255723 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13993] ppid=13987 vsize=10967196 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13993/stat : 13993 (java) S 13987 13990 13822 0 -1 1077944384 1159 0 0 0 52 27 0 0 20 0 21 0 3111561 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697698097552 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13994] ppid=13987 vsize=10967196 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13994/stat : 13994 (java) S 13987 13990 13822 0 -1 1077944384 865 0 0 0 49 30 0 0 20 0 21 0 3111561 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697697044752 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13995] ppid=13987 vsize=10967196 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13995/stat : 13995 (java) S 13987 13990 13822 0 -1 1077944384 918 0 0 0 51 29 0 0 20 0 21 0 3111561 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697695992464 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13996] ppid=13987 vsize=10967196 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13996/stat : 13996 (java) S 13987 13990 13822 0 -1 1077944384 1031 0 0 0 50 25 0 0 20 0 21 0 3111561 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697694939664 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13997] ppid=13987 vsize=10967196 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13997/stat : 13997 (java) S 13987 13990 13822 0 -1 1077944384 614 0 0 0 49 28 0 0 20 0 21 0 3111561 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697693887376 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13998] ppid=13987 vsize=10967196 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13998/stat : 13998 (java) S 13987 13990 13822 0 -1 1077944384 630 0 0 0 49 30 0 0 20 0 21 0 3111561 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697347480336 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13999] ppid=13987 vsize=10967196 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13999/stat : 13999 (java) S 13987 13990 13822 0 -1 1077944384 620 0 0 0 48 26 0 0 20 0 21 0 3111561 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697346428048 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14000] ppid=13987 vsize=10967196 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14000/stat : 14000 (java) S 13987 13990 13822 0 -1 1077944384 898 0 0 0 47 26 0 0 20 0 21 0 3111561 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697345375248 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14001] ppid=13987 vsize=10967196 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14001/stat : 14001 (java) S 13987 13990 13822 0 -1 1077944384 4285 0 0 0 8 4 0 0 20 0 21 0 3111563 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697220925552 140697745488514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14002] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14002/stat : 14002 (java) S 13987 13990 13822 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 21 0 3111564 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697219871584 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14003] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14003/stat : 14003 (java) S 13987 13990 13822 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 21 0 3111564 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697218819184 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14004] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14004/stat : 14004 (java) S 13987 13990 13822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3111568 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697217767504 140697745495963 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14005] ppid=13987 vsize=10967196 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14005/stat : 14005 (java) S 13987 13990 13822 0 -1 1077944384 11239 0 0 0 181 1 0 0 20 0 21 0 3111568 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697216715376 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14006] ppid=13987 vsize=10967196 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14006/stat : 14006 (java) S 13987 13990 13822 0 -1 1077944384 7582 0 0 0 166 1 0 0 20 0 21 0 3111568 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697215662576 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14007] ppid=13987 vsize=10967196 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14007/stat : 14007 (java) S 13987 13990 13822 0 -1 1077944384 9467 0 0 0 168 2 0 0 20 0 21 0 3111568 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697214610288 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14008] ppid=13987 vsize=10967196 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14008/stat : 14008 (java) S 13987 13990 13822 0 -1 1077944384 7148 0 0 0 56 1 0 0 20 0 21 0 3111568 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697213557488 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14009] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14009/stat : 14009 (java) S 13987 13990 13822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3111568 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697212504416 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14010] ppid=13987 vsize=10967196 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14010/stat : 14010 (java) S 13987 13990 13822 0 -1 1077944384 2940 0 0 0 65 71 0 0 20 0 21 0 3111568 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697211451696 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14011] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14011/stat : 14011 (java) S 13987 13990 13822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3111739 11230408704 347089 33554432000 4194304 4196468 140729479941616 140697210397744 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
Current children cumulated CPU time (s) 2393.53
Current children cumulated vsize (KiB) 10967196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2388.8 s]
/proc/loadavg: 3.84 2.61 2.35 11/282 14171
/proc/meminfo: memFree=22982728/32770624 swapFree=5968/205504
[pid=13990] ppid=13987 vsize=10967196 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/13990/stat : 13990 (java) S 13987 13990 13822 0 -1 1077944320 93148 0 0 0 239691 311 0 0 20 0 21 0 3111560 11230408704 348625 33554432000 4194304 4196468 140729479941616 140729479924160 140697745477367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
/proc/13990/statm: 2741799 348625 3172 1 0 2730193 0
[pid=13990/tid=13991] ppid=13987 vsize=10967196 CPUtime=2386.47 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13991/stat : 13991 (java) R 13987 13990 13822 0 -1 4202560 42276 0 0 0 238632 15 0 0 20 0 21 0 3111560 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697749713088 140697379308017 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13993] ppid=13987 vsize=10967196 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13993/stat : 13993 (java) S 13987 13990 13822 0 -1 1077944384 1159 0 0 0 52 27 0 0 20 0 21 0 3111561 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697698097552 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13994] ppid=13987 vsize=10967196 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13994/stat : 13994 (java) S 13987 13990 13822 0 -1 1077944384 865 0 0 0 49 30 0 0 20 0 21 0 3111561 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697697044752 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13995] ppid=13987 vsize=10967196 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13995/stat : 13995 (java) S 13987 13990 13822 0 -1 1077944384 918 0 0 0 51 29 0 0 20 0 21 0 3111561 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697695992464 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13996] ppid=13987 vsize=10967196 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13996/stat : 13996 (java) S 13987 13990 13822 0 -1 1077944384 1031 0 0 0 50 25 0 0 20 0 21 0 3111561 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697694939664 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13997] ppid=13987 vsize=10967196 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13997/stat : 13997 (java) S 13987 13990 13822 0 -1 1077944384 614 0 0 0 49 28 0 0 20 0 21 0 3111561 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697693887376 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13998] ppid=13987 vsize=10967196 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13998/stat : 13998 (java) S 13987 13990 13822 0 -1 1077944384 630 0 0 0 49 30 0 0 20 0 21 0 3111561 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697347480336 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13999] ppid=13987 vsize=10967196 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13999/stat : 13999 (java) S 13987 13990 13822 0 -1 1077944384 620 0 0 0 48 26 0 0 20 0 21 0 3111561 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697346428048 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14000] ppid=13987 vsize=10967196 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14000/stat : 14000 (java) S 13987 13990 13822 0 -1 1077944384 898 0 0 0 47 26 0 0 20 0 21 0 3111561 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697345375248 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14001] ppid=13987 vsize=10967196 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14001/stat : 14001 (java) S 13987 13990 13822 0 -1 1077944384 4285 0 0 0 8 4 0 0 20 0 21 0 3111563 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697220925552 140697745488514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14002] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14002/stat : 14002 (java) S 13987 13990 13822 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 21 0 3111564 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697219871584 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14003] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14003/stat : 14003 (java) S 13987 13990 13822 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 21 0 3111564 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697218819184 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14004] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14004/stat : 14004 (java) S 13987 13990 13822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3111568 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697217767504 140697745495963 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14005] ppid=13987 vsize=10967196 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14005/stat : 14005 (java) S 13987 13990 13822 0 -1 1077944384 11239 0 0 0 181 1 0 0 20 0 21 0 3111568 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697216715376 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14006] ppid=13987 vsize=10967196 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14006/stat : 14006 (java) S 13987 13990 13822 0 -1 1077944384 7582 0 0 0 166 1 0 0 20 0 21 0 3111568 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697215662576 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14007] ppid=13987 vsize=10967196 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14007/stat : 14007 (java) S 13987 13990 13822 0 -1 1077944384 9467 0 0 0 168 2 0 0 20 0 21 0 3111568 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697214610288 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14008] ppid=13987 vsize=10967196 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14008/stat : 14008 (java) S 13987 13990 13822 0 -1 1077944384 7148 0 0 0 56 1 0 0 20 0 21 0 3111568 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697213557488 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14009] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14009/stat : 14009 (java) S 13987 13990 13822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3111568 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697212504416 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14010] ppid=13987 vsize=10967196 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14010/stat : 14010 (java) S 13987 13990 13822 0 -1 1077944384 2942 0 0 0 66 71 0 0 20 0 21 0 3111568 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697211451696 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14011] ppid=13987 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14011/stat : 14011 (java) S 13987 13990 13822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3111739 11230408704 348625 33554432000 4194304 4196468 140729479941616 140697210397744 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 10967196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13990 sig 9
??? kill -13990 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2389.2 s]
/proc/loadavg: 3.84 2.61 2.35 17/283 14174
/proc/meminfo: memFree=22711880/32770624 swapFree=5968/205504
[pid=13990] ppid=13987 vsize=11166888 CPUtime=2402.47 cores=1,3,5,7,9,11,13,15
/proc/13990/stat : 13990 (java) S 13987 13990 13822 0 -1 1077944320 97007 0 0 0 239797 450 0 0 20 0 22 0 3111560 11434893312 412742 33554432000 4194304 4196468 140729479941616 140729479924160 140697745477367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
/proc/13990/statm: 2791722 412742 3174 1 0 2780116 0
[pid=13990/tid=13991] ppid=13987 vsize=11166888 CPUtime=2386.6 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13991/stat : 13991 (java) S 13987 13990 13822 0 -1 1077944384 42541 0 0 0 238645 15 0 0 20 0 22 0 3111560 11434893312 412742 33554432000 4194304 4196468 140729479941616 140697749718960 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13993] ppid=13987 vsize=11166888 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13993/stat : 13993 (java) S 13987 13990 13822 0 -1 1077944384 1330 0 0 0 62 42 0 0 20 0 22 0 3111561 11434893312 412742 33554432000 4194304 4196468 140729479941616 140697698097552 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13994] ppid=13987 vsize=11166888 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13994/stat : 13994 (java) S 13987 13990 13822 0 -1 1077944384 1144 0 0 0 60 48 0 0 20 0 22 0 3111561 11434893312 412742 33554432000 4194304 4196468 140729479941616 140697697044752 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13995] ppid=13987 vsize=11166888 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13995/stat : 13995 (java) S 13987 13990 13822 0 -1 1077944384 1347 0 0 0 62 47 0 0 20 0 22 0 3111561 11434893312 412742 33554432000 4194304 4196468 140729479941616 140697695992464 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13996] ppid=13987 vsize=11166888 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13996/stat : 13996 (java) S 13987 13990 13822 0 -1 1077944384 1219 0 0 0 63 42 0 0 20 0 22 0 3111561 11434893312 412742 33554432000 4194304 4196468 140729479941616 140697694939664 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13997] ppid=13987 vsize=11166888 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13997/stat : 13997 (java) S 13987 13990 13822 0 -1 1077944384 759 0 0 0 60 46 0 0 20 0 22 0 3111561 11434893312 412742 33554432000 4194304 4196468 140729479941616 140697693887376 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13998] ppid=13987 vsize=11166888 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13998/stat : 13998 (java) S 13987 13990 13822 0 -1 1077944384 793 0 0 0 61 48 0 0 20 0 22 0 3111561 11434893312 412742 33554432000 4194304 4196468 140729479941616 140697347480336 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=13999] ppid=13987 vsize=11166888 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/13990/task/13999/stat : 13999 (java) S 13987 13990 13822 0 -1 1077944384 841 0 0 0 59 44 0 0 20 0 22 0 3111561 11434893312 412742 33554432000 4194304 4196468 140729479941616 140697346428048 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14000] ppid=13987 vsize=11166888 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14000/stat : 14000 (java) S 13987 13990 13822 0 -1 1077944384 1065 0 0 0 59 44 0 0 20 0 22 0 3111561 11434893312 412742 33554432000 4194304 4196468 140729479941616 140697345375248 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14001] ppid=13987 vsize=11166888 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14001/stat : 14001 (java) R 13987 13990 13822 0 -1 4202560 4482 0 0 0 8 4 0 0 20 0 22 0 3111563 11434893312 412742 33554432000 4194304 4196468 140729479941616 140697220924064 140697737766816 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14002] ppid=13987 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14002/stat : 14002 (java) S 13987 13990 13822 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 22 0 3111564 11434893312 412742 33554432000 4194304 4196468 140729479941616 140697219871584 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14003] ppid=13987 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14003/stat : 14003 (java) S 13987 13990 13822 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 22 0 3111564 11434893312 412806 33554432000 4194304 4196468 140729479941616 140697218819184 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14004] ppid=13987 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14004/stat : 14004 (java) S 13987 13990 13822 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 22 0 3111568 11434893312 412806 33554432000 4194304 4196468 140729479941616 140697217767504 140697745495963 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14005] ppid=13987 vsize=11166888 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14005/stat : 14005 (java) S 13987 13990 13822 0 -1 1077944384 11340 0 0 0 181 1 0 0 20 0 22 0 3111568 11434893312 412806 33554432000 4194304 4196468 140729479941616 140697216715376 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14006] ppid=13987 vsize=11166888 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14006/stat : 14006 (java) S 13987 13990 13822 0 -1 1077944384 7921 0 0 0 166 1 0 0 20 0 22 0 3111568 11434893312 412806 33554432000 4194304 4196468 140729479941616 140697215662576 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14007] ppid=13987 vsize=11166888 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14007/stat : 14007 (java) S 13987 13990 13822 0 -1 1077944384 9932 0 0 0 170 2 0 0 20 0 22 0 3111568 11434893312 412872 33554432000 4194304 4196468 140729479941616 140697214610288 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14008] ppid=13987 vsize=11166888 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14008/stat : 14008 (java) S 13987 13990 13822 0 -1 1077944384 7458 0 0 0 57 1 0 0 20 0 22 0 3111568 11434893312 412872 33554432000 4194304 4196468 140729479941616 140697213557488 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14009] ppid=13987 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14009/stat : 14009 (java) S 13987 13990 13822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3111568 11434893312 412872 33554432000 4194304 4196468 140729479941616 140697212504416 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14010] ppid=13987 vsize=11166888 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14010/stat : 14010 (java) S 13987 13990 13822 0 -1 1077944384 2942 0 0 0 66 71 0 0 20 0 22 0 3111568 11434893312 412938 33554432000 4194304 4196468 140729479941616 140697211451696 140697745488514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14172] ppid=13987 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14172/stat : 14172 (java) S 13987 13990 13822 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 22 0 3350440 11434893312 412938 33554432000 4194304 4196468 140729479941616 140697209344240 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
[pid=13990/tid=14173] ppid=13987 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13990/task/14173/stat : 14173 (java) S 13987 13990 13822 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 22 0 3350441 11434893312 412938 33554432000 4194304 4196468 140729479941616 140697208292576 140697745487573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9695232 140729479943339 140729479943492 140729479943492 140729479946191 0
Current children cumulated CPU time (s) 2402.47
Current children cumulated vsize (KiB) 11166888
Child status: 143
Real time (s): 2389.24
CPU time (s): 2402.51
CPU user time (s): 2397.99
CPU system time (s): 4.52093
CPU usage (%): 100.555
Max. virtual memory (cumulated for all children) (KiB): 11166888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.99
system time used= 4.52093
maximum resident set size= 1653340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98425
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55531
involuntary context switches= 121335
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.8673 second user time and 13.0883 second system time
The end