2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	SAT (TO)	778	2400.34	603.69
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 (15239 MiB free)
  memory of node 1: 16384 MiB (15664 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394187-1568349702/watcher-4394187-1568349702 -o /tmp/evaluation-result-4394187-1568349702/solver-4394187-1568349702 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568349660-25421 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 660051755 HOME/instance-4394187-1568349702.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=25450, runsolver pid=25443

[startup+0.100107 s]*
/proc/loadavg: 1.76 1.97 2.02 6/229 25481
/proc/meminfo: memFree=31612752/32770624 swapFree=66980228/67108860
[pid=25450] ppid=25443 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25450/stat : 25450 (xcsp3-exec) S 25443 25450 25389 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411232872 115843072 363 33554432000 4194304 5098028 140734189667568 140734189665672 140626977559164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10625024 140734189671291 140734189671533 140734189671533 140734189674442 0
/proc/25450/statm: 28282 363 304 221 0 87 0
[pid=25453] ppid=25450 vsize=15144768 memory=29220 CPUtime=0.13 cores=1,3,5,7
/proc/25453/stat : 25453 (java) S 25450 25450 25389 0 -1 1077944320 5700 0 0 0 12 1 0 0 20 0 15 0 411232872 15508242432 7305 33554432000 4194304 4196468 140736675250512 140736675233056 140033513230071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
/proc/25453/statm: 3786192 7305 3205 1 0 3748377 0
[pid=25453/tid=25455] ppid=25450 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/25453/task/25455/stat : 25455 (java) R 25450 25450 25389 0 -1 4202560 3575 0 0 0 9 0 0 0 20 0 15 0 411232873 15508242432 7305 33554432000 4194304 4196468 140736675250512 140033517452128 140033505467198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25460] ppid=25450 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25460/stat : 25460 (java) S 25450 25450 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232874 15508242432 7305 33554432000 4194304 4196468 140736675250512 140033105910288 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25461] ppid=25450 vsize=15144768 memory=140576543233664 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25461/stat : 25461 (java) S 25450 25450 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232874 15508242432 7305 33554432000 4194304 4196468 140736675250512 140033104857744 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25462] ppid=25450 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25462/stat : 25462 (java) S 25450 25450 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232874 15508242432 7305 33554432000 4194304 4196468 140736675250512 140033103804688 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25463] ppid=25450 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25463/stat : 25463 (java) S 25450 25450 25389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411232874 15508242432 7305 33554432000 4194304 4196468 140736675250512 140033102752144 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25465] ppid=25450 vsize=15144768 memory=140576543233664 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25465/stat : 25465 (java) S 25450 25450 25389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411232875 15508242432 7305 33554432000 4194304 4196468 140736675250512 140032655805168 140033513241218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25467] ppid=25450 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25467/stat : 25467 (java) S 25450 25450 25389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411232875 15508242432 7305 33554432000 4194304 4196468 140736675250512 140032654751392 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25469] ppid=25450 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25469/stat : 25469 (java) S 25450 25450 25389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411232876 15508242432 7305 33554432000 4194304 4196468 140736675250512 140032653698288 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25471] ppid=25450 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25471/stat : 25471 (java) S 25450 25450 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15508242432 7305 33554432000 4194304 4196468 140736675250512 140032652646864 140033513248667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25473] ppid=25450 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25453/task/25473/stat : 25473 (java) S 25450 25450 25389 0 -1 1077944384 466 0 0 0 1 0 0 0 20 0 15 0 411232878 15508242432 7305 33554432000 4194304 4196468 140736675250512 140032651593968 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25475] ppid=25450 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25475/stat : 25475 (java) S 25450 25450 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15508242432 7305 33554432000 4194304 4196468 140736675250512 140032650541424 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25477] ppid=25450 vsize=15144768 memory=140576543233664 CPUtime=0.02 cores=1,3,5,7
/proc/25453/task/25477/stat : 25477 (java) R 25450 25450 25389 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 411232878 15508242432 7305 33554432000 4194304 4196468 140736675250512 140032649488368 140033499554446 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25479] ppid=25450 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25479/stat : 25479 (java) S 25450 25450 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15508242432 7305 33554432000 4194304 4196468 140736675250512 140032648436064 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25480] ppid=25450 vsize=15144768 memory=140576543233664 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25480/stat : 25480 (java) S 25450 25450 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232878 15508242432 7305 33554432000 4194304 4196468 140736675250512 140032647384112 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30672 KiB

[startup+0.210488 s]*
/proc/loadavg: 1.76 1.97 2.02 5/229 25481
/proc/meminfo: memFree=31587132/32770624 swapFree=66980228/67108860
[pid=25450] ppid=25443 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25450/stat : 25450 (xcsp3-exec) S 25443 25450 25389 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411232872 115843072 363 33554432000 4194304 5098028 140734189667568 140734189665672 140626977559164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10625024 140734189671291 140734189671533 140734189671533 140734189674442 0
/proc/25450/statm: 28282 363 304 221 0 87 0
[pid=25453] ppid=25450 vsize=15144768 memory=40656 CPUtime=0.34 cores=1,3,5,7
/proc/25453/stat : 25453 (java) S 25450 25450 25389 0 -1 1077944320 9342 0 0 0 31 3 0 0 20 0 15 0 411232872 15508242432 10164 33554432000 4194304 4196468 140736675250512 140736675233056 140033513230071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
/proc/25453/statm: 3786192 10164 3316 1 0 3748377 0
[pid=25453/tid=25455] ppid=25450 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25453/task/25455/stat : 25455 (java) R 25450 25450 25389 0 -1 4202560 6598 0 0 0 18 2 0 0 20 0 15 0 411232873 15508242432 10164 33554432000 4194304 4196468 140736675250512 140033517462800 140033513251997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25460] ppid=25450 vsize=15144768 memory=2995868 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25460/stat : 25460 (java) S 25450 25450 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232874 15508242432 10164 33554432000 4194304 4196468 140736675250512 140033105910288 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25461] ppid=25450 vsize=15144768 memory=140576546428851 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25461/stat : 25461 (java) S 25450 25450 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232874 15508242432 10164 33554432000 4194304 4196468 140736675250512 140033104857744 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25462] ppid=25450 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25462/stat : 25462 (java) S 25450 25450 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232874 15508242432 10164 33554432000 4194304 4196468 140736675250512 140033103804688 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25463] ppid=25450 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25463/stat : 25463 (java) S 25450 25450 25389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411232874 15508242432 10164 33554432000 4194304 4196468 140736675250512 140033102752144 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25465] ppid=25450 vsize=15144768 memory=140576543233664 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25465/stat : 25465 (java) S 25450 25450 25389 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411232875 15508242432 10164 33554432000 4194304 4196468 140736675250512 140032655805168 140033513241218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25467] ppid=25450 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25467/stat : 25467 (java) S 25450 25450 25389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411232875 15508242432 10164 33554432000 4194304 4196468 140736675250512 140032654751392 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25469] ppid=25450 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25469/stat : 25469 (java) S 25450 25450 25389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411232876 15508242432 10164 33554432000 4194304 4196468 140736675250512 140032653698288 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25471] ppid=25450 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25471/stat : 25471 (java) S 25450 25450 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15508242432 10164 33554432000 4194304 4196468 140736675250512 140032652646864 140033513248667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25473] ppid=25450 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25453/task/25473/stat : 25473 (java) S 25450 25450 25389 0 -1 1077944384 560 0 0 0 2 0 0 0 20 0 15 0 411232878 15508242432 10164 33554432000 4194304 4196468 140736675250512 140032651593968 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25475] ppid=25450 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25453/task/25475/stat : 25475 (java) S 25450 25450 25389 0 -1 1077944384 81 0 0 0 2 0 0 0 20 0 15 0 411232878 15508242432 10164 33554432000 4194304 4196468 140736675250512 140032650541424 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25477] ppid=25450 vsize=15144768 memory=140576543233664 CPUtime=0.07 cores=1,3,5,7
/proc/25453/task/25477/stat : 25477 (java) S 25450 25450 25389 0 -1 1077944384 802 0 0 0 7 0 0 0 20 0 15 0 411232878 15508242432 10164 33554432000 4194304 4196468 140736675250512 140032649488368 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25479] ppid=25450 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25479/stat : 25479 (java) S 25450 25450 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15508242432 10164 33554432000 4194304 4196468 140736675250512 140032648436064 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25480] ppid=25450 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25480/stat : 25480 (java) S 25450 25450 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232878 15508242432 10164 33554432000 4194304 4196468 140736675250512 140032647384112 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42108 KiB

[startup+0.315171 s]*
/proc/loadavg: 1.76 1.97 2.02 7/229 25481
/proc/meminfo: memFree=31572452/32770624 swapFree=66980228/67108860
[pid=25450] ppid=25443 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25450/stat : 25450 (xcsp3-exec) S 25443 25450 25389 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411232872 115843072 363 33554432000 4194304 5098028 140734189667568 140734189665672 140626977559164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10625024 140734189671291 140734189671533 140734189671533 140734189674442 0
/proc/25450/statm: 28282 363 304 221 0 87 0
[pid=25453] ppid=25450 vsize=15149024 memory=50324 CPUtime=0.54 cores=1,3,5,7
/proc/25453/stat : 25453 (java) S 25450 25450 25389 0 -1 1077944320 10929 0 0 0 50 4 0 0 20 0 15 0 411232872 15512600576 12581 33554432000 4194304 4196468 140736675250512 140736675233056 140033513230071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
/proc/25453/statm: 3787256 12581 3356 1 0 3748377 0
[pid=25453/tid=25455] ppid=25450 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/25453/task/25455/stat : 25455 (java) R 25450 25450 25389 0 -1 4202560 7847 0 0 0 28 2 0 0 20 0 15 0 411232873 15512600576 12581 33554432000 4194304 4196468 140736675250512 140033517465600 140033513251997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25460] ppid=25450 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25460/stat : 25460 (java) S 25450 25450 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232874 15512600576 12581 33554432000 4194304 4196468 140736675250512 140033105910288 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25461] ppid=25450 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25461/stat : 25461 (java) S 25450 25450 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232874 15512600576 12581 33554432000 4194304 4196468 140736675250512 140033104857744 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25462] ppid=25450 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25462/stat : 25462 (java) S 25450 25450 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232874 15512600576 12581 33554432000 4194304 4196468 140736675250512 140033103804688 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25463] ppid=25450 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25463/stat : 25463 (java) S 25450 25450 25389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411232874 15512600576 12581 33554432000 4194304 4196468 140736675250512 140033102752144 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25465] ppid=25450 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25465/stat : 25465 (java) S 25450 25450 25389 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411232875 15512600576 12581 33554432000 4194304 4196468 140736675250512 140032655805168 140033513241218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25467] ppid=25450 vsize=15149024 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25467/stat : 25467 (java) S 25450 25450 25389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411232875 15512600576 12581 33554432000 4194304 4196468 140736675250512 140032654751392 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25469] ppid=25450 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25469/stat : 25469 (java) S 25450 25450 25389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411232876 15512600576 12581 33554432000 4194304 4196468 140736675250512 140032653698288 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25471] ppid=25450 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25471/stat : 25471 (java) S 25450 25450 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15512600576 12581 33554432000 4194304 4196468 140736675250512 140032652646864 140033513248667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25473] ppid=25450 vsize=15149024 memory=-8813974798734826869 CPUtime=0.05 cores=1,3,5,7
/proc/25453/task/25473/stat : 25473 (java) S 25450 25450 25389 0 -1 1077944384 689 0 0 0 5 0 0 0 20 0 15 0 411232878 15512600576 12581 33554432000 4194304 4196468 140736675250512 140032651593968 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25475] ppid=25450 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/25453/task/25475/stat : 25475 (java) S 25450 25450 25389 0 -1 1077944384 95 0 0 0 4 0 0 0 20 0 15 0 411232878 15512600576 12581 33554432000 4194304 4196468 140736675250512 140032650541424 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25477] ppid=25450 vsize=15149024 memory=8508281356422055839 CPUtime=0.12 cores=1,3,5,7
/proc/25453/task/25477/stat : 25477 (java) S 25450 25450 25389 0 -1 1077944384 995 0 0 0 12 0 0 0 20 0 15 0 411232878 15512600576 12581 33554432000 4194304 4196468 140736675250512 140032649488368 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25479] ppid=25450 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25479/stat : 25479 (java) S 25450 25450 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15512600576 12581 33554432000 4194304 4196468 140736675250512 140032648436064 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25480] ppid=25450 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25480/stat : 25480 (java) S 25450 25450 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232878 15512600576 12581 33554432000 4194304 4196468 140736675250512 140032647384112 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51776 KiB

[startup+0.700783 s]
/proc/loadavg: 1.76 1.97 2.02 10/229 25481
/proc/meminfo: memFree=31527368/32770624 swapFree=66980228/67108860
[pid=25450] ppid=25443 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25450/stat : 25450 (xcsp3-exec) S 25443 25450 25389 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411232872 115843072 363 33554432000 4194304 5098028 140734189667568 140734189665672 140626977559164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10625024 140734189671291 140734189671533 140734189671533 140734189674442 0
/proc/25450/statm: 28282 363 304 221 0 87 0
[pid=25453] ppid=25450 vsize=15151148 memory=100688 CPUtime=1.72 cores=1,3,5,7
/proc/25453/stat : 25453 (java) S 25450 25450 25389 0 -1 1077944320 15282 0 0 0 167 5 0 0 20 0 15 0 411232872 15514775552 25172 33554432000 4194304 4196468 140736675250512 140736675233056 140033513230071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
/proc/25453/statm: 3787787 25172 3443 1 0 3748889 0
[pid=25453/tid=25455] ppid=25450 vsize=15151148 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/25453/task/25455/stat : 25455 (java) R 25450 25450 25389 0 -1 4202560 9107 0 0 0 64 3 0 0 20 0 15 0 411232873 15514775552 25172 33554432000 4194304 4196468 140736675250512 140033517455552 140033513251997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25460] ppid=25450 vsize=15151148 memory=58 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25460/stat : 25460 (java) S 25450 25450 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232874 15514775552 25172 33554432000 4194304 4196468 140736675250512 140033105910288 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25461] ppid=25450 vsize=15151148 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25461/stat : 25461 (java) S 25450 25450 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232874 15514775552 25172 33554432000 4194304 4196468 140736675250512 140033104857744 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25462] ppid=25450 vsize=15151148 memory=1028 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25462/stat : 25462 (java) S 25450 25450 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232874 15514775552 25172 33554432000 4194304 4196468 140736675250512 140033103804688 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25463] ppid=25450 vsize=15151148 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25463/stat : 25463 (java) S 25450 25450 25389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411232874 15514775552 25172 33554432000 4194304 4196468 140736675250512 140033102752144 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25465] ppid=25450 vsize=15151148 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25465/stat : 25465 (java) S 25450 25450 25389 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411232875 15514775552 25172 33554432000 4194304 4196468 140736675250512 140032655805168 140033513241218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25467] ppid=25450 vsize=15151148 memory=756 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25467/stat : 25467 (java) S 25450 25450 25389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411232875 15514775552 25172 33554432000 4194304 4196468 140736675250512 140032654751392 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25469] ppid=25450 vsize=15151148 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25469/stat : 25469 (java) S 25450 25450 25389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411232876 15514775552 25172 33554432000 4194304 4196468 140736675250512 140032653698288 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25471] ppid=25450 vsize=15151148 memory=7972 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25471/stat : 25471 (java) S 25450 25450 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15514775552 25172 33554432000 4194304 4196468 140736675250512 140032652646864 140033513248667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25473] ppid=25450 vsize=15151148 memory=1164 CPUtime=0.35 cores=1,3,5,7
/proc/25453/task/25473/stat : 25473 (java) R 25450 25450 25389 0 -1 4202560 1595 0 0 0 35 0 0 0 20 0 15 0 411232878 15514775552 25172 33554432000 4194304 4196468 140736675250512 140032651571328 140033490824848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25475] ppid=25450 vsize=15151148 memory=9580 CPUtime=0.31 cores=1,3,5,7
/proc/25453/task/25475/stat : 25475 (java) R 25450 25450 25389 0 -1 4202560 897 0 0 0 31 0 0 0 20 0 15 0 411232878 15514775552 25172 33554432000 4194304 4196468 140736675250512 140032650541424 140033490911234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25477] ppid=25450 vsize=15151148 memory=14008 CPUtime=0.36 cores=1,3,5,7
/proc/25453/task/25477/stat : 25477 (java) S 25450 25450 25389 0 -1 1077944384 2379 0 0 0 36 0 0 0 20 0 15 0 411232878 15514775552 25172 33554432000 4194304 4196468 140736675250512 140032649488368 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25479] ppid=25450 vsize=15151148 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25479/stat : 25479 (java) S 25450 25450 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411232878 15514775552 25172 33554432000 4194304 4196468 140736675250512 140032648436064 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25480] ppid=25450 vsize=15151148 memory=11976 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25480/stat : 25480 (java) S 25450 25450 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411232878 15514775552 25172 33554432000 4194304 4196468 140736675250512 140032647384112 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 102140 KiB

[startup+1.51318 s]
/proc/loadavg: 1.76 1.97 2.02 8/229 25481
/proc/meminfo: memFree=31342452/32770624 swapFree=66980228/67108860
[pid=25450] ppid=25443 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25450/stat : 25450 (xcsp3-exec) S 25443 25450 25389 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411232872 115843072 363 33554432000 4194304 5098028 140734189667568 140734189665672 140626977559164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10625024 140734189671291 140734189671533 140734189671533 140734189674442 0
/proc/25450/statm: 28282 363 304 221 0 87 0

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

/proc/25453/stat : 25453 (java) S 25450 25450 25389 0 -1 1077944320 85337 0 0 0 207549 93 0 0 20 0 19 0 411232872 15789518848 587074 33554432000 4194304 4196468 140736675250512 140736675233056 140033513230071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
/proc/25453/statm: 3854863 587074 3536 1 0 3815965 0
[pid=25453/tid=25455] ppid=25450 vsize=15419452 memory=2348296 CPUtime=2.49 cores=1,3,5,7
/proc/25453/task/25455/stat : 25455 (java) S 25450 25450 25389 0 -1 1077944384 11437 0 0 0 242 7 0 0 20 0 19 0 411232873 15789518848 587074 33554432000 4194304 4196468 140736675250512 140033517470848 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25460] ppid=25450 vsize=15419452 memory=2348296 CPUtime=0.35 cores=1,3,5,7
/proc/25453/task/25460/stat : 25460 (java) S 25450 25450 25389 0 -1 1077944384 1561 0 0 0 27 8 0 0 20 0 19 0 411232874 15789518848 587074 33554432000 4194304 4196468 140736675250512 140033105910288 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25461] ppid=25450 vsize=15419452 memory=2348296 CPUtime=0.38 cores=1,3,5,7
/proc/25453/task/25461/stat : 25461 (java) S 25450 25450 25389 0 -1 1077944384 2187 0 0 0 30 8 0 0 20 0 19 0 411232874 15789518848 587074 33554432000 4194304 4196468 140736675250512 140033104857744 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25462] ppid=25450 vsize=15419452 memory=2348296 CPUtime=0.4 cores=1,3,5,7
/proc/25453/task/25462/stat : 25462 (java) S 25450 25450 25389 0 -1 1077944384 2112 0 0 0 32 8 0 0 20 0 19 0 411232874 15789518848 587074 33554432000 4194304 4196468 140736675250512 140033103804688 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25463] ppid=25450 vsize=15419452 memory=2348296 CPUtime=0.34 cores=1,3,5,7
/proc/25453/task/25463/stat : 25463 (java) S 25450 25450 25389 0 -1 1077944384 1189 0 0 0 26 8 0 0 20 0 19 0 411232874 15789518848 587074 33554432000 4194304 4196468 140736675250512 140033102752144 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25465] ppid=25450 vsize=15419452 memory=2348296 CPUtime=0.06 cores=1,3,5,7
/proc/25453/task/25465/stat : 25465 (java) S 25450 25450 25389 0 -1 1077944384 3696 0 0 0 3 3 0 0 20 0 19 0 411232875 15789518848 587074 33554432000 4194304 4196468 140736675250512 140032655805168 140033513241218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25467] ppid=25450 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25467/stat : 25467 (java) S 25450 25450 25389 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 411232875 15789518848 587074 33554432000 4194304 4196468 140736675250512 140032654751456 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25469] ppid=25450 vsize=15419452 memory=2348296 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25469/stat : 25469 (java) S 25450 25450 25389 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 411232876 15789518848 587074 33554432000 4194304 4196468 140736675250512 140032653698304 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25471] ppid=25450 vsize=15419452 memory=2348296 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25471/stat : 25471 (java) S 25450 25450 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411232878 15789518848 587074 33554432000 4194304 4196468 140736675250512 140032652646864 140033513248667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25473] ppid=25450 vsize=15419452 memory=1452 CPUtime=4.96 cores=1,3,5,7
/proc/25453/task/25473/stat : 25473 (java) S 25450 25450 25389 0 -1 1077944384 13533 0 0 0 495 1 0 0 20 0 19 0 411232878 15789518848 587074 33554432000 4194304 4196468 140736675250512 140032651593968 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25475] ppid=25450 vsize=15419452 memory=0 CPUtime=4.92 cores=1,3,5,7
/proc/25453/task/25475/stat : 25475 (java) S 25450 25450 25389 0 -1 1077944384 13861 0 0 0 491 1 0 0 20 0 19 0 411232878 15789518848 587074 33554432000 4194304 4196468 140736675250512 140032650541424 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25477] ppid=25450 vsize=15419452 memory=1452 CPUtime=0.9 cores=1,3,5,7
/proc/25453/task/25477/stat : 25477 (java) S 25450 25450 25389 0 -1 1077944384 7198 0 0 0 88 2 0 0 20 0 19 0 411232878 15789518848 587074 33554432000 4194304 4196468 140736675250512 140032649488368 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25479] ppid=25450 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25479/stat : 25479 (java) S 25450 25450 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411232878 15789518848 587074 33554432000 4194304 4196468 140736675250512 140032648436064 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25480] ppid=25450 vsize=15419452 memory=1452 CPUtime=0.27 cores=1,3,5,7
/proc/25453/task/25480/stat : 25480 (java) S 25450 25450 25389 0 -1 1077944384 848 0 0 0 0 27 0 0 20 0 19 0 411232878 15789518848 587074 33554432000 4194304 4196468 140736675250512 140032647384112 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25490] ppid=25450 vsize=15419452 memory=2342636 CPUtime=512.97 cores=1,3,5,7
/proc/25453/task/25490/stat : 25490 (java) R 25450 25450 25389 0 -1 4202560 1683 0 0 0 51296 1 0 0 20 0 19 0 411233391 15789518848 587074 33554432000 4194304 4196468 140736675250512 140031994542936 140033140032353 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25491] ppid=25450 vsize=15419452 memory=1452 CPUtime=512.81 cores=1,3,5,7
/proc/25453/task/25491/stat : 25491 (java) R 25450 25450 25389 0 -1 4202560 21494 0 0 0 51241 40 0 0 20 0 19 0 411233391 15789518848 587074 33554432000 4194304 4196468 140736675250512 140031991388304 140033138764364 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25492] ppid=25450 vsize=15419452 memory=2342636 CPUtime=514.99 cores=1,3,5,7
/proc/25453/task/25492/stat : 25492 (java) R 25450 25450 25389 0 -1 4202560 1389 0 0 0 51499 0 0 0 20 0 19 0 411233391 15789518848 587074 33554432000 4194304 4196468 140736675250512 140031993491288 140033138147061 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25493] ppid=25450 vsize=15419452 memory=6791534058613427641 CPUtime=513.46 cores=1,3,5,7
/proc/25453/task/25493/stat : 25493 (java) R 25450 25450 25389 0 -1 4202560 1565 0 0 0 51346 0 0 0 20 0 19 0 411233391 15789518848 587074 33554432000 4194304 4196468 140736675250512 140031992439056 140033140616586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
Current children cumulated CPU time: 2076.42 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 2349748 KiB

[startup+582.301 s]
/proc/loadavg: 8.02 6.98 4.70 11/238 25573
/proc/meminfo: memFree=26858996/32770624 swapFree=66980240/67108860
[pid=25450] ppid=25443 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25450/stat : 25450 (xcsp3-exec) S 25443 25450 25389 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411232872 115843072 363 33554432000 4194304 5098028 140734189667568 140734189665672 140626977559164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10625024 140734189671291 140734189671533 140734189671533 140734189674442 0
/proc/25450/statm: 28282 363 304 221 0 87 0
[pid=25453] ppid=25450 vsize=15419452 memory=2353308 CPUtime=2315.22 cores=1,3,5,7
/proc/25453/stat : 25453 (java) S 25450 25450 25389 0 -1 1077944320 88977 0 0 0 231427 95 0 0 20 0 19 0 411232872 15789518848 588327 33554432000 4194304 4196468 140736675250512 140736675233056 140033513230071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
/proc/25453/statm: 3854863 588327 3536 1 0 3815965 0
[pid=25453/tid=25455] ppid=25450 vsize=15419452 memory=2353308 CPUtime=2.49 cores=1,3,5,7
/proc/25453/task/25455/stat : 25455 (java) S 25450 25450 25389 0 -1 1077944384 11437 0 0 0 242 7 0 0 20 0 19 0 411232873 15789518848 588327 33554432000 4194304 4196468 140736675250512 140033517470848 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25460] ppid=25450 vsize=15419452 memory=2348700 CPUtime=0.37 cores=1,3,5,7
/proc/25453/task/25460/stat : 25460 (java) S 25450 25450 25389 0 -1 1077944384 1659 0 0 0 29 8 0 0 20 0 19 0 411232874 15789518848 588327 33554432000 4194304 4196468 140736675250512 140033105910288 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25461] ppid=25450 vsize=15419452 memory=2353308 CPUtime=0.39 cores=1,3,5,7
/proc/25453/task/25461/stat : 25461 (java) S 25450 25450 25389 0 -1 1077944384 2229 0 0 0 31 8 0 0 20 0 19 0 411232874 15789518848 588327 33554432000 4194304 4196468 140736675250512 140033104857744 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25462] ppid=25450 vsize=15419452 memory=1452 CPUtime=0.41 cores=1,3,5,7
/proc/25453/task/25462/stat : 25462 (java) S 25450 25450 25389 0 -1 1077944384 2149 0 0 0 33 8 0 0 20 0 19 0 411232874 15789518848 588327 33554432000 4194304 4196468 140736675250512 140033103804688 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25463] ppid=25450 vsize=15419452 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/25453/task/25463/stat : 25463 (java) S 25450 25450 25389 0 -1 1077944384 1774 0 0 0 28 8 0 0 20 0 19 0 411232874 15789518848 588327 33554432000 4194304 4196468 140736675250512 140033102752144 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25465] ppid=25450 vsize=15419452 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25453/task/25465/stat : 25465 (java) S 25450 25450 25389 0 -1 1077944384 3952 0 0 0 3 4 0 0 20 0 19 0 411232875 15789518848 588327 33554432000 4194304 4196468 140736675250512 140032655805168 140033513241218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25467] ppid=25450 vsize=15419452 memory=2353308 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25467/stat : 25467 (java) S 25450 25450 25389 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 411232875 15789518848 588327 33554432000 4194304 4196468 140736675250512 140032654751456 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25469] ppid=25450 vsize=15419452 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25469/stat : 25469 (java) S 25450 25450 25389 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 411232876 15789518848 588327 33554432000 4194304 4196468 140736675250512 140032653698304 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25471] ppid=25450 vsize=15419452 memory=18196 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25471/stat : 25471 (java) S 25450 25450 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411232878 15789518848 588327 33554432000 4194304 4196468 140736675250512 140032652646864 140033513248667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25473] ppid=25450 vsize=15419452 memory=-3622645143214314312 CPUtime=4.96 cores=1,3,5,7
/proc/25453/task/25473/stat : 25473 (java) S 25450 25450 25389 0 -1 1077944384 13541 0 0 0 495 1 0 0 20 0 19 0 411232878 15789518848 588327 33554432000 4194304 4196468 140736675250512 140032651593968 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25475] ppid=25450 vsize=15419452 memory=3620 CPUtime=4.92 cores=1,3,5,7
/proc/25453/task/25475/stat : 25475 (java) S 25450 25450 25389 0 -1 1077944384 13864 0 0 0 491 1 0 0 20 0 19 0 411232878 15789518848 588327 33554432000 4194304 4196468 140736675250512 140032650541424 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25477] ppid=25450 vsize=15419452 memory=2353308 CPUtime=0.9 cores=1,3,5,7
/proc/25453/task/25477/stat : 25477 (java) S 25450 25450 25389 0 -1 1077944384 7202 0 0 0 88 2 0 0 20 0 19 0 411232878 15789518848 588327 33554432000 4194304 4196468 140736675250512 140032649488368 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25479] ppid=25450 vsize=15419452 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25479/stat : 25479 (java) S 25450 25450 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411232878 15789518848 588327 33554432000 4194304 4196468 140736675250512 140032648436064 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25480] ppid=25450 vsize=15419452 memory=2348700 CPUtime=0.29 cores=1,3,5,7
/proc/25453/task/25480/stat : 25480 (java) S 25450 25450 25389 0 -1 1077944384 874 0 0 0 0 29 0 0 20 0 19 0 411232878 15789518848 588327 33554432000 4194304 4196468 140736675250512 140032647384112 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25490] ppid=25450 vsize=15419452 memory=1452 CPUtime=572.66 cores=1,3,5,7
/proc/25453/task/25490/stat : 25490 (java) R 25450 25450 25389 0 -1 4202560 1840 0 0 0 57265 1 0 0 20 0 19 0 411233391 15789518848 588327 33554432000 4194304 4196468 140736675250512 140031994542936 140033139053053 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25491] ppid=25450 vsize=15419452 memory=1452 CPUtime=572.77 cores=1,3,5,7
/proc/25453/task/25491/stat : 25491 (java) R 25450 25450 25389 0 -1 4202560 23653 0 0 0 57236 41 0 0 20 0 19 0 411233391 15789518848 588327 33554432000 4194304 4196468 140736675250512 140031991388512 140033140654017 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25492] ppid=25450 vsize=15419452 memory=1452 CPUtime=574.42 cores=1,3,5,7
/proc/25453/task/25492/stat : 25492 (java) R 25450 25450 25389 0 -1 4202560 1562 0 0 0 57441 1 0 0 20 0 19 0 411233391 15789518848 588327 33554432000 4194304 4196468 140736675250512 140031993491272 140033141136558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25493] ppid=25450 vsize=15419452 memory=1452 CPUtime=573.1 cores=1,3,5,7
/proc/25453/task/25493/stat : 25493 (java) R 25450 25450 25389 0 -1 4202560 1657 0 0 0 57309 1 0 0 20 0 19 0 411233391 15789518848 588327 33554432000 4194304 4196468 140736675250512 140031992439056 140033140616697 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
Current children cumulated CPU time: 2315.22 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 2354760 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+603.601 s]
/proc/loadavg: 8.09 7.06 4.78 11/238 25575
/proc/meminfo: memFree=26847564/32770624 swapFree=66980240/67108860
[pid=25450] ppid=25443 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25450/stat : 25450 (xcsp3-exec) S 25443 25450 25389 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411232872 115843072 363 33554432000 4194304 5098028 140734189667568 140734189665672 140626977559164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10625024 140734189671291 140734189671533 140734189671533 140734189674442 0
/proc/25450/statm: 28282 363 304 221 0 87 0
[pid=25453] ppid=25450 vsize=15419452 memory=2352172 CPUtime=2400.01 cores=1,3,5,7
/proc/25453/stat : 25453 (java) S 25450 25450 25389 0 -1 1077944320 89815 0 0 0 239905 96 0 0 20 0 19 0 411232872 15789518848 588043 33554432000 4194304 4196468 140736675250512 140736675233056 140033513230071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
/proc/25453/statm: 3854863 588043 3536 1 0 3815965 0
[pid=25453/tid=25455] ppid=25450 vsize=15419452 memory=2461040 CPUtime=2.49 cores=1,3,5,7
/proc/25453/task/25455/stat : 25455 (java) S 25450 25450 25389 0 -1 1077944384 11437 0 0 0 242 7 0 0 20 0 19 0 411232873 15789518848 588043 33554432000 4194304 4196468 140736675250512 140033517470848 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25460] ppid=25450 vsize=15419452 memory=2352172 CPUtime=0.38 cores=1,3,5,7
/proc/25453/task/25460/stat : 25460 (java) S 25450 25450 25389 0 -1 1077944384 1661 0 0 0 30 8 0 0 20 0 19 0 411232874 15789518848 588043 33554432000 4194304 4196468 140736675250512 140033105910288 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25461] ppid=25450 vsize=15419452 memory=1628 CPUtime=0.4 cores=1,3,5,7
/proc/25453/task/25461/stat : 25461 (java) S 25450 25450 25389 0 -1 1077944384 2232 0 0 0 32 8 0 0 20 0 19 0 411232874 15789518848 588043 33554432000 4194304 4196468 140736675250512 140033104857744 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25462] ppid=25450 vsize=15419452 memory=2353308 CPUtime=0.42 cores=1,3,5,7
/proc/25453/task/25462/stat : 25462 (java) S 25450 25450 25389 0 -1 1077944384 2157 0 0 0 34 8 0 0 20 0 19 0 411232874 15789518848 588043 33554432000 4194304 4196468 140736675250512 140033103804688 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25463] ppid=25450 vsize=15419452 memory=1628 CPUtime=0.37 cores=1,3,5,7
/proc/25453/task/25463/stat : 25463 (java) S 25450 25450 25389 0 -1 1077944384 1774 0 0 0 29 8 0 0 20 0 19 0 411232874 15789518848 588043 33554432000 4194304 4196468 140736675250512 140033102752144 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25465] ppid=25450 vsize=15419452 memory=3360 CPUtime=0.07 cores=1,3,5,7
/proc/25453/task/25465/stat : 25465 (java) S 25450 25450 25389 0 -1 1077944384 3961 0 0 0 3 4 0 0 20 0 19 0 411232875 15789518848 588043 33554432000 4194304 4196468 140736675250512 140032655805168 140033513241218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25467] ppid=25450 vsize=15419452 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25467/stat : 25467 (java) S 25450 25450 25389 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 411232875 15789518848 588043 33554432000 4194304 4196468 140736675250512 140032654751456 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25469] ppid=25450 vsize=15419452 memory=9580 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25469/stat : 25469 (java) S 25450 25450 25389 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 411232876 15789518848 588043 33554432000 4194304 4196468 140736675250512 140032653698304 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25471] ppid=25450 vsize=15419452 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25471/stat : 25471 (java) S 25450 25450 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411232878 15789518848 588043 33554432000 4194304 4196468 140736675250512 140032652646864 140033513248667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25473] ppid=25450 vsize=15419452 memory=2120 CPUtime=4.96 cores=1,3,5,7
/proc/25453/task/25473/stat : 25473 (java) S 25450 25450 25389 0 -1 1077944384 13549 0 0 0 495 1 0 0 20 0 19 0 411232878 15789518848 588043 33554432000 4194304 4196468 140736675250512 140032651593968 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25475] ppid=25450 vsize=15419452 memory=11976 CPUtime=4.92 cores=1,3,5,7
/proc/25453/task/25475/stat : 25475 (java) S 25450 25450 25389 0 -1 1077944384 13866 0 0 0 491 1 0 0 20 0 19 0 411232878 15789518848 588043 33554432000 4194304 4196468 140736675250512 140032650541424 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25477] ppid=25450 vsize=15419452 memory=6232 CPUtime=0.9 cores=1,3,5,7
/proc/25453/task/25477/stat : 25477 (java) S 25450 25450 25389 0 -1 1077944384 7207 0 0 0 88 2 0 0 20 0 19 0 411232878 15789518848 588043 33554432000 4194304 4196468 140736675250512 140032649488368 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25479] ppid=25450 vsize=15419452 memory=512 CPUtime=0 cores=1,3,5,7
/proc/25453/task/25479/stat : 25479 (java) S 25450 25450 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411232878 15789518848 588043 33554432000 4194304 4196468 140736675250512 140032648436064 140033513240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25480] ppid=25450 vsize=15419452 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/25453/task/25480/stat : 25480 (java) S 25450 25450 25389 0 -1 1077944384 899 0 0 0 0 30 0 0 20 0 19 0 411232878 15789518848 588043 33554432000 4194304 4196468 140736675250512 140032647384112 140033513241218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25490] ppid=25450 vsize=15419452 memory=6791534058613427641 CPUtime=593.56 cores=1,3,5,7
/proc/25453/task/25490/stat : 25490 (java) R 25450 25450 25389 0 -1 4202560 1967 0 0 0 59355 1 0 0 20 0 19 0 411233391 15789518848 588043 33554432000 4194304 4196468 140736675250512 140031994542984 140033138931630 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25491] ppid=25450 vsize=15419452 memory=2352172 CPUtime=594.04 cores=1,3,5,7
/proc/25453/task/25491/stat : 25491 (java) R 25450 25450 25389 0 -1 4202560 24087 0 0 0 59363 41 0 0 20 0 19 0 411233391 15789518848 588043 33554432000 4194304 4196468 140736675250512 140031991388304 140033141023995 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25492] ppid=25450 vsize=15419452 memory=1692 CPUtime=595.71 cores=1,3,5,7
/proc/25453/task/25492/stat : 25492 (java) R 25450 25450 25389 0 -1 4202560 1658 0 0 0 59570 1 0 0 20 0 19 0 411233391 15789518848 588043 33554432000 4194304 4196468 140736675250512 140031993491480 140033138929095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
[pid=25453/tid=25493] ppid=25450 vsize=15419452 memory=1028 CPUtime=594.38 cores=1,3,5,7
/proc/25453/task/25493/stat : 25493 (java) R 25450 25450 25389 0 -1 4202560 1776 0 0 0 59437 1 0 0 20 0 19 0 411233391 15789518848 588043 33554432000 4194304 4196468 140736675250512 140031992439056 140033140616789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140736675259375 140736675259546 140736675259546 140736675262415 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 2353624 KiB

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

[startup+603.633 s]
# the end of solver process 25450 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001557 s, system=0.000778 s

[startup+603.69 s]
# the end of solver process 25453 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.36 s, system=0.980811 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 603.69
CPU time (s): 2400.34
CPU user time (s): 2399.36
CPU system time (s): 0.980811
CPU usage (%): 397.611
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 2354760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.36
system time used= 0.980811
maximum resident set size= 2357404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91134
page faults= 0
swaps= 0
block input operations= 0
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16142
involuntary context switches= 28839


# summary of solver processes directly reported to runsolver:
#   pid: 25450,25453
#   total CPU time (s): 2400.34
#   total CPU user time (s): 2399.36
#   total CPU system time (s): 0.980811

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.08251 second user time and 6.73255 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml
MD5SUM	d4eaac7549f90ed3ded0e25770a164a4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	394
Best CPU time to get the best result obtained on this benchmark	5.69025
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3907
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":40},{"size":24,"count":14},{"size":36,"count":146},{"size":42,"count":306},{"size":44,"count":174}]
Minimum variable degree	4
Maximum variable degree	25
Distribution of variable degrees	[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":15},{"degree":7,"count":36},{"degree":8,"count":71},{"degree":9,"count":62},{"degree":10,"count":71},{"degree":11,"count":58},{"degree":12,"count":55},{"degree":13,"count":34},{"degree":14,"count":33},{"degree":15,"count":44},{"degree":16,"count":63},{"degree":17,"count":60},{"degree":18,"count":44},{"degree":19,"count":19},{"degree":20,"count":5},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3907}]
Number of extensional constraints	0
Number of intensional constraints	3907
Distribution of constraint types	[{"type":"intension","count":3907}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4394187

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
