2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Concrete 3.8-SuperNG 2018-06-13	SAT	15.8155	6.37807
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 (8299 MiB free)
  memory of node 1: 16384 MiB (13167 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293716-1532324161/watcher-4293716-1532324161 -o /tmp/evaluation-result-4293716-1532324161/solver-4293716-1532324161 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532297041-4849 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1736405370 -superng HOME/instance-4293716-1532324161.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=10107, runsolver pid=10104

[startup+0.100104 s]*
/proc/loadavg: 1.31 1.45 1.49 3/206 10164
/proc/meminfo: memFree=21977052/32770624 swapFree=67108860/67108860
[pid=10107] ppid=10104 vsize=9972712 memory=18592 CPUtime=0.09 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10104 10107 4818 0 -1 1077944320 4273 13178 0 0 1 0 5 3 20 0 6 0 49979410 10212057088 4648 33554432000 4194304 4196468 140737445466960 140737445449504 139893363150583 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
/proc/10107/statm: 2493178 4648 1932 1 0 2481616 0
[pid=10107/tid=10160] ppid=10104 vsize=9972712 memory=4279135703946986127 CPUtime=0.09 cores=0,2,4,6
/proc/10107/task/10160/stat : 10160 (java) R 10104 10107 4818 0 -1 4202560 2091 13178 0 0 1 0 5 3 20 0 6 0 49979419 10212057088 4648 33554432000 4194304 4196468 140737445466960 139893334987344 139893363172509 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10161] ppid=10104 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10161/stat : 10161 (java) S 10104 10107 4818 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 6 0 49979420 10212057088 4648 33554432000 4194304 4196468 140737445466960 139893367393040 139893363160789 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10162] ppid=10104 vsize=9972712 memory=140237621900928 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10162/stat : 10162 (java) S 10104 10107 4818 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 6 0 49979420 10212057088 4648 33554432000 4194304 4196468 140737445466960 139893266283408 139893363160789 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10163] ppid=10104 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10163/stat : 10163 (java) S 10104 10107 4818 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 6 0 49979420 10212057088 4648 33554432000 4194304 4196468 140737445466960 139893265230864 139893363160789 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10164] ppid=10104 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10164/stat : 10164 (java) S 10104 10107 4818 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 6 0 49979420 10212057088 4648 33554432000 4194304 4196468 140737445466960 139893264178320 139893363160789 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB

[startup+0.209917 s]*
/proc/loadavg: 1.31 1.45 1.49 3/215 10173
/proc/meminfo: memFree=21957588/32770624 swapFree=67108860/67108860
[pid=10107] ppid=10104 vsize=10818936 memory=41080 CPUtime=0.26 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10104 10107 4818 0 -1 1077944320 8746 13178 0 0 16 2 5 3 20 0 15 0 49979410 11078590464 10270 33554432000 4194304 4196468 140737445466960 140737445449504 139893363150583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
/proc/10107/statm: 2704734 10270 2932 1 0 2667157 0
[pid=10107/tid=10160] ppid=10104 vsize=10818904 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/10107/task/10160/stat : 10160 (java) D 10104 10107 4818 0 -1 1077944384 5838 13178 0 0 10 1 5 3 20 0 15 0 49979419 11078557696 10784 33554432000 4194304 4196468 140737445466960 139893334975392 139893355829805 0 4 0 16800975 18446744072101727780 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10161] ppid=10104 vsize=10818936 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10161/stat : 10161 (java) S 10104 10107 4818 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 49979420 11078590464 10784 33554432000 4194304 4196468 140737445466960 139893367393040 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10162] ppid=10104 vsize=10818936 memory=140237622190057 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10162/stat : 10162 (java) S 10104 10107 4818 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 49979420 11078590464 10784 33554432000 4194304 4196468 140737445466960 139893266283408 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10163] ppid=10104 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10163/stat : 10163 (java) S 10104 10107 4818 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 49979420 11078590464 10784 33554432000 4194304 4196468 140737445466960 139893265230864 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10164] ppid=10104 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10164/stat : 10164 (java) S 10104 10107 4818 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 49979420 11078590464 10784 33554432000 4194304 4196468 140737445466960 139893264178320 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10165] ppid=10104 vsize=10818936 memory=140237621900928 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10165/stat : 10165 (java) S 10104 10107 4818 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 49979421 11078590464 10784 33554432000 4194304 4196468 140737445466960 139892366268400 139893363161730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10166] ppid=10104 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10166/stat : 10166 (java) S 10104 10107 4818 0 -1 1077944384 33 13178 0 0 0 0 5 3 20 0 15 0 49979421 11078590464 10784 33554432000 4194304 4196468 140737445466960 139892365214624 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10167] ppid=10104 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10167/stat : 10167 (java) S 10104 10107 4818 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 49979422 11078590464 10784 33554432000 4194304 4196468 140737445466960 139892252206064 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10168] ppid=10104 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10168/stat : 10168 (java) S 10104 10107 4818 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 49979424 11078590464 10784 33554432000 4194304 4196468 140737445466960 139891944806608 139893363169179 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10169] ppid=10104 vsize=10818936 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10107/task/10169/stat : 10169 (java) S 10104 10107 4818 0 -1 1077944384 517 13178 0 0 1 0 5 3 20 0 15 0 49979424 11078590464 10784 33554432000 4194304 4196468 140737445466960 139892331657712 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10170] ppid=10104 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10170/stat : 10170 (java) S 10104 10107 4818 0 -1 1077944384 55 13178 0 0 0 0 5 3 20 0 15 0 49979424 11078590464 10784 33554432000 4194304 4196468 140737445466960 139892330605168 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10171] ppid=10104 vsize=10818936 memory=140237621900928 CPUtime=0.11 cores=0,2,4,6
/proc/10107/task/10171/stat : 10171 (java) S 10104 10107 4818 0 -1 1077944384 584 13178 0 0 3 0 5 3 20 0 15 0 49979424 11078590464 10784 33554432000 4194304 4196468 140737445466960 139892329552624 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10172] ppid=10104 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10172/stat : 10172 (java) S 10104 10107 4818 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 49979425 11078590464 10784 33554432000 4194304 4196468 140737445466960 139891911248992 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10173] ppid=10104 vsize=10818936 memory=140237621900928 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10173/stat : 10173 (java) S 10104 10107 4818 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 49979425 11078590464 10784 33554432000 4194304 4196468 140737445466960 139892328499504 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 41080 KiB

[startup+0.3106 s]*
/proc/loadavg: 1.31 1.45 1.49 3/215 10173
/proc/meminfo: memFree=21944192/32770624 swapFree=67108860/67108860
[pid=10107] ppid=10104 vsize=10819352 memory=51284 CPUtime=0.39 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10104 10107 4818 0 -1 1077944320 10455 13178 0 0 28 3 5 3 20 0 15 0 49979410 11079016448 12821 33554432000 4194304 4196468 140737445466960 140737445449504 139893363150583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
/proc/10107/statm: 2704838 12821 3067 1 0 2667149 0
[pid=10107/tid=10160] ppid=10104 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/10107/task/10160/stat : 10160 (java) R 10104 10107 4818 0 -1 4202560 7047 13178 0 0 20 1 5 3 20 0 15 0 49979419 11079016448 12821 33554432000 4194304 4196468 140737445466960 139893334943400 139893347231070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10161] ppid=10104 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10161/stat : 10161 (java) S 10104 10107 4818 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 49979420 11079016448 12821 33554432000 4194304 4196468 140737445466960 139893367393040 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10162] ppid=10104 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10162/stat : 10162 (java) S 10104 10107 4818 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 49979420 11079016448 12821 33554432000 4194304 4196468 140737445466960 139893266283408 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10163] ppid=10104 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10163/stat : 10163 (java) S 10104 10107 4818 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 49979420 11079016448 12821 33554432000 4194304 4196468 140737445466960 139893265230864 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10164] ppid=10104 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10164/stat : 10164 (java) S 10104 10107 4818 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 49979420 11079016448 12821 33554432000 4194304 4196468 140737445466960 139893264178320 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10165] ppid=10104 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10165/stat : 10165 (java) S 10104 10107 4818 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 49979421 11079016448 12821 33554432000 4194304 4196468 140737445466960 139892366268400 139893363161730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10166] ppid=10104 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10166/stat : 10166 (java) S 10104 10107 4818 0 -1 1077944384 33 13178 0 0 0 0 5 3 20 0 15 0 49979421 11079016448 12821 33554432000 4194304 4196468 140737445466960 139892365214624 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10167] ppid=10104 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10167/stat : 10167 (java) S 10104 10107 4818 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 49979422 11079016448 12821 33554432000 4194304 4196468 140737445466960 139892252206064 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10168] ppid=10104 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10168/stat : 10168 (java) S 10104 10107 4818 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 49979424 11079016448 12821 33554432000 4194304 4196468 140737445466960 139891944806608 139893363169179 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10169] ppid=10104 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10107/task/10169/stat : 10169 (java) S 10104 10107 4818 0 -1 1077944384 518 13178 0 0 1 0 5 3 20 0 15 0 49979424 11079016448 12821 33554432000 4194304 4196468 140737445466960 139892331657712 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10170] ppid=10104 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/10107/task/10170/stat : 10170 (java) S 10104 10107 4818 0 -1 1077944384 55 13178 0 0 1 0 5 3 20 0 15 0 49979424 11079016448 12821 33554432000 4194304 4196468 140737445466960 139892330605168 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10171] ppid=10104 vsize=10819352 memory=140237621900928 CPUtime=0.13 cores=0,2,4,6
/proc/10107/task/10171/stat : 10171 (java) S 10104 10107 4818 0 -1 1077944384 603 13178 0 0 5 0 5 3 20 0 15 0 49979424 11079016448 12821 33554432000 4194304 4196468 140737445466960 139892329552624 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10172] ppid=10104 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10172/stat : 10172 (java) S 10104 10107 4818 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 49979425 11079016448 12821 33554432000 4194304 4196468 140737445466960 139891911248992 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10173] ppid=10104 vsize=10819352 memory=140237621900928 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10173/stat : 10173 (java) S 10104 10107 4818 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 49979425 11079016448 12821 33554432000 4194304 4196468 140737445466960 139892328499504 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51284 KiB

[startup+0.7007 s]
/proc/loadavg: 1.31 1.45 1.49 3/215 10173
/proc/meminfo: memFree=21934392/32770624 swapFree=67108860/67108860
[pid=10107] ppid=10104 vsize=10819352 memory=84436 CPUtime=0.99 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10104 10107 4818 0 -1 1077944320 16759 13178 0 0 86 5 5 3 20 0 15 0 49979410 11079016448 21109 33554432000 4194304 4196468 140737445466960 140737445449504 139893363150583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
/proc/10107/statm: 2704838 21109 3237 1 0 2667149 0
[pid=10107/tid=10160] ppid=10104 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/10107/task/10160/stat : 10160 (java) R 10104 10107 4818 0 -1 4202560 12225 13178 0 0 56 3 5 3 20 0 15 0 49979419 11079016448 21109 33554432000 4194304 4196468 140737445466960 139893334971408 139893343426454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10161] ppid=10104 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10161/stat : 10161 (java) S 10104 10107 4818 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 49979420 11079016448 21109 33554432000 4194304 4196468 140737445466960 139893367393040 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10162] ppid=10104 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10162/stat : 10162 (java) S 10104 10107 4818 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 49979420 11079016448 21109 33554432000 4194304 4196468 140737445466960 139893266283408 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10163] ppid=10104 vsize=10819352 memory=140237460353808 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10163/stat : 10163 (java) S 10104 10107 4818 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 49979420 11079016448 21109 33554432000 4194304 4196468 140737445466960 139893265230864 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10164] ppid=10104 vsize=10819352 memory=140239272149600 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10164/stat : 10164 (java) S 10104 10107 4818 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 49979420 11079016448 21109 33554432000 4194304 4196468 140737445466960 139893264178320 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10165] ppid=10104 vsize=10819352 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10165/stat : 10165 (java) S 10104 10107 4818 0 -1 1077944384 6 13178 0 0 0 0 5 3 20 0 15 0 49979421 11079016448 21109 33554432000 4194304 4196468 140737445466960 139892366268400 139893363161730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10166] ppid=10104 vsize=10819352 memory=4639098309541126758 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10166/stat : 10166 (java) S 10104 10107 4818 0 -1 1077944384 33 13178 0 0 0 0 5 3 20 0 15 0 49979421 11079016448 21109 33554432000 4194304 4196468 140737445466960 139892365214624 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10167] ppid=10104 vsize=10819352 memory=7885635084775281010 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10167/stat : 10167 (java) S 10104 10107 4818 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 49979422 11079016448 21109 33554432000 4194304 4196468 140737445466960 139892252206064 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10168] ppid=10104 vsize=10819352 memory=18464 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10168/stat : 10168 (java) S 10104 10107 4818 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 49979424 11079016448 21109 33554432000 4194304 4196468 140737445466960 139891944806608 139893363169179 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10169] ppid=10104 vsize=10819352 memory=10700 CPUtime=0.15 cores=0,2,4,6
/proc/10107/task/10169/stat : 10169 (java) S 10104 10107 4818 0 -1 1077944384 885 13178 0 0 7 0 5 3 20 0 15 0 49979424 11079016448 21109 33554432000 4194304 4196468 140737445466960 139892331657712 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10170] ppid=10104 vsize=10819352 memory=4052 CPUtime=0.17 cores=0,2,4,6
/proc/10107/task/10170/stat : 10170 (java) S 10104 10107 4818 0 -1 1077944384 720 13178 0 0 9 0 5 3 20 0 15 0 49979424 11079016448 21109 33554432000 4194304 4196468 140737445466960 139892330605168 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10171] ppid=10104 vsize=10819352 memory=644 CPUtime=0.2 cores=0,2,4,6
/proc/10107/task/10171/stat : 10171 (java) S 10104 10107 4818 0 -1 1077944384 689 13178 0 0 12 0 5 3 20 0 15 0 49979424 11079016448 21109 33554432000 4194304 4196468 140737445466960 139892329552624 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10172] ppid=10104 vsize=10819352 memory=1792 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10172/stat : 10172 (java) S 10104 10107 4818 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 49979425 11079016448 21109 33554432000 4194304 4196468 140737445466960 139891911248992 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10173] ppid=10104 vsize=10819352 memory=1232 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10173/stat : 10173 (java) S 10104 10107 4818 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 49979425 11079016448 21109 33554432000 4194304 4196468 140737445466960 139892328499504 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84436 KiB

[startup+1.5008 s]
/proc/loadavg: 1.29 1.44 1.49 4/215 10173
/proc/meminfo: memFree=21888800/32770624 swapFree=67108860/67108860
[pid=10107] ppid=10104 vsize=10834252 memory=182788 CPUtime=2.48 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10104 10107 4818 0 -1 1077944320 24223 13178 0 0 230 10 5 3 20 0 15 0 49979410 11094274048 45697 33554432000 4194304 4196468 140737445466960 140737445449504 139893363150583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
/proc/10107/statm: 2708563 45697 3472 1 0 2670221 0
[pid=10107/tid=10160] ppid=10104 vsize=10834252 memory=61016 CPUtime=1.43 cores=0,2,4,6
/proc/10107/task/10160/stat : 10160 (java) R 10104 10107 4818 0 -1 4202560 17613 13178 0 0 130 5 5 3 20 0 15 0 49979419 11094274048 45697 33554432000 4194304 4196468 140737445466960 139893334967584 139893347231070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10161] ppid=10104 vsize=10834252 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/10107/task/10161/stat : 10161 (java) S 10104 10107 4818 0 -1 1077944384 183 13178 0 0 1 0 5 3 20 0 15 0 49979420 11094274048 45697 33554432000 4194304 4196468 140737445466960 139893367393040 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10162] ppid=10104 vsize=10834252 memory=280474920738976 CPUtime=0.09 cores=0,2,4,6
/proc/10107/task/10162/stat : 10162 (java) S 10104 10107 4818 0 -1 1077944384 13 13178 0 0 1 0 5 3 20 0 15 0 49979420 11094274048 45697 33554432000 4194304 4196468 140737445466960 139893266283408 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10163] ppid=10104 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10107/task/10163/stat : 10163 (java) S 10104 10107 4818 0 -1 1077944384 28 13178 0 0 1 0 5 3 20 0 15 0 49979420 11094274048 45697 33554432000 4194304 4196468 140737445466960 139893265230864 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10164] ppid=10104 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10107/task/10164/stat : 10164 (java) S 10104 10107 4818 0 -1 1077944384 56 13178 0 0 1 0 5 3 20 0 15 0 49979420 11094274048 45697 33554432000 4194304 4196468 140737445466960 139893264178320 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10165] ppid=10104 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10107/task/10165/stat : 10165 (java) S 10104 10107 4818 0 -1 1077944384 119 13178 0 0 1 0 5 3 20 0 15 0 49979421 11094274048 45697 33554432000 4194304 4196468 140737445466960 139892366268400 139893363161730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10166] ppid=10104 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10166/stat : 10166 (java) S 10104 10107 4818 0 -1 1077944384 34 13178 0 0 0 0 5 3 20 0 15 0 49979421 11094274048 45697 33554432000 4194304 4196468 140737445466960 139892365214688 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10167] ppid=10104 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10167/stat : 10167 (java) S 10104 10107 4818 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 49979422 11094274048 45697 33554432000 4194304 4196468 140737445466960 139892252206080 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10168] ppid=10104 vsize=10834252 memory=-2746958450906831424 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10168/stat : 10168 (java) S 10104 10107 4818 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 49979424 11094274048 45697 33554432000 4194304 4196468 140737445466960 139891944806608 139893363169179 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10169] ppid=10104 vsize=10834252 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/10107/task/10169/stat : 10169 (java) S 10104 10107 4818 0 -1 1077944384 1257 13178 0 0 23 0 5 3 20 0 15 0 49979424 11094274048 45697 33554432000 4194304 4196468 140737445466960 139892331657712 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10170] ppid=10104 vsize=10834252 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/10107/task/10170/stat : 10170 (java) S 10104 10107 4818 0 -1 1077944384 1252 13178 0 0 30 0 5 3 20 0 15 0 49979424 11094274048 45697 33554432000 4194304 4196468 140737445466960 139892330605168 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10171] ppid=10104 vsize=10834252 memory=6791534058613427641 CPUtime=0.46 cores=0,2,4,6
/proc/10107/task/10171/stat : 10171 (java) S 10104 10107 4818 0 -1 1077944384 1474 13178 0 0 38 0 5 3 20 0 15 0 49979424 11094274048 45697 33554432000 4194304 4196468 140737445466960 139892329552624 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10172] ppid=10104 vsize=10834252 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10172/stat : 10172 (java) S 10104 10107 4818 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 49979425 11094274048 45697 33554432000 4194304 4196468 140737445466960 139891911248992 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10173] ppid=10104 vsize=10834252 memory=280474920983424 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10173/stat : 10173 (java) S 10104 10107 4818 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 49979425 11094274048 45697 33554432000 4194304 4196468 140737445466960 139892328499504 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 10834252 KiB
Current children cumulated memory: 182788 KiB

[startup+3.11088 s]
/proc/loadavg: 1.29 1.44 1.49 6/215 10173
/proc/meminfo: memFree=21773536/32770624 swapFree=67108860/67108860
[pid=10107] ppid=10104 vsize=10844512 memory=234652 CPUtime=6.47 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10104 10107 4818 0 -1 1077944320 34385 13178 0 0 625 14 5 3 20 0 15 0 49979410 11104780288 58663 33554432000 4194304 4196468 140737445466960 140737445449504 139893363150583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
/proc/10107/statm: 2711128 58663 3493 1 0 2672781 0
[pid=10107/tid=10160] ppid=10104 vsize=10844512 memory=8 CPUtime=3.03 cores=0,2,4,6
/proc/10107/task/10160/stat : 10160 (java) R 10104 10107 4818 0 -1 4202560 22374 13178 0 0 288 7 5 3 20 0 15 0 49979419 11104780288 58663 33554432000 4194304 4196468 140737445466960 139893334984400 139892949059182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10161] ppid=10104 vsize=10844512 memory=205700 CPUtime=0.09 cores=0,2,4,6
/proc/10107/task/10161/stat : 10161 (java) S 10104 10107 4818 0 -1 1077944384 183 13178 0 0 1 0 5 3 20 0 15 0 49979420 11104780288 58663 33554432000 4194304 4196468 140737445466960 139893367393040 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10162] ppid=10104 vsize=10844512 memory=4136 CPUtime=0.09 cores=0,2,4,6
/proc/10107/task/10162/stat : 10162 (java) S 10104 10107 4818 0 -1 1077944384 13 13178 0 0 1 0 5 3 20 0 15 0 49979420 11104780288 58663 33554432000 4194304 4196468 140737445466960 139893266283408 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10163] ppid=10104 vsize=10844512 memory=16468 CPUtime=0.09 cores=0,2,4,6
/proc/10107/task/10163/stat : 10163 (java) S 10104 10107 4818 0 -1 1077944384 28 13178 0 0 1 0 5 3 20 0 15 0 49979420 11104780288 58663 33554432000 4194304 4196468 140737445466960 139893265230864 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10164] ppid=10104 vsize=10844512 memory=1292 CPUtime=0.09 cores=0,2,4,6
/proc/10107/task/10164/stat : 10164 (java) S 10104 10107 4818 0 -1 1077944384 56 13178 0 0 1 0 5 3 20 0 15 0 49979420 11104780288 58663 33554432000 4194304 4196468 140737445466960 139893264178320 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10165] ppid=10104 vsize=10844512 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10107/task/10165/stat : 10165 (java) S 10104 10107 4818 0 -1 1077944384 123 13178 0 0 1 0 5 3 20 0 15 0 49979421 11104780288 58663 33554432000 4194304 4196468 140737445466960 139892366268400 139893363161730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10166] ppid=10104 vsize=10844512 memory=-3535359994705171555 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10166/stat : 10166 (java) S 10104 10107 4818 0 -1 1077944384 34 13178 0 0 0 0 5 3 20 0 15 0 49979421 11104780288 58663 33554432000 4194304 4196468 140737445466960 139892365214688 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10167] ppid=10104 vsize=10844512 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10167/stat : 10167 (java) S 10104 10107 4818 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 49979422 11104780288 58663 33554432000 4194304 4196468 140737445466960 139892252206080 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10168] ppid=10104 vsize=10844512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10168/stat : 10168 (java) S 10104 10107 4818 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 49979424 11104780288 58663 33554432000 4194304 4196468 140737445466960 139891944806608 139893363169179 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10169] ppid=10104 vsize=10844512 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/10107/task/10169/stat : 10169 (java) R 10104 10107 4818 0 -1 4202560 2880 13178 0 0 110 0 5 3 20 0 15 0 49979424 11104780288 58663 33554432000 4194304 4196468 140737445466960 139892331638224 139893343851201 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10170] ppid=10104 vsize=10844512 memory=2319529466691868992 CPUtime=1.09 cores=0,2,4,6
/proc/10107/task/10170/stat : 10170 (java) R 10104 10107 4818 0 -1 4202560 1945 13178 0 0 101 0 5 3 20 0 15 0 49979424 11104780288 58663 33554432000 4194304 4196468 140737445466960 139892330591672 139893342807002 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10171] ppid=10104 vsize=10844512 memory=56 CPUtime=1.27 cores=0,2,4,6
/proc/10107/task/10171/stat : 10171 (java) S 10104 10107 4818 0 -1 1077944384 4552 13178 0 0 117 2 5 3 20 0 15 0 49979424 11104780288 58663 33554432000 4194304 4196468 140737445466960 139892329552624 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10172] ppid=10104 vsize=10844512 memory=7674596114781855808 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10172/stat : 10172 (java) S 10104 10107 4818 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 49979425 11104780288 58663 33554432000 4194304 4196468 140737445466960 139891911248992 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10173] ppid=10104 vsize=10844512 memory=6935649255759569472 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10173/stat : 10173 (java) S 10104 10107 4818 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 49979425 11104780288 58663 33554432000 4194304 4196468 140737445466960 139892328499504 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
Current children cumulated CPU time: 6.47 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 234652 KiB

[startup+6.30169 s]
/proc/loadavg: 1.26 1.43 1.48 5/215 10173
/proc/meminfo: memFree=21620188/32770624 swapFree=67108860/67108860
[pid=10107] ppid=10104 vsize=10914144 memory=377456 CPUtime=15.64 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10104 10107 4818 0 -1 1077944320 63055 13178 0 0 1532 24 5 3 20 0 15 0 49979410 11176083456 94364 33554432000 4194304 4196468 140737445466960 140737445449504 139893363150583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
/proc/10107/statm: 2728536 94364 3518 1 0 2690189 0
[pid=10107/tid=10160] ppid=10104 vsize=10914144 memory=0 CPUtime=6.11 cores=0,2,4,6
/proc/10107/task/10160/stat : 10160 (java) R 10104 10107 4818 0 -1 4202560 38180 13178 0 0 592 11 5 3 20 0 15 0 49979419 11176083456 94364 33554432000 4194304 4196468 140737445466960 139893334978112 139893363172509 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10161] ppid=10104 vsize=10914144 memory=-7531822216213012384 CPUtime=0.15 cores=0,2,4,6
/proc/10107/task/10161/stat : 10161 (java) S 10104 10107 4818 0 -1 1077944384 213 13178 0 0 6 1 5 3 20 0 15 0 49979420 11176083456 94364 33554432000 4194304 4196468 140737445466960 139893367393040 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10162] ppid=10104 vsize=10914144 memory=4206468019014099040 CPUtime=0.14 cores=0,2,4,6
/proc/10107/task/10162/stat : 10162 (java) S 10104 10107 4818 0 -1 1077944384 76 13178 0 0 6 0 5 3 20 0 15 0 49979420 11176083456 94364 33554432000 4194304 4196468 140737445466960 139893266283408 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10163] ppid=10104 vsize=10914144 memory=-7384994778349281184 CPUtime=0.15 cores=0,2,4,6
/proc/10107/task/10163/stat : 10163 (java) S 10104 10107 4818 0 -1 1077944384 443 13178 0 0 6 1 5 3 20 0 15 0 49979420 11176083456 94364 33554432000 4194304 4196468 140737445466960 139893265230864 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10164] ppid=10104 vsize=10914144 memory=280474921068352 CPUtime=0.15 cores=0,2,4,6
/proc/10107/task/10164/stat : 10164 (java) S 10104 10107 4818 0 -1 1077944384 206 13178 0 0 6 1 5 3 20 0 15 0 49979420 11176083456 94364 33554432000 4194304 4196468 140737445466960 139893264178320 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10165] ppid=10104 vsize=10914144 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/10107/task/10165/stat : 10165 (java) S 10104 10107 4818 0 -1 1077944384 2128 13178 0 0 5 0 5 3 20 0 15 0 49979421 11176083456 94364 33554432000 4194304 4196468 140737445466960 139892366268400 139893363161730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10166] ppid=10104 vsize=10914144 memory=14410445029116127 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10166/stat : 10166 (java) S 10104 10107 4818 0 -1 1077944384 40 13178 0 0 0 0 5 3 20 0 15 0 49979421 11176083456 94364 33554432000 4194304 4196468 140737445466960 139892365214688 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10167] ppid=10104 vsize=10914144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10167/stat : 10167 (java) S 10104 10107 4818 0 -1 1077944384 7 13178 0 0 0 0 5 3 20 0 15 0 49979422 11176083456 94364 33554432000 4194304 4196468 140737445466960 139892252206080 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10168] ppid=10104 vsize=10914144 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10168/stat : 10168 (java) S 10104 10107 4818 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 49979424 11176083456 94364 33554432000 4194304 4196468 140737445466960 139891944806608 139893363169179 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10169] ppid=10104 vsize=10914144 memory=8 CPUtime=3.7 cores=0,2,4,6
/proc/10107/task/10169/stat : 10169 (java) S 10104 10107 4818 0 -1 1077944384 5774 13178 0 0 361 1 5 3 20 0 15 0 49979424 11176083456 94364 33554432000 4194304 4196468 140737445466960 139892331657712 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10170] ppid=10104 vsize=10914144 memory=8 CPUtime=3.46 cores=0,2,4,6
/proc/10107/task/10170/stat : 10170 (java) R 10104 10107 4818 0 -1 4202560 6319 13178 0 0 336 2 5 3 20 0 15 0 49979424 11176083456 94364 33554432000 4194304 4196468 140737445466960 139892330605168 139893344671974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10171] ppid=10104 vsize=10914144 memory=8 CPUtime=2.19 cores=0,2,4,6
/proc/10107/task/10171/stat : 10171 (java) S 10104 10107 4818 0 -1 1077944384 7370 13178 0 0 208 3 5 3 20 0 15 0 49979424 11176083456 94364 33554432000 4194304 4196468 140737445466960 139892329552624 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10172] ppid=10104 vsize=10914144 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10172/stat : 10172 (java) S 10104 10107 4818 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 49979425 11176083456 94364 33554432000 4194304 4196468 140737445466960 139891911248992 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10173] ppid=10104 vsize=10914144 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10173/stat : 10173 (java) S 10104 10107 4818 0 -1 1077944384 106 13178 0 0 0 0 5 3 20 0 15 0 49979425 11176083456 94364 33554432000 4194304 4196468 140737445466960 139892328499504 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
Current children cumulated CPU time: 15.64 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 377456 KiB

[startup+6.37802 s]
# the end of solver process 10107 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=15.5197 s, system=0.295819 s

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

[startup+6.30169 s]
/proc/loadavg: 1.26 1.43 1.48 5/215 10173
/proc/meminfo: memFree=21620188/32770624 swapFree=67108860/67108860
[pid=10107] ppid=10104 vsize=10914144 memory=377456 CPUtime=15.64 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10104 10107 4818 0 -1 1077944320 63055 13178 0 0 1532 24 5 3 20 0 15 0 49979410 11176083456 94364 33554432000 4194304 4196468 140737445466960 140737445449504 139893363150583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
/proc/10107/statm: 2728536 94364 3518 1 0 2690189 0
[pid=10107/tid=10160] ppid=10104 vsize=10914144 memory=0 CPUtime=6.11 cores=0,2,4,6
/proc/10107/task/10160/stat : 10160 (java) R 10104 10107 4818 0 -1 4202560 38180 13178 0 0 592 11 5 3 20 0 15 0 49979419 11176083456 94364 33554432000 4194304 4196468 140737445466960 139893334978112 139893363172509 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10161] ppid=10104 vsize=10914144 memory=-7531822216213012384 CPUtime=0.15 cores=0,2,4,6
/proc/10107/task/10161/stat : 10161 (java) S 10104 10107 4818 0 -1 1077944384 213 13178 0 0 6 1 5 3 20 0 15 0 49979420 11176083456 94364 33554432000 4194304 4196468 140737445466960 139893367393040 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10162] ppid=10104 vsize=10914144 memory=4206468019014099040 CPUtime=0.14 cores=0,2,4,6
/proc/10107/task/10162/stat : 10162 (java) S 10104 10107 4818 0 -1 1077944384 76 13178 0 0 6 0 5 3 20 0 15 0 49979420 11176083456 94364 33554432000 4194304 4196468 140737445466960 139893266283408 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10163] ppid=10104 vsize=10914144 memory=-7384994778349281184 CPUtime=0.15 cores=0,2,4,6
/proc/10107/task/10163/stat : 10163 (java) S 10104 10107 4818 0 -1 1077944384 443 13178 0 0 6 1 5 3 20 0 15 0 49979420 11176083456 94364 33554432000 4194304 4196468 140737445466960 139893265230864 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10164] ppid=10104 vsize=10914144 memory=280474921068352 CPUtime=0.15 cores=0,2,4,6
/proc/10107/task/10164/stat : 10164 (java) S 10104 10107 4818 0 -1 1077944384 206 13178 0 0 6 1 5 3 20 0 15 0 49979420 11176083456 94364 33554432000 4194304 4196468 140737445466960 139893264178320 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10165] ppid=10104 vsize=10914144 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/10107/task/10165/stat : 10165 (java) S 10104 10107 4818 0 -1 1077944384 2128 13178 0 0 5 0 5 3 20 0 15 0 49979421 11176083456 94364 33554432000 4194304 4196468 140737445466960 139892366268400 139893363161730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10166] ppid=10104 vsize=10914144 memory=14410445029116127 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10166/stat : 10166 (java) S 10104 10107 4818 0 -1 1077944384 40 13178 0 0 0 0 5 3 20 0 15 0 49979421 11176083456 94364 33554432000 4194304 4196468 140737445466960 139892365214688 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10167] ppid=10104 vsize=10914144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10167/stat : 10167 (java) S 10104 10107 4818 0 -1 1077944384 7 13178 0 0 0 0 5 3 20 0 15 0 49979422 11176083456 94364 33554432000 4194304 4196468 140737445466960 139892252206080 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10168] ppid=10104 vsize=10914144 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10168/stat : 10168 (java) S 10104 10107 4818 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 49979424 11176083456 94364 33554432000 4194304 4196468 140737445466960 139891944806608 139893363169179 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10169] ppid=10104 vsize=10914144 memory=8 CPUtime=3.7 cores=0,2,4,6
/proc/10107/task/10169/stat : 10169 (java) S 10104 10107 4818 0 -1 1077944384 5774 13178 0 0 361 1 5 3 20 0 15 0 49979424 11176083456 94364 33554432000 4194304 4196468 140737445466960 139892331657712 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10170] ppid=10104 vsize=10914144 memory=8 CPUtime=3.46 cores=0,2,4,6
/proc/10107/task/10170/stat : 10170 (java) R 10104 10107 4818 0 -1 4202560 6319 13178 0 0 336 2 5 3 20 0 15 0 49979424 11176083456 94364 33554432000 4194304 4196468 140737445466960 139892330605168 139893344671974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10171] ppid=10104 vsize=10914144 memory=8 CPUtime=2.19 cores=0,2,4,6
/proc/10107/task/10171/stat : 10171 (java) S 10104 10107 4818 0 -1 1077944384 7370 13178 0 0 208 3 5 3 20 0 15 0 49979424 11176083456 94364 33554432000 4194304 4196468 140737445466960 139892329552624 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10172] ppid=10104 vsize=10914144 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10172/stat : 10172 (java) S 10104 10107 4818 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 49979425 11176083456 94364 33554432000 4194304 4196468 140737445466960 139891911248992 139893363160789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
[pid=10107/tid=10173] ppid=10104 vsize=10914144 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10173/stat : 10173 (java) S 10104 10107 4818 0 -1 1077944384 106 13178 0 0 0 0 5 3 20 0 15 0 49979425 11176083456 94364 33554432000 4194304 4196468 140737445466960 139892328499504 139893363161730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140737445472427 140737445475676 140737445475676 140737445478351 0
Current children cumulated CPU time: 15.64 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 377456 KiB

Child status: 0
Real time (s): 6.37807
CPU time (s): 15.8155
CPU user time (s): 15.5197
CPU system time (s): 0.295819
CPU usage (%): 247.967
Max. virtual memory (cumulated for all children) (KiB): 10914144
Max. memory (cumulated for all children) (KiB): 377456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.5197
system time used= 0.295819
maximum resident set size= 379868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76394
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= 8061
involuntary context switches= 69


# summary of solver processes directly reported to runsolver:
#   pid: 10107
#   total CPU time (s): 15.8155
#   total CPU user time (s): 15.5197
#   total CPU system time (s): 0.295819

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063904 second user time and 0.09985 second system time

The end
Name	PseudoBoolean-dec/ Pb-fpga25-25-sat_c18.xml
MD5SUM	ac52d6c4be7f254c8b8f2a5f4d50567d
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.215757
Satisfiable
(Un)Satisfiability was proved
Number of variables	938
Number of constraints	700
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":938}]
Minimum variable degree	3
Maximum variable degree	26
Distribution of variable degrees	[{"degree":3,"count":625},{"degree":26,"count":313}]
Minimum constraint arity	12
Maximum constraint arity	25
Distribution of constraint arities	[{"arity":12,"count":12},{"arity":13,"count":313},{"arity":14,"count":325},{"arity":25,"count":50}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":700}]
Optimization problem	NO
Type of objective
Trace number 4293716

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
