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-08-17	OPT	792	19.5129	14.792
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 (13088 MiB free)
  memory of node 1: 16384 MiB (10971 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312027-1534546202/watcher-4312027-1534546202 -o /tmp/evaluation-result-4312027-1534546202/solver-4312027-1534546202 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534541040-3481 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 833284902 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312027-1534546202.xml 

running on 4 cores: 1,3,5,7

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

solver pid=4612, runsolver pid=4609

[startup+0.110158 s]*
/proc/loadavg: 1.81 1.93 1.77 3/219 4627
/proc/meminfo: memFree=24618668/32770624 swapFree=67108840/67108860
[pid=4612] ppid=4609 vsize=14082736 memory=33060 CPUtime=0.12 cores=1,3,5,7
/proc/4612/stat : 4612 (java) S 4609 4612 3449 0 -1 1077944320 7177 0 0 0 11 1 0 0 20 0 15 0 272183412 14420721664 8265 33554432000 4194304 4196468 140731422796064 140731422778608 140695954587383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
/proc/4612/statm: 3520684 8265 3165 1 0 3482761 0
[pid=4612/tid=4614] ppid=4609 vsize=14082736 memory=-8968745445142394048 CPUtime=0.1 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (java) R 4609 4612 3449 0 -1 4202560 5444 0 0 0 9 1 0 0 20 0 15 0 272183412 14420721664 8529 33554432000 4194304 4196468 140731422796064 140695958800216 140695934863132 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4615] ppid=4609 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (java) S 4609 4612 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272183413 14420721664 8529 33554432000 4194304 4196468 140731422796064 140695884675728 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4616] ppid=4609 vsize=14082736 memory=139868391413376 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4616/stat : 4616 (java) S 4609 4612 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272183413 14420721664 8529 33554432000 4194304 4196468 140731422796064 140695883622928 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4617] ppid=4609 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4617/stat : 4617 (java) S 4609 4612 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272183413 14420721664 8529 33554432000 4194304 4196468 140731422796064 140695882570128 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4618] ppid=4609 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4618/stat : 4618 (java) S 4609 4612 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272183413 14420721664 8529 33554432000 4194304 4196468 140731422796064 140695547066640 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4619] ppid=4609 vsize=14082736 memory=139868391413376 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4619/stat : 4619 (java) S 4609 4612 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272183414 14420721664 8529 33554432000 4194304 4196468 140731422796064 140695429233520 140695954598530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4620] ppid=4609 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4620/stat : 4620 (java) S 4609 4612 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272183415 14420721664 8529 33554432000 4194304 4196468 140731422796064 140695428179488 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4621] ppid=4609 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4621/stat : 4621 (java) S 4609 4612 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272183415 14420721664 8529 33554432000 4194304 4196468 140731422796064 140695427126640 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4622] ppid=4609 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4622/stat : 4622 (java) S 4609 4612 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272183417 14420721664 8529 33554432000 4194304 4196468 140731422796064 140695426074960 140695954605979 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4623] ppid=4609 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4623/stat : 4623 (java) S 4609 4612 3449 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 272183417 14420721664 8529 33554432000 4194304 4196468 140731422796064 140695425022320 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4624] ppid=4609 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4624/stat : 4624 (java) R 4609 4612 3449 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 272183417 14420721664 8529 33554432000 4194304 4196468 140731422796064 140695423969520 140695954598530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4625] ppid=4609 vsize=14082736 memory=139868391413376 CPUtime=0.01 cores=1,3,5,7
/proc/4612/task/4625/stat : 4625 (java) S 4609 4612 3449 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 272183417 14420721664 8529 33554432000 4194304 4196468 140731422796064 140695422916720 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4626] ppid=4609 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4626/stat : 4626 (java) S 4609 4612 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272183418 14420721664 8529 33554432000 4194304 4196468 140731422796064 140695421864160 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4627] ppid=4609 vsize=14082736 memory=139868391413376 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4627/stat : 4627 (java) S 4609 4612 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272183418 14420721664 8529 33554432000 4194304 4196468 140731422796064 140695420812464 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33060 KiB

[startup+0.210592 s]*
/proc/loadavg: 1.74 1.91 1.77 4/219 4627
/proc/meminfo: memFree=24603412/32770624 swapFree=67108840/67108860
[pid=4612] ppid=4609 vsize=14082736 memory=47288 CPUtime=0.29 cores=1,3,5,7
/proc/4612/stat : 4612 (java) S 4609 4612 3449 0 -1 1077944320 10404 0 0 0 27 2 0 0 20 0 15 0 272183412 14420721664 11822 33554432000 4194304 4196468 140731422796064 140731422778608 140695954587383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
/proc/4612/statm: 3520684 11822 3371 1 0 3482761 0
[pid=4612/tid=4614] ppid=4609 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (java) R 4609 4612 3449 0 -1 4202560 8149 0 0 0 18 2 0 0 20 0 15 0 272183412 14420721664 11822 33554432000 4194304 4196468 140731422796064 140695958818256 140695940718944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4615] ppid=4609 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (java) S 4609 4612 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272183413 14420721664 11822 33554432000 4194304 4196468 140731422796064 140695884675728 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4616] ppid=4609 vsize=14082736 memory=139868391420084 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4616/stat : 4616 (java) S 4609 4612 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272183413 14420721664 11822 33554432000 4194304 4196468 140731422796064 140695883622928 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4617] ppid=4609 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4617/stat : 4617 (java) S 4609 4612 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272183413 14420721664 11822 33554432000 4194304 4196468 140731422796064 140695882570128 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4618] ppid=4609 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4618/stat : 4618 (java) S 4609 4612 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272183413 14420721664 11822 33554432000 4194304 4196468 140731422796064 140695547066640 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4619] ppid=4609 vsize=14082736 memory=139868391413376 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4619/stat : 4619 (java) S 4609 4612 3449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272183414 14420721664 11822 33554432000 4194304 4196468 140731422796064 140695429233520 140695954598530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4620] ppid=4609 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4620/stat : 4620 (java) S 4609 4612 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272183415 14420721664 11822 33554432000 4194304 4196468 140731422796064 140695428179488 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4621] ppid=4609 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4621/stat : 4621 (java) S 4609 4612 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272183415 14420721664 11822 33554432000 4194304 4196468 140731422796064 140695427126640 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4622] ppid=4609 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4622/stat : 4622 (java) S 4609 4612 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272183417 14420721664 11822 33554432000 4194304 4196468 140731422796064 140695426074960 140695954605979 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4623] ppid=4609 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4612/task/4623/stat : 4623 (java) R 4609 4612 3449 0 -1 4202560 391 0 0 0 1 0 0 0 20 0 15 0 272183417 14420721664 11822 33554432000 4194304 4196468 140731422796064 140695425022320 140695932526368 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4624] ppid=4609 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4612/task/4624/stat : 4624 (java) R 4609 4612 3449 0 -1 1077944384 204 0 0 0 1 0 0 0 20 0 15 0 272183417 14420721664 11822 33554432000 4194304 4196468 140731422796064 140695423969520 140695954598530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4625] ppid=4609 vsize=14082736 memory=139868391413376 CPUtime=0.05 cores=1,3,5,7
/proc/4612/task/4625/stat : 4625 (java) R 4609 4612 3449 0 -1 4202560 292 0 0 0 5 0 0 0 20 0 15 0 272183417 14420721664 11822 33554432000 4194304 4196468 140731422796064 140695422916720 140695946824510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4626] ppid=4609 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4626/stat : 4626 (java) S 4609 4612 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272183418 14420721664 11822 33554432000 4194304 4196468 140731422796064 140695421864160 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4627] ppid=4609 vsize=14082736 memory=139868391413376 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4627/stat : 4627 (java) S 4609 4612 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272183418 14420721664 11822 33554432000 4194304 4196468 140731422796064 140695420812464 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47288 KiB

[startup+0.310906 s]*
/proc/loadavg: 1.74 1.91 1.77 3/219 4627
/proc/meminfo: memFree=24600248/32770624 swapFree=67108840/67108860
[pid=4612] ppid=4609 vsize=14082736 memory=50680 CPUtime=0.44 cores=1,3,5,7
/proc/4612/stat : 4612 (java) S 4609 4612 3449 0 -1 1077944320 10791 0 0 0 41 3 0 0 20 0 15 0 272183412 14420721664 12670 33554432000 4194304 4196468 140731422796064 140731422778608 140695954587383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
/proc/4612/statm: 3520684 12670 3409 1 0 3482761 0
[pid=4612/tid=4614] ppid=4609 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (java) R 4609 4612 3449 0 -1 4202560 8484 0 0 0 28 2 0 0 20 0 15 0 272183412 14420721664 12670 33554432000 4194304 4196468 140731422796064 140695958796736 140695946828773 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4615] ppid=4609 vsize=14082736 memory=290763888105095191 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (java) S 4609 4612 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272183413 14420721664 12670 33554432000 4194304 4196468 140731422796064 140695884675728 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4616] ppid=4609 vsize=14082736 memory=13712468430624408 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4616/stat : 4616 (java) S 4609 4612 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272183413 14420721664 12670 33554432000 4194304 4196468 140731422796064 140695883622928 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4617] ppid=4609 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4617/stat : 4617 (java) S 4609 4612 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272183413 14420721664 12670 33554432000 4194304 4196468 140731422796064 140695882570128 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4618] ppid=4609 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4618/stat : 4618 (java) S 4609 4612 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272183413 14420721664 12670 33554432000 4194304 4196468 140731422796064 140695547066640 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4619] ppid=4609 vsize=14082736 memory=139868391413376 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4619/stat : 4619 (java) S 4609 4612 3449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272183414 14420721664 12670 33554432000 4194304 4196468 140731422796064 140695429233520 140695954598530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4620] ppid=4609 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4620/stat : 4620 (java) S 4609 4612 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272183415 14420721664 12670 33554432000 4194304 4196468 140731422796064 140695428179488 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4621] ppid=4609 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4621/stat : 4621 (java) S 4609 4612 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272183415 14420721664 12670 33554432000 4194304 4196468 140731422796064 140695427126640 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4622] ppid=4609 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4622/stat : 4622 (java) S 4609 4612 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272183417 14420721664 12670 33554432000 4194304 4196468 140731422796064 140695426074960 140695954605979 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4623] ppid=4609 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4612/task/4623/stat : 4623 (java) S 4609 4612 3449 0 -1 1077944384 416 0 0 0 2 0 0 0 20 0 15 0 272183417 14420721664 12670 33554432000 4194304 4196468 140731422796064 140695425022320 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4624] ppid=4609 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4612/task/4624/stat : 4624 (java) S 4609 4612 3449 0 -1 1077944384 206 0 0 0 2 0 0 0 20 0 15 0 272183417 14420721664 12670 33554432000 4194304 4196468 140731422796064 140695423969520 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4625] ppid=4609 vsize=14082736 memory=139868391413376 CPUtime=0.08 cores=1,3,5,7
/proc/4612/task/4625/stat : 4625 (java) S 4609 4612 3449 0 -1 1077944384 303 0 0 0 8 0 0 0 20 0 15 0 272183417 14420721664 12670 33554432000 4194304 4196468 140731422796064 140695422916720 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4626] ppid=4609 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4626/stat : 4626 (java) S 4609 4612 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272183418 14420721664 12670 33554432000 4194304 4196468 140731422796064 140695421864160 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4627] ppid=4609 vsize=14082736 memory=139868391413376 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4627/stat : 4627 (java) S 4609 4612 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272183418 14420721664 12721 33554432000 4194304 4196468 140731422796064 140695420812464 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50680 KiB

[startup+0.700748 s]
/proc/loadavg: 1.74 1.91 1.77 3/219 4627
/proc/meminfo: memFree=24576560/32770624 swapFree=67108840/67108860
[pid=4612] ppid=4609 vsize=14084804 memory=88728 CPUtime=0.99 cores=1,3,5,7
/proc/4612/stat : 4612 (java) S 4609 4612 3449 0 -1 1077944320 17575 0 0 0 93 6 0 0 20 0 15 0 272183412 14422839296 22182 33554432000 4194304 4196468 140731422796064 140731422778608 140695954587383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
/proc/4612/statm: 3521201 22182 3499 1 0 3483273 0
[pid=4612/tid=4614] ppid=4609 vsize=14084804 memory=1784 CPUtime=0.66 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (java) R 4609 4612 3449 0 -1 4202560 14882 0 0 0 62 4 0 0 20 0 15 0 272183412 14422839296 22182 33554432000 4194304 4196468 140731422796064 140695958810576 140695938631013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4615] ppid=4609 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (java) S 4609 4612 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272183413 14422839296 22182 33554432000 4194304 4196468 140731422796064 140695884675728 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4616] ppid=4609 vsize=14084804 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4616/stat : 4616 (java) S 4609 4612 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272183413 14422839296 22182 33554432000 4194304 4196468 140731422796064 140695883622928 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4617] ppid=4609 vsize=14084804 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4617/stat : 4617 (java) S 4609 4612 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272183413 14422839296 22182 33554432000 4194304 4196468 140731422796064 140695882570128 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4618] ppid=4609 vsize=14084804 memory=5728 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4618/stat : 4618 (java) S 4609 4612 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272183413 14422839296 22182 33554432000 4194304 4196468 140731422796064 140695547066640 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4619] ppid=4609 vsize=14084804 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4619/stat : 4619 (java) S 4609 4612 3449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272183414 14422839296 22182 33554432000 4194304 4196468 140731422796064 140695429233520 140695954598530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4620] ppid=4609 vsize=14084804 memory=1092 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4620/stat : 4620 (java) S 4609 4612 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272183415 14422839296 22182 33554432000 4194304 4196468 140731422796064 140695428179488 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4621] ppid=4609 vsize=14084804 memory=836 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4621/stat : 4621 (java) S 4609 4612 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272183415 14422839296 22182 33554432000 4194304 4196468 140731422796064 140695427126640 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4622] ppid=4609 vsize=14084804 memory=10692 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4622/stat : 4622 (java) S 4609 4612 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272183417 14422839296 22182 33554432000 4194304 4196468 140731422796064 140695426074960 140695954605979 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4623] ppid=4609 vsize=14084804 memory=7450174591119418944 CPUtime=0.09 cores=1,3,5,7
/proc/4612/task/4623/stat : 4623 (java) S 4609 4612 3449 0 -1 1077944384 565 0 0 0 9 0 0 0 20 0 15 0 272183417 14422839296 22182 33554432000 4194304 4196468 140731422796064 140695425022320 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4624] ppid=4609 vsize=14084804 memory=6442510787546475095 CPUtime=0.06 cores=1,3,5,7
/proc/4612/task/4624/stat : 4624 (java) S 4609 4612 3449 0 -1 1077944384 361 0 0 0 6 0 0 0 20 0 15 0 272183417 14422839296 22182 33554432000 4194304 4196468 140731422796064 140695423969520 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4625] ppid=4609 vsize=14084804 memory=7301858164987948385 CPUtime=0.15 cores=1,3,5,7
/proc/4612/task/4625/stat : 4625 (java) S 4609 4612 3449 0 -1 1077944384 384 0 0 0 15 0 0 0 20 0 15 0 272183417 14422839296 22182 33554432000 4194304 4196468 140731422796064 140695422916720 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4626] ppid=4609 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4626/stat : 4626 (java) S 4609 4612 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272183418 14422839296 22182 33554432000 4194304 4196468 140731422796064 140695421864160 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4627] ppid=4609 vsize=14084804 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4627/stat : 4627 (java) S 4609 4612 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272183418 14422839296 22182 33554432000 4194304 4196468 140731422796064 140695420812464 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88728 KiB

[startup+1.50081 s]
/proc/loadavg: 1.74 1.91 1.77 6/219 4627
/proc/meminfo: memFree=24540072/32770624 swapFree=67108840/67108860
[pid=4612] ppid=4609 vsize=14086852 memory=190852 CPUtime=3.05 cores=1,3,5,7
/proc/4612/stat : 4612 (java) S 4609 4612 3449 0 -1 1077944320 24279 0 0 0 296 9 0 0 20 0 15 0 272183412 14424936448 47713 33554432000 4194304 4196468 140731422796064 140731422778608 140695954587383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
/proc/4612/statm: 3521713 47713 3545 1 0 3483785 0
[pid=4612/tid=4614] ppid=4609 vsize=14086852 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (java) R 4609 4612 3449 0 -1 4202560 17163 0 0 0 126 7 0 0 20 0 15 0 272183412 14424936448 47713 33554432000 4194304 4196468 140731422796064 140695958820960 140695567491342 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4615] ppid=4609 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (java) S 4609 4612 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272183413 14424936448 47713 33554432000 4194304 4196468 140731422796064 140695884675728 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4616] ppid=4609 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4616/stat : 4616 (java) S 4609 4612 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272183413 14424936448 47713 33554432000 4194304 4196468 140731422796064 140695883622928 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4617] ppid=4609 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4617/stat : 4617 (java) S 4609 4612 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272183413 14424936448 47713 33554432000 4194304 4196468 140731422796064 140695882570128 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4618] ppid=4609 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4618/stat : 4618 (java) S 4609 4612 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272183413 14424936448 47713 33554432000 4194304 4196468 140731422796064 140695547066640 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4619] ppid=4609 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4619/stat : 4619 (java) S 4609 4612 3449 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 272183414 14424936448 47713 33554432000 4194304 4196468 140731422796064 140695429233520 140695954598530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0

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

[startup+14.792 s]
# the end of solver process 4612 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19.3258 s, system=0.187072 s

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

[startup+12.9007 s]
/proc/loadavg: 1.78 1.91 1.77 3/219 4627
/proc/meminfo: memFree=24390364/32770624 swapFree=67108840/67108860
[pid=4612] ppid=4609 vsize=14090948 memory=271892 CPUtime=17.37 cores=1,3,5,7
/proc/4612/stat : 4612 (java) S 4609 4612 3449 0 -1 1077944320 43814 0 0 0 1720 17 0 0 20 0 15 0 272183412 14429130752 67973 33554432000 4194304 4196468 140731422796064 140731422778608 140695954587383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
/proc/4612/statm: 3522737 67973 3590 1 0 3484809 0
[pid=4612/tid=4614] ppid=4609 vsize=14090948 memory=6492 CPUtime=12.62 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (java) R 4609 4612 3449 0 -1 4202560 22105 0 0 0 1254 8 0 0 20 0 15 0 272183412 14429130752 67973 33554432000 4194304 4196468 140731422796064 140695958823096 140695571162949 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4615] ppid=4609 vsize=14090948 memory=1100 CPUtime=0.05 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (java) S 4609 4612 3449 0 -1 1077944384 163 0 0 0 4 1 0 0 20 0 15 0 272183413 14429130752 67973 33554432000 4194304 4196468 140731422796064 140695884675728 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4616] ppid=4609 vsize=14090948 memory=2356 CPUtime=0.06 cores=1,3,5,7
/proc/4612/task/4616/stat : 4616 (java) S 4609 4612 3449 0 -1 1077944384 267 0 0 0 5 1 0 0 20 0 15 0 272183413 14429130752 67973 33554432000 4194304 4196468 140731422796064 140695883622928 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4617] ppid=4609 vsize=14090948 memory=1784 CPUtime=0.06 cores=1,3,5,7
/proc/4612/task/4617/stat : 4617 (java) S 4609 4612 3449 0 -1 1077944384 655 0 0 0 5 1 0 0 20 0 15 0 272183413 14429130752 67973 33554432000 4194304 4196468 140731422796064 140695882570128 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4618] ppid=4609 vsize=14090948 memory=255648 CPUtime=0.06 cores=1,3,5,7
/proc/4612/task/4618/stat : 4618 (java) S 4609 4612 3449 0 -1 1077944384 1434 0 0 0 5 1 0 0 20 0 15 0 272183413 14429130752 67973 33554432000 4194304 4196468 140731422796064 140695547066640 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4619] ppid=4609 vsize=14090948 memory=1620 CPUtime=0.02 cores=1,3,5,7
/proc/4612/task/4619/stat : 4619 (java) S 4609 4612 3449 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 15 0 272183414 14429130752 67973 33554432000 4194304 4196468 140731422796064 140695429233520 140695954598530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4620] ppid=4609 vsize=14090948 memory=6880 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4620/stat : 4620 (java) S 4609 4612 3449 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 272183415 14429130752 67973 33554432000 4194304 4196468 140731422796064 140695428179552 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4621] ppid=4609 vsize=14090948 memory=4548 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4621/stat : 4621 (java) S 4609 4612 3449 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 272183415 14429130752 67973 33554432000 4194304 4196468 140731422796064 140695427126656 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4622] ppid=4609 vsize=14090948 memory=15188 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4622/stat : 4622 (java) S 4609 4612 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272183417 14429130752 67973 33554432000 4194304 4196468 140731422796064 140695426074960 140695954605979 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4623] ppid=4609 vsize=14090948 memory=4008 CPUtime=1.8 cores=1,3,5,7
/proc/4612/task/4623/stat : 4623 (java) S 4609 4612 3449 0 -1 1077944384 5752 0 0 0 180 0 0 0 20 0 15 0 272183417 14429130752 67973 33554432000 4194304 4196468 140731422796064 140695425022320 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4624] ppid=4609 vsize=14090948 memory=4328 CPUtime=1.79 cores=1,3,5,7
/proc/4612/task/4624/stat : 4624 (java) S 4609 4612 3449 0 -1 1077944384 5872 0 0 0 178 1 0 0 20 0 15 0 272183417 14429130752 67973 33554432000 4194304 4196468 140731422796064 140695423969520 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4625] ppid=4609 vsize=14090948 memory=16320 CPUtime=0.83 cores=1,3,5,7
/proc/4612/task/4625/stat : 4625 (java) S 4609 4612 3449 0 -1 1077944384 5382 0 0 0 82 1 0 0 20 0 15 0 272183417 14429130752 67973 33554432000 4194304 4196468 140731422796064 140695422916720 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4626] ppid=4609 vsize=14090948 memory=269984 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4626/stat : 4626 (java) S 4609 4612 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272183418 14429130752 67973 33554432000 4194304 4196468 140731422796064 140695421864160 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4627] ppid=4609 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4627/stat : 4627 (java) S 4609 4612 3449 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 272183418 14429130752 67973 33554432000 4194304 4196468 140731422796064 140695420812464 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
Current children cumulated CPU time: 17.37 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 271892 KiB

[startup+13.7007 s]
/proc/loadavg: 1.78 1.91 1.77 3/219 4627
/proc/meminfo: memFree=24388668/32770624 swapFree=67108840/67108860
[pid=4612] ppid=4609 vsize=14090948 memory=269328 CPUtime=18.18 cores=1,3,5,7
/proc/4612/stat : 4612 (java) S 4609 4612 3449 0 -1 1077944320 43863 0 0 0 1801 17 0 0 20 0 15 0 272183412 14429130752 67332 33554432000 4194304 4196468 140731422796064 140731422778608 140695954587383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
/proc/4612/statm: 3522737 67332 3590 1 0 3484809 0
[pid=4612/tid=4614] ppid=4609 vsize=14090948 memory=4629771062077588875 CPUtime=13.42 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (java) R 4609 4612 3449 0 -1 4202560 22141 0 0 0 1334 8 0 0 20 0 15 0 272183412 14429130752 67332 33554432000 4194304 4196468 140731422796064 140695958825296 140695572259670 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4615] ppid=4609 vsize=14090948 memory=6655300316396806240 CPUtime=0.05 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (java) S 4609 4612 3449 0 -1 1077944384 175 0 0 0 4 1 0 0 20 0 15 0 272183413 14429130752 67332 33554432000 4194304 4196468 140731422796064 140695884675728 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4616] ppid=4609 vsize=14090948 memory=8112282956445269571 CPUtime=0.06 cores=1,3,5,7
/proc/4612/task/4616/stat : 4616 (java) S 4609 4612 3449 0 -1 1077944384 267 0 0 0 5 1 0 0 20 0 15 0 272183413 14429130752 67332 33554432000 4194304 4196468 140731422796064 140695883622928 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4617] ppid=4609 vsize=14090948 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4612/task/4617/stat : 4617 (java) S 4609 4612 3449 0 -1 1077944384 655 0 0 0 5 1 0 0 20 0 15 0 272183413 14429130752 67332 33554432000 4194304 4196468 140731422796064 140695882570128 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4618] ppid=4609 vsize=14090948 memory=7169338633794804192 CPUtime=0.06 cores=1,3,5,7
/proc/4612/task/4618/stat : 4618 (java) S 4609 4612 3449 0 -1 1077944384 1434 0 0 0 5 1 0 0 20 0 15 0 272183413 14429130752 67332 33554432000 4194304 4196468 140731422796064 140695547066640 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4619] ppid=4609 vsize=14090948 memory=-3040564339240289162 CPUtime=0.02 cores=1,3,5,7
/proc/4612/task/4619/stat : 4619 (java) S 4609 4612 3449 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 15 0 272183414 14429130752 67332 33554432000 4194304 4196468 140731422796064 140695429233520 140695954598530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4620] ppid=4609 vsize=14090948 memory=660 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4620/stat : 4620 (java) S 4609 4612 3449 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 272183415 14429130752 67332 33554432000 4194304 4196468 140731422796064 140695428179552 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4621] ppid=4609 vsize=14090948 memory=2356 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4621/stat : 4621 (java) S 4609 4612 3449 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 272183415 14429130752 67332 33554432000 4194304 4196468 140731422796064 140695427126656 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4622] ppid=4609 vsize=14090948 memory=1784 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4622/stat : 4622 (java) S 4609 4612 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272183417 14429130752 67332 33554432000 4194304 4196468 140731422796064 140695426074960 140695954605979 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4623] ppid=4609 vsize=14090948 memory=752 CPUtime=1.8 cores=1,3,5,7
/proc/4612/task/4623/stat : 4623 (java) S 4609 4612 3449 0 -1 1077944384 5752 0 0 0 180 0 0 0 20 0 15 0 272183417 14429130752 67332 33554432000 4194304 4196468 140731422796064 140695425022320 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4624] ppid=4609 vsize=14090948 memory=1224 CPUtime=1.79 cores=1,3,5,7
/proc/4612/task/4624/stat : 4624 (java) S 4609 4612 3449 0 -1 1077944384 5872 0 0 0 178 1 0 0 20 0 15 0 272183417 14429130752 67332 33554432000 4194304 4196468 140731422796064 140695423969520 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4625] ppid=4609 vsize=14090948 memory=1828 CPUtime=0.83 cores=1,3,5,7
/proc/4612/task/4625/stat : 4625 (java) S 4609 4612 3449 0 -1 1077944384 5382 0 0 0 82 1 0 0 20 0 15 0 272183417 14429130752 67332 33554432000 4194304 4196468 140731422796064 140695422916720 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4626] ppid=4609 vsize=14090948 memory=5728 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4626/stat : 4626 (java) S 4609 4612 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272183418 14429130752 67332 33554432000 4194304 4196468 140731422796064 140695421864160 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4627] ppid=4609 vsize=14090948 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4627/stat : 4627 (java) S 4609 4612 3449 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 272183418 14429130752 67332 33554432000 4194304 4196468 140731422796064 140695420812464 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
Current children cumulated CPU time: 18.18 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 269328 KiB

[startup+14.5007 s]
/proc/loadavg: 1.78 1.91 1.77 4/219 4627
/proc/meminfo: memFree=24395008/32770624 swapFree=67108840/67108860
[pid=4612] ppid=4609 vsize=14090948 memory=272088 CPUtime=19.2 cores=1,3,5,7
/proc/4612/stat : 4612 (java) S 4609 4612 3449 0 -1 1077944320 45524 0 0 0 1903 17 0 0 20 0 15 0 272183412 14429130752 68022 33554432000 4194304 4196468 140731422796064 140731422778608 140695954587383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
/proc/4612/statm: 3522737 68022 3590 1 0 3484809 0
[pid=4612/tid=4614] ppid=4609 vsize=14090948 memory=8112282956445269571 CPUtime=14.23 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (java) R 4609 4612 3449 0 -1 4202560 22518 0 0 0 1414 9 0 0 20 0 15 0 272183412 14429130752 68022 33554432000 4194304 4196468 140731422796064 140695958825032 140695571061998 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4615] ppid=4609 vsize=14090948 memory=-8033973737701895300 CPUtime=0.05 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (java) S 4609 4612 3449 0 -1 1077944384 175 0 0 0 4 1 0 0 20 0 15 0 272183413 14429130752 68022 33554432000 4194304 4196468 140731422796064 140695884675728 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4616] ppid=4609 vsize=14090948 memory=-5942888427914360000 CPUtime=0.06 cores=1,3,5,7
/proc/4612/task/4616/stat : 4616 (java) S 4609 4612 3449 0 -1 1077944384 267 0 0 0 5 1 0 0 20 0 15 0 272183413 14429130752 68022 33554432000 4194304 4196468 140731422796064 140695883622928 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4617] ppid=4609 vsize=14090948 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4612/task/4617/stat : 4617 (java) S 4609 4612 3449 0 -1 1077944384 655 0 0 0 5 1 0 0 20 0 15 0 272183413 14429130752 68022 33554432000 4194304 4196468 140731422796064 140695882570128 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4618] ppid=4609 vsize=14090948 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4612/task/4618/stat : 4618 (java) S 4609 4612 3449 0 -1 1077944384 1434 0 0 0 5 1 0 0 20 0 15 0 272183413 14429130752 68022 33554432000 4194304 4196468 140731422796064 140695547066640 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4619] ppid=4609 vsize=14090948 memory=269328 CPUtime=0.02 cores=1,3,5,7
/proc/4612/task/4619/stat : 4619 (java) S 4609 4612 3449 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 15 0 272183414 14429130752 68022 33554432000 4194304 4196468 140731422796064 140695429233520 140695954598530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4620] ppid=4609 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4620/stat : 4620 (java) S 4609 4612 3449 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 272183415 14429130752 68022 33554432000 4194304 4196468 140731422796064 140695428179552 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4621] ppid=4609 vsize=14090948 memory=180 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4621/stat : 4621 (java) S 4609 4612 3449 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 272183415 14429130752 68022 33554432000 4194304 4196468 140731422796064 140695427126656 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4622] ppid=4609 vsize=14090948 memory=179 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4622/stat : 4622 (java) S 4609 4612 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272183417 14429130752 68022 33554432000 4194304 4196468 140731422796064 140695426074960 140695954605979 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4623] ppid=4609 vsize=14090948 memory=83 CPUtime=1.91 cores=1,3,5,7
/proc/4612/task/4623/stat : 4623 (java) S 4609 4612 3449 0 -1 1077944384 6305 0 0 0 191 0 0 0 20 0 15 0 272183417 14429130752 68022 33554432000 4194304 4196468 140731422796064 140695425022320 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4624] ppid=4609 vsize=14090948 memory=0 CPUtime=1.9 cores=1,3,5,7
/proc/4612/task/4624/stat : 4624 (java) S 4609 4612 3449 0 -1 1077944384 6532 0 0 0 189 1 0 0 20 0 15 0 272183417 14429130752 68022 33554432000 4194304 4196468 140731422796064 140695423969520 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4625] ppid=4609 vsize=14090948 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/4612/task/4625/stat : 4625 (java) S 4609 4612 3449 0 -1 1077944384 5453 0 0 0 83 1 0 0 20 0 15 0 272183417 14429130752 68022 33554432000 4194304 4196468 140731422796064 140695422916720 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4626] ppid=4609 vsize=14090948 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4626/stat : 4626 (java) S 4609 4612 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272183418 14429130752 68022 33554432000 4194304 4196468 140731422796064 140695421864160 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4627] ppid=4609 vsize=14090948 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4627/stat : 4627 (java) S 4609 4612 3449 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 272183418 14429130752 68022 33554432000 4194304 4196468 140731422796064 140695420812464 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
Current children cumulated CPU time: 19.2 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 272088 KiB

[startup+14.7007 s]
/proc/loadavg: 1.78 1.91 1.77 4/219 4627
/proc/meminfo: memFree=24395008/32770624 swapFree=67108840/67108860
[pid=4612] ppid=4609 vsize=14090948 memory=270240 CPUtime=19.41 cores=1,3,5,7
/proc/4612/stat : 4612 (java) S 4609 4612 3449 0 -1 1077944320 46725 0 0 0 1924 17 0 0 20 0 15 0 272183412 14429130752 67560 33554432000 4194304 4196468 140731422796064 140731422778608 140695954587383 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
/proc/4612/statm: 3522737 67560 3590 1 0 3484809 0
[pid=4612/tid=4614] ppid=4609 vsize=14090948 memory=5728 CPUtime=14.43 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (java) R 4609 4612 3449 0 -1 4202560 22790 0 0 0 1434 9 0 0 20 0 15 0 272183412 14429130752 67560 33554432000 4194304 4196468 140731422796064 140695958825392 140695571607322 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4615] ppid=4609 vsize=14090948 memory=1408 CPUtime=0.06 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (java) S 4609 4612 3449 0 -1 1077944384 229 0 0 0 5 1 0 0 20 0 15 0 272183413 14429130752 67560 33554432000 4194304 4196468 140731422796064 140695884675728 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4616] ppid=4609 vsize=14090948 memory=1092 CPUtime=0.06 cores=1,3,5,7
/proc/4612/task/4616/stat : 4616 (java) S 4609 4612 3449 0 -1 1077944384 761 0 0 0 5 1 0 0 20 0 15 0 272183413 14429130752 67560 33554432000 4194304 4196468 140731422796064 140695883622928 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4617] ppid=4609 vsize=14090948 memory=836 CPUtime=0.06 cores=1,3,5,7
/proc/4612/task/4617/stat : 4617 (java) S 4609 4612 3449 0 -1 1077944384 770 0 0 0 5 1 0 0 20 0 15 0 272183413 14429130752 67560 33554432000 4194304 4196468 140731422796064 140695882570128 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4618] ppid=4609 vsize=14090948 memory=10692 CPUtime=0.06 cores=1,3,5,7
/proc/4612/task/4618/stat : 4618 (java) S 4609 4612 3449 0 -1 1077944384 1455 0 0 0 5 1 0 0 20 0 15 0 272183413 14429130752 67560 33554432000 4194304 4196468 140731422796064 140695547066640 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4619] ppid=4609 vsize=14090948 memory=1620 CPUtime=0.02 cores=1,3,5,7
/proc/4612/task/4619/stat : 4619 (java) S 4609 4612 3449 0 -1 1077944384 692 0 0 0 2 0 0 0 20 0 15 0 272183414 14429130752 67560 33554432000 4194304 4196468 140731422796064 140695429233520 140695954598530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4620] ppid=4609 vsize=14090948 memory=6880 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4620/stat : 4620 (java) S 4609 4612 3449 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 272183415 14429130752 67560 33554432000 4194304 4196468 140731422796064 140695428179552 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4621] ppid=4609 vsize=14090948 memory=6 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4621/stat : 4621 (java) S 4609 4612 3449 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 272183415 14429130752 67560 33554432000 4194304 4196468 140731422796064 140695427126656 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4622] ppid=4609 vsize=14090948 memory=2 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4622/stat : 4622 (java) S 4609 4612 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272183417 14429130752 67560 33554432000 4194304 4196468 140731422796064 140695426074960 140695954605979 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4623] ppid=4609 vsize=14090948 memory=0 CPUtime=1.91 cores=1,3,5,7
/proc/4612/task/4623/stat : 4623 (java) S 4609 4612 3449 0 -1 1077944384 6305 0 0 0 191 0 0 0 20 0 15 0 272183417 14429130752 67560 33554432000 4194304 4196468 140731422796064 140695425022320 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4624] ppid=4609 vsize=14090948 memory=0 CPUtime=1.9 cores=1,3,5,7
/proc/4612/task/4624/stat : 4624 (java) S 4609 4612 3449 0 -1 1077944384 6532 0 0 0 189 1 0 0 20 0 15 0 272183417 14429130752 67560 33554432000 4194304 4196468 140731422796064 140695423969520 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4625] ppid=4609 vsize=14090948 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/4612/task/4625/stat : 4625 (java) S 4609 4612 3449 0 -1 1077944384 5453 0 0 0 83 1 0 0 20 0 15 0 272183417 14429130752 67560 33554432000 4194304 4196468 140731422796064 140695422916720 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4626] ppid=4609 vsize=14090948 memory=180 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4626/stat : 4626 (java) S 4609 4612 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272183418 14429130752 67560 33554432000 4194304 4196468 140731422796064 140695421864160 140695954597589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
[pid=4612/tid=4627] ppid=4609 vsize=14090948 memory=179 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4627/stat : 4627 (java) S 4609 4612 3449 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 15 0 272183418 14429130752 67560 33554432000 4194304 4196468 140731422796064 140695420812464 140695954598530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140731422798921 140731422799113 140731422799113 140731422801871 0
Current children cumulated CPU time: 19.41 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 270240 KiB

Child status: 0
Real time (s): 14.792
CPU time (s): 19.5129
CPU user time (s): 19.3258
CPU system time (s): 0.187072
CPU usage (%): 131.915
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 272088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.3258
system time used= 0.187072
maximum resident set size= 272724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47575
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3180
involuntary context switches= 48


# summary of solver processes directly reported to runsolver:
#   pid: 4612
#   total CPU time (s): 19.5129
#   total CPU user time (s): 19.3258
#   total CPU system time (s): 0.187072

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.110522 second user time and 0.183902 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-05-opt_c18.xml
MD5SUM	d1449c913cc5aeed08f9a5dcd27a0601
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	792
Best CPU time to get the best result obtained on this benchmark	1.44759
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2598
Number of domains	4
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":36,"count":192},{"size":44,"count":196}]
Minimum variable degree	2
Maximum variable degree	60
Distribution of variable degrees	[{"degree":2,"count":4},{"degree":3,"count":2},{"degree":4,"count":16},{"degree":5,"count":10},{"degree":6,"count":37},{"degree":7,"count":16},{"degree":8,"count":41},{"degree":9,"count":14},{"degree":10,"count":40},{"degree":11,"count":20},{"degree":12,"count":14},{"degree":13,"count":13},{"degree":14,"count":21},{"degree":15,"count":8},{"degree":16,"count":16},{"degree":17,"count":12},{"degree":18,"count":18},{"degree":19,"count":9},{"degree":20,"count":14},{"degree":21,"count":13},{"degree":22,"count":6},{"degree":23,"count":10},{"degree":24,"count":4},{"degree":25,"count":11},{"degree":26,"count":4},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":29,"count":3},{"degree":30,"count":2},{"degree":31,"count":3},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":37,"count":1},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":53,"count":1},{"degree":60,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2598}]
Number of extensional constraints	0
Number of intensional constraints	2598
Distribution of constraint types	[{"type":"intension","count":2598}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4312027

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
