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 (14336 MiB free)
memory of node 1: 16384 MiB (12706 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302417-1532896442/watcher-4302417-1532896442 -o /tmp/evaluation-result-4302417-1532896442/solver-4302417-1532896442 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1620 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1646031704 HOME/instance-4302417-1532896442.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=5283, runsolver pid=5280
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 1.69 1.64 1.68 3/207 5340
/proc/meminfo: memFree=27682792/32770624 swapFree=67108860/67108860
[pid=5283] ppid=5280 vsize=10005480 memory=18332 CPUtime=0.09 cores=0,2,4,6
/proc/5283/stat : 5283 (java) S 5280 5283 22004 0 -1 1077944320 4253 13051 0 0 1 1 5 2 20 0 6 0 107207373 10245611520 4583 33554432000 4194304 4196468 140730292104208 140730292086752 139764486991607 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
/proc/5283/statm: 2501370 4583 1931 1 0 2489808 0
[pid=5283/tid=5336] ppid=5280 vsize=10005480 memory=8326441112148417179 CPUtime=0.08 cores=0,2,4,6
/proc/5283/task/5336/stat : 5336 (java) R 5280 5283 22004 0 -1 4202560 2096 13051 0 0 1 0 5 2 20 0 6 0 107207382 10245611520 4649 33554432000 4194304 4196468 140730292104208 139764458828368 139764472303609 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5337] ppid=5280 vsize=10005480 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5337/stat : 5337 (java) S 5280 5283 22004 0 -1 1077944384 2 13051 0 0 0 0 5 2 20 0 6 0 107207383 10245611520 4649 33554432000 4194304 4196468 140730292104208 139764491234064 139764487001813 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5338] ppid=5280 vsize=10005480 memory=140072652977792 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5338/stat : 5338 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 6 0 107207383 10245611520 4649 33554432000 4194304 4196468 140730292104208 139764345953168 139764487001813 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5339] ppid=5280 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5339/stat : 5339 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 6 0 107207383 10245611520 4649 33554432000 4194304 4196468 140730292104208 139764344900624 139764487001813 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5340] ppid=5280 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5340/stat : 5340 (java) S 5280 5283 22004 0 -1 1077944384 2 13051 0 0 0 0 5 2 20 0 6 0 107207383 10245611520 4649 33554432000 4194304 4196468 140730292104208 139764343848080 139764487001813 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18332 KiB
[startup+0.209728 s]*
/proc/loadavg: 1.69 1.64 1.68 3/216 5349
/proc/meminfo: memFree=27658916/32770624 swapFree=67108860/67108860
[pid=5283] ppid=5280 vsize=10982696 memory=45692 CPUtime=0.25 cores=0,2,4,6
/proc/5283/stat : 5283 (java) S 5280 5283 22004 0 -1 1077944320 8237 13051 0 0 16 2 5 2 20 0 15 0 107207373 11246280704 11423 33554432000 4194304 4196468 140730292104208 140730292086752 139764486991607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
/proc/5283/statm: 2745674 11423 2969 1 0 2708109 0
[pid=5283/tid=5336] ppid=5280 vsize=10982696 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/5283/task/5336/stat : 5336 (java) R 5280 5283 22004 0 -1 4202560 4773 13051 0 0 10 1 5 2 20 0 15 0 107207382 11246280704 11423 33554432000 4194304 4196468 140730292104208 139764458789264 139764467267482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5337] ppid=5280 vsize=10982696 memory=288293255295271337 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5337/stat : 5337 (java) S 5280 5283 22004 0 -1 1077944384 2 13051 0 0 0 0 5 2 20 0 15 0 107207383 11246280704 11423 33554432000 4194304 4196468 140730292104208 139764491234064 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5338] ppid=5280 vsize=10982696 memory=3904679358044045344 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5338/stat : 5338 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 15 0 107207383 11246280704 11423 33554432000 4194304 4196468 140730292104208 139764345953168 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5339] ppid=5280 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5339/stat : 5339 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 15 0 107207383 11246280704 11423 33554432000 4194304 4196468 140730292104208 139764344900624 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5340] ppid=5280 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5340/stat : 5340 (java) S 5280 5283 22004 0 -1 1077944384 2 13051 0 0 0 0 5 2 20 0 15 0 107207383 11246280704 11423 33554432000 4194304 4196468 140730292104208 139764343848080 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5341] ppid=5280 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5341/stat : 5341 (java) S 5280 5283 22004 0 -1 1077944384 2 13051 0 0 0 0 5 2 20 0 15 0 107207384 11246280704 11423 33554432000 4194304 4196468 140730292104208 139763912919024 139764487002754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5342] ppid=5280 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5342/stat : 5342 (java) S 5280 5283 22004 0 -1 1077944384 13 13051 0 0 0 0 5 2 20 0 15 0 107207385 11246280704 11423 33554432000 4194304 4196468 140730292104208 139763336078240 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5343] ppid=5280 vsize=10982696 memory=140072652977792 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5343/stat : 5343 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 15 0 107207385 11246280704 11423 33554432000 4194304 4196468 140730292104208 139763134751728 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5344] ppid=5280 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5344/stat : 5344 (java) S 5280 5283 22004 0 -1 1077944384 3 13051 0 0 0 0 5 2 20 0 15 0 107207388 11246280704 11423 33554432000 4194304 4196468 140730292104208 139762827352272 139764487010203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5345] ppid=5280 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5283/task/5345/stat : 5345 (java) S 5280 5283 22004 0 -1 1077944384 549 13051 0 0 1 0 5 2 20 0 15 0 107207388 11246280704 11423 33554432000 4194304 4196468 140730292104208 139763911866864 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5346] ppid=5280 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5346/stat : 5346 (java) S 5280 5283 22004 0 -1 1077944384 67 13051 0 0 0 0 5 2 20 0 15 0 107207388 11246280704 11423 33554432000 4194304 4196468 140730292104208 139763910814320 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5347] ppid=5280 vsize=10982696 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/5283/task/5347/stat : 5347 (java) S 5280 5283 22004 0 -1 1077944384 627 13051 0 0 3 0 5 2 20 0 15 0 107207388 11246280704 11423 33554432000 4194304 4196468 140730292104208 139763909761776 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5348] ppid=5280 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5348/stat : 5348 (java) S 5280 5283 22004 0 -1 1077944384 3 13051 0 0 0 0 5 2 20 0 15 0 107207388 11246280704 11423 33554432000 4194304 4196468 140730292104208 139762396556384 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5349] ppid=5280 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5349/stat : 5349 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 15 0 107207388 11246280704 11423 33554432000 4194304 4196468 140730292104208 139763908708656 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45692 KiB
[startup+0.310385 s]*
/proc/loadavg: 1.69 1.64 1.68 7/216 5349
/proc/meminfo: memFree=27646996/32770624 swapFree=67108860/67108860
[pid=5283] ppid=5280 vsize=10983192 memory=57036 CPUtime=0.37 cores=0,2,4,6
/proc/5283/stat : 5283 (java) S 5280 5283 22004 0 -1 1077944320 10264 13051 0 0 28 2 5 2 20 0 15 0 107207373 11246788608 14259 33554432000 4194304 4196468 140730292104208 140730292086752 139764486991607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
/proc/5283/statm: 2745798 14259 3101 1 0 2708109 0
[pid=5283/tid=5336] ppid=5280 vsize=10983192 memory=6935054825532540783 CPUtime=0.28 cores=0,2,4,6
/proc/5283/task/5336/stat : 5336 (java) R 5280 5283 22004 0 -1 4202560 6807 13051 0 0 20 1 5 2 20 0 15 0 107207382 11246788608 14259 33554432000 4194304 4196468 140730292104208 139764458803392 139764024061576 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5337] ppid=5280 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5337/stat : 5337 (java) S 5280 5283 22004 0 -1 1077944384 2 13051 0 0 0 0 5 2 20 0 15 0 107207383 11246788608 14259 33554432000 4194304 4196468 140730292104208 139764491234064 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5338] ppid=5280 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5338/stat : 5338 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 15 0 107207383 11246788608 14259 33554432000 4194304 4196468 140730292104208 139764345953168 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5339] ppid=5280 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5339/stat : 5339 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 15 0 107207383 11246788608 14259 33554432000 4194304 4196468 140730292104208 139764344900624 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5340] ppid=5280 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5340/stat : 5340 (java) S 5280 5283 22004 0 -1 1077944384 2 13051 0 0 0 0 5 2 20 0 15 0 107207383 11246788608 14259 33554432000 4194304 4196468 140730292104208 139764343848080 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5341] ppid=5280 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5341/stat : 5341 (java) S 5280 5283 22004 0 -1 1077944384 2 13051 0 0 0 0 5 2 20 0 15 0 107207384 11246788608 14259 33554432000 4194304 4196468 140730292104208 139763912919024 139764487002754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5342] ppid=5280 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5342/stat : 5342 (java) S 5280 5283 22004 0 -1 1077944384 13 13051 0 0 0 0 5 2 20 0 15 0 107207385 11246788608 14259 33554432000 4194304 4196468 140730292104208 139763336078240 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5343] ppid=5280 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5343/stat : 5343 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 15 0 107207385 11246788608 14259 33554432000 4194304 4196468 140730292104208 139763134751728 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5344] ppid=5280 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5344/stat : 5344 (java) S 5280 5283 22004 0 -1 1077944384 3 13051 0 0 0 0 5 2 20 0 15 0 107207388 11246788608 14259 33554432000 4194304 4196468 140730292104208 139762827352272 139764487010203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5345] ppid=5280 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5283/task/5345/stat : 5345 (java) S 5280 5283 22004 0 -1 1077944384 551 13051 0 0 1 0 5 2 20 0 15 0 107207388 11246788608 14259 33554432000 4194304 4196468 140730292104208 139763911866864 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5346] ppid=5280 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5283/task/5346/stat : 5346 (java) R 5280 5283 22004 0 -1 1077944384 67 13051 0 0 1 0 5 2 20 0 15 0 107207388 11246788608 14259 33554432000 4194304 4196468 140730292104208 139763910814320 139764487002754 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5347] ppid=5280 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5283/task/5347/stat : 5347 (java) R 5280 5283 22004 0 -1 4202560 633 13051 0 0 5 0 5 2 20 0 15 0 107207388 11246788608 14259 33554432000 4194304 4196468 140730292104208 139763909761776 139764479228734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5348] ppid=5280 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5348/stat : 5348 (java) S 5280 5283 22004 0 -1 1077944384 3 13051 0 0 0 0 5 2 20 0 15 0 107207388 11246788608 14259 33554432000 4194304 4196468 140730292104208 139762396556384 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5349] ppid=5280 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5349/stat : 5349 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 15 0 107207388 11246788608 14259 33554432000 4194304 4196468 140730292104208 139763908708656 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57036 KiB
[startup+0.70077 s]
/proc/loadavg: 1.69 1.64 1.68 3/216 5349
/proc/meminfo: memFree=27637568/32770624 swapFree=67108860/67108860
[pid=5283] ppid=5280 vsize=10983192 memory=89548 CPUtime=0.98 cores=0,2,4,6
/proc/5283/stat : 5283 (java) S 5280 5283 22004 0 -1 1077944320 16481 13051 0 0 87 4 5 2 20 0 15 0 107207373 11246788608 22387 33554432000 4194304 4196468 140730292104208 140730292086752 139764486991607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
/proc/5283/statm: 2745798 22387 3237 1 0 2708109 0
[pid=5283/tid=5336] ppid=5280 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/5283/task/5336/stat : 5336 (java) R 5280 5283 22004 0 -1 4202560 12067 13051 0 0 57 2 5 2 20 0 15 0 107207382 11246788608 22387 33554432000 4194304 4196468 140730292104208 139764458812432 139764472157246 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5337] ppid=5280 vsize=10983192 memory=8242257093008373557 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5337/stat : 5337 (java) S 5280 5283 22004 0 -1 1077944384 2 13051 0 0 0 0 5 2 20 0 15 0 107207383 11246788608 22387 33554432000 4194304 4196468 140730292104208 139764491234064 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5338] ppid=5280 vsize=10983192 memory=7158860088844767568 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5338/stat : 5338 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 15 0 107207383 11246788608 22387 33554432000 4194304 4196468 140730292104208 139764345953168 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5339] ppid=5280 vsize=10983192 memory=7588675599774802240 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5339/stat : 5339 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 15 0 107207383 11246788608 22387 33554432000 4194304 4196468 140730292104208 139764344900624 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5340] ppid=5280 vsize=10983192 memory=5791717478211005024 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5340/stat : 5340 (java) S 5280 5283 22004 0 -1 1077944384 2 13051 0 0 0 0 5 2 20 0 15 0 107207383 11246788608 22387 33554432000 4194304 4196468 140730292104208 139764343848080 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5341] ppid=5280 vsize=10983192 memory=164 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5341/stat : 5341 (java) S 5280 5283 22004 0 -1 1077944384 6 13051 0 0 0 0 5 2 20 0 15 0 107207384 11246788608 22387 33554432000 4194304 4196468 140730292104208 139763912919024 139764487002754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5342] ppid=5280 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5342/stat : 5342 (java) S 5280 5283 22004 0 -1 1077944384 13 13051 0 0 0 0 5 2 20 0 15 0 107207385 11246788608 22387 33554432000 4194304 4196468 140730292104208 139763336078240 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5343] ppid=5280 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5343/stat : 5343 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 15 0 107207385 11246788608 22387 33554432000 4194304 4196468 140730292104208 139763134751728 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5344] ppid=5280 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5344/stat : 5344 (java) S 5280 5283 22004 0 -1 1077944384 3 13051 0 0 0 0 5 2 20 0 15 0 107207388 11246788608 22387 33554432000 4194304 4196468 140730292104208 139762827352272 139764487010203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5345] ppid=5280 vsize=10983192 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/5283/task/5345/stat : 5345 (java) S 5280 5283 22004 0 -1 1077944384 832 13051 0 0 8 0 5 2 20 0 15 0 107207388 11246788608 22387 33554432000 4194304 4196468 140730292104208 139763911866864 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5346] ppid=5280 vsize=10983192 memory=96 CPUtime=0.15 cores=0,2,4,6
/proc/5283/task/5346/stat : 5346 (java) S 5280 5283 22004 0 -1 1077944384 682 13051 0 0 8 0 5 2 20 0 15 0 107207388 11246788608 22387 33554432000 4194304 4196468 140730292104208 139763910814320 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5347] ppid=5280 vsize=10983192 memory=280145013328304 CPUtime=0.2 cores=0,2,4,6
/proc/5283/task/5347/stat : 5347 (java) S 5280 5283 22004 0 -1 1077944384 675 13051 0 0 13 0 5 2 20 0 15 0 107207388 11246788608 22387 33554432000 4194304 4196468 140730292104208 139763909761776 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5348] ppid=5280 vsize=10983192 memory=140072652976657 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5348/stat : 5348 (java) S 5280 5283 22004 0 -1 1077944384 3 13051 0 0 0 0 5 2 20 0 15 0 107207388 11246788608 22387 33554432000 4194304 4196468 140730292104208 139762396556384 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5349] ppid=5280 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5349/stat : 5349 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 15 0 107207388 11246788608 22387 33554432000 4194304 4196468 140730292104208 139763908708656 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89548 KiB
[startup+1.50067 s]
/proc/loadavg: 2.04 1.71 1.70 3/216 5349
/proc/meminfo: memFree=27591740/32770624 swapFree=67108860/67108860
[pid=5283] ppid=5280 vsize=10993996 memory=189924 CPUtime=3.15 cores=0,2,4,6
/proc/5283/stat : 5283 (java) S 5280 5283 22004 0 -1 1077944320 24970 13051 0 0 300 8 5 2 20 0 15 0 107207373 11257851904 47481 33554432000 4194304 4196468 140730292104208 140730292086752 139764486991607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
/proc/5283/statm: 2748499 47481 3451 1 0 2710157 0
[pid=5283/tid=5336] ppid=5280 vsize=10993996 memory=7300996220802969665 CPUtime=1.45 cores=0,2,4,6
/proc/5283/task/5336/stat : 5336 (java) R 5280 5283 22004 0 -1 4202560 15912 13051 0 0 133 5 5 2 20 0 15 0 107207382 11257851904 47481 33554432000 4194304 4196468 140730292104208 139764458804936 139764487013533 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5337] ppid=5280 vsize=10993996 memory=4418138326849250145 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5337/stat : 5337 (java) S 5280 5283 22004 0 -1 1077944384 2 13051 0 0 0 0 5 2 20 0 15 0 107207383 11257851904 47481 33554432000 4194304 4196468 140730292104208 139764491234064 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5338] ppid=5280 vsize=10993996 memory=-5934757335528923228 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5338/stat : 5338 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 15 0 107207383 11257851904 47481 33554432000 4194304 4196468 140730292104208 139764345953168 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5339] ppid=5280 vsize=10993996 memory=6372119928180592994 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5339/stat : 5339 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 15 0 107207383 11257851904 47481 33554432000 4194304 4196468 140730292104208 139764344900624 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5340] ppid=5280 vsize=10993996 memory=7449062980653836388 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5340/stat : 5340 (java) S 5280 5283 22004 0 -1 1077944384 2 13051 0 0 0 0 5 2 20 0 15 0 107207383 11257851904 47481 33554432000 4194304 4196468 140730292104208 139764343848080 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5341] ppid=5280 vsize=10993996 memory=2424 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5341/stat : 5341 (java) S 5280 5283 22004 0 -1 1077944384 14 13051 0 0 0 0 5 2 20 0 15 0 107207384 11257851904 47481 33554432000 4194304 4196468 140730292104208 139763912919024 139764487002754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5342] ppid=5280 vsize=10993996 memory=1840 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5342/stat : 5342 (java) S 5280 5283 22004 0 -1 1077944384 13 13051 0 0 0 0 5 2 20 0 15 0 107207385 11257851904 47481 33554432000 4194304 4196468 140730292104208 139763336078240 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5343] ppid=5280 vsize=10993996 memory=1004 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5343/stat : 5343 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 15 0 107207385 11257851904 47481 33554432000 4194304 4196468 140730292104208 139763134751728 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5344] ppid=5280 vsize=10993996 memory=12060 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5344/stat : 5344 (java) S 5280 5283 22004 0 -1 1077944384 3 13051 0 0 0 0 5 2 20 0 15 0 107207388 11257851904 47481 33554432000 4194304 4196468 140730292104208 139762827352272 139764487010203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5345] ppid=5280 vsize=10993996 memory=5788 CPUtime=0.67 cores=0,2,4,6
/proc/5283/task/5345/stat : 5345 (java) S 5280 5283 22004 0 -1 1077944384 2300 13051 0 0 60 0 5 2 20 0 15 0 107207388 11257851904 47481 33554432000 4194304 4196468 140730292104208 139763911866864 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5346] ppid=5280 vsize=10993996 memory=792 CPUtime=0.67 cores=0,2,4,6
/proc/5283/task/5346/stat : 5346 (java) R 5280 5283 22004 0 -1 4202560 2875 13051 0 0 60 0 5 2 20 0 15 0 107207388 11257851904 47481 33554432000 4194304 4196468 140730292104208 139763910801136 139764470378218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5347] ppid=5280 vsize=10993996 memory=1228 CPUtime=0.52 cores=0,2,4,6
/proc/5283/task/5347/stat : 5347 (java) S 5280 5283 22004 0 -1 1077944384 1650 13051 0 0 45 0 5 2 20 0 15 0 107207388 11257851904 47481 33554432000 4194304 4196468 140730292104208 139763909761776 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5348] ppid=5280 vsize=10993996 memory=1944 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5348/stat : 5348 (java) S 5280 5283 22004 0 -1 1077944384 3 13051 0 0 0 0 5 2 20 0 15 0 107207388 11257851904 47481 33554432000 4194304 4196468 140730292104208 139762396556384 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5349] ppid=5280 vsize=10993996 memory=128952 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5349/stat : 5349 (java) S 5280 5283 22004 0 -1 1077944384 1 13051 0 0 0 0 5 2 20 0 15 0 107207388 11257851904 47544 33554432000 4194304 4196468 140730292104208 139763908708656 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
Current children cumulated CPU time: 3.15 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
/proc/5283/task/5336/stat : 5336 (java) R 5280 5283 22004 0 -1 4202560 62749 13051 0 0 16113 26 5 2 20 0 15 0 107207382 11345952768 378008 33554432000 4194304 4196468 140730292104208 139764458821800 139764037276724 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5337] ppid=5280 vsize=11080032 memory=1503840 CPUtime=0.3 cores=0,2,4,6
/proc/5283/task/5337/stat : 5337 (java) S 5280 5283 22004 0 -1 1077944384 553 13051 0 0 16 7 5 2 20 0 15 0 107207383 11345952768 378008 33554432000 4194304 4196468 140730292104208 139764491234064 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5338] ppid=5280 vsize=11080032 memory=1507936 CPUtime=0.28 cores=0,2,4,6
/proc/5283/task/5338/stat : 5338 (java) S 5280 5283 22004 0 -1 1077944384 644 13051 0 0 14 7 5 2 20 0 15 0 107207383 11345952768 378008 33554432000 4194304 4196468 140730292104208 139764345953168 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5339] ppid=5280 vsize=11080032 memory=1512032 CPUtime=0.29 cores=0,2,4,6
/proc/5283/task/5339/stat : 5339 (java) S 5280 5283 22004 0 -1 1077944384 432 13051 0 0 15 7 5 2 20 0 15 0 107207383 11345952768 378008 33554432000 4194304 4196468 140730292104208 139764344900624 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5340] ppid=5280 vsize=11080032 memory=1503840 CPUtime=0.28 cores=0,2,4,6
/proc/5283/task/5340/stat : 5340 (java) S 5280 5283 22004 0 -1 1077944384 721 13051 0 0 14 7 5 2 20 0 15 0 107207383 11345952768 378008 33554432000 4194304 4196468 140730292104208 139764343848080 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5341] ppid=5280 vsize=11080032 memory=1503840 CPUtime=0.14 cores=0,2,4,6
/proc/5283/task/5341/stat : 5341 (java) S 5280 5283 22004 0 -1 1077944384 2893 13051 0 0 7 0 5 2 20 0 15 0 107207384 11345952768 378008 33554432000 4194304 4196468 140730292104208 139763912919024 139764487002754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5342] ppid=5280 vsize=11080032 memory=1503840 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5342/stat : 5342 (java) S 5280 5283 22004 0 -1 1077944384 20 13051 0 0 0 0 5 2 20 0 15 0 107207385 11345952768 378008 33554432000 4194304 4196468 140730292104208 139763336078368 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5343] ppid=5280 vsize=11080032 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5343/stat : 5343 (java) S 5280 5283 22004 0 -1 1077944384 15 13051 0 0 0 0 5 2 20 0 15 0 107207385 11345952768 378008 33554432000 4194304 4196468 140730292104208 139763134751744 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5344] ppid=5280 vsize=11080032 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5344/stat : 5344 (java) S 5280 5283 22004 0 -1 1077944384 3 13051 0 0 0 0 5 2 20 0 15 0 107207388 11345952768 378008 33554432000 4194304 4196468 140730292104208 139762827352272 139764487010203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5345] ppid=5280 vsize=11080032 memory=1416 CPUtime=6.09 cores=0,2,4,6
/proc/5283/task/5345/stat : 5345 (java) S 5280 5283 22004 0 -1 1077944384 27888 13051 0 0 596 6 5 2 20 0 15 0 107207388 11345952768 378008 33554432000 4194304 4196468 140730292104208 139763911866864 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 54 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5346] ppid=5280 vsize=11080032 memory=4612 CPUtime=4.27 cores=0,2,4,6
/proc/5283/task/5346/stat : 5346 (java) S 5280 5283 22004 0 -1 1077944384 17139 13051 0 0 416 4 5 2 20 0 15 0 107207388 11345952768 378008 33554432000 4194304 4196468 140730292104208 139763910814320 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5347] ppid=5280 vsize=11080032 memory=1505888 CPUtime=2.24 cores=0,2,4,6
/proc/5283/task/5347/stat : 5347 (java) S 5280 5283 22004 0 -1 1077944384 18543 13051 0 0 213 4 5 2 20 0 15 0 107207388 11345952768 378008 33554432000 4194304 4196468 140730292104208 139763909761776 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5348] ppid=5280 vsize=11080032 memory=1512032 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5348/stat : 5348 (java) S 5280 5283 22004 0 -1 1077944384 3 13051 0 0 0 0 5 2 20 0 15 0 107207388 11345952768 378008 33554432000 4194304 4196468 140730292104208 139762396556384 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5349] ppid=5280 vsize=11080032 memory=1503840 CPUtime=0.12 cores=0,2,4,6
/proc/5283/task/5349/stat : 5349 (java) S 5280 5283 22004 0 -1 1077944384 276 13051 0 0 3 2 5 2 20 0 15 0 107207388 11345952768 378008 33554432000 4194304 4196468 140730292104208 139763908708656 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 53 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
Current children cumulated CPU time: 174.92 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1512032 KiB
[startup+222.301 s]
/proc/loadavg: 2.02 1.89 1.78 3/215 5482
/proc/meminfo: memFree=22957028/32770624 swapFree=67108860/67108860
[pid=5283] ppid=5280 vsize=11080032 memory=1677956 CPUtime=235.06 cores=0,2,4,6
/proc/5283/stat : 5283 (java) S 5280 5283 22004 0 -1 1077944320 146184 13051 0 0 23420 79 5 2 20 0 15 0 107207373 11345952768 419489 33554432000 4194304 4196468 140730292104208 140730292086752 139764486991607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
/proc/5283/statm: 2770008 419489 3532 1 0 2731661 0
[pid=5283/tid=5336] ppid=5280 vsize=11080032 memory=1677956 CPUtime=221.44 cores=0,2,4,6
/proc/5283/task/5336/stat : 5336 (java) R 5280 5283 22004 0 -1 4202560 64207 13051 0 0 22109 28 5 2 20 0 15 0 107207382 11345952768 419489 33554432000 4194304 4196468 140730292104208 139764458812640 139764037277084 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5337] ppid=5280 vsize=11080032 memory=1677956 CPUtime=0.31 cores=0,2,4,6
/proc/5283/task/5337/stat : 5337 (java) S 5280 5283 22004 0 -1 1077944384 808 13051 0 0 16 8 5 2 20 0 15 0 107207383 11345952768 419489 33554432000 4194304 4196468 140730292104208 139764491234064 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5338] ppid=5280 vsize=11080032 memory=1677956 CPUtime=0.29 cores=0,2,4,6
/proc/5283/task/5338/stat : 5338 (java) S 5280 5283 22004 0 -1 1077944384 896 13051 0 0 15 7 5 2 20 0 15 0 107207383 11345952768 419489 33554432000 4194304 4196468 140730292104208 139764345953168 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5339] ppid=5280 vsize=11080032 memory=2424 CPUtime=0.3 cores=0,2,4,6
/proc/5283/task/5339/stat : 5339 (java) S 5280 5283 22004 0 -1 1077944384 1951 13051 0 0 16 7 5 2 20 0 15 0 107207383 11345952768 419489 33554432000 4194304 4196468 140730292104208 139764344900624 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5340] ppid=5280 vsize=11080032 memory=1677952 CPUtime=0.28 cores=0,2,4,6
/proc/5283/task/5340/stat : 5340 (java) S 5280 5283 22004 0 -1 1077944384 878 13051 0 0 14 7 5 2 20 0 15 0 107207383 11345952768 419489 33554432000 4194304 4196468 140730292104208 139764343848080 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5341] ppid=5280 vsize=11080032 memory=1004 CPUtime=0.14 cores=0,2,4,6
/proc/5283/task/5341/stat : 5341 (java) S 5280 5283 22004 0 -1 1077944384 3191 13051 0 0 7 0 5 2 20 0 15 0 107207384 11345952768 419489 33554432000 4194304 4196468 140730292104208 139763912919024 139764487002754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5342] ppid=5280 vsize=11080032 memory=1677956 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5342/stat : 5342 (java) S 5280 5283 22004 0 -1 1077944384 22 13051 0 0 0 0 5 2 20 0 15 0 107207385 11345952768 419489 33554432000 4194304 4196468 140730292104208 139763336078368 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5343] ppid=5280 vsize=11080032 memory=1677956 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5343/stat : 5343 (java) S 5280 5283 22004 0 -1 1077944384 24 13051 0 0 0 0 5 2 20 0 15 0 107207385 11345952768 419489 33554432000 4194304 4196468 140730292104208 139763134751744 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5344] ppid=5280 vsize=11080032 memory=1784 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5344/stat : 5344 (java) S 5280 5283 22004 0 -1 1077944384 3 13051 0 0 0 0 5 2 20 0 15 0 107207388 11345952768 419489 33554432000 4194304 4196468 140730292104208 139762827352272 139764487010203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5345] ppid=5280 vsize=11080032 memory=1236 CPUtime=6.11 cores=0,2,4,6
/proc/5283/task/5345/stat : 5345 (java) S 5280 5283 22004 0 -1 1077944384 28761 13051 0 0 598 6 5 2 20 0 15 0 107207388 11345952768 419489 33554432000 4194304 4196468 140730292104208 139763911866864 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 54 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5346] ppid=5280 vsize=11080032 memory=928 CPUtime=4.29 cores=0,2,4,6
/proc/5283/task/5346/stat : 5346 (java) S 5280 5283 22004 0 -1 1077944384 18339 13051 0 0 418 4 5 2 20 0 15 0 107207388 11345952768 419489 33554432000 4194304 4196468 140730292104208 139763910814320 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5347] ppid=5280 vsize=11080032 memory=1572 CPUtime=2.27 cores=0,2,4,6
/proc/5283/task/5347/stat : 5347 (java) S 5280 5283 22004 0 -1 1077944384 24439 13051 0 0 216 4 5 2 20 0 15 0 107207388 11345952768 419489 33554432000 4194304 4196468 140730292104208 139763909761776 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5348] ppid=5280 vsize=11080032 memory=1677956 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5348/stat : 5348 (java) S 5280 5283 22004 0 -1 1077944384 3 13051 0 0 0 0 5 2 20 0 15 0 107207388 11345952768 419489 33554432000 4194304 4196468 140730292104208 139762396556384 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5349] ppid=5280 vsize=11080032 memory=1677956 CPUtime=0.14 cores=0,2,4,6
/proc/5283/task/5349/stat : 5349 (java) S 5280 5283 22004 0 -1 1077944384 470 13051 0 0 4 3 5 2 20 0 15 0 107207388 11345952768 419489 33554432000 4194304 4196468 140730292104208 139763908708656 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 53 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
Current children cumulated CPU time: 235.06 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1677956 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+239.301 s]
/proc/loadavg: 2.02 1.89 1.78 3/215 5482
/proc/meminfo: memFree=22999772/32770624 swapFree=67108860/67108860
[pid=5283] ppid=5280 vsize=11080032 memory=1677964 CPUtime=252.07 cores=0,2,4,6
/proc/5283/stat : 5283 (java) S 5280 5283 22004 0 -1 1077944320 146548 13051 0 0 25121 79 5 2 20 0 15 0 107207373 11345952768 419491 33554432000 4194304 4196468 140730292104208 140730292086752 139764486991607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
/proc/5283/statm: 2770008 419491 3532 1 0 2731661 0
[pid=5283/tid=5336] ppid=5280 vsize=11080032 memory=4124 CPUtime=238.44 cores=0,2,4,6
/proc/5283/task/5336/stat : 5336 (java) R 5280 5283 22004 0 -1 4202560 64284 13051 0 0 23809 28 5 2 20 0 15 0 107207382 11345952768 419491 33554432000 4194304 4196468 140730292104208 139764458822056 139764033953767 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5337] ppid=5280 vsize=11080032 memory=1677964 CPUtime=0.31 cores=0,2,4,6
/proc/5283/task/5337/stat : 5337 (java) S 5280 5283 22004 0 -1 1077944384 808 13051 0 0 16 8 5 2 20 0 15 0 107207383 11345952768 419491 33554432000 4194304 4196468 140730292104208 139764491234064 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5338] ppid=5280 vsize=11080032 memory=1677964 CPUtime=0.29 cores=0,2,4,6
/proc/5283/task/5338/stat : 5338 (java) S 5280 5283 22004 0 -1 1077944384 896 13051 0 0 15 7 5 2 20 0 15 0 107207383 11345952768 419491 33554432000 4194304 4196468 140730292104208 139764345953168 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5339] ppid=5280 vsize=11080032 memory=1677964 CPUtime=0.3 cores=0,2,4,6
/proc/5283/task/5339/stat : 5339 (java) S 5280 5283 22004 0 -1 1077944384 1951 13051 0 0 16 7 5 2 20 0 15 0 107207383 11345952768 419491 33554432000 4194304 4196468 140730292104208 139764344900624 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5340] ppid=5280 vsize=11080032 memory=1677964 CPUtime=0.28 cores=0,2,4,6
/proc/5283/task/5340/stat : 5340 (java) S 5280 5283 22004 0 -1 1077944384 878 13051 0 0 14 7 5 2 20 0 15 0 107207383 11345952768 419491 33554432000 4194304 4196468 140730292104208 139764343848080 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5341] ppid=5280 vsize=11080032 memory=1677964 CPUtime=0.14 cores=0,2,4,6
/proc/5283/task/5341/stat : 5341 (java) S 5280 5283 22004 0 -1 1077944384 3191 13051 0 0 7 0 5 2 20 0 15 0 107207384 11345952768 419491 33554432000 4194304 4196468 140730292104208 139763912919024 139764487002754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5342] ppid=5280 vsize=11080032 memory=1677964 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5342/stat : 5342 (java) S 5280 5283 22004 0 -1 1077944384 22 13051 0 0 0 0 5 2 20 0 15 0 107207385 11345952768 419491 33554432000 4194304 4196468 140730292104208 139763336078368 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5343] ppid=5280 vsize=11080032 memory=1677964 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5343/stat : 5343 (java) S 5280 5283 22004 0 -1 1077944384 24 13051 0 0 0 0 5 2 20 0 15 0 107207385 11345952768 419491 33554432000 4194304 4196468 140730292104208 139763134751744 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5344] ppid=5280 vsize=11080032 memory=1677964 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5344/stat : 5344 (java) S 5280 5283 22004 0 -1 1077944384 3 13051 0 0 0 0 5 2 20 0 15 0 107207388 11345952768 419491 33554432000 4194304 4196468 140730292104208 139762827352272 139764487010203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5345] ppid=5280 vsize=11080032 memory=220 CPUtime=6.11 cores=0,2,4,6
/proc/5283/task/5345/stat : 5345 (java) S 5280 5283 22004 0 -1 1077944384 28767 13051 0 0 598 6 5 2 20 0 15 0 107207388 11345952768 419491 33554432000 4194304 4196468 140730292104208 139763911866864 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 54 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5346] ppid=5280 vsize=11080032 memory=30512 CPUtime=4.29 cores=0,2,4,6
/proc/5283/task/5346/stat : 5346 (java) S 5280 5283 22004 0 -1 1077944384 18339 13051 0 0 418 4 5 2 20 0 15 0 107207388 11345952768 419491 33554432000 4194304 4196468 140730292104208 139763910814320 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5347] ppid=5280 vsize=11080032 memory=1296 CPUtime=2.27 cores=0,2,4,6
/proc/5283/task/5347/stat : 5347 (java) S 5280 5283 22004 0 -1 1077944384 24716 13051 0 0 216 4 5 2 20 0 15 0 107207388 11345952768 419491 33554432000 4194304 4196468 140730292104208 139763909761776 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5348] ppid=5280 vsize=11080032 memory=1677964 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5348/stat : 5348 (java) S 5280 5283 22004 0 -1 1077944384 3 13051 0 0 0 0 5 2 20 0 15 0 107207388 11345952768 419491 33554432000 4194304 4196468 140730292104208 139762396556384 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5349] ppid=5280 vsize=11080032 memory=1677964 CPUtime=0.14 cores=0,2,4,6
/proc/5283/task/5349/stat : 5349 (java) S 5280 5283 22004 0 -1 1077944384 474 13051 0 0 4 3 5 2 20 0 15 0 107207388 11345952768 419491 33554432000 4194304 4196468 140730292104208 139763908708656 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 53 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1677964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+239.684 s]
# the end of solver process 5283 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.633 s, system=0.840799 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+239.601 s]
/proc/loadavg: 2.02 1.89 1.78 3/215 5482
/proc/meminfo: memFree=22999772/32770624 swapFree=67108860/67108860
[pid=5283] ppid=5280 vsize=11342184 memory=1680184 CPUtime=252.37 cores=0,2,4,6
/proc/5283/stat : 5283 (java) S 5280 5283 22004 0 -1 1077944320 146786 13051 0 0 25151 79 5 2 20 0 17 0 107207373 11614396416 420046 33554432000 4194304 4196468 140730292104208 140730292086752 139764486991607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
/proc/5283/statm: 2835546 420046 3533 1 0 2797199 0
[pid=5283/tid=5336] ppid=5280 vsize=11342184 memory=1296 CPUtime=238.74 cores=0,2,4,6
/proc/5283/task/5336/stat : 5336 (java) R 5280 5283 22004 0 -1 4202560 64286 13051 0 0 23839 28 5 2 20 0 17 0 107207382 11614396416 420046 33554432000 4194304 4196468 140730292104208 139764458822056 139764037276732 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5337] ppid=5280 vsize=11342184 memory=2424 CPUtime=0.31 cores=0,2,4,6
/proc/5283/task/5337/stat : 5337 (java) S 5280 5283 22004 0 -1 1077944384 808 13051 0 0 16 8 5 2 20 0 17 0 107207383 11614396416 420046 33554432000 4194304 4196468 140730292104208 139764491234064 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5338] ppid=5280 vsize=11342184 memory=1840 CPUtime=0.29 cores=0,2,4,6
/proc/5283/task/5338/stat : 5338 (java) S 5280 5283 22004 0 -1 1077944384 896 13051 0 0 15 7 5 2 20 0 17 0 107207383 11614396416 420046 33554432000 4194304 4196468 140730292104208 139764345953168 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5339] ppid=5280 vsize=11342184 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/5283/task/5339/stat : 5339 (java) S 5280 5283 22004 0 -1 1077944384 1951 13051 0 0 16 7 5 2 20 0 17 0 107207383 11614396416 420046 33554432000 4194304 4196468 140730292104208 139764344900624 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5340] ppid=5280 vsize=11342184 memory=960 CPUtime=0.28 cores=0,2,4,6
/proc/5283/task/5340/stat : 5340 (java) S 5280 5283 22004 0 -1 1077944384 878 13051 0 0 14 7 5 2 20 0 17 0 107207383 11614396416 420046 33554432000 4194304 4196468 140730292104208 139764343848080 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5341] ppid=5280 vsize=11342184 memory=2424 CPUtime=0.14 cores=0,2,4,6
/proc/5283/task/5341/stat : 5341 (java) S 5280 5283 22004 0 -1 1077944384 3191 13051 0 0 7 0 5 2 20 0 17 0 107207384 11614396416 420046 33554432000 4194304 4196468 140730292104208 139763912919024 139764487002754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5342] ppid=5280 vsize=11342184 memory=4104 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5342/stat : 5342 (java) S 5280 5283 22004 0 -1 1077944384 22 13051 0 0 0 0 5 2 20 0 17 0 107207385 11614396416 420046 33554432000 4194304 4196468 140730292104208 139763336078368 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5343] ppid=5280 vsize=11342184 memory=2732 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5343/stat : 5343 (java) S 5280 5283 22004 0 -1 1077944384 24 13051 0 0 0 0 5 2 20 0 17 0 107207385 11614396416 420046 33554432000 4194304 4196468 140730292104208 139763134751744 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5344] ppid=5280 vsize=11342184 memory=2592 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5344/stat : 5344 (java) S 5280 5283 22004 0 -1 1077944384 127 13051 0 0 0 0 5 2 20 0 17 0 107207388 11614396416 420046 33554432000 4194304 4196468 140730292104208 139762827352272 139764487010203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5345] ppid=5280 vsize=11342184 memory=928 CPUtime=6.11 cores=0,2,4,6
/proc/5283/task/5345/stat : 5345 (java) S 5280 5283 22004 0 -1 1077944384 28767 13051 0 0 598 6 5 2 20 0 17 0 107207388 11614396416 420046 33554432000 4194304 4196468 140730292104208 139763911866864 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 54 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5346] ppid=5280 vsize=11342184 memory=1572 CPUtime=4.29 cores=0,2,4,6
/proc/5283/task/5346/stat : 5346 (java) S 5280 5283 22004 0 -1 1077944384 18339 13051 0 0 418 4 5 2 20 0 17 0 107207388 11614396416 420046 33554432000 4194304 4196468 140730292104208 139763910814320 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5347] ppid=5280 vsize=11342184 memory=2244 CPUtime=2.27 cores=0,2,4,6
/proc/5283/task/5347/stat : 5347 (java) S 5280 5283 22004 0 -1 1077944384 24716 13051 0 0 216 4 5 2 20 0 17 0 107207388 11614396416 420046 33554432000 4194304 4196468 140730292104208 139763909761776 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5348] ppid=5280 vsize=11342184 memory=4124 CPUtime=0.07 cores=0,2,4,6
/proc/5283/task/5348/stat : 5348 (java) S 5280 5283 22004 0 -1 1077944384 3 13051 0 0 0 0 5 2 20 0 17 0 107207388 11614396416 420046 33554432000 4194304 4196468 140730292104208 139762396556384 139764487001813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
[pid=5283/tid=5349] ppid=5280 vsize=11342184 memory=2200 CPUtime=0.14 cores=0,2,4,6
/proc/5283/task/5349/stat : 5349 (java) S 5280 5283 22004 0 -1 1077944384 474 13051 0 0 4 3 5 2 20 0 17 0 107207388 11614396416 420046 33554432000 4194304 4196468 140730292104208 139763908708656 139764487002754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 53 0 0 6293624 6294260 17354752 140730292107889 140730292110689 140730292110689 140730292113359 0
Current children cumulated CPU time: 252.37 s
Current children cumulated vsize: 11342184 KiB
Current children cumulated memory: 1680184 KiB
Child status: 143
Real time (s): 239.684
CPU time (s): 252.474
CPU user time (s): 251.633
CPU system time (s): 0.840799
CPU usage (%): 105.336
Max. virtual memory (cumulated for all children) (KiB): 11342184
Max. memory (cumulated for all children) (KiB): 1680184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.633
system time used= 0.840799
maximum resident set size= 1680464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13836
involuntary context switches= 208
# summary of solver processes directly reported to runsolver:
# pid: 5283
# total CPU time (s): 252.474
# total CPU user time (s): 251.633
# total CPU system time (s): 0.840799
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.63631 second user time and 2.04045 second system time
The end