2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-07-02	SAT (TO)	46	2400.07	2365.93
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 (10095 MiB free)
  memory of node 1: 16384 MiB (12153 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291874-1532273764/watcher-4291874-1532273764 -o /tmp/evaluation-result-4291874-1532273764/solver-4291874-1532273764 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532271385-3550 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 26949504 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291874-1532273764.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=3825, runsolver pid=3822

[startup+0.108405 s]*
/proc/loadavg: 1.29 1.22 1.36 5/215 3864
/proc/meminfo: memFree=22751368/32770624 swapFree=67108860/67108860
[pid=3825] ppid=3822 vsize=14082740 memory=32872 CPUtime=0.13 cores=0,2,4,6
/proc/3825/stat : 3825 (java) S 3822 3825 2046 0 -1 1077944320 7113 0 0 0 12 1 0 0 20 0 15 0 44939603 14420725760 8218 33554432000 4194304 4196468 140731434727168 140731434709712 140006320221943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
/proc/3825/statm: 3520685 8218 3168 1 0 3482761 0
[pid=3825/tid=3827] ppid=3822 vsize=14082740 memory=-8253362762721355408 CPUtime=0.1 cores=0,2,4,6
/proc/3825/task/3827/stat : 3827 (java) R 3822 3825 2046 0 -1 4202560 5391 0 0 0 9 1 0 0 20 0 15 0 44939604 14420725760 8416 33554432000 4194304 4196468 140731434727168 140006324427696 140006300497703 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3828] ppid=3822 vsize=14082740 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3828/stat : 3828 (java) S 3822 3825 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44939605 14420725760 8482 33554432000 4194304 4196468 140731434727168 140006272842768 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3829] ppid=3822 vsize=14082740 memory=140026318886528 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3829/stat : 3829 (java) S 3822 3825 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44939605 14420725760 8482 33554432000 4194304 4196468 140731434727168 140006271790224 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3830] ppid=3822 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3830/stat : 3830 (java) S 3822 3825 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44939605 14420725760 8482 33554432000 4194304 4196468 140731434727168 140005913848592 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3831] ppid=3822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3831/stat : 3831 (java) S 3822 3825 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44939605 14420725760 8482 33554432000 4194304 4196468 140731434727168 140005912796048 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3836] ppid=3822 vsize=14082740 memory=140026318886528 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3836/stat : 3836 (java) S 3822 3825 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44939606 14420725760 8482 33554432000 4194304 4196468 140731434727168 140005795141872 140006320233090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3839] ppid=3822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3839/stat : 3839 (java) S 3822 3825 2046 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44939606 14420725760 8482 33554432000 4194304 4196468 140731434727168 140005794088096 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3844] ppid=3822 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3844/stat : 3844 (java) S 3822 3825 2046 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44939607 14420725760 8482 33554432000 4194304 4196468 140731434727168 140005793034992 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3850] ppid=3822 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3850/stat : 3850 (java) S 3822 3825 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44939609 14420725760 8482 33554432000 4194304 4196468 140731434727168 140005791983568 140006320240539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3851] ppid=3822 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3851/stat : 3851 (java) R 3822 3825 2046 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 44939609 14420725760 8482 33554432000 4194304 4196468 140731434727168 140005790931696 140006320233090 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3852] ppid=3822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3852/stat : 3852 (java) S 3822 3825 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44939609 14420725760 8482 33554432000 4194304 4196468 140731434727168 140005789879152 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3853] ppid=3822 vsize=14082740 memory=140026318886528 CPUtime=0.01 cores=0,2,4,6
/proc/3825/task/3853/stat : 3853 (java) S 3822 3825 2046 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 15 0 44939609 14420725760 8482 33554432000 4194304 4196468 140731434727168 140005788826096 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3855] ppid=3822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3855/stat : 3855 (java) S 3822 3825 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44939609 14420725760 8482 33554432000 4194304 4196468 140731434727168 140005787773792 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3856] ppid=3822 vsize=14082740 memory=140026318886528 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3856/stat : 3856 (java) S 3822 3825 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44939609 14420725760 8482 33554432000 4194304 4196468 140731434727168 140005786720816 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 32872 KiB

[startup+0.21533 s]*
/proc/loadavg: 1.29 1.22 1.36 6/215 3864
/proc/meminfo: memFree=22718080/32770624 swapFree=67108860/67108860
[pid=3825] ppid=3822 vsize=14082740 memory=47092 CPUtime=0.31 cores=0,2,4,6
/proc/3825/stat : 3825 (java) S 3822 3825 2046 0 -1 1077944320 10401 0 0 0 30 1 0 0 20 0 15 0 44939603 14420725760 11773 33554432000 4194304 4196468 140731434727168 140731434709712 140006320221943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
/proc/3825/statm: 3520685 11773 3370 1 0 3482761 0
[pid=3825/tid=3827] ppid=3822 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/3825/task/3827/stat : 3827 (java) R 3822 3825 2046 0 -1 4202560 8111 0 0 0 19 1 0 0 20 0 15 0 44939604 14420725760 11773 33554432000 4194304 4196468 140731434727168 140006324447760 140006320232149 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3828] ppid=3822 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3828/stat : 3828 (java) S 3822 3825 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44939605 14420725760 11773 33554432000 4194304 4196468 140731434727168 140006272842768 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3829] ppid=3822 vsize=14082740 memory=140026318910652 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3829/stat : 3829 (java) S 3822 3825 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44939605 14420725760 11773 33554432000 4194304 4196468 140731434727168 140006271790224 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3830] ppid=3822 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3830/stat : 3830 (java) S 3822 3825 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44939605 14420725760 11773 33554432000 4194304 4196468 140731434727168 140005913848592 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3831] ppid=3822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3831/stat : 3831 (java) S 3822 3825 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44939605 14420725760 11773 33554432000 4194304 4196468 140731434727168 140005912796048 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3836] ppid=3822 vsize=14082740 memory=140026318886528 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3836/stat : 3836 (java) S 3822 3825 2046 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44939606 14420725760 11773 33554432000 4194304 4196468 140731434727168 140005795141872 140006320233090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3839] ppid=3822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3839/stat : 3839 (java) S 3822 3825 2046 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44939606 14420725760 11773 33554432000 4194304 4196468 140731434727168 140005794088096 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3844] ppid=3822 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3844/stat : 3844 (java) S 3822 3825 2046 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44939607 14420725760 11773 33554432000 4194304 4196468 140731434727168 140005793034992 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3850] ppid=3822 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3850/stat : 3850 (java) S 3822 3825 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44939609 14420725760 11773 33554432000 4194304 4196468 140731434727168 140005791983568 140006320240539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3851] ppid=3822 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3825/task/3851/stat : 3851 (java) S 3822 3825 2046 0 -1 1077944384 557 0 0 0 2 0 0 0 20 0 15 0 44939609 14420725760 11773 33554432000 4194304 4196468 140731434727168 140005790931696 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3852] ppid=3822 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3825/task/3852/stat : 3852 (java) R 3822 3825 2046 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 15 0 44939609 14420725760 11773 33554432000 4194304 4196468 140731434727168 140005789879152 140006320233090 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3853] ppid=3822 vsize=14082740 memory=140026318886528 CPUtime=0.06 cores=0,2,4,6
/proc/3825/task/3853/stat : 3853 (java) R 3822 3825 2046 0 -1 4202560 297 0 0 0 6 0 0 0 20 0 15 0 44939609 14420725760 11773 33554432000 4194304 4196468 140731434727168 140005788821776 140006320243290 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3855] ppid=3822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3855/stat : 3855 (java) S 3822 3825 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44939609 14420725760 11773 33554432000 4194304 4196468 140731434727168 140005787773792 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3856] ppid=3822 vsize=14082740 memory=140026318886528 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3856/stat : 3856 (java) S 3822 3825 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44939609 14420725760 11773 33554432000 4194304 4196468 140731434727168 140005786720816 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47092 KiB

[startup+0.310415 s]*
/proc/loadavg: 1.29 1.22 1.36 3/215 3864
/proc/meminfo: memFree=22708324/32770624 swapFree=67108860/67108860
[pid=3825] ppid=3822 vsize=14082740 memory=50312 CPUtime=0.44 cores=0,2,4,6
/proc/3825/stat : 3825 (java) S 3822 3825 2046 0 -1 1077944320 10777 0 0 0 43 1 0 0 20 0 15 0 44939603 14420725760 12578 33554432000 4194304 4196468 140731434727168 140731434709712 140006320221943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
/proc/3825/statm: 3520685 12578 3373 1 0 3482761 0
[pid=3825/tid=3827] ppid=3822 vsize=14082740 memory=53476 CPUtime=0.3 cores=0,2,4,6
/proc/3825/task/3827/stat : 3827 (java) R 3822 3825 2046 0 -1 4202560 8460 0 0 0 29 1 0 0 20 0 15 0 44939604 14420725760 12629 33554432000 4194304 4196468 140731434727168 140006324429776 140006303408752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3828] ppid=3822 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3828/stat : 3828 (java) S 3822 3825 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44939605 14420725760 12629 33554432000 4194304 4196468 140731434727168 140006272842768 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3829] ppid=3822 vsize=14082740 memory=140026318944544 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3829/stat : 3829 (java) S 3822 3825 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44939605 14420725760 12629 33554432000 4194304 4196468 140731434727168 140006271790224 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3830] ppid=3822 vsize=14082740 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3830/stat : 3830 (java) S 3822 3825 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44939605 14420725760 12629 33554432000 4194304 4196468 140731434727168 140005913848592 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3831] ppid=3822 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3831/stat : 3831 (java) S 3822 3825 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44939605 14420725760 12629 33554432000 4194304 4196468 140731434727168 140005912796048 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3836] ppid=3822 vsize=14082740 memory=140026318951456 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3836/stat : 3836 (java) S 3822 3825 2046 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44939606 14420725760 12629 33554432000 4194304 4196468 140731434727168 140005795141872 140006320233090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3839] ppid=3822 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3839/stat : 3839 (java) S 3822 3825 2046 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44939606 14420725760 12629 33554432000 4194304 4196468 140731434727168 140005794088096 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3844] ppid=3822 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3844/stat : 3844 (java) S 3822 3825 2046 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44939607 14420725760 12629 33554432000 4194304 4196468 140731434727168 140005793034992 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3850] ppid=3822 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3850/stat : 3850 (java) S 3822 3825 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44939609 14420725760 12629 33554432000 4194304 4196468 140731434727168 140005791983568 140006320240539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3851] ppid=3822 vsize=14082740 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3825/task/3851/stat : 3851 (java) S 3822 3825 2046 0 -1 1077944384 563 0 0 0 3 0 0 0 20 0 15 0 44939609 14420725760 12629 33554432000 4194304 4196468 140731434727168 140005790931696 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3852] ppid=3822 vsize=14082740 memory=140026201628623 CPUtime=0.01 cores=0,2,4,6
/proc/3825/task/3852/stat : 3852 (java) S 3822 3825 2046 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 15 0 44939609 14420725760 12629 33554432000 4194304 4196468 140731434727168 140005789879152 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3853] ppid=3822 vsize=14082740 memory=140026318890079 CPUtime=0.08 cores=0,2,4,6
/proc/3825/task/3853/stat : 3853 (java) S 3822 3825 2046 0 -1 1077944384 313 0 0 0 8 0 0 0 20 0 15 0 44939609 14420725760 12629 33554432000 4194304 4196468 140731434727168 140005788826096 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3855] ppid=3822 vsize=14082740 memory=140026201628623 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3855/stat : 3855 (java) S 3822 3825 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44939609 14420725760 12629 33554432000 4194304 4196468 140731434727168 140005787773792 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3856] ppid=3822 vsize=14082740 memory=280052520531904 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3856/stat : 3856 (java) S 3822 3825 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44939609 14420725760 12629 33554432000 4194304 4196468 140731434727168 140005786720816 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50312 KiB

[startup+0.70069 s]
/proc/loadavg: 1.29 1.22 1.36 3/215 3864
/proc/meminfo: memFree=22675208/32770624 swapFree=67108860/67108860
[pid=3825] ppid=3822 vsize=14084808 memory=88916 CPUtime=0.99 cores=0,2,4,6
/proc/3825/stat : 3825 (java) S 3822 3825 2046 0 -1 1077944320 17619 0 0 0 95 4 0 0 20 0 15 0 44939603 14422843392 22229 33554432000 4194304 4196468 140731434727168 140731434709712 140006320221943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
/proc/3825/statm: 3521202 22229 3500 1 0 3483273 0
[pid=3825/tid=3827] ppid=3822 vsize=14084808 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/3825/task/3827/stat : 3827 (java) R 3822 3825 2046 0 -1 4202560 14887 0 0 0 64 3 0 0 20 0 15 0 44939604 14422843392 22229 33554432000 4194304 4196468 140731434727168 140006324436848 140006320243869 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3828] ppid=3822 vsize=14084808 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3828/stat : 3828 (java) S 3822 3825 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44939605 14422843392 22229 33554432000 4194304 4196468 140731434727168 140006272842768 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3829] ppid=3822 vsize=14084808 memory=8368 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3829/stat : 3829 (java) S 3822 3825 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44939605 14422843392 22229 33554432000 4194304 4196468 140731434727168 140006271790224 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3830] ppid=3822 vsize=14084808 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3830/stat : 3830 (java) S 3822 3825 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44939605 14422843392 22229 33554432000 4194304 4196468 140731434727168 140005913848592 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3831] ppid=3822 vsize=14084808 memory=14100 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3831/stat : 3831 (java) S 3822 3825 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44939605 14422843392 22229 33554432000 4194304 4196468 140731434727168 140005912796048 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3836] ppid=3822 vsize=14084808 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3836/stat : 3836 (java) S 3822 3825 2046 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44939606 14422843392 22229 33554432000 4194304 4196468 140731434727168 140005795141872 140006320233090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3839] ppid=3822 vsize=14084808 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3839/stat : 3839 (java) S 3822 3825 2046 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44939606 14422843392 22229 33554432000 4194304 4196468 140731434727168 140005794088096 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3844] ppid=3822 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3844/stat : 3844 (java) S 3822 3825 2046 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44939607 14422843392 22229 33554432000 4194304 4196468 140731434727168 140005793034992 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3850] ppid=3822 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3850/stat : 3850 (java) S 3822 3825 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44939609 14422843392 22229 33554432000 4194304 4196468 140731434727168 140005791983568 140006320240539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3851] ppid=3822 vsize=14084808 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3825/task/3851/stat : 3851 (java) S 3822 3825 2046 0 -1 1077944384 714 0 0 0 8 0 0 0 20 0 15 0 44939609 14422843392 22229 33554432000 4194304 4196468 140731434727168 140005790931696 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3852] ppid=3822 vsize=14084808 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/3825/task/3852/stat : 3852 (java) S 3822 3825 2046 0 -1 1077944384 231 0 0 0 6 0 0 0 20 0 15 0 44939609 14422843392 22229 33554432000 4194304 4196468 140731434727168 140005789879152 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3853] ppid=3822 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/3825/task/3853/stat : 3853 (java) S 3822 3825 2046 0 -1 1077944384 405 0 0 0 15 0 0 0 20 0 15 0 44939609 14422843392 22229 33554432000 4194304 4196468 140731434727168 140005788826096 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3855] ppid=3822 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3855/stat : 3855 (java) S 3822 3825 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44939609 14422843392 22229 33554432000 4194304 4196468 140731434727168 140005787773792 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3856] ppid=3822 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3856/stat : 3856 (java) S 3822 3825 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44939609 14422843392 22229 33554432000 4194304 4196468 140731434727168 140005786720816 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88916 KiB

[startup+1.50073 s]
/proc/loadavg: 1.29 1.22 1.36 9/215 3864
/proc/meminfo: memFree=22569368/32770624 swapFree=67108860/67108860
[pid=3825] ppid=3822 vsize=14086856 memory=223412 CPUtime=3.51 cores=0,2,4,6
/proc/3825/stat : 3825 (java) S 3822 3825 2046 0 -1 1077944320 25733 0 0 0 343 8 0 0 20 0 15 0 44939603 14424940544 55853 33554432000 4194304 4196468 140731434727168 140731434709712 140006320221943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
/proc/3825/statm: 3521714 55853 3562 1 0 3483785 0
[pid=3825/tid=3827] ppid=3822 vsize=14086856 memory=734122169272185651 CPUtime=1.46 cores=0,2,4,6
/proc/3825/task/3827/stat : 3827 (java) R 3822 3825 2046 0 -1 4202560 17715 0 0 0 141 5 0 0 20 0 15 0 44939604 14424940544 55853 33554432000 4194304 4196468 140731434727168 140006324457040 140005957114532 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3828] ppid=3822 vsize=14086856 memory=102800 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3828/stat : 3828 (java) S 3822 3825 2046 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 44939605 14424940544 55853 33554432000 4194304 4196468 140731434727168 140006272842768 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3829] ppid=3822 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3829/stat : 3829 (java) S 3822 3825 2046 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 44939605 14424940544 55853 33554432000 4194304 4196468 140731434727168 140006271790224 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3830] ppid=3822 vsize=14086856 memory=8368 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3830/stat : 3830 (java) S 3822 3825 2046 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 44939605 14424940544 55853 33554432000 4194304 4196468 140731434727168 140005913848592 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3831] ppid=3822 vsize=14086856 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3831/stat : 3831 (java) S 3822 3825 2046 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 44939605 14424940544 55853 33554432000 4194304 4196468 140731434727168 140005912796048 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3836] ppid=3822 vsize=14086856 memory=14100 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3836/stat : 3836 (java) S 3822 3825 2046 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 44939606 14424940544 55853 33554432000 4194304 4196468 140731434727168 140005795141872 140006320233090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0

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

/proc/3825/task/3827/stat : 3827 (java) R 3822 3825 2046 0 -1 4202560 52490 0 0 0 224127 41 0 0 20 0 15 0 44939604 14429134848 187765 33554432000 4194304 4196468 140731434727168 140006324460480 140005963080115 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3828] ppid=3822 vsize=14090952 memory=751060 CPUtime=9.34 cores=0,2,4,6
/proc/3825/task/3828/stat : 3828 (java) S 3822 3825 2046 0 -1 1077944384 6968 0 0 0 870 64 0 0 20 0 15 0 44939605 14429134848 187765 33554432000 4194304 4196468 140731434727168 140006272842768 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3829] ppid=3822 vsize=14090952 memory=4140 CPUtime=9.36 cores=0,2,4,6
/proc/3825/task/3829/stat : 3829 (java) S 3822 3825 2046 0 -1 1077944384 5134 0 0 0 871 65 0 0 20 0 15 0 44939605 14429134848 187765 33554432000 4194304 4196468 140731434727168 140006271790224 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3830] ppid=3822 vsize=14090952 memory=751060 CPUtime=9.3 cores=0,2,4,6
/proc/3825/task/3830/stat : 3830 (java) S 3822 3825 2046 0 -1 1077944384 7215 0 0 0 862 68 0 0 20 0 15 0 44939605 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005913848592 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3831] ppid=3822 vsize=14090952 memory=751060 CPUtime=9.3 cores=0,2,4,6
/proc/3825/task/3831/stat : 3831 (java) S 3822 3825 2046 0 -1 1077944384 5690 0 0 0 865 65 0 0 20 0 15 0 44939605 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005912796048 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3836] ppid=3822 vsize=14090952 memory=8112282956445269571 CPUtime=8.5 cores=0,2,4,6
/proc/3825/task/3836/stat : 3836 (java) S 3822 3825 2046 0 -1 1077944384 7167 0 0 0 797 53 0 0 20 0 15 0 44939606 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005795141872 140006320233090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3839] ppid=3822 vsize=14090952 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3839/stat : 3839 (java) S 3822 3825 2046 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 44939606 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005794088160 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3844] ppid=3822 vsize=14090952 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3844/stat : 3844 (java) S 3822 3825 2046 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 44939607 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005793035008 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3850] ppid=3822 vsize=14090952 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3850/stat : 3850 (java) S 3822 3825 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005791983568 140006320240539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3851] ppid=3822 vsize=14090952 memory=2428 CPUtime=2.5 cores=0,2,4,6
/proc/3825/task/3851/stat : 3851 (java) S 3822 3825 2046 0 -1 1077944384 5817 0 0 0 249 1 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005790931696 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3852] ppid=3822 vsize=14090952 memory=1296 CPUtime=2.56 cores=0,2,4,6
/proc/3825/task/3852/stat : 3852 (java) S 3822 3825 2046 0 -1 1077944384 7176 0 0 0 255 1 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005789879152 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3853] ppid=3822 vsize=14090952 memory=751060 CPUtime=1 cores=0,2,4,6
/proc/3825/task/3853/stat : 3853 (java) S 3822 3825 2046 0 -1 1077944384 9965 0 0 0 98 2 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005788826096 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3855] ppid=3822 vsize=14090952 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3855/stat : 3855 (java) S 3822 3825 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005787773792 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3856] ppid=3822 vsize=14090952 memory=751060 CPUtime=1.25 cores=0,2,4,6
/proc/3825/task/3856/stat : 3856 (java) S 3822 3825 2046 0 -1 1077944384 612 0 0 0 59 66 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005786720816 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
Current children cumulated CPU time: 2294.9 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 751060 KiB

[startup+2322.3 s]
/proc/loadavg: 1.21 1.31 1.35 3/215 3957
/proc/meminfo: memFree=21250324/32770624 swapFree=67108860/67108860
[pid=3825] ppid=3822 vsize=14090952 memory=751060 CPUtime=2355.76 cores=0,2,4,6
/proc/3825/stat : 3825 (java) S 3822 3825 2046 0 -1 1077944320 110536 0 0 0 235227 349 0 0 20 0 15 0 44939603 14429134848 187765 33554432000 4194304 4196468 140731434727168 140731434709712 140006320221943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
/proc/3825/statm: 3522738 187765 3591 1 0 3484809 0
[pid=3825/tid=3827] ppid=3822 vsize=14090952 memory=751060 CPUtime=2300.99 cores=0,2,4,6
/proc/3825/task/3827/stat : 3827 (java) R 3822 3825 2046 0 -1 4202560 53236 0 0 0 230058 41 0 0 20 0 15 0 44939604 14429134848 187765 33554432000 4194304 4196468 140731434727168 140006324460480 140005962289401 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3828] ppid=3822 vsize=14090952 memory=0 CPUtime=9.65 cores=0,2,4,6
/proc/3825/task/3828/stat : 3828 (java) S 3822 3825 2046 0 -1 1077944384 6987 0 0 0 899 66 0 0 20 0 15 0 44939605 14429134848 187765 33554432000 4194304 4196468 140731434727168 140006272842768 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3829] ppid=3822 vsize=14090952 memory=0 CPUtime=9.67 cores=0,2,4,6
/proc/3825/task/3829/stat : 3829 (java) S 3822 3825 2046 0 -1 1077944384 5168 0 0 0 900 67 0 0 20 0 15 0 44939605 14429134848 187765 33554432000 4194304 4196468 140731434727168 140006271790224 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3830] ppid=3822 vsize=14090952 memory=751060 CPUtime=9.6 cores=0,2,4,6
/proc/3825/task/3830/stat : 3830 (java) S 3822 3825 2046 0 -1 1077944384 7215 0 0 0 890 70 0 0 20 0 15 0 44939605 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005913848592 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3831] ppid=3822 vsize=14090952 memory=751060 CPUtime=9.6 cores=0,2,4,6
/proc/3825/task/3831/stat : 3831 (java) S 3822 3825 2046 0 -1 1077944384 5697 0 0 0 893 67 0 0 20 0 15 0 44939605 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005912796048 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3836] ppid=3822 vsize=14090952 memory=751060 CPUtime=8.79 cores=0,2,4,6
/proc/3825/task/3836/stat : 3836 (java) S 3822 3825 2046 0 -1 1077944384 7218 0 0 0 825 54 0 0 20 0 15 0 44939606 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005795141872 140006320233090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3839] ppid=3822 vsize=14090952 memory=751060 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3839/stat : 3839 (java) S 3822 3825 2046 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 44939606 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005794088160 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3844] ppid=3822 vsize=14090952 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3844/stat : 3844 (java) S 3822 3825 2046 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 44939607 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005793035008 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3850] ppid=3822 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3850/stat : 3850 (java) S 3822 3825 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005791983568 140006320240539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3851] ppid=3822 vsize=14090952 memory=751060 CPUtime=2.5 cores=0,2,4,6
/proc/3825/task/3851/stat : 3851 (java) S 3822 3825 2046 0 -1 1077944384 5817 0 0 0 249 1 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005790931696 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3852] ppid=3822 vsize=14090952 memory=751060 CPUtime=2.56 cores=0,2,4,6
/proc/3825/task/3852/stat : 3852 (java) S 3822 3825 2046 0 -1 1077944384 7176 0 0 0 255 1 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005789879152 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3853] ppid=3822 vsize=14090952 memory=15192 CPUtime=1 cores=0,2,4,6
/proc/3825/task/3853/stat : 3853 (java) S 3822 3825 2046 0 -1 1077944384 9965 0 0 0 98 2 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005788826096 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3855] ppid=3822 vsize=14090952 memory=751060 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3855/stat : 3855 (java) S 3822 3825 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005787773792 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3856] ppid=3822 vsize=14090952 memory=4388 CPUtime=1.28 cores=0,2,4,6
/proc/3825/task/3856/stat : 3856 (java) S 3822 3825 2046 0 -1 1077944384 618 0 0 0 61 67 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005786720816 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
Current children cumulated CPU time: 2355.76 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 751060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2365.9 s]
/proc/loadavg: 1.12 1.26 1.33 3/215 3958
/proc/meminfo: memFree=21249268/32770624 swapFree=67108860/67108860
[pid=3825] ppid=3822 vsize=14090952 memory=751060 CPUtime=2400.03 cores=0,2,4,6
/proc/3825/stat : 3825 (java) S 3822 3825 2046 0 -1 1077944320 111497 0 0 0 239647 356 0 0 20 0 15 0 44939603 14429134848 187765 33554432000 4194304 4196468 140731434727168 140731434709712 140006320221943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
/proc/3825/statm: 3522738 187765 3591 1 0 3484809 0
[pid=3825/tid=3827] ppid=3822 vsize=14090952 memory=751060 CPUtime=2344.08 cores=0,2,4,6
/proc/3825/task/3827/stat : 3827 (java) R 3822 3825 2046 0 -1 4202560 53730 0 0 0 234366 42 0 0 20 0 15 0 44939604 14429134848 187765 33554432000 4194304 4196468 140731434727168 140006324460480 140005963080367 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3828] ppid=3822 vsize=14090952 memory=751060 CPUtime=9.89 cores=0,2,4,6
/proc/3825/task/3828/stat : 3828 (java) S 3822 3825 2046 0 -1 1077944384 6997 0 0 0 921 68 0 0 20 0 15 0 44939605 14429134848 187765 33554432000 4194304 4196468 140731434727168 140006272842768 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3829] ppid=3822 vsize=14090952 memory=751060 CPUtime=9.91 cores=0,2,4,6
/proc/3825/task/3829/stat : 3829 (java) S 3822 3825 2046 0 -1 1077944384 5171 0 0 0 922 69 0 0 20 0 15 0 44939605 14429134848 187765 33554432000 4194304 4196468 140731434727168 140006271790224 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3830] ppid=3822 vsize=14090952 memory=751060 CPUtime=9.84 cores=0,2,4,6
/proc/3825/task/3830/stat : 3830 (java) S 3822 3825 2046 0 -1 1077944384 7322 0 0 0 912 72 0 0 20 0 15 0 44939605 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005913848592 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3831] ppid=3822 vsize=14090952 memory=751060 CPUtime=9.84 cores=0,2,4,6
/proc/3825/task/3831/stat : 3831 (java) S 3822 3825 2046 0 -1 1077944384 5856 0 0 0 915 69 0 0 20 0 15 0 44939605 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005912796048 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3836] ppid=3822 vsize=14090952 memory=751060 CPUtime=9.02 cores=0,2,4,6
/proc/3825/task/3836/stat : 3836 (java) S 3822 3825 2046 0 -1 1077944384 7387 0 0 0 846 56 0 0 20 0 15 0 44939606 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005795141872 140006320233090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3839] ppid=3822 vsize=14090952 memory=751060 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3839/stat : 3839 (java) S 3822 3825 2046 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 44939606 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005794088160 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3844] ppid=3822 vsize=14090952 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3844/stat : 3844 (java) S 3822 3825 2046 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 44939607 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005793035008 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3850] ppid=3822 vsize=14090952 memory=751060 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3850/stat : 3850 (java) S 3822 3825 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005791983568 140006320240539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3851] ppid=3822 vsize=14090952 memory=751060 CPUtime=2.5 cores=0,2,4,6
/proc/3825/task/3851/stat : 3851 (java) S 3822 3825 2046 0 -1 1077944384 5819 0 0 0 249 1 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005790931696 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3852] ppid=3822 vsize=14090952 memory=751060 CPUtime=2.56 cores=0,2,4,6
/proc/3825/task/3852/stat : 3852 (java) S 3822 3825 2046 0 -1 1077944384 7178 0 0 0 255 1 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005789879152 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3853] ppid=3822 vsize=14090952 memory=1008 CPUtime=1.01 cores=0,2,4,6
/proc/3825/task/3853/stat : 3853 (java) S 3822 3825 2046 0 -1 1077944384 9967 0 0 0 99 2 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005788826096 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3855] ppid=3822 vsize=14090952 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3855/stat : 3855 (java) S 3822 3825 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005787773792 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3856] ppid=3822 vsize=14090952 memory=751060 CPUtime=1.31 cores=0,2,4,6
/proc/3825/task/3856/stat : 3856 (java) S 3822 3825 2046 0 -1 1077944384 631 0 0 0 63 68 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005786720816 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 751060 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2365.92 s]
# the end of solver process 3825 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.49 s, system=3.5739 s

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

[startup+2365.9 s]
/proc/loadavg: 1.12 1.26 1.33 3/215 3958
/proc/meminfo: memFree=21249268/32770624 swapFree=67108860/67108860
[pid=3825] ppid=3822 vsize=14090952 memory=751060 CPUtime=2400.03 cores=0,2,4,6
/proc/3825/stat : 3825 (java) S 3822 3825 2046 0 -1 1077944320 111497 0 0 0 239647 356 0 0 20 0 15 0 44939603 14429134848 187765 33554432000 4194304 4196468 140731434727168 140731434709712 140006320221943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
/proc/3825/statm: 3522738 187765 3591 1 0 3484809 0
[pid=3825/tid=3827] ppid=3822 vsize=14090952 memory=751060 CPUtime=2344.08 cores=0,2,4,6
/proc/3825/task/3827/stat : 3827 (java) R 3822 3825 2046 0 -1 4202560 53730 0 0 0 234366 42 0 0 20 0 15 0 44939604 14429134848 187765 33554432000 4194304 4196468 140731434727168 140006324460480 140005963080367 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3828] ppid=3822 vsize=14090952 memory=751060 CPUtime=9.89 cores=0,2,4,6
/proc/3825/task/3828/stat : 3828 (java) S 3822 3825 2046 0 -1 1077944384 6997 0 0 0 921 68 0 0 20 0 15 0 44939605 14429134848 187765 33554432000 4194304 4196468 140731434727168 140006272842768 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3829] ppid=3822 vsize=14090952 memory=751060 CPUtime=9.91 cores=0,2,4,6
/proc/3825/task/3829/stat : 3829 (java) S 3822 3825 2046 0 -1 1077944384 5171 0 0 0 922 69 0 0 20 0 15 0 44939605 14429134848 187765 33554432000 4194304 4196468 140731434727168 140006271790224 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3830] ppid=3822 vsize=14090952 memory=751060 CPUtime=9.84 cores=0,2,4,6
/proc/3825/task/3830/stat : 3830 (java) S 3822 3825 2046 0 -1 1077944384 7322 0 0 0 912 72 0 0 20 0 15 0 44939605 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005913848592 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3831] ppid=3822 vsize=14090952 memory=751060 CPUtime=9.84 cores=0,2,4,6
/proc/3825/task/3831/stat : 3831 (java) S 3822 3825 2046 0 -1 1077944384 5856 0 0 0 915 69 0 0 20 0 15 0 44939605 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005912796048 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3836] ppid=3822 vsize=14090952 memory=751060 CPUtime=9.02 cores=0,2,4,6
/proc/3825/task/3836/stat : 3836 (java) S 3822 3825 2046 0 -1 1077944384 7387 0 0 0 846 56 0 0 20 0 15 0 44939606 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005795141872 140006320233090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3839] ppid=3822 vsize=14090952 memory=751060 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3839/stat : 3839 (java) S 3822 3825 2046 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 44939606 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005794088160 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3844] ppid=3822 vsize=14090952 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3844/stat : 3844 (java) S 3822 3825 2046 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 44939607 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005793035008 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3850] ppid=3822 vsize=14090952 memory=751060 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3850/stat : 3850 (java) S 3822 3825 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005791983568 140006320240539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3851] ppid=3822 vsize=14090952 memory=751060 CPUtime=2.5 cores=0,2,4,6
/proc/3825/task/3851/stat : 3851 (java) S 3822 3825 2046 0 -1 1077944384 5819 0 0 0 249 1 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005790931696 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3852] ppid=3822 vsize=14090952 memory=751060 CPUtime=2.56 cores=0,2,4,6
/proc/3825/task/3852/stat : 3852 (java) S 3822 3825 2046 0 -1 1077944384 7178 0 0 0 255 1 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005789879152 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3853] ppid=3822 vsize=14090952 memory=1008 CPUtime=1.01 cores=0,2,4,6
/proc/3825/task/3853/stat : 3853 (java) S 3822 3825 2046 0 -1 1077944384 9967 0 0 0 99 2 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005788826096 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3855] ppid=3822 vsize=14090952 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3855/stat : 3855 (java) S 3822 3825 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005787773792 140006320232149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
[pid=3825/tid=3856] ppid=3822 vsize=14090952 memory=751060 CPUtime=1.31 cores=0,2,4,6
/proc/3825/task/3856/stat : 3856 (java) S 3822 3825 2046 0 -1 1077944384 631 0 0 0 63 68 0 0 20 0 15 0 44939609 14429134848 187765 33554432000 4194304 4196468 140731434727168 140005786720816 140006320233090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24510464 140731434730570 140731434730761 140731434730761 140731434733519 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 751060 KiB

Child status: 143
Real time (s): 2365.93
CPU time (s): 2400.07
CPU user time (s): 2396.49
CPU system time (s): 3.5739
CPU usage (%): 101.443
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 751060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.49
system time used= 3.5739
maximum resident set size= 751776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111994
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 295150
involuntary context switches= 6487


# summary of solver processes directly reported to runsolver:
#   pid: 3825
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2396.49
#   total CPU system time (s): 3.5739

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5339 second user time and 22.2249 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-11-opt_c18.xml
MD5SUM	7994f0224337b533c2c19d764e718377
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	22
Best CPU time to get the best result obtained on this benchmark	2519.96
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	4103
Number of domains	5
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree	2
Maximum variable degree	63
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":4,"count":26},{"degree":5,"count":13},{"degree":6,"count":86},{"degree":7,"count":20},{"degree":8,"count":89},{"degree":9,"count":12},{"degree":10,"count":87},{"degree":11,"count":28},{"degree":12,"count":42},{"degree":13,"count":25},{"degree":14,"count":40},{"degree":15,"count":14},{"degree":16,"count":40},{"degree":17,"count":8},{"degree":18,"count":29},{"degree":19,"count":6},{"degree":20,"count":18},{"degree":21,"count":13},{"degree":22,"count":11},{"degree":23,"count":7},{"degree":24,"count":7},{"degree":25,"count":8},{"degree":26,"count":8},{"degree":28,"count":9},{"degree":29,"count":8},{"degree":30,"count":2},{"degree":31,"count":6},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":4103}]
Number of extensional constraints	0
Number of intensional constraints	4103
Distribution of constraint types	[{"type":"intension","count":4103}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4291874

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
