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

Solver Name	Answer	CPU time	Wall clock time
OscaR - Conflict Ordering 2017-07-26	SAT	4.7396302	2.74699
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 (15280 MiB free)
  memory of node 1: 16384 MiB (15441 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274178-1502745773/watcher-4274178-1502745773 -o /tmp/evaluation-result-4274178-1502745773/solver-4274178-1502745773 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10387 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 978523216 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274178-1502745773.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=28380, runsolver pid=28377

[startup+0.100175 s]*
/proc/loadavg: 2.18 1.85 1.60 4/178 28381
/proc/meminfo: memFree=31462392/32770624 swapFree=67105588/67108860
[pid=28380] ppid=28377 vsize=11661736 memory=9856 CPUtime=0 cores=0,2,4,6
/proc/28380/stat : 28380 (java) S 28377 28380 12560 0 -1 1077944320 2267 0 0 0 0 0 0 0 20 0 5 0 76772611 11941617664 2464 18446744073709551615 4194304 4196468 140734003444224 140734003426768 139971992293111 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
/proc/28380/statm: 2915434 2464 1171 1 0 2905404 0
[pid=28380/tid=28382] ppid=28377 vsize=11923880 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28382/stat : 28382 (java) D 28377 28380 12560 0 -1 4202560 960 0 0 0 0 0 0 0 20 0 6 0 76772621 12210053120 2464 18446744073709551615 4194304 4196468 140734003444224 139971996534888 139971964206721 0 4 1 16784584 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28383] ppid=28377 vsize=12275880 memory=4872558142750484546 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28383/stat : 28383 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 76772622 12570501120 2464 18446744073709551615 4194304 4196468 140734003444224 139971911707280 139971992303317 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28384] ppid=28377 vsize=12298740 memory=139988945254016 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28384/stat : 28384 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 76772622 12593909760 2478 18446744073709551615 4194304 4196468 140734003444224 139971591662096 139971992303317 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28385] ppid=28377 vsize=13355508 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28385/stat : 28385 (java) S 28377 28380 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 76772622 13676040192 2478 18446744073709551615 4194304 4196468 140734003444224 139971590609296 139971992303317 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28386] ppid=28377 vsize=13355508 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28386/stat : 28386 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 76772622 13676040192 2478 18446744073709551615 4194304 4196468 140734003444224 139971589556496 139971992303317 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11661736 KiB
Current children cumulated memory: 9856 KiB

[startup+0.210091 s]*
/proc/loadavg: 2.18 1.85 1.60 1/190 28400
/proc/meminfo: memFree=31451716/32770624 swapFree=67105588/67108860
[pid=28380] ppid=28377 vsize=13906484 memory=21716 CPUtime=0.05 cores=0,2,4,6
/proc/28380/stat : 28380 (java) S 28377 28380 12560 0 -1 1077944320 4890 0 0 0 4 1 0 0 20 0 14 0 76772611 14240239616 5429 18446744073709551615 4194304 4196468 140734003444224 140734003426768 139971992293111 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
/proc/28380/statm: 3476621 5429 2578 1 0 3466118 0
[pid=28380/tid=28382] ppid=28377 vsize=13906484 memory=7310027617963868211 CPUtime=0.04 cores=0,2,4,6
/proc/28380/task/28382/stat : 28382 (java) D 28377 28380 12560 0 -1 4202560 2988 0 0 0 4 0 0 0 20 0 14 0 76772621 14240239616 5429 18446744073709551615 4194304 4196468 140734003444224 139971996530592 139971992315133 0 4 1 16800974 18446744071580418449 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28383] ppid=28377 vsize=13906484 memory=288230608969400343 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28383/stat : 28383 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 76772622 14240239616 5429 18446744073709551615 4194304 4196468 140734003444224 139971911707280 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28384] ppid=28377 vsize=13906484 memory=139988945986973 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28384/stat : 28384 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 76772622 14240239616 5429 18446744073709551615 4194304 4196468 140734003444224 139971591662096 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28385] ppid=28377 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28385/stat : 28385 (java) S 28377 28380 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 76772622 14240239616 5429 18446744073709551615 4194304 4196468 140734003444224 139971590609296 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28386] ppid=28377 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28386/stat : 28386 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 76772622 14240239616 5429 18446744073709551615 4194304 4196468 140734003444224 139971589556496 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28387] ppid=28377 vsize=13906484 memory=139988945254016 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28387/stat : 28387 (java) S 28377 28380 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 76772623 14240239616 5429 18446744073709551615 4194304 4196468 140734003444224 139971337345904 139971992304258 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28388] ppid=28377 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28388/stat : 28388 (java) S 28377 28380 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 76772624 14240239616 5429 18446744073709551615 4194304 4196468 140734003444224 139971336291872 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28389] ppid=28377 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28389/stat : 28389 (java) S 28377 28380 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 76772624 14240239616 5429 18446744073709551615 4194304 4196468 140734003444224 139971335239024 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28393] ppid=28377 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28393/stat : 28393 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 76772626 14240239616 5429 18446744073709551615 4194304 4196468 140734003444224 139971334187344 139971992311707 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28394] ppid=28377 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28394/stat : 28394 (java) S 28377 28380 12560 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 14 0 76772626 14240239616 5429 18446744073709551615 4194304 4196468 140734003444224 139971333134704 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28395] ppid=28377 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28395/stat : 28395 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 76772626 14240239616 5429 18446744073709551615 4194304 4196468 140734003444224 139971332081904 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28396] ppid=28377 vsize=13906484 memory=139988945254016 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28396/stat : 28396 (java) S 28377 28380 12560 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 14 0 76772626 14240239616 5429 18446744073709551615 4194304 4196468 140734003444224 139971331029104 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28397] ppid=28377 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28397/stat : 28397 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 76772626 14240239616 5429 18446744073709551615 4194304 4196468 140734003444224 139971329976544 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 21716 KiB

[startup+0.311038 s]*
/proc/loadavg: 2.18 1.85 1.60 2/191 28404
/proc/meminfo: memFree=31438080/32770624 swapFree=67105588/67108860
[pid=28380] ppid=28377 vsize=13975920 memory=36604 CPUtime=0.19 cores=0,2,4,6
/proc/28380/stat : 28380 (java) S 28377 28380 12560 0 -1 1077944320 9794 0 0 0 16 3 0 0 20 0 15 0 76772611 14311342080 9151 18446744073709551615 4194304 4196468 140734003444224 140734003426768 139971992293111 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
/proc/28380/statm: 3493980 9151 3485 1 0 3482759 0
[pid=28380/tid=28382] ppid=28377 vsize=13975920 memory=-7677926825137650786 CPUtime=0.13 cores=0,2,4,6
/proc/28380/task/28382/stat : 28382 (java) R 28377 28380 12560 0 -1 4202560 7558 0 0 0 11 2 0 0 20 0 15 0 76772621 14311342080 9151 18446744073709551615 4194304 4196468 140734003444224 139971996515472 139971976373598 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28383] ppid=28377 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28383/stat : 28383 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772622 14311342080 9151 18446744073709551615 4194304 4196468 140734003444224 139971911707280 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28384] ppid=28377 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28384/stat : 28384 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772622 14311342080 9151 18446744073709551615 4194304 4196468 140734003444224 139971591662096 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28385] ppid=28377 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28385/stat : 28385 (java) S 28377 28380 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772622 14311342080 9151 18446744073709551615 4194304 4196468 140734003444224 139971590609296 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28386] ppid=28377 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28386/stat : 28386 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772622 14311342080 9151 18446744073709551615 4194304 4196468 140734003444224 139971589556496 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28387] ppid=28377 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28387/stat : 28387 (java) S 28377 28380 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772623 14311342080 9151 18446744073709551615 4194304 4196468 140734003444224 139971337345904 139971992304258 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28388] ppid=28377 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28388/stat : 28388 (java) S 28377 28380 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76772624 14311342080 9151 18446744073709551615 4194304 4196468 140734003444224 139971336291872 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28389] ppid=28377 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28389/stat : 28389 (java) S 28377 28380 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76772624 14311342080 9151 18446744073709551615 4194304 4196468 140734003444224 139971335239024 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28393] ppid=28377 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28393/stat : 28393 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772626 14311342080 9151 18446744073709551615 4194304 4196468 140734003444224 139971334187344 139971992311707 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28394] ppid=28377 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28380/task/28394/stat : 28394 (java) S 28377 28380 12560 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 15 0 76772626 14311342080 9151 18446744073709551615 4194304 4196468 140734003444224 139971333134704 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28395] ppid=28377 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28395/stat : 28395 (java) S 28377 28380 12560 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 76772626 14311342080 9151 18446744073709551615 4194304 4196468 140734003444224 139971332081904 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28396] ppid=28377 vsize=13975920 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28380/task/28396/stat : 28396 (java) S 28377 28380 12560 0 -1 1077944384 375 0 0 0 3 0 0 0 20 0 15 0 76772626 14311342080 9151 18446744073709551615 4194304 4196468 140734003444224 139971331029104 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28397] ppid=28377 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28397/stat : 28397 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772626 14311342080 9151 18446744073709551615 4194304 4196468 140734003444224 139971329976544 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28401] ppid=28377 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28401/stat : 28401 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772634 14311342080 9151 18446744073709551615 4194304 4196468 140734003444224 139971328924848 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 36604 KiB

[startup+0.707197 s]
/proc/loadavg: 2.18 1.85 1.60 4/189 28409
/proc/meminfo: memFree=31466964/32770624 swapFree=67105588/67108860
[pid=28380] ppid=28377 vsize=13977988 memory=64472 CPUtime=0.94 cores=0,2,4,6
/proc/28380/stat : 28380 (java) S 28377 28380 12560 0 -1 1077944320 13810 0 0 0 90 4 0 0 20 0 15 0 76772611 14313459712 16118 18446744073709551615 4194304 4196468 140734003444224 140734003426768 139971992293111 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
/proc/28380/statm: 3494497 16118 3722 1 0 3483271 0
[pid=28380/tid=28382] ppid=28377 vsize=13977988 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/28380/task/28382/stat : 28382 (java) R 28377 28380 12560 0 -1 4202560 10297 0 0 0 48 3 0 0 20 0 15 0 76772621 14313459712 16118 18446744073709551615 4194304 4196468 140734003444224 139971996528736 139971992305046 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28383] ppid=28377 vsize=13977988 memory=218 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28383/stat : 28383 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772622 14313459712 16118 18446744073709551615 4194304 4196468 140734003444224 139971911707280 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28384] ppid=28377 vsize=13977988 memory=70 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28384/stat : 28384 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772622 14313459712 16118 18446744073709551615 4194304 4196468 140734003444224 139971591662096 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28385] ppid=28377 vsize=13977988 memory=257 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28385/stat : 28385 (java) S 28377 28380 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772622 14313459712 16118 18446744073709551615 4194304 4196468 140734003444224 139971590609296 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28386] ppid=28377 vsize=13977988 memory=499 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28386/stat : 28386 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772622 14313459712 16118 18446744073709551615 4194304 4196468 140734003444224 139971589556496 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28387] ppid=28377 vsize=13977988 memory=350 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28387/stat : 28387 (java) S 28377 28380 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76772623 14313459712 16118 18446744073709551615 4194304 4196468 140734003444224 139971337345904 139971992304258 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28388] ppid=28377 vsize=13977988 memory=131 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28388/stat : 28388 (java) S 28377 28380 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76772624 14313459712 16118 18446744073709551615 4194304 4196468 140734003444224 139971336291872 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28389] ppid=28377 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28389/stat : 28389 (java) S 28377 28380 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76772624 14313459712 16118 18446744073709551615 4194304 4196468 140734003444224 139971335239024 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28393] ppid=28377 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28393/stat : 28393 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772626 14313459712 16118 18446744073709551615 4194304 4196468 140734003444224 139971334187344 139971992311707 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28394] ppid=28377 vsize=13977988 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/28380/task/28394/stat : 28394 (java) R 28377 28380 12560 0 -1 4202560 879 0 0 0 11 0 0 0 20 0 15 0 76772626 14313459712 16118 18446744073709551615 4194304 4196468 140734003444224 139971333133104 139971973836902 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28395] ppid=28377 vsize=13977988 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/28380/task/28395/stat : 28395 (java) R 28377 28380 12560 0 -1 1077944384 438 0 0 0 10 0 0 0 20 0 15 0 76772626 14313459712 16118 18446744073709551615 4194304 4196468 140734003444224 139971332081904 139971992304258 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28396] ppid=28377 vsize=13977988 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/28380/task/28396/stat : 28396 (java) R 28377 28380 12560 0 -1 4202560 815 0 0 0 19 0 0 0 20 0 15 0 76772626 14313459712 16118 18446744073709551615 4194304 4196468 140734003444224 139971331025472 139971971248717 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28397] ppid=28377 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28397/stat : 28397 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772626 14313459712 16118 18446744073709551615 4194304 4196468 140734003444224 139971329976544 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28401] ppid=28377 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28401/stat : 28401 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772634 14313459712 16139 18446744073709551615 4194304 4196468 140734003444224 139971328924848 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 64472 KiB

[startup+1.50163 s]
/proc/loadavg: 2.18 1.85 1.60 2/195 28424
/proc/meminfo: memFree=31383632/32770624 swapFree=67105588/67108860
[pid=28380] ppid=28377 vsize=13980036 memory=162332 CPUtime=3.27 cores=0,2,4,6
/proc/28380/stat : 28380 (java) S 28377 28380 12560 0 -1 1077944320 28401 0 0 0 318 9 0 0 20 0 15 0 76772611 14315556864 40583 18446744073709551615 4194304 4196468 140734003444224 140734003426768 139971992293111 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
/proc/28380/statm: 3495009 40583 3760 1 0 3483783 0
[pid=28380/tid=28382] ppid=28377 vsize=13980036 memory=7230638415855315031 CPUtime=1.3 cores=0,2,4,6
/proc/28380/task/28382/stat : 28382 (java) R 28377 28380 12560 0 -1 4202560 14006 0 0 0 125 5 0 0 20 0 15 0 76772621 14315556864 40583 18446744073709551615 4194304 4196468 140734003444224 139971996531240 139971598390637 0 4 1 16800974 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28383] ppid=28377 vsize=13980036 memory=279977644101184 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28383/stat : 28383 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 40583 18446744073709551615 4194304 4196468 140734003444224 139971911707280 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28384] ppid=28377 vsize=13980036 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28384/stat : 28384 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 40583 18446744073709551615 4194304 4196468 140734003444224 139971591662096 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28385] ppid=28377 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28385/stat : 28385 (java) S 28377 28380 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 40583 18446744073709551615 4194304 4196468 140734003444224 139971590609296 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28386] ppid=28377 vsize=13980036 memory=81 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28386/stat : 28386 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 40583 18446744073709551615 4194304 4196468 140734003444224 139971589556496 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28387] ppid=28377 vsize=13980036 memory=139988822110734 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28387/stat : 28387 (java) S 28377 28380 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 76772623 14315556864 40583 18446744073709551615 4194304 4196468 140734003444224 139971337345904 139971992304258 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28388] ppid=28377 vsize=13980036 memory=279977644173744 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28388/stat : 28388 (java) S 28377 28380 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76772624 14315556864 40583 18446744073709551615 4194304 4196468 140734003444224 139971336291872 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28389] ppid=28377 vsize=13980036 memory=70 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28389/stat : 28389 (java) S 28377 28380 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76772624 14315556864 40583 18446744073709551615 4194304 4196468 140734003444224 139971335239024 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28393] ppid=28377 vsize=13980036 memory=257 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28393/stat : 28393 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772626 14315556864 40583 18446744073709551615 4194304 4196468 140734003444224 139971334187344 139971992311707 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28394] ppid=28377 vsize=13980036 memory=499 CPUtime=0.69 cores=0,2,4,6
/proc/28380/task/28394/stat : 28394 (java) R 28377 28380 12560 0 -1 4202560 3761 0 0 0 68 1 0 0 20 0 15 0 76772626 14315556864 40583 18446744073709551615 4194304 4196468 140734003444224 139971333126656 139971973478951 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28395] ppid=28377 vsize=13980036 memory=350 CPUtime=0.67 cores=0,2,4,6
/proc/28380/task/28395/stat : 28395 (java) R 28377 28380 12560 0 -1 4202560 3294 0 0 0 67 0 0 0 20 0 15 0 76772626 14315556864 40583 18446744073709551615 4194304 4196468 140734003444224 139971332073360 139971977418496 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28396] ppid=28377 vsize=13980036 memory=131 CPUtime=0.57 cores=0,2,4,6
/proc/28380/task/28396/stat : 28396 (java) S 28377 28380 12560 0 -1 1077944384 5939 0 0 0 56 1 0 0 20 0 15 0 76772626 14315556864 40583 18446744073709551615 4194304 4196468 140734003444224 139971331029104 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28397] ppid=28377 vsize=13980036 memory=42608 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28397/stat : 28397 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772626 14315556864 40583 18446744073709551615 4194304 4196468 140734003444224 139971329976544 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28401] ppid=28377 vsize=13980036 memory=279977644515472 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28401/stat : 28401 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772634 14315556864 40583 18446744073709551615 4194304 4196468 140734003444224 139971328924848 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
Current children cumulated CPU time: 3.27 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 162332 KiB

[startup+2.74694 s]
# the end of solver process 28380 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.62203 s, system=0.117603 s

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

[startup+1.60167 s]
/proc/loadavg: 2.18 1.85 1.60 2/195 28424
/proc/meminfo: memFree=31383632/32770624 swapFree=67105588/67108860
[pid=28380] ppid=28377 vsize=13980036 memory=170572 CPUtime=3.48 cores=0,2,4,6
/proc/28380/stat : 28380 (java) S 28377 28380 12560 0 -1 1077944320 28424 0 0 0 339 9 0 0 20 0 15 0 76772611 14315556864 42643 18446744073709551615 4194304 4196468 140734003444224 140734003426768 139971992293111 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
/proc/28380/statm: 3495009 42643 3760 1 0 3483783 0
[pid=28380/tid=28382] ppid=28377 vsize=13980036 memory=0 CPUtime=1.4 cores=0,2,4,6
/proc/28380/task/28382/stat : 28382 (java) R 28377 28380 12560 0 -1 4202560 14010 0 0 0 135 5 0 0 20 0 15 0 76772621 14315556864 42643 18446744073709551615 4194304 4196468 140734003444224 139971996529560 139971598794432 0 4 1 16800974 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28383] ppid=28377 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28383/stat : 28383 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 42643 18446744073709551615 4194304 4196468 140734003444224 139971911707280 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28384] ppid=28377 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28384/stat : 28384 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 42643 18446744073709551615 4194304 4196468 140734003444224 139971591662096 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28385] ppid=28377 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28385/stat : 28385 (java) S 28377 28380 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 42643 18446744073709551615 4194304 4196468 140734003444224 139971590609296 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28386] ppid=28377 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28386/stat : 28386 (java) S 28377 28380 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 42643 18446744073709551615 4194304 4196468 140734003444224 139971589556496 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28387] ppid=28377 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28387/stat : 28387 (java) S 28377 28380 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 76772623 14315556864 42643 18446744073709551615 4194304 4196468 140734003444224 139971337345904 139971992304258 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28388] ppid=28377 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28388/stat : 28388 (java) S 28377 28380 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76772624 14315556864 42643 18446744073709551615 4194304 4196468 140734003444224 139971336291872 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28389] ppid=28377 vsize=13980036 memory=2868665472214376 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28389/stat : 28389 (java) S 28377 28380 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76772624 14315556864 42643 18446744073709551615 4194304 4196468 140734003444224 139971335239024 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28393] ppid=28377 vsize=13980036 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28393/stat : 28393 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772626 14315556864 42643 18446744073709551615 4194304 4196468 140734003444224 139971334187344 139971992311707 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28394] ppid=28377 vsize=13980036 memory=2384 CPUtime=0.75 cores=0,2,4,6
/proc/28380/task/28394/stat : 28394 (java) R 28377 28380 12560 0 -1 4202560 3767 0 0 0 74 1 0 0 20 0 15 0 76772626 14315556864 42643 18446744073709551615 4194304 4196468 140734003444224 139971333122384 139971973816113 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28395] ppid=28377 vsize=13980036 memory=1688 CPUtime=0.73 cores=0,2,4,6
/proc/28380/task/28395/stat : 28395 (java) S 28377 28380 12560 0 -1 1077944384 3306 0 0 0 72 1 0 0 20 0 15 0 76772626 14315556864 42643 18446744073709551615 4194304 4196468 140734003444224 139971332081904 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28396] ppid=28377 vsize=13980036 memory=5808 CPUtime=0.57 cores=0,2,4,6
/proc/28380/task/28396/stat : 28396 (java) S 28377 28380 12560 0 -1 1077944384 5940 0 0 0 56 1 0 0 20 0 15 0 76772626 14315556864 42643 18446744073709551615 4194304 4196468 140734003444224 139971331029104 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28397] ppid=28377 vsize=13980036 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28397/stat : 28397 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772626 14315556864 42643 18446744073709551615 4194304 4196468 140734003444224 139971329976544 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28401] ppid=28377 vsize=13980036 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28401/stat : 28401 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772634 14315556864 42643 18446744073709551615 4194304 4196468 140734003444224 139971328924848 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
Current children cumulated CPU time: 3.48 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 170572 KiB

[startup+2.40067 s]
/proc/loadavg: 2.18 1.85 1.60 6/209 28438
/proc/meminfo: memFree=31193148/32770624 swapFree=67105588/67108860
[pid=28380] ppid=28377 vsize=13980036 memory=220144 CPUtime=4.36 cores=0,2,4,6
/proc/28380/stat : 28380 (java) S 28377 28380 12560 0 -1 1077944320 30367 0 0 0 425 11 0 0 20 0 15 0 76772611 14315556864 55036 18446744073709551615 4194304 4196468 140734003444224 140734003426768 139971992293111 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
/proc/28380/statm: 3495009 55036 3776 1 0 3483783 0
[pid=28380/tid=28382] ppid=28377 vsize=13980036 memory=1716 CPUtime=2.18 cores=0,2,4,6
/proc/28380/task/28382/stat : 28382 (java) R 28377 28380 12560 0 -1 4202560 14228 0 0 0 212 6 0 0 20 0 15 0 76772621 14315556864 55036 18446744073709551615 4194304 4196468 140734003444224 139971996531264 139971598793467 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28383] ppid=28377 vsize=13980036 memory=14260 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28383/stat : 28383 (java) S 28377 28380 12560 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 55036 18446744073709551615 4194304 4196468 140734003444224 139971911707280 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28384] ppid=28377 vsize=13980036 memory=796 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28384/stat : 28384 (java) S 28377 28380 12560 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 55036 18446744073709551615 4194304 4196468 140734003444224 139971591662096 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28385] ppid=28377 vsize=13980036 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28385/stat : 28385 (java) S 28377 28380 12560 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 55036 18446744073709551615 4194304 4196468 140734003444224 139971590609296 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28386] ppid=28377 vsize=13980036 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28386/stat : 28386 (java) S 28377 28380 12560 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 55036 18446744073709551615 4194304 4196468 140734003444224 139971589556496 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28387] ppid=28377 vsize=13980036 memory=130992 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28387/stat : 28387 (java) S 28377 28380 12560 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 15 0 76772623 14315556864 55036 18446744073709551615 4194304 4196468 140734003444224 139971337345904 139971992304258 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28388] ppid=28377 vsize=13980036 memory=664970774370811552 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28388/stat : 28388 (java) S 28377 28380 12560 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 76772624 14315556864 55036 18446744073709551615 4194304 4196468 140734003444224 139971336291936 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28389] ppid=28377 vsize=13980036 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28389/stat : 28389 (java) S 28377 28380 12560 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 76772624 14315556864 55036 18446744073709551615 4194304 4196468 140734003444224 139971335239024 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28393] ppid=28377 vsize=13980036 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28393/stat : 28393 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772626 14315556864 55036 18446744073709551615 4194304 4196468 140734003444224 139971334187344 139971992311707 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28394] ppid=28377 vsize=13980036 memory=6944656592455359580 CPUtime=0.77 cores=0,2,4,6
/proc/28380/task/28394/stat : 28394 (java) S 28377 28380 12560 0 -1 1077944384 3790 0 0 0 76 1 0 0 20 0 15 0 76772626 14315556864 55036 18446744073709551615 4194304 4196468 140734003444224 139971333134704 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28395] ppid=28377 vsize=13980036 memory=-6935123839545469842 CPUtime=0.75 cores=0,2,4,6
/proc/28380/task/28395/stat : 28395 (java) S 28377 28380 12560 0 -1 1077944384 3687 0 0 0 74 1 0 0 20 0 15 0 76772626 14315556864 55036 18446744073709551615 4194304 4196468 140734003444224 139971332081904 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28396] ppid=28377 vsize=13980036 memory=7228383407665933717 CPUtime=0.59 cores=0,2,4,6
/proc/28380/task/28396/stat : 28396 (java) S 28377 28380 12560 0 -1 1077944384 6705 0 0 0 58 1 0 0 20 0 15 0 76772626 14315556864 55036 18446744073709551615 4194304 4196468 140734003444224 139971331029104 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28397] ppid=28377 vsize=13980036 memory=8305311027921444960 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28397/stat : 28397 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772626 14315556864 55036 18446744073709551615 4194304 4196468 140734003444224 139971329976544 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28401] ppid=28377 vsize=13980036 memory=-8918989755622569014 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28401/stat : 28401 (java) S 28377 28380 12560 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 76772634 14315556864 55036 18446744073709551615 4194304 4196468 140734003444224 139971328924848 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
Current children cumulated CPU time: 4.36 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 220144 KiB

[startup+2.6007 s]
/proc/loadavg: 2.18 1.85 1.60 6/209 28438
/proc/meminfo: memFree=31193148/32770624 swapFree=67105588/67108860
[pid=28380] ppid=28377 vsize=13980036 memory=220148 CPUtime=4.57 cores=0,2,4,6
/proc/28380/stat : 28380 (java) S 28377 28380 12560 0 -1 1077944320 30465 0 0 0 446 11 0 0 20 0 15 0 76772611 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 140734003426768 139971992293111 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
/proc/28380/statm: 3495009 55037 3776 1 0 3483783 0
[pid=28380/tid=28382] ppid=28377 vsize=13980036 memory=-8774313645642428999 CPUtime=2.38 cores=0,2,4,6
/proc/28380/task/28382/stat : 28382 (java) R 28377 28380 12560 0 -1 4202560 14240 0 0 0 232 6 0 0 20 0 15 0 76772621 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971996529384 139971598792168 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28383] ppid=28377 vsize=13980036 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28383/stat : 28383 (java) S 28377 28380 12560 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971911707280 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28384] ppid=28377 vsize=13980036 memory=15540738687502695 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28384/stat : 28384 (java) S 28377 28380 12560 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971591662096 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28385] ppid=28377 vsize=13980036 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28385/stat : 28385 (java) S 28377 28380 12560 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971590609296 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28386] ppid=28377 vsize=13980036 memory=14260 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28386/stat : 28386 (java) S 28377 28380 12560 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971589556496 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28387] ppid=28377 vsize=13980036 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28387/stat : 28387 (java) S 28377 28380 12560 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 15 0 76772623 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971337345904 139971992304258 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28388] ppid=28377 vsize=13980036 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28388/stat : 28388 (java) S 28377 28380 12560 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 76772624 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971336291936 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28389] ppid=28377 vsize=13980036 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28389/stat : 28389 (java) S 28377 28380 12560 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 76772624 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971335239024 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28393] ppid=28377 vsize=13980036 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28393/stat : 28393 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772626 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971334187344 139971992311707 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28394] ppid=28377 vsize=13980036 memory=-7161732098442470212 CPUtime=0.77 cores=0,2,4,6
/proc/28380/task/28394/stat : 28394 (java) R 28377 28380 12560 0 -1 4202560 3818 0 0 0 76 1 0 0 20 0 15 0 76772626 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971333134704 139971975761227 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28395] ppid=28377 vsize=13980036 memory=7976406965554101975 CPUtime=0.76 cores=0,2,4,6
/proc/28380/task/28395/stat : 28395 (java) R 28377 28380 12560 0 -1 4202560 3745 0 0 0 75 1 0 0 20 0 15 0 76772626 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971332081904 139971971531568 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28396] ppid=28377 vsize=13980036 memory=-2331055268852096867 CPUtime=0.59 cores=0,2,4,6
/proc/28380/task/28396/stat : 28396 (java) S 28377 28380 12560 0 -1 1077944384 6705 0 0 0 58 1 0 0 20 0 15 0 76772626 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971331029104 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28397] ppid=28377 vsize=13980036 memory=7306898398566246485 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28397/stat : 28397 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772626 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971329976544 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28401] ppid=28377 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28401/stat : 28401 (java) S 28377 28380 12560 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 76772634 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971328924848 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
Current children cumulated CPU time: 4.57 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 220148 KiB

[startup+2.70068 s]
/proc/loadavg: 2.18 1.85 1.60 6/209 28438
/proc/meminfo: memFree=31193148/32770624 swapFree=67105588/67108860
[pid=28380] ppid=28377 vsize=13980036 memory=220148 CPUtime=4.69 cores=0,2,4,6
/proc/28380/stat : 28380 (java) S 28377 28380 12560 0 -1 1077944320 30484 0 0 0 458 11 0 0 20 0 15 0 76772611 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 140734003426768 139971992293111 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
/proc/28380/statm: 3495009 55037 3776 1 0 3483783 0
[pid=28380/tid=28382] ppid=28377 vsize=13980036 memory=56 CPUtime=2.48 cores=0,2,4,6
/proc/28380/task/28382/stat : 28382 (java) R 28377 28380 12560 0 -1 4202560 14246 0 0 0 242 6 0 0 20 0 15 0 76772621 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971996529544 139971598708732 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28383] ppid=28377 vsize=13980036 memory=279977643943904 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28383/stat : 28383 (java) S 28377 28380 12560 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971911707280 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28384] ppid=28377 vsize=13980036 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28384/stat : 28384 (java) S 28377 28380 12560 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971591662096 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28385] ppid=28377 vsize=13980036 memory=220008 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28385/stat : 28385 (java) S 28377 28380 12560 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971590609296 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28386] ppid=28377 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28386/stat : 28386 (java) S 28377 28380 12560 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 15 0 76772622 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971589556496 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28387] ppid=28377 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28387/stat : 28387 (java) S 28377 28380 12560 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 15 0 76772623 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971337345904 139971992304258 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28388] ppid=28377 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28388/stat : 28388 (java) S 28377 28380 12560 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 76772624 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971336291936 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28389] ppid=28377 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28389/stat : 28389 (java) S 28377 28380 12560 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 76772624 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971335239024 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28393] ppid=28377 vsize=13980036 memory=6673 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28393/stat : 28393 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772626 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971334187344 139971992311707 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28394] ppid=28377 vsize=13980036 memory=4420 CPUtime=0.78 cores=0,2,4,6
/proc/28380/task/28394/stat : 28394 (java) S 28377 28380 12560 0 -1 1077944384 3824 0 0 0 77 1 0 0 20 0 15 0 76772626 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971333134704 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28395] ppid=28377 vsize=13980036 memory=6628 CPUtime=0.77 cores=0,2,4,6
/proc/28380/task/28395/stat : 28395 (java) S 28377 28380 12560 0 -1 1077944384 3752 0 0 0 76 1 0 0 20 0 15 0 76772626 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971332081904 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28396] ppid=28377 vsize=13980036 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/28380/task/28396/stat : 28396 (java) S 28377 28380 12560 0 -1 1077944384 6705 0 0 0 58 1 0 0 20 0 15 0 76772626 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971331029104 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28397] ppid=28377 vsize=13980036 memory=603328937869927960 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28397/stat : 28397 (java) S 28377 28380 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772626 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971329976544 139971992303317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
[pid=28380/tid=28401] ppid=28377 vsize=13980036 memory=288292194455134959 CPUtime=0 cores=0,2,4,6
/proc/28380/task/28401/stat : 28401 (java) S 28377 28380 12560 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 76772634 14315556864 55037 18446744073709551615 4194304 4196468 140734003444224 139971328924848 139971992304258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140734003446127 140734003446313 140734003446313 140734003449807 0
Current children cumulated CPU time: 4.69 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 220148 KiB

Child status: 0
Real time (s): 2.74699
CPU time (s): 4.73963
CPU user time (s): 4.62203
CPU system time (s): 0.117603
CPU usage (%): 172.539
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 220148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.62203
system time used= 0.117603
maximum resident set size= 222812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31304
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2348
involuntary context switches= 42


# summary of solver processes directly reported to runsolver:
#   pid: 28380
#   total CPU time (s): 4.73963
#   total CPU user time (s): 4.62203
#   total CPU system time (s): 0.117603

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029164 second user time and 0.073451 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-23-sum.xml
MD5SUM	0997a7a078e28dc29749c8fbf3dd0f9a
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.484846
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	2237
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":600}]
Minimum variable degree	4
Maximum variable degree	11
Distribution of variable degrees	[{"degree":4,"count":12},{"degree":5,"count":81},{"degree":6,"count":72},{"degree":7,"count":105},{"degree":8,"count":111},{"degree":9,"count":84},{"degree":10,"count":75},{"degree":11,"count":60}]
Minimum constraint arity	2
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":2,"count":2037},{"arity":3,"count":200}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2237}]
Optimization problem	NO
Type of objective
Trace number 4274178

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
