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 (15344 MiB free)
memory of node 1: 16384 MiB (15018 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399007-1568698553/watcher-4399007-1568698553 -o /tmp/evaluation-result-4399007-1568698553/solver-4399007-1568698553 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568698515-17032 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2002615001 HOME/instance-4399007-1568698553.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17051, runsolver pid=17048
[startup+0.100394 s]*
/proc/loadavg: 4.01 4.96 6.53 5/223 17086
/proc/meminfo: memFree=31064780/32770624 swapFree=66988648/67108860
[pid=17051] ppid=17048 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17051/stat : 17051 (xcsp3-exec) S 17048 17051 17000 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446123069 115843072 362 33554432000 4194304 5098028 140729888174880 140729888172984 140406290723452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35151872 140729888183162 140729888183405 140729888183405 140729888186314 0
/proc/17051/statm: 28282 362 304 221 0 87 0
[pid=17053] ppid=17051 vsize=15144776 memory=27992 CPUtime=0.13 cores=1,3,5,7
/proc/17053/stat : 17053 (java) S 17051 17051 17000 0 -1 1077944320 5894 0 0 0 12 1 0 0 20 0 15 0 446123069 15508250624 6998 33554432000 4194304 4196468 140723010122272 140723010104816 139688874491639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
/proc/17053/statm: 3786194 6998 3151 1 0 3748377 0
[pid=17053/tid=17054] ppid=17051 vsize=15144776 memory=8324486588775410251 CPUtime=0.09 cores=1,3,5,7
/proc/17053/task/17054/stat : 17054 (java) R 17051 17051 17000 0 -1 4202560 3766 0 0 0 8 1 0 0 20 0 15 0 446123070 15508250624 6998 33554432000 4194304 4196468 140723010122272 139688878724704 139688858535269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17055] ppid=17051 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17055/stat : 17055 (java) S 17051 17051 17000 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446123070 15508250624 6998 33554432000 4194304 4196468 140723010122272 139688846334480 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17056] ppid=17051 vsize=15144776 memory=140608148252288 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17056/stat : 17056 (java) S 17051 17051 17000 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446123070 15508250624 6998 33554432000 4194304 4196468 140723010122272 139688466287248 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17057] ppid=17051 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17057/stat : 17057 (java) S 17051 17051 17000 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446123070 15508250624 6998 33554432000 4194304 4196468 140723010122272 139688465234192 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17058] ppid=17051 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17058/stat : 17058 (java) S 17051 17051 17000 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446123070 15508250624 6998 33554432000 4194304 4196468 140723010122272 139688464181648 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17059] ppid=17051 vsize=15144776 memory=140608148252288 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17059/stat : 17059 (java) S 17051 17051 17000 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446123072 15508250624 6998 33554432000 4194304 4196468 140723010122272 139687748586224 139688874502786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17063] ppid=17051 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17063/stat : 17063 (java) S 17051 17051 17000 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446123072 15508250624 6998 33554432000 4194304 4196468 140723010122272 139687747532448 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17065] ppid=17051 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17065/stat : 17065 (java) S 17051 17051 17000 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446123072 15508250624 6998 33554432000 4194304 4196468 140723010122272 139687746479344 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17074] ppid=17051 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17074/stat : 17074 (java) S 17051 17051 17000 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446123075 15508250624 6998 33554432000 4194304 4196468 140723010122272 139687745427920 139688874510235 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17075] ppid=17051 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17075/stat : 17075 (java) R 17051 17051 17000 0 -1 4202560 458 0 0 0 0 0 0 0 20 0 15 0 446123075 15508250624 6998 33554432000 4194304 4196468 140723010122272 139687744375024 139688852331840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17076] ppid=17051 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17076/stat : 17076 (java) R 17051 17051 17000 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446123075 15508250624 6998 33554432000 4194304 4196468 140723010122272 139687743322480 139688874502786 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17077] ppid=17051 vsize=15144776 memory=140608148252288 CPUtime=0.02 cores=1,3,5,7
/proc/17053/task/17077/stat : 17077 (java) R 17051 17051 17000 0 -1 4202560 406 0 0 0 2 0 0 0 20 0 15 0 446123075 15508250624 6998 33554432000 4194304 4196468 140723010122272 139687742266360 139688867588475 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17078] ppid=17051 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17078/stat : 17078 (java) S 17051 17051 17000 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446123075 15508250624 6998 33554432000 4194304 4196468 140723010122272 139687741217120 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17083] ppid=17051 vsize=15144776 memory=140608148252288 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17083/stat : 17083 (java) S 17051 17051 17000 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446123075 15508250624 6998 33554432000 4194304 4196468 140723010122272 139687740165168 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29440 KiB
[startup+0.210801 s]*
/proc/loadavg: 4.01 4.96 6.53 4/229 17092
/proc/meminfo: memFree=31036552/32770624 swapFree=66988648/67108860
[pid=17051] ppid=17048 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17051/stat : 17051 (xcsp3-exec) S 17048 17051 17000 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446123069 115843072 362 33554432000 4194304 5098028 140729888174880 140729888172984 140406290723452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35151872 140729888183162 140729888183405 140729888183405 140729888186314 0
/proc/17051/statm: 28282 362 304 221 0 87 0
[pid=17053] ppid=17051 vsize=15144776 memory=39056 CPUtime=0.34 cores=1,3,5,7
/proc/17053/stat : 17053 (java) S 17051 17051 17000 0 -1 1077944320 9532 0 0 0 32 2 0 0 20 0 15 0 446123069 15508250624 9764 33554432000 4194304 4196468 140723010122272 140723010104816 139688874491639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
/proc/17053/statm: 3786194 9764 3291 1 0 3748377 0
[pid=17053/tid=17054] ppid=17051 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17053/task/17054/stat : 17054 (java) R 17051 17051 17000 0 -1 4202560 6648 0 0 0 18 2 0 0 20 0 15 0 446123070 15508250624 9764 33554432000 4194304 4196468 140723010122272 139688878725904 139688858572126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17055] ppid=17051 vsize=15144776 memory=8996 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17055/stat : 17055 (java) S 17051 17051 17000 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446123070 15508250624 9764 33554432000 4194304 4196468 140723010122272 139688846334480 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17056] ppid=17051 vsize=15144776 memory=140608148269593 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17056/stat : 17056 (java) S 17051 17051 17000 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446123070 15508250624 9764 33554432000 4194304 4196468 140723010122272 139688466287248 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17057] ppid=17051 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17057/stat : 17057 (java) S 17051 17051 17000 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446123070 15508250624 9764 33554432000 4194304 4196468 140723010122272 139688465234192 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17058] ppid=17051 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17058/stat : 17058 (java) S 17051 17051 17000 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446123070 15508250624 9764 33554432000 4194304 4196468 140723010122272 139688464181648 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17059] ppid=17051 vsize=15144776 memory=140608148252288 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17059/stat : 17059 (java) S 17051 17051 17000 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446123072 15508250624 9764 33554432000 4194304 4196468 140723010122272 139687748586224 139688874502786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17063] ppid=17051 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17063/stat : 17063 (java) S 17051 17051 17000 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446123072 15508250624 9764 33554432000 4194304 4196468 140723010122272 139687747532448 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17065] ppid=17051 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17065/stat : 17065 (java) S 17051 17051 17000 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446123072 15508250624 9764 33554432000 4194304 4196468 140723010122272 139687746479344 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17074] ppid=17051 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17074/stat : 17074 (java) S 17051 17051 17000 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446123075 15508250624 9764 33554432000 4194304 4196468 140723010122272 139687745427920 139688874510235 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17075] ppid=17051 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17053/task/17075/stat : 17075 (java) S 17051 17051 17000 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 15 0 446123075 15508250624 9764 33554432000 4194304 4196468 140723010122272 139687744375024 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17076] ppid=17051 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17053/task/17076/stat : 17076 (java) S 17051 17051 17000 0 -1 1077944384 119 0 0 0 2 0 0 0 20 0 15 0 446123075 15508250624 9764 33554432000 4194304 4196468 140723010122272 139687743322480 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17077] ppid=17051 vsize=15144776 memory=140608148252288 CPUtime=0.08 cores=1,3,5,7
/proc/17053/task/17077/stat : 17077 (java) R 17051 17051 17000 0 -1 4202560 915 0 0 0 8 0 0 0 20 0 15 0 446123075 15508250624 9764 33554432000 4194304 4196468 140723010122272 139687742269424 139688852936435 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17078] ppid=17051 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17078/stat : 17078 (java) S 17051 17051 17000 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446123075 15508250624 9764 33554432000 4194304 4196468 140723010122272 139687741217120 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17083] ppid=17051 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17083/stat : 17083 (java) S 17051 17051 17000 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446123075 15508250624 9764 33554432000 4194304 4196468 140723010122272 139687740165168 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40504 KiB
[startup+0.310664 s]*
/proc/loadavg: 4.01 4.96 6.53 7/229 17092
/proc/meminfo: memFree=30999228/32770624 swapFree=66988648/67108860
[pid=17051] ppid=17048 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17051/stat : 17051 (xcsp3-exec) S 17048 17051 17000 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446123069 115843072 362 33554432000 4194304 5098028 140729888174880 140729888172984 140406290723452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35151872 140729888183162 140729888183405 140729888183405 140729888186314 0
/proc/17051/statm: 28282 362 304 221 0 87 0
[pid=17053] ppid=17051 vsize=15149032 memory=48684 CPUtime=0.52 cores=1,3,5,7
/proc/17053/stat : 17053 (java) S 17051 17051 17000 0 -1 1077944320 10976 0 0 0 49 3 0 0 20 0 15 0 446123069 15512608768 12171 33554432000 4194304 4196468 140723010122272 140723010104816 139688874491639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
/proc/17053/statm: 3787258 12171 3368 1 0 3748377 0
[pid=17053/tid=17054] ppid=17051 vsize=15149032 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/17053/task/17054/stat : 17054 (java) R 17051 17051 17000 0 -1 4202560 7777 0 0 0 27 2 0 0 20 0 15 0 446123070 15512608768 12171 33554432000 4194304 4196468 140723010122272 139688878722752 139688858572126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17055] ppid=17051 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17055/stat : 17055 (java) S 17051 17051 17000 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446123070 15512608768 12171 33554432000 4194304 4196468 140723010122272 139688846334480 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17056] ppid=17051 vsize=15149032 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17056/stat : 17056 (java) S 17051 17051 17000 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446123070 15512608768 12171 33554432000 4194304 4196468 140723010122272 139688466287248 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17057] ppid=17051 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17057/stat : 17057 (java) S 17051 17051 17000 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446123070 15512608768 12171 33554432000 4194304 4196468 140723010122272 139688465234192 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17058] ppid=17051 vsize=15149032 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17058/stat : 17058 (java) S 17051 17051 17000 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446123070 15512608768 12171 33554432000 4194304 4196468 140723010122272 139688464181648 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17059] ppid=17051 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17059/stat : 17059 (java) S 17051 17051 17000 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446123072 15512608768 12171 33554432000 4194304 4196468 140723010122272 139687748586224 139688874502786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17063] ppid=17051 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17063/stat : 17063 (java) S 17051 17051 17000 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446123072 15512608768 12171 33554432000 4194304 4196468 140723010122272 139687747532448 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17065] ppid=17051 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17065/stat : 17065 (java) S 17051 17051 17000 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446123072 15512608768 12200 33554432000 4194304 4196468 140723010122272 139687746479344 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17074] ppid=17051 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17074/stat : 17074 (java) S 17051 17051 17000 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446123075 15512608768 12200 33554432000 4194304 4196468 140723010122272 139687745427920 139688874510235 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17075] ppid=17051 vsize=15149032 memory=4500088463514900084 CPUtime=0.04 cores=1,3,5,7
/proc/17053/task/17075/stat : 17075 (java) S 17051 17051 17000 0 -1 1077944384 623 0 0 0 4 0 0 0 20 0 15 0 446123075 15512608768 12200 33554432000 4194304 4196468 140723010122272 139687744375024 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17076] ppid=17051 vsize=15149032 memory=6944613755495348631 CPUtime=0.03 cores=1,3,5,7
/proc/17053/task/17076/stat : 17076 (java) S 17051 17051 17000 0 -1 1077944384 137 0 0 0 3 0 0 0 20 0 15 0 446123075 15512608768 12200 33554432000 4194304 4196468 140723010122272 139687743322480 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17077] ppid=17051 vsize=15149032 memory=7893295687695687954 CPUtime=0.13 cores=1,3,5,7
/proc/17053/task/17077/stat : 17077 (java) S 17051 17051 17000 0 -1 1077944384 1146 0 0 0 13 0 0 0 20 0 15 0 446123075 15512608768 12200 33554432000 4194304 4196468 140723010122272 139687742269424 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17078] ppid=17051 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17078/stat : 17078 (java) S 17051 17051 17000 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446123075 15512608768 12200 33554432000 4194304 4196468 140723010122272 139687741217120 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17083] ppid=17051 vsize=15149032 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17083/stat : 17083 (java) S 17051 17051 17000 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446123075 15512608768 12200 33554432000 4194304 4196468 140723010122272 139687740165168 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50132 KiB
[startup+0.711176 s]*
/proc/loadavg: 4.01 4.96 6.53 7/229 17092
/proc/meminfo: memFree=30934900/32770624 swapFree=66988648/67108860
[pid=17051] ppid=17048 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17051/stat : 17051 (xcsp3-exec) S 17048 17051 17000 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446123069 115843072 362 33554432000 4194304 5098028 140729888174880 140729888172984 140406290723452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35151872 140729888183162 140729888183405 140729888183405 140729888186314 0
/proc/17051/statm: 28282 362 304 221 0 87 0
[pid=17053] ppid=17051 vsize=15151156 memory=95256 CPUtime=1.68 cores=1,3,5,7
/proc/17053/stat : 17053 (java) S 17051 17051 17000 0 -1 1077944320 15337 0 0 0 164 4 0 0 20 0 15 0 446123069 15514783744 23814 33554432000 4194304 4196468 140723010122272 140723010104816 139688874491639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
/proc/17053/statm: 3787789 23814 3453 1 0 3748889 0
[pid=17053/tid=17054] ppid=17051 vsize=15151156 memory=1398722017469774279 CPUtime=0.69 cores=1,3,5,7
/proc/17053/task/17054/stat : 17054 (java) S 17051 17051 17000 0 -1 1077944384 8997 0 0 0 65 4 0 0 20 0 15 0 446123070 15514783744 23814 33554432000 4194304 4196468 140723010122272 139688878725408 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17055] ppid=17051 vsize=15151156 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17055/stat : 17055 (java) S 17051 17051 17000 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446123070 15514783744 23814 33554432000 4194304 4196468 140723010122272 139688846334480 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17056] ppid=17051 vsize=15151156 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17056/stat : 17056 (java) S 17051 17051 17000 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446123070 15514783744 23814 33554432000 4194304 4196468 140723010122272 139688466287248 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17057] ppid=17051 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17057/stat : 17057 (java) S 17051 17051 17000 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446123070 15514783744 23814 33554432000 4194304 4196468 140723010122272 139688465234192 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17058] ppid=17051 vsize=15151156 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17058/stat : 17058 (java) S 17051 17051 17000 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446123070 15514783744 23814 33554432000 4194304 4196468 140723010122272 139688464181648 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17059] ppid=17051 vsize=15151156 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17059/stat : 17059 (java) R 17051 17051 17000 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446123072 15514783744 23814 33554432000 4194304 4196468 140723010122272 139687748586224 139688874502786 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17063] ppid=17051 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17063/stat : 17063 (java) S 17051 17051 17000 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446123072 15514783744 23814 33554432000 4194304 4196468 140723010122272 139687747532448 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17065] ppid=17051 vsize=15151156 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17065/stat : 17065 (java) S 17051 17051 17000 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446123072 15514783744 23814 33554432000 4194304 4196468 140723010122272 139687746479344 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17074] ppid=17051 vsize=15151156 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17074/stat : 17074 (java) S 17051 17051 17000 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446123075 15514783744 23814 33554432000 4194304 4196468 140723010122272 139687745427920 139688874510235 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17075] ppid=17051 vsize=15151156 memory=4500088463514900084 CPUtime=0.29 cores=1,3,5,7
/proc/17053/task/17075/stat : 17075 (java) R 17051 17051 17000 0 -1 4202560 1698 0 0 0 29 0 0 0 20 0 15 0 446123075 15514783744 23814 33554432000 4194304 4196468 140723010122272 139687744361360 139688856012988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17076] ppid=17051 vsize=15151156 memory=6944613755495348631 CPUtime=0.26 cores=1,3,5,7
/proc/17053/task/17076/stat : 17076 (java) R 17051 17051 17000 0 -1 4202560 1206 0 0 0 26 0 0 0 20 0 15 0 446123075 15514783744 23814 33554432000 4194304 4196468 140723010122272 139687743309296 139688859608806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17077] ppid=17051 vsize=15151156 memory=7893295687695687954 CPUtime=0.42 cores=1,3,5,7
/proc/17053/task/17077/stat : 17077 (java) S 17051 17051 17000 0 -1 1077944384 2129 0 0 0 42 0 0 0 20 0 15 0 446123075 15514783744 23814 33554432000 4194304 4196468 140723010122272 139687742269424 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17078] ppid=17051 vsize=15151156 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17078/stat : 17078 (java) S 17051 17051 17000 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446123075 15514783744 23814 33554432000 4194304 4196468 140723010122272 139687741217120 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17083] ppid=17051 vsize=15151156 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17083/stat : 17083 (java) S 17051 17051 17000 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446123075 15514783744 23814 33554432000 4194304 4196468 140723010122272 139687740165168 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 96704 KiB
[startup+1.50418 s]
/proc/loadavg: 4.01 4.96 6.53 14/237 17100
/proc/meminfo: memFree=30809556/32770624 swapFree=66988648/67108860
[pid=17051] ppid=17048 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17051/stat : 17051 (xcsp3-exec) S 17048 17051 17000 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446123069 115843072 362 33554432000 4194304 5098028 140729888174880 140729888172984 140406290723452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35151872 140729888183162 140729888183405 140729888183405 140729888186314 0
/proc/17051/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/17053/stat : 17053 (java) S 17051 17051 17000 0 -1 1077944320 59227 0 0 0 207415 46 0 0 20 0 19 0 446123069 15787429888 148514 33554432000 4194304 4196468 140723010122272 140723010104816 139688874491639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
/proc/17053/statm: 3854353 148514 3525 1 0 3815453 0
[pid=17053/tid=17054] ppid=17051 vsize=15417412 memory=594056 CPUtime=0.88 cores=1,3,5,7
/proc/17053/task/17054/stat : 17054 (java) S 17051 17051 17000 0 -1 1077944384 9079 0 0 0 84 4 0 0 20 0 19 0 446123070 15787429888 148514 33554432000 4194304 4196468 140723010122272 139688878732416 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17055] ppid=17051 vsize=15417412 memory=1448 CPUtime=0.73 cores=1,3,5,7
/proc/17053/task/17055/stat : 17055 (java) S 17051 17051 17000 0 -1 1077944384 1813 0 0 0 65 8 0 0 20 0 19 0 446123070 15787429888 148514 33554432000 4194304 4196468 140723010122272 139688846334480 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17056] ppid=17051 vsize=15417412 memory=1448 CPUtime=0.73 cores=1,3,5,7
/proc/17053/task/17056/stat : 17056 (java) S 17051 17051 17000 0 -1 1077944384 2608 0 0 0 66 7 0 0 20 0 19 0 446123070 15787429888 148514 33554432000 4194304 4196468 140723010122272 139688466287248 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17057] ppid=17051 vsize=15417412 memory=594056 CPUtime=0.72 cores=1,3,5,7
/proc/17053/task/17057/stat : 17057 (java) S 17051 17051 17000 0 -1 1077944384 2036 0 0 0 64 8 0 0 20 0 19 0 446123070 15787429888 148514 33554432000 4194304 4196468 140723010122272 139688465234192 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17058] ppid=17051 vsize=15417412 memory=1448 CPUtime=0.73 cores=1,3,5,7
/proc/17053/task/17058/stat : 17058 (java) S 17051 17051 17000 0 -1 1077944384 2403 0 0 0 65 8 0 0 20 0 19 0 446123070 15787429888 148514 33554432000 4194304 4196468 140723010122272 139688464181648 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17059] ppid=17051 vsize=15417412 memory=3620 CPUtime=0.41 cores=1,3,5,7
/proc/17053/task/17059/stat : 17059 (java) S 17051 17051 17000 0 -1 1077944384 2515 0 0 0 36 5 0 0 20 0 19 0 446123072 15787429888 148514 33554432000 4194304 4196468 140723010122272 139687748586224 139688874502786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17063] ppid=17051 vsize=15417412 memory=580944 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17063/stat : 17063 (java) S 17051 17051 17000 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 446123072 15787429888 148514 33554432000 4194304 4196468 140723010122272 139687747532448 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17065] ppid=17051 vsize=15417412 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17065/stat : 17065 (java) S 17051 17051 17000 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 446123072 15787429888 148514 33554432000 4194304 4196468 140723010122272 139687746479344 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17074] ppid=17051 vsize=15417412 memory=580944 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17074/stat : 17074 (java) S 17051 17051 17000 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446123075 15787429888 148514 33554432000 4194304 4196468 140723010122272 139687745427920 139688874510235 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17075] ppid=17051 vsize=15417412 memory=8026087915315490153 CPUtime=2.05 cores=1,3,5,7
/proc/17053/task/17075/stat : 17075 (java) S 17051 17051 17000 0 -1 1077944384 10877 0 0 0 204 1 0 0 20 0 19 0 446123075 15787429888 148514 33554432000 4194304 4196468 140723010122272 139687744375024 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17076] ppid=17051 vsize=15417412 memory=580944 CPUtime=1.78 cores=1,3,5,7
/proc/17053/task/17076/stat : 17076 (java) S 17051 17051 17000 0 -1 1077944384 9724 0 0 0 178 0 0 0 20 0 19 0 446123075 15787429888 148514 33554432000 4194304 4196468 140723010122272 139687743322480 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17077] ppid=17051 vsize=15417412 memory=486692 CPUtime=0.67 cores=1,3,5,7
/proc/17053/task/17077/stat : 17077 (java) S 17051 17051 17000 0 -1 1077944384 5586 0 0 0 67 0 0 0 20 0 19 0 446123075 15787429888 148514 33554432000 4194304 4196468 140723010122272 139687742269424 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17078] ppid=17051 vsize=15417412 memory=580944 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17078/stat : 17078 (java) S 17051 17051 17000 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446123075 15787429888 148514 33554432000 4194304 4196468 140723010122272 139687741217120 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17083] ppid=17051 vsize=15417412 memory=578852 CPUtime=0.12 cores=1,3,5,7
/proc/17053/task/17083/stat : 17083 (java) S 17051 17051 17000 0 -1 1077944384 370 0 0 0 6 6 0 0 20 0 19 0 446123075 15787429888 148514 33554432000 4194304 4196468 140723010122272 139687740165168 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17093] ppid=17051 vsize=15417412 memory=1448 CPUtime=517.08 cores=1,3,5,7
/proc/17053/task/17093/stat : 17093 (java) R 17051 17051 17000 0 -1 4202560 1559 0 0 0 51707 1 0 0 20 0 19 0 446123161 15787429888 148514 33554432000 4194304 4196468 140723010122272 139687730945576 139688518797216 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17094] ppid=17051 vsize=15417412 memory=594056 CPUtime=515.8 cores=1,3,5,7
/proc/17053/task/17094/stat : 17094 (java) R 17051 17051 17000 0 -1 4202560 4626 0 0 0 51576 4 0 0 20 0 19 0 446123161 15787429888 148514 33554432000 4194304 4196468 140723010122272 139687729893392 139688519095637 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17095] ppid=17051 vsize=15417412 memory=1212 CPUtime=516.63 cores=1,3,5,7
/proc/17053/task/17095/stat : 17095 (java) R 17051 17051 17000 0 -1 4202560 1133 0 0 0 51662 1 0 0 20 0 19 0 446123161 15787429888 148514 33554432000 4194304 4196468 140723010122272 139687728840944 139688518797169 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17096] ppid=17051 vsize=15417412 memory=1060 CPUtime=516.17 cores=1,3,5,7
/proc/17053/task/17096/stat : 17096 (java) R 17051 17051 17000 0 -1 4202560 3557 0 0 0 51615 2 0 0 20 0 19 0 446123161 15787429888 148514 33554432000 4194304 4196468 140723010122272 139687727790928 139688517415308 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
Current children cumulated CPU time: 2074.61 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 595504 KiB
[startup+582.311 s]
/proc/loadavg: 8.25 8.01 7.47 9/238 17154
/proc/meminfo: memFree=30133396/32770624 swapFree=66988652/67108860
[pid=17051] ppid=17048 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17051/stat : 17051 (xcsp3-exec) S 17048 17051 17000 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446123069 115843072 362 33554432000 4194304 5098028 140729888174880 140729888172984 140406290723452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35151872 140729888183162 140729888183405 140729888183405 140729888186314 0
/proc/17051/statm: 28282 362 304 221 0 87 0
[pid=17053] ppid=17051 vsize=15417412 memory=509328 CPUtime=2312.75 cores=1,3,5,7
/proc/17053/stat : 17053 (java) S 17051 17051 17000 0 -1 1077944320 61715 0 0 0 231225 50 0 0 20 0 19 0 446123069 15787429888 127332 33554432000 4194304 4196468 140723010122272 140723010104816 139688874491639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
/proc/17053/statm: 3854353 127332 3540 1 0 3815453 0
[pid=17053/tid=17054] ppid=17051 vsize=15417412 memory=509328 CPUtime=0.88 cores=1,3,5,7
/proc/17053/task/17054/stat : 17054 (java) S 17051 17051 17000 0 -1 1077944384 9079 0 0 0 84 4 0 0 20 0 19 0 446123070 15787429888 127332 33554432000 4194304 4196468 140723010122272 139688878732416 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17055] ppid=17051 vsize=15417412 memory=509328 CPUtime=0.89 cores=1,3,5,7
/proc/17053/task/17055/stat : 17055 (java) S 17051 17051 17000 0 -1 1077944384 2259 0 0 0 81 8 0 0 20 0 19 0 446123070 15787429888 127332 33554432000 4194304 4196468 140723010122272 139688846334480 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17056] ppid=17051 vsize=15417412 memory=509328 CPUtime=0.89 cores=1,3,5,7
/proc/17053/task/17056/stat : 17056 (java) S 17051 17051 17000 0 -1 1077944384 2705 0 0 0 82 7 0 0 20 0 19 0 446123070 15787429888 127332 33554432000 4194304 4196468 140723010122272 139688466287248 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17057] ppid=17051 vsize=15417412 memory=509328 CPUtime=0.88 cores=1,3,5,7
/proc/17053/task/17057/stat : 17057 (java) S 17051 17051 17000 0 -1 1077944384 2111 0 0 0 80 8 0 0 20 0 19 0 446123070 15787429888 127332 33554432000 4194304 4196468 140723010122272 139688465234192 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17058] ppid=17051 vsize=15417412 memory=509328 CPUtime=0.9 cores=1,3,5,7
/proc/17053/task/17058/stat : 17058 (java) S 17051 17051 17000 0 -1 1077944384 2548 0 0 0 81 9 0 0 20 0 19 0 446123070 15787429888 127332 33554432000 4194304 4196468 140723010122272 139688464181648 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17059] ppid=17051 vsize=15417412 memory=1448 CPUtime=0.48 cores=1,3,5,7
/proc/17053/task/17059/stat : 17059 (java) S 17051 17051 17000 0 -1 1077944384 3774 0 0 0 42 6 0 0 20 0 19 0 446123072 15787429888 127332 33554432000 4194304 4196468 140723010122272 139687748586224 139688874502786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17063] ppid=17051 vsize=15417412 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17063/stat : 17063 (java) S 17051 17051 17000 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446123072 15787429888 127332 33554432000 4194304 4196468 140723010122272 139687747532512 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17065] ppid=17051 vsize=15417412 memory=509328 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17065/stat : 17065 (java) S 17051 17051 17000 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 446123072 15787429888 127332 33554432000 4194304 4196468 140723010122272 139687746479360 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17074] ppid=17051 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17074/stat : 17074 (java) S 17051 17051 17000 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446123075 15787429888 127332 33554432000 4194304 4196468 140723010122272 139687745427920 139688874510235 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17075] ppid=17051 vsize=15417412 memory=509328 CPUtime=2.05 cores=1,3,5,7
/proc/17053/task/17075/stat : 17075 (java) S 17051 17051 17000 0 -1 1077944384 10879 0 0 0 204 1 0 0 20 0 19 0 446123075 15787429888 127332 33554432000 4194304 4196468 140723010122272 139687744375024 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17076] ppid=17051 vsize=15417412 memory=509328 CPUtime=1.78 cores=1,3,5,7
/proc/17053/task/17076/stat : 17076 (java) S 17051 17051 17000 0 -1 1077944384 9727 0 0 0 178 0 0 0 20 0 19 0 446123075 15787429888 127332 33554432000 4194304 4196468 140723010122272 139687743322480 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17077] ppid=17051 vsize=15417412 memory=1448 CPUtime=0.67 cores=1,3,5,7
/proc/17053/task/17077/stat : 17077 (java) S 17051 17051 17000 0 -1 1077944384 5589 0 0 0 67 0 0 0 20 0 19 0 446123075 15787429888 127332 33554432000 4194304 4196468 140723010122272 139687742269424 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17078] ppid=17051 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17078/stat : 17078 (java) S 17051 17051 17000 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446123075 15787429888 127332 33554432000 4194304 4196468 140723010122272 139687741217120 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17083] ppid=17051 vsize=15417412 memory=1448 CPUtime=0.14 cores=1,3,5,7
/proc/17053/task/17083/stat : 17083 (java) S 17051 17051 17000 0 -1 1077944384 376 0 0 0 7 7 0 0 20 0 19 0 446123075 15787429888 127332 33554432000 4194304 4196468 140723010122272 139687740165168 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17093] ppid=17051 vsize=15417412 memory=1448 CPUtime=576.48 cores=1,3,5,7
/proc/17053/task/17093/stat : 17093 (java) R 17051 17051 17000 0 -1 4202560 1614 0 0 0 57647 1 0 0 20 0 19 0 446123161 15787429888 127332 33554432000 4194304 4196468 140723010122272 139687730945576 139688518797182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17094] ppid=17051 vsize=15417412 memory=509328 CPUtime=575.21 cores=1,3,5,7
/proc/17053/task/17094/stat : 17094 (java) R 17051 17051 17000 0 -1 4202560 4763 0 0 0 57517 4 0 0 20 0 19 0 446123161 15787429888 127332 33554432000 4194304 4196468 140723010122272 139687729893544 139688519095599 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17095] ppid=17051 vsize=15417412 memory=509328 CPUtime=575.89 cores=1,3,5,7
/proc/17053/task/17095/stat : 17095 (java) R 17051 17051 17000 0 -1 4202560 1181 0 0 0 57588 1 0 0 20 0 19 0 446123161 15787429888 127332 33554432000 4194304 4196468 140723010122272 139687728840832 139688518797216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17096] ppid=17051 vsize=15417412 memory=56 CPUtime=575.49 cores=1,3,5,7
/proc/17053/task/17096/stat : 17096 (java) R 17051 17051 17000 0 -1 4202560 3723 0 0 0 57547 2 0 0 20 0 19 0 446123161 15787429888 127332 33554432000 4194304 4196468 140723010122272 139687727790928 139688519095541 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
Current children cumulated CPU time: 2312.75 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 510776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+634.601 s]
/proc/loadavg: 8.19 8.04 7.51 9/237 17158
/proc/meminfo: memFree=30132132/32770624 swapFree=66988652/67108860
[pid=17051] ppid=17048 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17051/stat : 17051 (xcsp3-exec) S 17048 17051 17000 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446123069 115843072 362 33554432000 4194304 5098028 140729888174880 140729888172984 140406290723452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35151872 140729888183162 140729888183405 140729888183405 140729888186314 0
/proc/17051/statm: 28282 362 304 221 0 87 0
[pid=17053] ppid=17051 vsize=15417412 memory=509636 CPUtime=2520.37 cores=1,3,5,7
/proc/17053/stat : 17053 (java) S 17051 17051 17000 0 -1 1077944320 62459 0 0 0 251985 52 0 0 20 0 19 0 446123069 15787429888 127409 33554432000 4194304 4196468 140723010122272 140723010104816 139688874491639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
/proc/17053/statm: 3854353 127409 3540 1 0 3815453 0
[pid=17053/tid=17054] ppid=17051 vsize=15417412 memory=6791534058613427641 CPUtime=0.88 cores=1,3,5,7
/proc/17053/task/17054/stat : 17054 (java) S 17051 17051 17000 0 -1 1077944384 9079 0 0 0 84 4 0 0 20 0 19 0 446123070 15787429888 127409 33554432000 4194304 4196468 140723010122272 139688878732416 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17055] ppid=17051 vsize=15417412 memory=509636 CPUtime=0.98 cores=1,3,5,7
/proc/17053/task/17055/stat : 17055 (java) S 17051 17051 17000 0 -1 1077944384 2289 0 0 0 89 9 0 0 20 0 19 0 446123070 15787429888 127409 33554432000 4194304 4196468 140723010122272 139688846334480 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17056] ppid=17051 vsize=15417412 memory=952 CPUtime=0.96 cores=1,3,5,7
/proc/17053/task/17056/stat : 17056 (java) S 17051 17051 17000 0 -1 1077944384 2837 0 0 0 89 7 0 0 20 0 19 0 446123070 15787429888 127409 33554432000 4194304 4196468 140723010122272 139688466287248 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17057] ppid=17051 vsize=15417412 memory=14008 CPUtime=0.96 cores=1,3,5,7
/proc/17053/task/17057/stat : 17057 (java) S 17051 17051 17000 0 -1 1077944384 2135 0 0 0 87 9 0 0 20 0 19 0 446123070 15787429888 127409 33554432000 4194304 4196468 140723010122272 139688465234192 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17058] ppid=17051 vsize=15417412 memory=6791534058613427641 CPUtime=0.97 cores=1,3,5,7
/proc/17053/task/17058/stat : 17058 (java) S 17051 17051 17000 0 -1 1077944384 2600 0 0 0 88 9 0 0 20 0 19 0 446123070 15787429888 127409 33554432000 4194304 4196468 140723010122272 139688464181648 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17059] ppid=17051 vsize=15417412 memory=984 CPUtime=0.53 cores=1,3,5,7
/proc/17053/task/17059/stat : 17059 (java) S 17051 17051 17000 0 -1 1077944384 3942 0 0 0 47 6 0 0 20 0 19 0 446123072 15787429888 127409 33554432000 4194304 4196468 140723010122272 139687748586224 139688874502786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17063] ppid=17051 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17063/stat : 17063 (java) S 17051 17051 17000 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446123072 15787429888 127409 33554432000 4194304 4196468 140723010122272 139687747532512 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17065] ppid=17051 vsize=15417412 memory=509636 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17065/stat : 17065 (java) S 17051 17051 17000 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 446123072 15787429888 127409 33554432000 4194304 4196468 140723010122272 139687746479360 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17074] ppid=17051 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17074/stat : 17074 (java) S 17051 17051 17000 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446123075 15787429888 127409 33554432000 4194304 4196468 140723010122272 139687745427920 139688874510235 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17075] ppid=17051 vsize=15417412 memory=1440 CPUtime=2.05 cores=1,3,5,7
/proc/17053/task/17075/stat : 17075 (java) S 17051 17051 17000 0 -1 1077944384 10879 0 0 0 204 1 0 0 20 0 19 0 446123075 15787429888 127409 33554432000 4194304 4196468 140723010122272 139687744375024 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17076] ppid=17051 vsize=15417412 memory=800 CPUtime=1.79 cores=1,3,5,7
/proc/17053/task/17076/stat : 17076 (java) S 17051 17051 17000 0 -1 1077944384 9727 0 0 0 179 0 0 0 20 0 19 0 446123075 15787429888 127409 33554432000 4194304 4196468 140723010122272 139687743322480 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17077] ppid=17051 vsize=15417412 memory=1764 CPUtime=0.67 cores=1,3,5,7
/proc/17053/task/17077/stat : 17077 (java) S 17051 17051 17000 0 -1 1077944384 5589 0 0 0 67 0 0 0 20 0 19 0 446123075 15787429888 127409 33554432000 4194304 4196468 140723010122272 139687742269424 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17078] ppid=17051 vsize=15417412 memory=111628 CPUtime=0 cores=1,3,5,7
/proc/17053/task/17078/stat : 17078 (java) S 17051 17051 17000 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446123075 15787429888 127409 33554432000 4194304 4196468 140723010122272 139687741217120 139688874501845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17083] ppid=17051 vsize=15417412 memory=928 CPUtime=0.14 cores=1,3,5,7
/proc/17053/task/17083/stat : 17083 (java) S 17051 17051 17000 0 -1 1077944384 387 0 0 0 7 7 0 0 20 0 19 0 446123075 15787429888 127409 33554432000 4194304 4196468 140723010122272 139687740165168 139688874502786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17093] ppid=17051 vsize=15417412 memory=1688 CPUtime=628.33 cores=1,3,5,7
/proc/17053/task/17093/stat : 17093 (java) R 17051 17051 17000 0 -1 4202560 1680 0 0 0 62832 1 0 0 20 0 19 0 446123161 15787429888 127409 33554432000 4194304 4196468 140723010122272 139687730945328 139688518796583 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17094] ppid=17051 vsize=15417412 memory=1984 CPUtime=627.11 cores=1,3,5,7
/proc/17053/task/17094/stat : 17094 (java) R 17051 17051 17000 0 -1 4202560 4848 0 0 0 62707 4 0 0 20 0 19 0 446123161 15787429888 127409 33554432000 4194304 4196468 140723010122272 139687729896320 139688518797390 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17095] ppid=17051 vsize=15417412 memory=2404 CPUtime=627.64 cores=1,3,5,7
/proc/17053/task/17095/stat : 17095 (java) R 17051 17051 17000 0 -1 4202560 1216 0 0 0 62763 1 0 0 20 0 19 0 446123161 15787429888 127409 33554432000 4194304 4196468 140723010122272 139687728841000 139688516884775 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
[pid=17053/tid=17096] ppid=17051 vsize=15417412 memory=1440 CPUtime=627.22 cores=1,3,5,7
/proc/17053/task/17096/stat : 17096 (java) R 17051 17051 17000 0 -1 4202560 3864 0 0 0 62719 3 0 0 20 0 19 0 446123161 15787429888 127409 33554432000 4194304 4196468 140723010122272 139687727788024 139688516998975 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37339136 140723010130927 140723010131098 140723010131098 140723010133967 0
Current children cumulated CPU time: 2520.37 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 511084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+634.632 s]
# the end of solver process 17051 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00112 s, system=0.00112 s
[startup+634.685 s]
# the end of solver process 17053 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.17 s, system=0.534189 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 634.685
CPU time (s): 2520.7
CPU user time (s): 2520.17
CPU system time (s): 0.534189
CPU usage (%): 397.158
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 618232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.17
system time used= 0.534189
maximum resident set size= 655980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63525
page faults= 0
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36364
involuntary context switches= 46243
# summary of solver processes directly reported to runsolver:
# pid: 17051,17053
# total CPU time (s): 2520.7
# total CPU user time (s): 2520.17
# total CPU system time (s): 0.534189
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.88993 second user time and 7.26907 second system time
The end