2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Concrete 3.12.3	SAT	39.585	26.2491
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 (2996 MiB free)
  memory of node 1: 16384 MiB (2175 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402558-1568978137/watcher-4402558-1568978137 -o /tmp/evaluation-result-4402558-1568978137/solver-4402558-1568978137 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568967597-26238 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1887088754 HOME/instance-4402558-1568978137.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=29305, runsolver pid=29302

[startup+0.100148 s]*
/proc/loadavg: 1.85 1.46 1.38 3/220 29362
/proc/meminfo: memFree=5286268/32770624 swapFree=66955396/67108860
[pid=29305] ppid=29302 vsize=9972712 memory=17344 CPUtime=0.08 cores=0,2,4,6
/proc/29305/stat : 29305 (java) S 29302 29305 26206 0 -1 1077944320 4555 13308 0 0 1 0 5 2 20 0 6 0 474085065 10212057088 4336 33554432000 4194304 4196468 140734885271616 140734885254160 140599817473783 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
/proc/29305/statm: 2493178 4336 1958 1 0 2481616 0
[pid=29305/tid=29358] ppid=29302 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=0,2,4,6
/proc/29305/task/29358/stat : 29358 (java) R 29302 29305 26206 0 -1 4202560 2347 13308 0 0 1 0 5 2 20 0 6 0 474085074 10212057088 4336 33554432000 4194304 4196468 140734885271616 140599789310544 140599802785785 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29359] ppid=29302 vsize=9972712 memory=5793855496620075449 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29359/stat : 29359 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 6 0 474085075 10212057088 4336 33554432000 4194304 4196468 140734885271616 140599821716496 140599817483989 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29360] ppid=29302 vsize=9972712 memory=140245610182272 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29360/stat : 29360 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 6 0 474085075 10212057088 4336 33554432000 4194304 4196468 140734885271616 140599720606864 140599817483989 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29361] ppid=29302 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29361/stat : 29361 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 6 0 474085075 10212057088 4336 33554432000 4194304 4196468 140734885271616 140599719553808 140599817483989 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29362] ppid=29302 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29362/stat : 29362 (java) S 29302 29305 26206 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 6 0 474085075 10212057088 4336 33554432000 4194304 4196468 140734885271616 140599718501264 140599817483989 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17344 KiB

[startup+0.210179 s]*
/proc/loadavg: 1.85 1.46 1.38 4/229 29371
/proc/meminfo: memFree=5268636/32770624 swapFree=66955396/67108860
[pid=29305] ppid=29302 vsize=10820196 memory=42376 CPUtime=0.26 cores=0,2,4,6
/proc/29305/stat : 29305 (java) S 29302 29305 26206 0 -1 1077944320 7545 13308 0 0 17 2 5 2 20 0 15 0 474085065 11079880704 10594 33554432000 4194304 4196468 140734885271616 140734885254160 140599817473783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
/proc/29305/statm: 2705049 10594 3296 1 0 2667149 0
[pid=29305/tid=29358] ppid=29302 vsize=10820196 memory=-8540663193526752614 CPUtime=0.19 cores=0,2,4,6
/proc/29305/task/29358/stat : 29358 (java) R 29302 29305 26206 0 -1 4202560 4041 13308 0 0 11 1 5 2 20 0 15 0 474085074 11079880704 10594 33554432000 4194304 4196468 140734885271616 140599789284816 140599801554270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29359] ppid=29302 vsize=10820196 memory=4211973971814972810 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29359/stat : 29359 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 474085075 11079880704 10594 33554432000 4194304 4196468 140734885271616 140599821716496 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29360] ppid=29302 vsize=10820196 memory=140245610182272 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29360/stat : 29360 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 474085075 11079880704 10594 33554432000 4194304 4196468 140734885271616 140599720606864 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29361] ppid=29302 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29361/stat : 29361 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 474085075 11079880704 10594 33554432000 4194304 4196468 140734885271616 140599719553808 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29362] ppid=29302 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29362/stat : 29362 (java) S 29302 29305 26206 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 474085075 11079880704 10594 33554432000 4194304 4196468 140734885271616 140599718501264 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29363] ppid=29302 vsize=10820196 memory=140245610182272 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29363/stat : 29363 (java) S 29302 29305 26206 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 474085077 11079880704 10594 33554432000 4194304 4196468 140734885271616 140599276357872 140599817484930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29364] ppid=29302 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29364/stat : 29364 (java) S 29302 29305 26206 0 -1 1077944384 13 13308 0 0 0 0 5 2 20 0 15 0 474085077 11079880704 10594 33554432000 4194304 4196468 140734885271616 140599176979616 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29365] ppid=29302 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29365/stat : 29365 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 474085077 11079880704 10594 33554432000 4194304 4196468 140734885271616 140598572999408 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29366] ppid=29302 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29366/stat : 29366 (java) S 29302 29305 26206 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 474085080 11079880704 10594 33554432000 4194304 4196468 140734885271616 140598332708816 140599817492379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29367] ppid=29302 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29305/task/29367/stat : 29367 (java) R 29302 29305 26206 0 -1 4202560 366 13308 0 0 1 0 5 2 20 0 15 0 474085080 11079880704 10594 33554432000 4194304 4196468 140734885271616 140599275305712 140599799018236 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29368] ppid=29302 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29305/task/29368/stat : 29368 (java) S 29302 29305 26206 0 -1 1077944384 290 13308 0 0 1 0 5 2 20 0 15 0 474085080 11079880704 10594 33554432000 4194304 4196468 140734885271616 140599274253168 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29369] ppid=29302 vsize=10820196 memory=140245610182272 CPUtime=0.1 cores=0,2,4,6
/proc/29305/task/29369/stat : 29369 (java) S 29302 29305 26206 0 -1 1077944384 611 13308 0 0 3 0 5 2 20 0 15 0 474085080 11079880704 10594 33554432000 4194304 4196468 140734885271616 140599273200112 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29370] ppid=29302 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29370/stat : 29370 (java) S 29302 29305 26206 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 474085080 11079880704 10594 33554432000 4194304 4196468 140734885271616 140598299151200 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29371] ppid=29302 vsize=10820196 memory=140245610182272 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29371/stat : 29371 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 474085080 11079880704 10594 33554432000 4194304 4196468 140734885271616 140599272147504 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 42376 KiB

[startup+0.3107 s]*
/proc/loadavg: 1.85 1.46 1.38 3/229 29371
/proc/meminfo: memFree=5255828/32770624 swapFree=66955396/67108860
[pid=29305] ppid=29302 vsize=10820196 memory=50808 CPUtime=0.39 cores=0,2,4,6
/proc/29305/stat : 29305 (java) S 29302 29305 26206 0 -1 1077944320 10887 13308 0 0 29 3 5 2 20 0 15 0 474085065 11079880704 12702 33554432000 4194304 4196468 140734885271616 140734885254160 140599817473783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
/proc/29305/statm: 2705049 12702 3317 1 0 2667149 0
[pid=29305/tid=29358] ppid=29302 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/29305/task/29358/stat : 29358 (java) R 29302 29305 26206 0 -1 4202560 7372 13308 0 0 19 2 5 2 20 0 15 0 474085074 11079880704 12702 33554432000 4194304 4196468 140734885271616 140599789282704 140599803646286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29359] ppid=29302 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29359/stat : 29359 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 474085075 11079880704 12702 33554432000 4194304 4196468 140734885271616 140599821716496 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29360] ppid=29302 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29360/stat : 29360 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 474085075 11079880704 12702 33554432000 4194304 4196468 140734885271616 140599720606864 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29361] ppid=29302 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29361/stat : 29361 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 474085075 11079880704 12702 33554432000 4194304 4196468 140734885271616 140599719553808 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29362] ppid=29302 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29362/stat : 29362 (java) S 29302 29305 26206 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 474085075 11079880704 12702 33554432000 4194304 4196468 140734885271616 140599718501264 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29363] ppid=29302 vsize=10820196 memory=140245610182271 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29363/stat : 29363 (java) S 29302 29305 26206 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 474085077 11079880704 12702 33554432000 4194304 4196468 140734885271616 140599276357872 140599817484930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29364] ppid=29302 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29364/stat : 29364 (java) S 29302 29305 26206 0 -1 1077944384 13 13308 0 0 0 0 5 2 20 0 15 0 474085077 11079880704 12702 33554432000 4194304 4196468 140734885271616 140599176979616 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29365] ppid=29302 vsize=10820196 memory=140245610182272 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29365/stat : 29365 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 474085077 11079880704 12702 33554432000 4194304 4196468 140734885271616 140598572999408 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29366] ppid=29302 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29366/stat : 29366 (java) S 29302 29305 26206 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 474085080 11079880704 12702 33554432000 4194304 4196468 140734885271616 140598332708816 140599817492379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29367] ppid=29302 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29305/task/29367/stat : 29367 (java) S 29302 29305 26206 0 -1 1077944384 368 13308 0 0 2 0 5 2 20 0 15 0 474085080 11079880704 12702 33554432000 4194304 4196468 140734885271616 140599275305712 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29368] ppid=29302 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29305/task/29368/stat : 29368 (java) S 29302 29305 26206 0 -1 1077944384 290 13308 0 0 1 0 5 2 20 0 15 0 474085080 11079880704 12702 33554432000 4194304 4196468 140734885271616 140599274253168 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29369] ppid=29302 vsize=10820196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/29305/task/29369/stat : 29369 (java) S 29302 29305 26206 0 -1 1077944384 619 13308 0 0 5 0 5 2 20 0 15 0 474085080 11079880704 12702 33554432000 4194304 4196468 140734885271616 140599273200112 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29370] ppid=29302 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29370/stat : 29370 (java) S 29302 29305 26206 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 474085080 11079880704 12702 33554432000 4194304 4196468 140734885271616 140598299151200 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29371] ppid=29302 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29371/stat : 29371 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 474085080 11079880704 12702 33554432000 4194304 4196468 140734885271616 140599272147504 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50808 KiB

[startup+0.700651 s]
/proc/loadavg: 1.85 1.46 1.38 3/229 29371
/proc/meminfo: memFree=5239500/32770624 swapFree=66955396/67108860
[pid=29305] ppid=29302 vsize=10824364 memory=83644 CPUtime=1.14 cores=0,2,4,6
/proc/29305/stat : 29305 (java) S 29302 29305 26206 0 -1 1077944320 15154 13308 0 0 102 5 5 2 20 0 15 0 474085065 11084148736 20911 33554432000 4194304 4196468 140734885271616 140734885254160 140599817473783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
/proc/29305/statm: 2706091 20911 3505 1 0 2668173 0
[pid=29305/tid=29358] ppid=29302 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/29305/task/29358/stat : 29358 (java) R 29302 29305 26206 0 -1 4202560 10475 13308 0 0 56 4 5 2 20 0 15 0 474085074 11084148736 20911 33554432000 4194304 4196468 140734885271616 140599789298960 140599817495709 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29359] ppid=29302 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29359/stat : 29359 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 474085075 11084148736 20911 33554432000 4194304 4196468 140734885271616 140599821716496 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29360] ppid=29302 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29360/stat : 29360 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 474085075 11084148736 20911 33554432000 4194304 4196468 140734885271616 140599720606864 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29361] ppid=29302 vsize=10824364 memory=3620 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29361/stat : 29361 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 474085075 11084148736 20911 33554432000 4194304 4196468 140734885271616 140599719553808 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29362] ppid=29302 vsize=10824364 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29362/stat : 29362 (java) S 29302 29305 26206 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 474085075 11084148736 20911 33554432000 4194304 4196468 140734885271616 140599718501264 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29363] ppid=29302 vsize=10824364 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29363/stat : 29363 (java) S 29302 29305 26206 0 -1 1077944384 5 13308 0 0 0 0 5 2 20 0 15 0 474085077 11084148736 20911 33554432000 4194304 4196468 140734885271616 140599276357872 140599817484930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29364] ppid=29302 vsize=10824364 memory=140245513282800 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29364/stat : 29364 (java) S 29302 29305 26206 0 -1 1077944384 13 13308 0 0 0 0 5 2 20 0 15 0 474085077 11084148736 20911 33554432000 4194304 4196468 140734885271616 140599176979616 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29365] ppid=29302 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29365/stat : 29365 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 474085077 11084148736 20911 33554432000 4194304 4196468 140734885271616 140598572999408 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29366] ppid=29302 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29366/stat : 29366 (java) S 29302 29305 26206 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 474085080 11084148736 20911 33554432000 4194304 4196468 140734885271616 140598332708816 140599817492379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29367] ppid=29302 vsize=10824364 memory=6944656575208382560 CPUtime=0.24 cores=0,2,4,6
/proc/29305/task/29367/stat : 29367 (java) S 29302 29305 26206 0 -1 1077944384 836 13308 0 0 17 0 5 2 20 0 15 0 474085080 11084148736 20911 33554432000 4194304 4196468 140734885271616 140599275305712 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29368] ppid=29302 vsize=10824364 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/29305/task/29368/stat : 29368 (java) S 29302 29305 26206 0 -1 1077944384 781 13308 0 0 11 0 5 2 20 0 15 0 474085080 11084148736 20911 33554432000 4194304 4196468 140734885271616 140599274253168 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29369] ppid=29302 vsize=10824364 memory=6944652177228980320 CPUtime=0.24 cores=0,2,4,6
/proc/29305/task/29369/stat : 29369 (java) R 29302 29305 26206 0 -1 4202560 821 13308 0 0 17 0 5 2 20 0 15 0 474085080 11084148736 20911 33554432000 4194304 4196468 140734885271616 140599273200112 140599796127534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29370] ppid=29302 vsize=10824364 memory=6944656592455359580 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29370/stat : 29370 (java) S 29302 29305 26206 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 474085080 11084148736 20911 33554432000 4194304 4196468 140734885271616 140598299151200 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29371] ppid=29302 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29371/stat : 29371 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 474085080 11084148736 20911 33554432000 4194304 4196468 140734885271616 140599272147504 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83644 KiB

[startup+1.50075 s]
/proc/loadavg: 1.85 1.46 1.38 5/229 29371
/proc/meminfo: memFree=5191956/32770624 swapFree=66955396/67108860
[pid=29305] ppid=29302 vsize=10834680 memory=187200 CPUtime=2.81 cores=0,2,4,6
/proc/29305/stat : 29305 (java) S 29302 29305 26206 0 -1 1077944320 22966 13308 0 0 263 11 5 2 20 0 15 0 474085065 11094712320 46800 33554432000 4194304 4196468 140734885271616 140734885254160 140599817473783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
/proc/29305/statm: 2708670 46800 3592 1 0 2670733 0
[pid=29305/tid=29358] ppid=29302 vsize=10834680 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/29305/task/29358/stat : 29358 (java) R 29302 29305 26206 0 -1 4202560 15085 13308 0 0 129 6 5 2 20 0 15 0 474085074 11094712320 46800 33554432000 4194304 4196468 140734885271616 140599789290448 140599797749185 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29359] ppid=29302 vsize=10834680 memory=3620 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29359/stat : 29359 (java) S 29302 29305 26206 0 -1 1077944384 7 13308 0 0 0 0 5 2 20 0 15 0 474085075 11094712320 46800 33554432000 4194304 4196468 140734885271616 140599821716496 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29360] ppid=29302 vsize=10834680 memory=41776 CPUtime=0.08 cores=0,2,4,6
/proc/29305/task/29360/stat : 29360 (java) S 29302 29305 26206 0 -1 1077944384 76 13308 0 0 1 0 5 2 20 0 15 0 474085075 11094712320 46800 33554432000 4194304 4196468 140734885271616 140599720606864 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29361] ppid=29302 vsize=10834680 memory=984 CPUtime=0.08 cores=0,2,4,6
/proc/29305/task/29361/stat : 29361 (java) S 29302 29305 26206 0 -1 1077944384 342 13308 0 0 1 0 5 2 20 0 15 0 474085075 11094712320 46800 33554432000 4194304 4196468 140734885271616 140599719553808 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29362] ppid=29302 vsize=10834680 memory=104172 CPUtime=0.08 cores=0,2,4,6
/proc/29305/task/29362/stat : 29362 (java) S 29302 29305 26206 0 -1 1077944384 70 13308 0 0 1 0 5 2 20 0 15 0 474085075 11094712320 46800 33554432000 4194304 4196468 140734885271616 140599718501264 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29363] ppid=29302 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29305/task/29363/stat : 29363 (java) S 29302 29305 26206 0 -1 1077944384 117 13308 0 0 1 0 5 2 20 0 15 0 474085077 11094712320 46800 33554432000 4194304 4196468 140734885271616 140599276357872 140599817484930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29364] ppid=29302 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29364/stat : 29364 (java) S 29302 29305 26206 0 -1 1077944384 14 13308 0 0 0 0 5 2 20 0 15 0 474085077 11094712320 46800 33554432000 4194304 4196468 140734885271616 140599176979616 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29365] ppid=29302 vsize=10834680 memory=1 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29365/stat : 29365 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 474085077 11094712320 46800 33554432000 4194304 4196468 140734885271616 140598572999424 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29366] ppid=29302 vsize=10834680 memory=1 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29366/stat : 29366 (java) S 29302 29305 26206 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 474085080 11094712320 46800 33554432000 4194304 4196468 140734885271616 140598332708816 140599817492379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29367] ppid=29302 vsize=10834680 memory=1 CPUtime=0.52 cores=0,2,4,6
/proc/29305/task/29367/stat : 29367 (java) S 29302 29305 26206 0 -1 1077944384 1772 13308 0 0 45 0 5 2 20 0 15 0 474085080 11094712320 46800 33554432000 4194304 4196468 140734885271616 140599275305712 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29368] ppid=29302 vsize=10834680 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/29305/task/29368/stat : 29368 (java) S 29302 29305 26206 0 -1 1077944384 1395 13308 0 0 35 0 5 2 20 0 15 0 474085080 11094712320 46800 33554432000 4194304 4196468 140734885271616 140599274253168 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29369] ppid=29302 vsize=10834680 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/29305/task/29369/stat : 29369 (java) S 29302 29305 26206 0 -1 1077944384 1870 13308 0 0 44 0 5 2 20 0 15 0 474085080 11094712320 46800 33554432000 4194304 4196468 140734885271616 140599273200112 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29370] ppid=29302 vsize=10834680 memory=288230583166042426 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29370/stat : 29370 (java) S 29302 29305 26206 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 474085080 11094712320 46800 33554432000 4194304 4196468 140734885271616 140598299151200 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29371] ppid=29302 vsize=10834680 memory=15816716106074690 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29371/stat : 29371 (java) S 29302 29305 26206 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 474085080 11094712320 46800 33554432000 4194304 4196468 140734885271616 140599272147504 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 10834680 KiB

################
# More data... #
################

[startup+25.5008 s]
/proc/loadavg: 1.77 1.47 1.38 3/228 29371
/proc/meminfo: memFree=3592444/32770624 swapFree=66955396/67108860
[pid=29305] ppid=29302 vsize=10849048 memory=1712640 CPUtime=38.5 cores=0,2,4,6
/proc/29305/stat : 29305 (java) S 29302 29305 26206 0 -1 1077944320 83875 13308 0 0 3771 72 5 2 20 0 15 0 474085065 11109425152 428160 33554432000 4194304 4196468 140734885271616 140734885254160 140599817473783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
/proc/29305/statm: 2712262 428160 3623 1 0 2674317 0
[pid=29305/tid=29358] ppid=29302 vsize=10849048 memory=56 CPUtime=25.12 cores=0,2,4,6
/proc/29305/task/29358/stat : 29358 (java) R 29302 29305 26206 0 -1 4202560 32331 13308 0 0 2476 29 5 2 20 0 15 0 474085074 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599789307288 140599406636448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29359] ppid=29302 vsize=10849048 memory=1712640 CPUtime=0.26 cores=0,2,4,6
/proc/29305/task/29359/stat : 29359 (java) S 29302 29305 26206 0 -1 1077944384 1389 13308 0 0 13 6 5 2 20 0 15 0 474085075 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599821716496 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29360] ppid=29302 vsize=10849048 memory=1445876 CPUtime=0.29 cores=0,2,4,6
/proc/29305/task/29360/stat : 29360 (java) S 29302 29305 26206 0 -1 1077944384 477 13308 0 0 15 7 5 2 20 0 15 0 474085075 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599720606864 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29361] ppid=29302 vsize=10849048 memory=3620 CPUtime=0.29 cores=0,2,4,6
/proc/29305/task/29361/stat : 29361 (java) S 29302 29305 26206 0 -1 1077944384 1019 13308 0 0 15 7 5 2 20 0 15 0 474085075 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599719553808 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29362] ppid=29302 vsize=10849048 memory=23 CPUtime=0.3 cores=0,2,4,6
/proc/29305/task/29362/stat : 29362 (java) S 29302 29305 26206 0 -1 1077944384 328 13308 0 0 15 8 5 2 20 0 15 0 474085075 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599718501264 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29363] ppid=29302 vsize=10849048 memory=7 CPUtime=0.14 cores=0,2,4,6
/proc/29305/task/29363/stat : 29363 (java) S 29302 29305 26206 0 -1 1077944384 5301 13308 0 0 6 1 5 2 20 0 15 0 474085077 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599276357872 140599817484930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29364] ppid=29302 vsize=10849048 memory=3620 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29364/stat : 29364 (java) S 29302 29305 26206 0 -1 1077944384 19 13308 0 0 0 0 5 2 20 0 15 0 474085077 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599176979744 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29365] ppid=29302 vsize=10849048 memory=4465 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29365/stat : 29365 (java) S 29302 29305 26206 0 -1 1077944384 11 13308 0 0 0 0 5 2 20 0 15 0 474085077 11109425152 428160 33554432000 4194304 4196468 140734885271616 140598572999424 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29366] ppid=29302 vsize=10849048 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29366/stat : 29366 (java) S 29302 29305 26206 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140598332708816 140599817492379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29367] ppid=29302 vsize=10849048 memory=1532972 CPUtime=4.69 cores=0,2,4,6
/proc/29305/task/29367/stat : 29367 (java) S 29302 29305 26206 0 -1 1077944384 8801 13308 0 0 460 2 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599275305712 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29368] ppid=29302 vsize=10849048 memory=-6092760743147456148 CPUtime=5.33 cores=0,2,4,6
/proc/29305/task/29368/stat : 29368 (java) S 29302 29305 26206 0 -1 1077944384 20680 13308 0 0 522 4 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599274253168 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29369] ppid=29302 vsize=10849048 memory=7450755163543137391 CPUtime=2.53 cores=0,2,4,6
/proc/29305/task/29369/stat : 29369 (java) S 29302 29305 26206 0 -1 1077944384 11245 13308 0 0 242 4 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599273200112 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29370] ppid=29302 vsize=10849048 memory=7800344859672537426 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29370/stat : 29370 (java) S 29302 29305 26206 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140598299151200 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29371] ppid=29302 vsize=10849048 memory=3616 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29371/stat : 29371 (java) S 29302 29305 26206 0 -1 1077944384 58 13308 0 0 0 0 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599272147504 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
Current children cumulated CPU time: 38.5 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 1712640 KiB

[startup+26.2491 s]
# the end of solver process 29305 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=38.7856 s, system=0.799363 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6009 s]
/proc/loadavg: 1.77 1.47 1.38 3/228 29371
/proc/meminfo: memFree=3592444/32770624 swapFree=66955396/67108860
[pid=29305] ppid=29302 vsize=10849048 memory=1712640 CPUtime=38.6 cores=0,2,4,6
/proc/29305/stat : 29305 (java) S 29302 29305 26206 0 -1 1077944320 83875 13308 0 0 3781 72 5 2 20 0 15 0 474085065 11109425152 428160 33554432000 4194304 4196468 140734885271616 140734885254160 140599817473783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
/proc/29305/statm: 2712262 428160 3623 1 0 2674317 0
[pid=29305/tid=29358] ppid=29302 vsize=10849048 memory=1548 CPUtime=25.22 cores=0,2,4,6
/proc/29305/task/29358/stat : 29358 (java) R 29302 29305 26206 0 -1 4202560 32331 13308 0 0 2486 29 5 2 20 0 15 0 474085074 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599789307288 140599403128335 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29359] ppid=29302 vsize=10849048 memory=1056 CPUtime=0.26 cores=0,2,4,6
/proc/29305/task/29359/stat : 29359 (java) S 29302 29305 26206 0 -1 1077944384 1389 13308 0 0 13 6 5 2 20 0 15 0 474085075 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599821716496 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29360] ppid=29302 vsize=10849048 memory=744 CPUtime=0.29 cores=0,2,4,6
/proc/29305/task/29360/stat : 29360 (java) S 29302 29305 26206 0 -1 1077944384 477 13308 0 0 15 7 5 2 20 0 15 0 474085075 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599720606864 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29361] ppid=29302 vsize=10849048 memory=8296 CPUtime=0.29 cores=0,2,4,6
/proc/29305/task/29361/stat : 29361 (java) S 29302 29305 26206 0 -1 1077944384 1019 13308 0 0 15 7 5 2 20 0 15 0 474085075 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599719553808 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29362] ppid=29302 vsize=10849048 memory=33 CPUtime=0.3 cores=0,2,4,6
/proc/29305/task/29362/stat : 29362 (java) S 29302 29305 26206 0 -1 1077944384 328 13308 0 0 15 8 5 2 20 0 15 0 474085075 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599718501264 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29363] ppid=29302 vsize=10849048 memory=7524783069297070417 CPUtime=0.14 cores=0,2,4,6
/proc/29305/task/29363/stat : 29363 (java) S 29302 29305 26206 0 -1 1077944384 5301 13308 0 0 6 1 5 2 20 0 15 0 474085077 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599276357872 140599817484930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29364] ppid=29302 vsize=10849048 memory=6080 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29364/stat : 29364 (java) S 29302 29305 26206 0 -1 1077944384 19 13308 0 0 0 0 5 2 20 0 15 0 474085077 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599176979744 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29365] ppid=29302 vsize=10849048 memory=1124 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29365/stat : 29365 (java) S 29302 29305 26206 0 -1 1077944384 11 13308 0 0 0 0 5 2 20 0 15 0 474085077 11109425152 428160 33554432000 4194304 4196468 140734885271616 140598572999424 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29366] ppid=29302 vsize=10849048 memory=14008 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29366/stat : 29366 (java) S 29302 29305 26206 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140598332708816 140599817492379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29367] ppid=29302 vsize=10849048 memory=12024 CPUtime=4.69 cores=0,2,4,6
/proc/29305/task/29367/stat : 29367 (java) S 29302 29305 26206 0 -1 1077944384 8801 13308 0 0 460 2 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599275305712 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29368] ppid=29302 vsize=10849048 memory=2124 CPUtime=5.33 cores=0,2,4,6
/proc/29305/task/29368/stat : 29368 (java) S 29302 29305 26206 0 -1 1077944384 20680 13308 0 0 522 4 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599274253168 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29369] ppid=29302 vsize=10849048 memory=16228 CPUtime=2.53 cores=0,2,4,6
/proc/29305/task/29369/stat : 29369 (java) S 29302 29305 26206 0 -1 1077944384 11245 13308 0 0 242 4 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599273200112 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29370] ppid=29302 vsize=10849048 memory=504 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29370/stat : 29370 (java) S 29302 29305 26206 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140598299151200 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29371] ppid=29302 vsize=10849048 memory=1219096 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29371/stat : 29371 (java) S 29302 29305 26206 0 -1 1077944384 58 13308 0 0 0 0 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599272147504 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
Current children cumulated CPU time: 38.6 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 1712640 KiB

[startup+26.0006 s]*
/proc/loadavg: 1.77 1.47 1.38 4/228 29371
/proc/meminfo: memFree=3591464/32770624 swapFree=66955396/67108860
[pid=29305] ppid=29302 vsize=10849048 memory=1712640 CPUtime=39.12 cores=0,2,4,6
/proc/29305/stat : 29305 (java) S 29302 29305 26206 0 -1 1077944320 85007 13308 0 0 3832 73 5 2 20 0 15 0 474085065 11109425152 428160 33554432000 4194304 4196468 140734885271616 140734885254160 140599817473783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
/proc/29305/statm: 2712262 428160 3623 1 0 2674317 0
[pid=29305/tid=29358] ppid=29302 vsize=10849048 memory=6791534058613427641 CPUtime=25.63 cores=0,2,4,6
/proc/29305/task/29358/stat : 29358 (java) R 29302 29305 26206 0 -1 4202560 33459 13308 0 0 2527 29 5 2 20 0 15 0 474085074 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599789305040 140599396422756 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29359] ppid=29302 vsize=10849048 memory=-7003737579269690708 CPUtime=0.26 cores=0,2,4,6
/proc/29305/task/29359/stat : 29359 (java) S 29302 29305 26206 0 -1 1077944384 1389 13308 0 0 13 6 5 2 20 0 15 0 474085075 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599821716496 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29360] ppid=29302 vsize=10849048 memory=-6237260533277354362 CPUtime=0.29 cores=0,2,4,6
/proc/29305/task/29360/stat : 29360 (java) S 29302 29305 26206 0 -1 1077944384 477 13308 0 0 15 7 5 2 20 0 15 0 474085075 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599720606864 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29361] ppid=29302 vsize=10849048 memory=6944663189525129274 CPUtime=0.29 cores=0,2,4,6
/proc/29305/task/29361/stat : 29361 (java) S 29302 29305 26206 0 -1 1077944384 1019 13308 0 0 15 7 5 2 20 0 15 0 474085075 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599719553808 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29362] ppid=29302 vsize=10849048 memory=8257237230052613020 CPUtime=0.3 cores=0,2,4,6
/proc/29305/task/29362/stat : 29362 (java) S 29302 29305 26206 0 -1 1077944384 328 13308 0 0 15 8 5 2 20 0 15 0 474085075 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599718501264 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29363] ppid=29302 vsize=10849048 memory=-8962857967774121921 CPUtime=0.14 cores=0,2,4,6
/proc/29305/task/29363/stat : 29363 (java) S 29302 29305 26206 0 -1 1077944384 5301 13308 0 0 6 1 5 2 20 0 15 0 474085077 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599276357872 140599817484930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29364] ppid=29302 vsize=10849048 memory=7100839870106213769 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29364/stat : 29364 (java) S 29302 29305 26206 0 -1 1077944384 19 13308 0 0 0 0 5 2 20 0 15 0 474085077 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599176979744 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29365] ppid=29302 vsize=10849048 memory=6296126207336671060 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29365/stat : 29365 (java) S 29302 29305 26206 0 -1 1077944384 11 13308 0 0 0 0 5 2 20 0 15 0 474085077 11109425152 428160 33554432000 4194304 4196468 140734885271616 140598572999424 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29366] ppid=29302 vsize=10849048 memory=11554039507 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29366/stat : 29366 (java) S 29302 29305 26206 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140598332708816 140599817492379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29367] ppid=29302 vsize=10849048 memory=280491027365696 CPUtime=4.71 cores=0,2,4,6
/proc/29305/task/29367/stat : 29367 (java) S 29302 29305 26206 0 -1 1077944384 8801 13308 0 0 462 2 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599275305712 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29368] ppid=29302 vsize=10849048 memory=1311284 CPUtime=5.37 cores=0,2,4,6
/proc/29305/task/29368/stat : 29368 (java) R 29302 29305 26206 0 -1 4202560 20684 13308 0 0 526 4 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599274253168 140599810458825 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29369] ppid=29302 vsize=10849048 memory=3620 CPUtime=2.58 cores=0,2,4,6
/proc/29305/task/29369/stat : 29369 (java) S 29302 29305 26206 0 -1 1077944384 11245 13308 0 0 247 4 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599273200112 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29370] ppid=29302 vsize=10849048 memory=920 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29370/stat : 29370 (java) S 29302 29305 26206 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140598299151200 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29371] ppid=29302 vsize=10849048 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29371/stat : 29371 (java) S 29302 29305 26206 0 -1 1077944384 58 13308 0 0 0 0 5 2 20 0 15 0 474085080 11109425152 428160 33554432000 4194304 4196468 140734885271616 140599272147504 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
Current children cumulated CPU time: 39.12 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 1712640 KiB

[startup+26.2112 s]
/proc/loadavg: 1.77 1.47 1.38 4/228 29371
/proc/meminfo: memFree=3591464/32770624 swapFree=66955396/67108860
[pid=29305] ppid=29302 vsize=10947356 memory=1733360 CPUtime=39.51 cores=0,2,4,6
/proc/29305/stat : 29305 (java) S 29302 29305 26206 0 -1 1077944320 85205 13308 0 0 3870 74 5 2 20 0 16 0 474085065 11210092544 433340 33554432000 4194304 4196468 140734885271616 140734885254160 140599817473783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
/proc/29305/statm: 2736839 433340 3624 1 0 2698894 0
[pid=29305/tid=29358] ppid=29302 vsize=10947356 memory=7522513737629587030 CPUtime=25.81 cores=0,2,4,6
/proc/29305/task/29358/stat : 29358 (java) S 29302 29305 26206 0 -1 1077944384 33608 13308 0 0 2545 29 5 2 20 0 16 0 474085074 11210092544 433340 33554432000 4194304 4196468 140734885271616 140599789315104 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29359] ppid=29302 vsize=10947356 memory=6154820267226784105 CPUtime=0.27 cores=0,2,4,6
/proc/29305/task/29359/stat : 29359 (java) R 29302 29305 26206 0 -1 4202560 1399 13308 0 0 14 6 5 2 20 0 16 0 474085075 11210092544 433340 33554432000 4194304 4196468 140734885271616 140599821716696 140599802495904 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29360] ppid=29302 vsize=10947356 memory=6153436965631978091 CPUtime=0.3 cores=0,2,4,6
/proc/29305/task/29360/stat : 29360 (java) R 29302 29305 26206 0 -1 4202560 486 13308 0 0 15 8 5 2 20 0 16 0 474085075 11210092544 433340 33554432000 4194304 4196468 140734885271616 140599720607064 140599802501944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29361] ppid=29302 vsize=10947356 memory=4640485948849935462 CPUtime=0.29 cores=0,2,4,6
/proc/29305/task/29361/stat : 29361 (java) R 29302 29305 26206 0 -1 4202560 1025 13308 0 0 15 7 5 2 20 0 16 0 474085075 11210092544 433340 33554432000 4194304 4196468 140734885271616 140599719553808 140599809715173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29362] ppid=29302 vsize=10947356 memory=7237392805978861417 CPUtime=0.31 cores=0,2,4,6
/proc/29305/task/29362/stat : 29362 (java) R 29302 29305 26206 0 -1 4202560 337 13308 0 0 16 8 5 2 20 0 16 0 474085075 11210092544 433340 33554432000 4194304 4196468 140734885271616 140599718501264 140599810570659 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29363] ppid=29302 vsize=10947356 memory=-7737605721172012177 CPUtime=0.14 cores=0,2,4,6
/proc/29305/task/29363/stat : 29363 (java) S 29302 29305 26206 0 -1 1077944384 5301 13308 0 0 6 1 5 2 20 0 16 0 474085077 11210092544 433340 33554432000 4194304 4196468 140734885271616 140599276356384 140599817483989 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29364] ppid=29302 vsize=10947356 memory=7682744562847679290 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29364/stat : 29364 (java) S 29302 29305 26206 0 -1 1077944384 19 13308 0 0 0 0 5 2 20 0 16 0 474085077 11210092544 433340 33554432000 4194304 4196468 140734885271616 140599176979744 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29365] ppid=29302 vsize=10947356 memory=-7449383003082255508 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29365/stat : 29365 (java) S 29302 29305 26206 0 -1 1077944384 11 13308 0 0 0 0 5 2 20 0 16 0 474085077 11210092544 433340 33554432000 4194304 4196468 140734885271616 140598572999424 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29366] ppid=29302 vsize=10947356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29366/stat : 29366 (java) S 29302 29305 26206 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 16 0 474085080 11210092544 433340 33554432000 4194304 4196468 140734885271616 140598332708816 140599817492379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29367] ppid=29302 vsize=10947356 memory=280491026797952 CPUtime=4.76 cores=0,2,4,6
/proc/29305/task/29367/stat : 29367 (java) S 29302 29305 26206 0 -1 1077944384 8813 13308 0 0 467 2 5 2 20 0 16 0 474085080 11210092544 433340 33554432000 4194304 4196468 140734885271616 140599275290704 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29368] ppid=29302 vsize=10947356 memory=288230574492221466 CPUtime=5.42 cores=0,2,4,6
/proc/29305/task/29368/stat : 29368 (java) S 29302 29305 26206 0 -1 1077944384 20686 13308 0 0 531 4 5 2 20 0 16 0 474085080 11210092544 433340 33554432000 4194304 4196468 140734885271616 140599274243296 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29369] ppid=29302 vsize=10947356 memory=288230583166042426 CPUtime=2.65 cores=0,2,4,6
/proc/29305/task/29369/stat : 29369 (java) S 29302 29305 26206 0 -1 1077944384 11248 13308 0 0 254 4 5 2 20 0 16 0 474085080 11210092544 433340 33554432000 4194304 4196468 140734885271616 140599273200112 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29370] ppid=29302 vsize=10947356 memory=15816716106074690 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29370/stat : 29370 (java) S 29302 29305 26206 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 16 0 474085080 11210092544 433340 33554432000 4194304 4196468 140734885271616 140598299151200 140599817483989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
[pid=29305/tid=29371] ppid=29302 vsize=10947356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29305/task/29371/stat : 29371 (java) S 29302 29305 26206 0 -1 1077944384 58 13308 0 0 0 0 5 2 20 0 16 0 474085080 11210092544 433340 33554432000 4194304 4196468 140734885271616 140599272147504 140599817484930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33402880 140734885276399 140734885278917 140734885278917 140734885281743 0
Current children cumulated CPU time: 39.51 s
Current children cumulated vsize: 10947356 KiB
Current children cumulated memory: 1733360 KiB

Child status: 0
Real time (s): 26.2491
CPU time (s): 39.585
CPU user time (s): 38.7856
CPU system time (s): 0.799363
CPU usage (%): 150.805
Max. virtual memory (cumulated for all children) (KiB): 10947356
Max. memory (cumulated for all children) (KiB): 1733360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.7856
system time used= 0.799363
maximum resident set size= 1739744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13209
involuntary context switches= 130


# summary of solver processes directly reported to runsolver:
#   pid: 29305
#   total CPU time (s): 39.585
#   total CPU user time (s): 38.7856
#   total CPU system time (s): 0.799363

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.192867 second user time and 0.288455 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-SF/ Subisomorphism-B-08.xml
MD5SUM	47da5ea68f3d94e6d7990d40a1ef4aa5
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.530623
Satisfiable
(Un)Satisfiability was proved
Number of variables	540
Number of constraints	1676
Number of domains	1
Minimum domain size	600
Maximum domain size	600
Distribution of domain sizes	[{"size":600,"count":540}]
Minimum variable degree	3
Maximum variable degree	10
Distribution of variable degrees	[{"degree":3,"count":4},{"degree":4,"count":19},{"degree":5,"count":89},{"degree":6,"count":212},{"degree":8,"count":110},{"degree":9,"count":71},{"degree":10,"count":35}]
Minimum constraint arity	1
Maximum constraint arity	540
Distribution of constraint arities	[{"arity":1,"count":216},{"arity":2,"count":1459},{"arity":540,"count":1}]
Number of extensional constraints	1675
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1675},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4402558

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
