2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-07-02	OPT	46	7.14916	2.70946
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 (8052 MiB free)
  memory of node 1: 16384 MiB (10875 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291946-1532267943/watcher-4291946-1532267943 -o /tmp/evaluation-result-4291946-1532267943/solver-4291946-1532267943 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532260876-3288 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 272368266 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291946-1532267943.xml 

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

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=4179, runsolver pid=4176


[startup+0.100061 s]*
/proc/loadavg: 1.61 1.46 1.50 3/215 4194
/proc/meminfo: memFree=19362512/32770624 swapFree=67108860/67108860
[pid=4179] ppid=4176 vsize=14082740 memory=34160 CPUtime=0.12 cores=1,3,5,7
/proc/4179/stat : 4179 (java) S 4176 4179 3256 0 -1 1077944320 6963 0 0 0 10 2 0 0 20 0 15 0 44357492 14420725760 8540 33554432000 4194304 4196468 140735555309856 140735555292400 140341299789559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
/proc/4179/statm: 3520685 8540 3139 1 0 3482761 0
[pid=4179/tid=4181] ppid=4176 vsize=14082740 memory=-8968744341335798976 CPUtime=0.09 cores=1,3,5,7
/proc/4179/task/4181/stat : 4181 (java) R 4176 4179 3256 0 -1 4202560 5034 0 0 0 8 1 0 0 20 0 15 0 44357492 14420725760 8540 33554432000 4194304 4196468 140735555309856 140341303974512 140341299811485 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4182] ppid=4176 vsize=14082740 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4182/stat : 4182 (java) S 4176 4179 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357493 14420725760 8540 33554432000 4194304 4196468 140735555309856 140341214858000 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4183] ppid=4176 vsize=14082740 memory=139916231038592 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4183/stat : 4183 (java) S 4176 4179 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357493 14420725760 8540 33554432000 4194304 4196468 140735555309856 140341213805456 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4184] ppid=4176 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4184/stat : 4184 (java) S 4176 4179 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357493 14420725760 8540 33554432000 4194304 4196468 140735555309856 140341212752912 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4185] ppid=4176 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4185/stat : 4185 (java) S 4176 4179 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357493 14420725760 8540 33554432000 4194304 4196468 140735555309856 140341211700368 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4186] ppid=4176 vsize=14082740 memory=139916231038592 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4186/stat : 4186 (java) S 4176 4179 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357494 14420725760 8540 33554432000 4194304 4196468 140735555309856 140340774799344 140341299800706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4187] ppid=4176 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4187/stat : 4187 (java) S 4176 4179 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44357495 14420725760 8540 33554432000 4194304 4196468 140735555309856 140340773745568 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4188] ppid=4176 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4188/stat : 4188 (java) S 4176 4179 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44357495 14420725760 8540 33554432000 4194304 4196468 140735555309856 140340772692976 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4189] ppid=4176 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4189/stat : 4189 (java) S 4176 4179 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357497 14420725760 8540 33554432000 4194304 4196468 140735555309856 140340771641552 140341299808155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4190] ppid=4176 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4190/stat : 4190 (java) S 4176 4179 3256 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 44357497 14420725760 8540 33554432000 4194304 4196468 140735555309856 140340770589168 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4191] ppid=4176 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4191/stat : 4191 (java) S 4176 4179 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357497 14420725760 8540 33554432000 4194304 4196468 140735555309856 140340769536624 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4192] ppid=4176 vsize=14082740 memory=139916231038592 CPUtime=0.01 cores=1,3,5,7
/proc/4179/task/4192/stat : 4192 (java) R 4176 4179 3256 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 15 0 44357497 14420725760 8540 33554432000 4194304 4196468 140735555309856 140340768484080 140341278489760 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4193] ppid=4176 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4193/stat : 4193 (java) S 4176 4179 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357497 14420725760 8540 33554432000 4194304 4196468 140735555309856 140340767431776 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4194] ppid=4176 vsize=14082740 memory=139916231038592 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4194/stat : 4194 (java) S 4176 4179 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357497 14420725760 8540 33554432000 4194304 4196468 140735555309856 140340766378288 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 34160 KiB

[startup+0.217619 s]*
/proc/loadavg: 1.61 1.46 1.50 4/215 4194
/proc/meminfo: memFree=19347504/32770624 swapFree=67108860/67108860
[pid=4179] ppid=4176 vsize=14082740 memory=47832 CPUtime=0.33 cores=1,3,5,7
/proc/4179/stat : 4179 (java) S 4176 4179 3256 0 -1 1077944320 10056 0 0 0 30 3 0 0 20 0 15 0 44357492 14420725760 11958 33554432000 4194304 4196468 140735555309856 140735555292400 140341299789559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
/proc/4179/statm: 3520685 11958 3380 1 0 3482761 0
[pid=4179/tid=4181] ppid=4176 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4179/task/4181/stat : 4181 (java) R 4176 4179 3256 0 -1 4202560 7783 0 0 0 18 2 0 0 20 0 15 0 44357492 14420725760 11958 33554432000 4194304 4196468 140735555309856 140341303980976 140341283870046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4182] ppid=4176 vsize=14082740 memory=331 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4182/stat : 4182 (java) S 4176 4179 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357493 14420725760 11958 33554432000 4194304 4196468 140735555309856 140341214858000 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4183] ppid=4176 vsize=14082740 memory=139916231042860 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4183/stat : 4183 (java) S 4176 4179 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357493 14420725760 11958 33554432000 4194304 4196468 140735555309856 140341213805456 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4184] ppid=4176 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4184/stat : 4184 (java) S 4176 4179 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357493 14420725760 11958 33554432000 4194304 4196468 140735555309856 140341212752912 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4185] ppid=4176 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4185/stat : 4185 (java) S 4176 4179 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357493 14420725760 11958 33554432000 4194304 4196468 140735555309856 140341211700368 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4186] ppid=4176 vsize=14082740 memory=139916231038592 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4186/stat : 4186 (java) S 4176 4179 3256 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 44357494 14420725760 11958 33554432000 4194304 4196468 140735555309856 140340774799344 140341299800706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4187] ppid=4176 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4187/stat : 4187 (java) S 4176 4179 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44357495 14420725760 11958 33554432000 4194304 4196468 140735555309856 140340773745568 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4188] ppid=4176 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4188/stat : 4188 (java) S 4176 4179 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44357495 14420725760 11958 33554432000 4194304 4196468 140735555309856 140340772692976 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4189] ppid=4176 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4189/stat : 4189 (java) S 4176 4179 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357497 14420725760 11958 33554432000 4194304 4196468 140735555309856 140340771641552 140341299808155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4190] ppid=4176 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4179/task/4190/stat : 4190 (java) S 4176 4179 3256 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 15 0 44357497 14420725760 11958 33554432000 4194304 4196468 140735555309856 140340770589168 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4191] ppid=4176 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4179/task/4191/stat : 4191 (java) S 4176 4179 3256 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 15 0 44357497 14420725760 11958 33554432000 4194304 4196468 140735555309856 140340769536624 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4192] ppid=4176 vsize=14082740 memory=139916231038592 CPUtime=0.07 cores=1,3,5,7
/proc/4179/task/4192/stat : 4192 (java) R 4176 4179 3256 0 -1 4202560 295 0 0 0 7 0 0 0 20 0 15 0 44357497 14420725760 11958 33554432000 4194304 4196468 140735555309856 140340768484080 140341299810906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4193] ppid=4176 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4193/stat : 4193 (java) S 4176 4179 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357497 14420725760 11958 33554432000 4194304 4196468 140735555309856 140340767431776 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4194] ppid=4176 vsize=14082740 memory=139916231038592 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4194/stat : 4194 (java) S 4176 4179 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357497 14420725760 11958 33554432000 4194304 4196468 140735555309856 140340766378288 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47832 KiB

[startup+0.310533 s]*
/proc/loadavg: 1.61 1.46 1.50 3/215 4194
/proc/meminfo: memFree=19325548/32770624 swapFree=67108860/67108860
[pid=4179] ppid=4176 vsize=14082740 memory=51016 CPUtime=0.43 cores=1,3,5,7
/proc/4179/stat : 4179 (java) S 4176 4179 3256 0 -1 1077944320 10369 0 0 0 40 3 0 0 20 0 15 0 44357492 14420725760 12754 33554432000 4194304 4196468 140735555309856 140735555292400 140341299789559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
/proc/4179/statm: 3520685 12754 3382 1 0 3482761 0
[pid=4179/tid=4181] ppid=4176 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/4179/task/4181/stat : 4181 (java) R 4176 4179 3256 0 -1 4202560 8082 0 0 0 27 2 0 0 20 0 15 0 44357492 14420725760 12754 33554432000 4194304 4196468 140735555309856 140341303981120 140341281353134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4182] ppid=4176 vsize=14082740 memory=304556140472303639 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4182/stat : 4182 (java) S 4176 4179 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357493 14420725760 12754 33554432000 4194304 4196468 140735555309856 140341214858000 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4183] ppid=4176 vsize=14082740 memory=15959935200515736 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4183/stat : 4183 (java) S 4176 4179 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357493 14420725760 12754 33554432000 4194304 4196468 140735555309856 140341213805456 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4184] ppid=4176 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4184/stat : 4184 (java) S 4176 4179 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357493 14420725760 12754 33554432000 4194304 4196468 140735555309856 140341212752912 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4185] ppid=4176 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4185/stat : 4185 (java) S 4176 4179 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357493 14420725760 12754 33554432000 4194304 4196468 140735555309856 140341211700368 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4186] ppid=4176 vsize=14082740 memory=139916231038592 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4186/stat : 4186 (java) S 4176 4179 3256 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 44357494 14420725760 12754 33554432000 4194304 4196468 140735555309856 140340774799344 140341299800706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4187] ppid=4176 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4187/stat : 4187 (java) S 4176 4179 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44357495 14420725760 12754 33554432000 4194304 4196468 140735555309856 140340773745568 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4188] ppid=4176 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4188/stat : 4188 (java) S 4176 4179 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44357495 14420725760 12754 33554432000 4194304 4196468 140735555309856 140340772692976 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4189] ppid=4176 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4189/stat : 4189 (java) S 4176 4179 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357497 14420725760 12754 33554432000 4194304 4196468 140735555309856 140340771641552 140341299808155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4190] ppid=4176 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4179/task/4190/stat : 4190 (java) S 4176 4179 3256 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 15 0 44357497 14420725760 12754 33554432000 4194304 4196468 140735555309856 140340770589168 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4191] ppid=4176 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4179/task/4191/stat : 4191 (java) S 4176 4179 3256 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 15 0 44357497 14420725760 12754 33554432000 4194304 4196468 140735555309856 140340769536624 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4192] ppid=4176 vsize=14082740 memory=139916231038592 CPUtime=0.08 cores=1,3,5,7
/proc/4179/task/4192/stat : 4192 (java) S 4176 4179 3256 0 -1 1077944384 299 0 0 0 8 0 0 0 20 0 15 0 44357497 14420725760 12754 33554432000 4194304 4196468 140735555309856 140340768484080 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4193] ppid=4176 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4193/stat : 4193 (java) S 4176 4179 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357497 14420725760 12754 33554432000 4194304 4196468 140735555309856 140340767431776 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4194] ppid=4176 vsize=14082740 memory=139916231038592 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4194/stat : 4194 (java) S 4176 4179 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357497 14420725760 12754 33554432000 4194304 4196468 140735555309856 140340766378288 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 51016 KiB

[startup+0.700763 s]
/proc/loadavg: 1.61 1.46 1.50 3/215 4194
/proc/meminfo: memFree=19308292/32770624 swapFree=67108860/67108860
[pid=4179] ppid=4176 vsize=14084808 memory=88836 CPUtime=0.99 cores=1,3,5,7
/proc/4179/stat : 4179 (java) S 4176 4179 3256 0 -1 1077944320 17088 0 0 0 94 5 0 0 20 0 15 0 44357492 14422843392 22209 33554432000 4194304 4196468 140735555309856 140735555292400 140341299789559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
/proc/4179/statm: 3521202 22209 3500 1 0 3483273 0
[pid=4179/tid=4181] ppid=4176 vsize=14084808 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/4179/task/4181/stat : 4181 (java) R 4176 4179 3256 0 -1 4202560 14409 0 0 0 63 4 0 0 20 0 15 0 44357492 14422843392 22209 33554432000 4194304 4196468 140735555309856 140341304012704 140341299811485 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4182] ppid=4176 vsize=14084808 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4182/stat : 4182 (java) S 4176 4179 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357493 14422843392 22209 33554432000 4194304 4196468 140735555309856 140341214858000 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4183] ppid=4176 vsize=14084808 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4183/stat : 4183 (java) S 4176 4179 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357493 14422843392 22209 33554432000 4194304 4196468 140735555309856 140341213805456 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4184] ppid=4176 vsize=14084808 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4184/stat : 4184 (java) S 4176 4179 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44357493 14422843392 22209 33554432000 4194304 4196468 140735555309856 140341212752912 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4185] ppid=4176 vsize=14084808 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4185/stat : 4185 (java) S 4176 4179 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357493 14422843392 22209 33554432000 4194304 4196468 140735555309856 140341211700368 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4186] ppid=4176 vsize=14084808 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4186/stat : 4186 (java) S 4176 4179 3256 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 44357494 14422843392 22209 33554432000 4194304 4196468 140735555309856 140340774799344 140341299800706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4187] ppid=4176 vsize=14084808 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4187/stat : 4187 (java) S 4176 4179 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44357495 14422843392 22209 33554432000 4194304 4196468 140735555309856 140340773745568 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4188] ppid=4176 vsize=14084808 memory=8372 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4188/stat : 4188 (java) S 4176 4179 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44357495 14422843392 22209 33554432000 4194304 4196468 140735555309856 140340772692976 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4189] ppid=4176 vsize=14084808 memory=7518026621751089001 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4189/stat : 4189 (java) S 4176 4179 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357497 14422843392 22209 33554432000 4194304 4196468 140735555309856 140340771641552 140341299808155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4190] ppid=4176 vsize=14084808 memory=7236547281622689387 CPUtime=0.09 cores=1,3,5,7
/proc/4179/task/4190/stat : 4190 (java) S 4176 4179 3256 0 -1 1077944384 541 0 0 0 9 0 0 0 20 0 15 0 44357497 14422843392 22209 33554432000 4194304 4196468 140735555309856 140340770589168 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4191] ppid=4176 vsize=14084808 memory=5787213827130353767 CPUtime=0.06 cores=1,3,5,7
/proc/4179/task/4191/stat : 4191 (java) S 4176 4179 3256 0 -1 1077944384 376 0 0 0 6 0 0 0 20 0 15 0 44357497 14422843392 22209 33554432000 4194304 4196468 140735555309856 140340769536624 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4192] ppid=4176 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4179/task/4192/stat : 4192 (java) S 4176 4179 3256 0 -1 1077944384 378 0 0 0 15 0 0 0 20 0 15 0 44357497 14422843392 22209 33554432000 4194304 4196468 140735555309856 140340768484080 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4193] ppid=4176 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4193/stat : 4193 (java) S 4176 4179 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357497 14422843392 22209 33554432000 4194304 4196468 140735555309856 140340767431776 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4194] ppid=4176 vsize=14084808 memory=33 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4194/stat : 4194 (java) S 4176 4179 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44357497 14422843392 22209 33554432000 4194304 4196468 140735555309856 140340766378288 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88836 KiB

[startup+1.50117 s]
/proc/loadavg: 1.61 1.46 1.50 7/215 4194
/proc/meminfo: memFree=19269332/32770624 swapFree=67108860/67108860
[pid=4179] ppid=4176 vsize=14086856 memory=220592 CPUtime=3.52 cores=1,3,5,7
/proc/4179/stat : 4179 (java) S 4176 4179 3256 0 -1 1077944320 25331 0 0 0 343 9 0 0 20 0 15 0 44357492 14424940544 55148 33554432000 4194304 4196468 140735555309856 140735555292400 140341299789559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
/proc/4179/statm: 3521714 55148 3560 1 0 3483785 0
[pid=4179/tid=4181] ppid=4176 vsize=14086856 memory=8112282956445269571 CPUtime=1.45 cores=1,3,5,7
/proc/4179/task/4181/stat : 4181 (java) R 4176 4179 3256 0 -1 4202560 16742 0 0 0 139 6 0 0 20 0 15 0 44357492 14424940544 55148 33554432000 4194304 4196468 140735555309856 140341304022904 140340897616770 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4182] ppid=4176 vsize=14086856 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4182/stat : 4182 (java) S 4176 4179 3256 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 44357493 14424940544 55148 33554432000 4194304 4196468 140735555309856 140341214858000 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4183] ppid=4176 vsize=14086856 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4183/stat : 4183 (java) S 4176 4179 3256 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 44357493 14424940544 55148 33554432000 4194304 4196468 140735555309856 140341213805456 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4184] ppid=4176 vsize=14086856 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4184/stat : 4184 (java) S 4176 4179 3256 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 44357493 14424940544 55148 33554432000 4194304 4196468 140735555309856 140341212752912 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4185] ppid=4176 vsize=14086856 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4185/stat : 4185 (java) S 4176 4179 3256 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 44357493 14424940544 55148 33554432000 4194304 4196468 140735555309856 140341211700368 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4186] ppid=4176 vsize=14086856 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4186/stat : 4186 (java) S 4176 4179 3256 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 44357494 14424940544 55148 33554432000 4194304 4196468 140735555309856 140340774799344 140341299800706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0

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

Current children cumulated memory: 220592 KiB

[startup+2.70941 s]
# the end of solver process 4179 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.99202 s, system=0.157135 s

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

[startup+1.6009 s]
/proc/loadavg: 1.61 1.46 1.50 7/215 4194
/proc/meminfo: memFree=19269332/32770624 swapFree=67108860/67108860
[pid=4179] ppid=4176 vsize=14086856 memory=222504 CPUtime=3.84 cores=1,3,5,7
/proc/4179/stat : 4179 (java) S 4176 4179 3256 0 -1 1077944320 26224 0 0 0 375 9 0 0 20 0 15 0 44357492 14424940544 55626 33554432000 4194304 4196468 140735555309856 140735555292400 140341299789559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
/proc/4179/statm: 3521714 55626 3562 1 0 3483785 0
[pid=4179/tid=4181] ppid=4176 vsize=14086856 memory=5793975922342711392 CPUtime=1.55 cores=1,3,5,7
/proc/4179/task/4181/stat : 4181 (java) R 4176 4179 3256 0 -1 4202560 16936 0 0 0 149 6 0 0 20 0 15 0 44357492 14424940544 55626 33554432000 4194304 4196468 140735555309856 140341304024688 140341299801494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4182] ppid=4176 vsize=14086856 memory=7518309149228756311 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4182/stat : 4182 (java) S 4176 4179 3256 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 44357493 14424940544 55626 33554432000 4194304 4196468 140735555309856 140341214858000 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4183] ppid=4176 vsize=14086856 memory=7667167690614138738 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4183/stat : 4183 (java) S 4176 4179 3256 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 44357493 14424940544 55626 33554432000 4194304 4196468 140735555309856 140341213805456 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4184] ppid=4176 vsize=14086856 memory=7450736566233952353 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4184/stat : 4184 (java) S 4176 4179 3256 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 44357493 14424940544 55626 33554432000 4194304 4196468 140735555309856 140341212752912 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4185] ppid=4176 vsize=14086856 memory=7440056984007045732 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4185/stat : 4185 (java) S 4176 4179 3256 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 44357493 14424940544 55626 33554432000 4194304 4196468 140735555309856 140341211700368 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4186] ppid=4176 vsize=14086856 memory=7440056984007045732 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4186/stat : 4186 (java) S 4176 4179 3256 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 15 0 44357494 14424940544 55626 33554432000 4194304 4196468 140735555309856 140340774799344 140341299800706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4187] ppid=4176 vsize=14086856 memory=4639948313719891052 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4187/stat : 4187 (java) S 4176 4179 3256 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 44357495 14424940544 55626 33554432000 4194304 4196468 140735555309856 140340773745568 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4188] ppid=4176 vsize=14086856 memory=8172458000077318247 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4188/stat : 4188 (java) S 4176 4179 3256 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 44357495 14424940544 55626 33554432000 4194304 4196468 140735555309856 140340772692976 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4189] ppid=4176 vsize=14086856 memory=8172458000077318247 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4189/stat : 4189 (java) S 4176 4179 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357497 14424940544 55626 33554432000 4194304 4196468 140735555309856 140340771641552 140341299808155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4190] ppid=4176 vsize=14086856 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/4179/task/4190/stat : 4190 (java) R 4176 4179 3256 0 -1 4202560 2547 0 0 0 84 0 0 0 20 0 15 0 44357497 14424940544 55626 33554432000 4194304 4196468 140735555309856 140340770575952 140341279036341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4191] ppid=4176 vsize=14086856 memory=-2605811476043407915 CPUtime=0.84 cores=1,3,5,7
/proc/4179/task/4191/stat : 4191 (java) R 4176 4179 3256 0 -1 4202560 2588 0 0 0 84 0 0 0 20 0 15 0 44357497 14424940544 55626 33554432000 4194304 4196468 140735555309856 140340769517584 140341281334238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4192] ppid=4176 vsize=14086856 memory=-4051592751533505334 CPUtime=0.54 cores=1,3,5,7
/proc/4179/task/4192/stat : 4192 (java) R 4176 4179 3256 0 -1 1077944384 2181 0 0 0 54 0 0 0 20 0 15 0 44357497 14424940544 55626 33554432000 4194304 4196468 140735555309856 140340768484080 140341299800706 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4193] ppid=4176 vsize=14086856 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4193/stat : 4193 (java) S 4176 4179 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357497 14424940544 55626 33554432000 4194304 4196468 140735555309856 140340767431776 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4194] ppid=4176 vsize=14086856 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4194/stat : 4194 (java) S 4176 4179 3256 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 44357497 14424940544 55626 33554432000 4194304 4196468 140735555309856 140340766378288 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
Current children cumulated CPU time: 3.84 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 222504 KiB

[startup+2.40117 s]
/proc/loadavg: 1.61 1.46 1.50 5/215 4194
/proc/meminfo: memFree=19170716/32770624 swapFree=67108860/67108860
[pid=4179] ppid=4176 vsize=14090952 memory=260524 CPUtime=6.23 cores=1,3,5,7
/proc/4179/stat : 4179 (java) S 4176 4179 3256 0 -1 1077944320 37462 0 0 0 609 14 0 0 20 0 15 0 44357492 14429134848 65131 33554432000 4194304 4196468 140735555309856 140735555292400 140341299789559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
/proc/4179/statm: 3522738 65131 3581 1 0 3484809 0
[pid=4179/tid=4181] ppid=4176 vsize=14090952 memory=0 CPUtime=2.33 cores=1,3,5,7
/proc/4179/task/4181/stat : 4181 (java) R 4176 4179 3256 0 -1 4202560 19624 0 0 0 226 7 0 0 20 0 15 0 44357492 14429134848 65131 33554432000 4194304 4196468 140735555309856 140341304002160 140340902762207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4182] ppid=4176 vsize=14090952 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4179/task/4182/stat : 4182 (java) S 4176 4179 3256 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 15 0 44357493 14429134848 65131 33554432000 4194304 4196468 140735555309856 140341214858000 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4183] ppid=4176 vsize=14090952 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4179/task/4183/stat : 4183 (java) S 4176 4179 3256 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 15 0 44357493 14429134848 65131 33554432000 4194304 4196468 140735555309856 140341213805456 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4184] ppid=4176 vsize=14090952 memory=143672 CPUtime=0.01 cores=1,3,5,7
/proc/4179/task/4184/stat : 4184 (java) S 4176 4179 3256 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 15 0 44357493 14429134848 65131 33554432000 4194304 4196468 140735555309856 140341212752912 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4185] ppid=4176 vsize=14090952 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4179/task/4185/stat : 4185 (java) S 4176 4179 3256 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 15 0 44357493 14429134848 65131 33554432000 4194304 4196468 140735555309856 140341211700368 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4186] ppid=4176 vsize=14090952 memory=-7595718148000617580 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4186/stat : 4186 (java) S 4176 4179 3256 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 15 0 44357494 14429134848 65131 33554432000 4194304 4196468 140735555309856 140340774799344 140341299800706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4187] ppid=4176 vsize=14090952 memory=-3704326594973231466 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4187/stat : 4187 (java) S 4176 4179 3256 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 44357495 14429134848 65131 33554432000 4194304 4196468 140735555309856 140340773745632 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4188] ppid=4176 vsize=14090952 memory=8128038100524242582 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4188/stat : 4188 (java) S 4176 4179 3256 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 44357495 14429134848 65131 33554432000 4194304 4196468 140735555309856 140340772692992 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4189] ppid=4176 vsize=14090952 memory=-7595718316223324558 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4189/stat : 4189 (java) S 4176 4179 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357497 14429134848 65131 33554432000 4194304 4196468 140735555309856 140340771641552 140341299808155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4190] ppid=4176 vsize=14090952 memory=8259761640030508194 CPUtime=1.39 cores=1,3,5,7
/proc/4179/task/4190/stat : 4190 (java) R 4176 4179 3256 0 -1 4202560 4408 0 0 0 139 0 0 0 20 0 15 0 44357497 14429134848 65131 33554432000 4194304 4196468 140735555309856 140340770566208 140341283286231 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4191] ppid=4176 vsize=14090952 memory=7233432338723542175 CPUtime=1.41 cores=1,3,5,7
/proc/4179/task/4191/stat : 4191 (java) R 4176 4179 3256 0 -1 4202560 4599 0 0 0 140 1 0 0 20 0 15 0 44357497 14429134848 65131 33554432000 4194304 4196468 140735555309856 140340769522672 140341285821601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4192] ppid=4176 vsize=14090952 memory=7232886968738802340 CPUtime=0.97 cores=1,3,5,7
/proc/4179/task/4192/stat : 4192 (java) S 4176 4179 3256 0 -1 1077944384 6624 0 0 0 96 1 0 0 20 0 15 0 44357497 14429134848 65131 33554432000 4194304 4196468 140735555309856 140340768484080 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4193] ppid=4176 vsize=14090952 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4193/stat : 4193 (java) S 4176 4179 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357497 14429134848 65131 33554432000 4194304 4196468 140735555309856 140340767431776 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4194] ppid=4176 vsize=14090952 memory=7157735280263909988 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4194/stat : 4194 (java) S 4176 4179 3256 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 44357497 14429134848 65131 33554432000 4194304 4196468 140735555309856 140340766378288 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 260524 KiB

[startup+2.60117 s]
/proc/loadavg: 1.61 1.46 1.50 5/215 4194
/proc/meminfo: memFree=19170716/32770624 swapFree=67108860/67108860
[pid=4179] ppid=4176 vsize=14090952 memory=258908 CPUtime=6.85 cores=1,3,5,7
/proc/4179/stat : 4179 (java) S 4176 4179 3256 0 -1 1077944320 38102 0 0 0 670 15 0 0 20 0 15 0 44357492 14429134848 64727 33554432000 4194304 4196468 140735555309856 140735555292400 140341299789559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
/proc/4179/statm: 3522738 64727 3581 1 0 3484809 0
[pid=4179/tid=4181] ppid=4176 vsize=14090952 memory=8112282956445269571 CPUtime=2.53 cores=1,3,5,7
/proc/4179/task/4181/stat : 4181 (java) R 4176 4179 3256 0 -1 4202560 19628 0 0 0 246 7 0 0 20 0 15 0 44357492 14429134848 64727 33554432000 4194304 4196468 140735555309856 140341304002160 140340902967593 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4182] ppid=4176 vsize=14090952 memory=301741416391115062 CPUtime=0.01 cores=1,3,5,7
/proc/4179/task/4182/stat : 4182 (java) S 4176 4179 3256 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 15 0 44357493 14429134848 64727 33554432000 4194304 4196468 140735555309856 140341214858000 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4183] ppid=4176 vsize=14090952 memory=8112282956445269571 CPUtime=0.01 cores=1,3,5,7
/proc/4179/task/4183/stat : 4183 (java) S 4176 4179 3256 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 15 0 44357493 14429134848 64727 33554432000 4194304 4196468 140735555309856 140341213805456 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4184] ppid=4176 vsize=14090952 memory=-8754540793456063680 CPUtime=0.01 cores=1,3,5,7
/proc/4179/task/4184/stat : 4184 (java) S 4176 4179 3256 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 15 0 44357493 14429134848 64727 33554432000 4194304 4196468 140735555309856 140341212752912 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4185] ppid=4176 vsize=14090952 memory=-2843869621055772062 CPUtime=0.01 cores=1,3,5,7
/proc/4179/task/4185/stat : 4185 (java) S 4176 4179 3256 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 15 0 44357493 14429134848 64727 33554432000 4194304 4196468 140735555309856 140341211700368 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4186] ppid=4176 vsize=14090952 memory=222384 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4186/stat : 4186 (java) S 4176 4179 3256 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 15 0 44357494 14429134848 64727 33554432000 4194304 4196468 140735555309856 140340774799344 140341299800706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4187] ppid=4176 vsize=14090952 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4187/stat : 4187 (java) S 4176 4179 3256 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 44357495 14429134848 64727 33554432000 4194304 4196468 140735555309856 140340773745632 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4188] ppid=4176 vsize=14090952 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4188/stat : 4188 (java) S 4176 4179 3256 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 44357495 14429134848 64727 33554432000 4194304 4196468 140735555309856 140340772692992 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4189] ppid=4176 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4189/stat : 4189 (java) S 4176 4179 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357497 14429134848 64727 33554432000 4194304 4196468 140735555309856 140340771641552 140341299808155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4190] ppid=4176 vsize=14090952 memory=279832152092672 CPUtime=1.59 cores=1,3,5,7
/proc/4179/task/4190/stat : 4190 (java) R 4176 4179 3256 0 -1 4202560 4995 0 0 0 159 0 0 0 20 0 15 0 44357497 14429134848 64727 33554432000 4194304 4196468 140735555309856 140340770570736 140341280164484 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4191] ppid=4176 vsize=14090952 memory=3689776794290114064 CPUtime=1.61 cores=1,3,5,7
/proc/4179/task/4191/stat : 4191 (java) R 4176 4179 3256 0 -1 4202560 4637 0 0 0 160 1 0 0 20 0 15 0 44357497 14429134848 64727 33554432000 4194304 4196468 140735555309856 140340769524096 140341277384304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4192] ppid=4176 vsize=14090952 memory=7526543437139137144 CPUtime=0.98 cores=1,3,5,7
/proc/4179/task/4192/stat : 4192 (java) S 4176 4179 3256 0 -1 1077944384 6635 0 0 0 97 1 0 0 20 0 15 0 44357497 14429134848 64727 33554432000 4194304 4196468 140735555309856 140340768484080 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4193] ppid=4176 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4193/stat : 4193 (java) S 4176 4179 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44357497 14429134848 64727 33554432000 4194304 4196468 140735555309856 140340767431776 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4194] ppid=4176 vsize=14090952 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4194/stat : 4194 (java) S 4176 4179 3256 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 44357497 14429134848 64727 33554432000 4194304 4196468 140735555309856 140340766378288 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
Current children cumulated CPU time: 6.85 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 258908 KiB

[startup+2.70065 s]
/proc/loadavg: 1.61 1.46 1.50 5/215 4194
/proc/meminfo: memFree=19170716/32770624 swapFree=67108860/67108860
[pid=4179] ppid=4176 vsize=14157516 memory=261796 CPUtime=7.14 cores=1,3,5,7
/proc/4179/stat : 4179 (java) S 4176 4179 3256 0 -1 1077944320 38925 0 0 0 699 15 0 0 20 0 14 0 44357492 14497296384 65449 33554432000 4194304 4196468 140735555309856 140735555292400 140341299789559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
/proc/4179/statm: 3539379 65449 3583 1 0 3501450 0
[pid=4179/tid=4181] ppid=4176 vsize=14157516 memory=261196 CPUtime=2.62 cores=1,3,5,7
/proc/4179/task/4181/stat : 4181 (java) S 4176 4179 3256 0 -1 1077944384 19699 0 0 0 255 7 0 0 20 0 14 0 44357492 14497296384 65449 33554432000 4194304 4196468 140735555309856 140341304032400 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4182] ppid=4176 vsize=14157516 memory=6656426216303648864 CPUtime=0.01 cores=1,3,5,7
/proc/4179/task/4182/stat : 4182 (java) S 4176 4179 3256 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 14 0 44357493 14497296384 65449 33554432000 4194304 4196468 140735555309856 140341214858000 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4183] ppid=4176 vsize=14157516 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4179/task/4183/stat : 4183 (java) S 4176 4179 3256 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 14 0 44357493 14497296384 65449 33554432000 4194304 4196468 140735555309856 140341213805456 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4184] ppid=4176 vsize=14157516 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4179/task/4184/stat : 4184 (java) S 4176 4179 3256 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 14 0 44357493 14497296384 65449 33554432000 4194304 4196468 140735555309856 140341212752912 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4185] ppid=4176 vsize=14157516 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4179/task/4185/stat : 4185 (java) S 4176 4179 3256 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 14 0 44357493 14497296384 65449 33554432000 4194304 4196468 140735555309856 140341211700368 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4186] ppid=4176 vsize=14157516 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4186/stat : 4186 (java) S 4176 4179 3256 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 14 0 44357494 14497296384 65449 33554432000 4194304 4196468 140735555309856 140340774799552 140341299800706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4187] ppid=4176 vsize=14157516 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4187/stat : 4187 (java) S 4176 4179 3256 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 14 0 44357495 14497296384 65449 33554432000 4194304 4196468 140735555309856 140340773745632 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4188] ppid=4176 vsize=14157516 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4188/stat : 4188 (java) S 4176 4179 3256 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 14 0 44357495 14497296384 65449 33554432000 4194304 4196468 140735555309856 140340772692992 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4189] ppid=4176 vsize=14157516 memory=5937503940876124257 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4189/stat : 4189 (java) S 4176 4179 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 44357497 14497296384 65449 33554432000 4194304 4196468 140735555309856 140340771641200 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4190] ppid=4176 vsize=14157516 memory=7373920272953207141 CPUtime=1.68 cores=1,3,5,7
/proc/4179/task/4190/stat : 4190 (java) S 4176 4179 3256 0 -1 1077944384 5707 0 0 0 168 0 0 0 20 0 14 0 44357497 14497296384 65449 33554432000 4194304 4196468 140735555309856 140340770569568 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4191] ppid=4176 vsize=14157516 memory=7014751519684055652 CPUtime=1.7 cores=1,3,5,7
/proc/4179/task/4191/stat : 4191 (java) S 4176 4179 3256 0 -1 1077944384 4644 0 0 0 169 1 0 0 20 0 14 0 44357497 14497296384 65449 33554432000 4194304 4196468 140735555309856 140340769521168 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4192] ppid=4176 vsize=14157516 memory=18013092843617 CPUtime=0.99 cores=1,3,5,7
/proc/4179/task/4192/stat : 4192 (java) S 4176 4179 3256 0 -1 1077944384 6642 0 0 0 98 1 0 0 20 0 14 0 44357497 14497296384 65449 33554432000 4194304 4196468 140735555309856 140340768484080 140341299800706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
[pid=4179/tid=4193] ppid=4176 vsize=14157516 memory=233584 CPUtime=0 cores=1,3,5,7
/proc/4179/task/4193/stat : 4193 (java) S 4176 4179 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 44357497 14497296384 65449 33554432000 4194304 4196468 140735555309856 140340767431776 140341299799765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18894848 140735555318869 140735555319049 140735555319049 140735555321807 0
Current children cumulated CPU time: 7.14 s
Current children cumulated vsize: 14157516 KiB
Current children cumulated memory: 261796 KiB

Child status: 0
Real time (s): 2.70946
CPU time (s): 7.14916
CPU user time (s): 6.99202
CPU system time (s): 0.157135
CPU usage (%): 263.859
Max. virtual memory (cumulated for all children) (KiB): 14157516
Max. memory (cumulated for all children) (KiB): 261796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.99202
system time used= 0.157135
maximum resident set size= 262820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38951
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= 3039
involuntary context switches= 25


# summary of solver processes directly reported to runsolver:
#   pid: 4179
#   total CPU time (s): 7.14916
#   total CPU user time (s): 6.99202
#   total CPU system time (s): 0.157135

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040928 second user time and 0.065065 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-04-opt_c18.xml
MD5SUM	78811932529a67bdc61c23a432ac663c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	46
Best CPU time to get the best result obtained on this benchmark	2.11183
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3968
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	3
Maximum variable degree	64
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":4,"count":16},{"degree":5,"count":22},{"degree":6,"count":62},{"degree":7,"count":42},{"degree":8,"count":62},{"degree":9,"count":40},{"degree":10,"count":55},{"degree":11,"count":55},{"degree":12,"count":47},{"degree":13,"count":41},{"degree":14,"count":26},{"degree":15,"count":25},{"degree":16,"count":24},{"degree":17,"count":19},{"degree":18,"count":19},{"degree":19,"count":19},{"degree":20,"count":10},{"degree":21,"count":10},{"degree":22,"count":17},{"degree":23,"count":8},{"degree":24,"count":6},{"degree":25,"count":10},{"degree":26,"count":9},{"degree":27,"count":10},{"degree":28,"count":3},{"degree":29,"count":2},{"degree":31,"count":4},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":40,"count":3},{"degree":41,"count":1},{"degree":44,"count":2},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":57,"count":1},{"degree":64,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	280
Distribution of constraint arities	[{"arity":2,"count":3967},{"arity":280,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	3967
Distribution of constraint types	[{"type":"intension","count":3967},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4291946

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
