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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16	SAT (TO)	36	2520.7	694.111
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 (14613 MiB free)
  memory of node 1: 16384 MiB (15720 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399408-1568700034/watcher-4399408-1568700034 -o /tmp/evaluation-result-4399408-1568700034/solver-4399408-1568700034 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568700147-23526 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1484806202 HOME/instance-4399408-1568700034.xml 

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

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

solver pid=23565, runsolver pid=23562

[startup+0.100638 s]*
/proc/loadavg: 1.19 1.80 2.43 7/229 23587
/proc/meminfo: memFree=31036636/32770624 swapFree=66922708/67108860
[pid=23565] ppid=23562 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23565/stat : 23565 (xcsp3-exec) S 23562 23565 23495 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446272169 115843072 362 33554432000 4194304 5098028 140723930592304 140723930590408 140078195171964 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14422016 140723930600314 140723930600557 140723930600557 140723930603466 0
/proc/23565/statm: 28282 362 304 221 0 87 0
[pid=23567] ppid=23565 vsize=15144776 memory=29100 CPUtime=0.13 cores=0,2,4,6
/proc/23567/stat : 23567 (java) S 23565 23565 23495 0 -1 1077944320 5773 0 0 0 12 1 0 0 20 0 15 0 446272169 15508250624 7275 33554432000 4194304 4196468 140735798167888 140735798150432 139854515859191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
/proc/23567/statm: 3786194 7275 3119 1 0 3748377 0
[pid=23567/tid=23568] ppid=23565 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/23567/task/23568/stat : 23568 (java) R 23565 23565 23495 0 -1 4202560 3672 0 0 0 8 1 0 0 20 0 15 0 446272169 15508250624 7341 33554432000 4194304 4196468 140735798167888 139854520089568 139854515881117 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23569] ppid=23565 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23569/stat : 23569 (java) S 23565 23565 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272170 15508250624 7341 33554432000 4194304 4196468 140735798167888 139854472411408 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23570] ppid=23565 vsize=15144776 memory=139755695724160 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23570/stat : 23570 (java) S 23565 23565 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272170 15508250624 7341 33554432000 4194304 4196468 140735798167888 139854471358864 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23571] ppid=23565 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23571/stat : 23571 (java) S 23565 23565 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272170 15508250624 7341 33554432000 4194304 4196468 140735798167888 139854106253840 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23572] ppid=23565 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23572/stat : 23572 (java) S 23565 23565 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272170 15508250624 7341 33554432000 4194304 4196468 140735798167888 139854105201296 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23579] ppid=23565 vsize=15144776 memory=139755695724160 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23579/stat : 23579 (java) S 23565 23565 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272172 15508250624 7341 33554432000 4194304 4196468 140735798167888 139853984365040 139854515870338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23580] ppid=23565 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23580/stat : 23580 (java) S 23565 23565 23495 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446272172 15508250624 7341 33554432000 4194304 4196468 140735798167888 139853983311264 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23581] ppid=23565 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23581/stat : 23581 (java) S 23565 23565 23495 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446272172 15508250624 7341 33554432000 4194304 4196468 140735798167888 139853982258672 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23582] ppid=23565 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23582/stat : 23582 (java) S 23565 23565 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446272175 15508250624 7341 33554432000 4194304 4196468 140735798167888 139853981207248 139854515877787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23583] ppid=23565 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23583/stat : 23583 (java) R 23565 23565 23495 0 -1 4202560 336 0 0 0 0 0 0 0 20 0 15 0 446272175 15508250624 7341 33554432000 4194304 4196468 140735798167888 139853980153840 139854493692048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23584] ppid=23565 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23584/stat : 23584 (java) R 23565 23565 23495 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 446272175 15508250624 7341 33554432000 4194304 4196468 140735798167888 139853979101296 139854515870338 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23585] ppid=23565 vsize=15144776 memory=139755695724160 CPUtime=0.02 cores=0,2,4,6
/proc/23567/task/23585/stat : 23585 (java) R 23565 23565 23495 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 446272175 15508250624 7341 33554432000 4194304 4196468 140735798167888 139853978048752 139854515871126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23586] ppid=23565 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23586/stat : 23586 (java) S 23565 23565 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446272175 15508250624 7341 33554432000 4194304 4196468 140735798167888 139853976996448 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23587] ppid=23565 vsize=15144776 memory=139755695724160 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23587/stat : 23587 (java) S 23565 23565 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272175 15508250624 7341 33554432000 4194304 4196468 140735798167888 139853975943984 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30548 KiB

[startup+0.210853 s]*
/proc/loadavg: 1.19 1.80 2.43 4/229 23587
/proc/meminfo: memFree=31012176/32770624 swapFree=66922708/67108860
[pid=23565] ppid=23562 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23565/stat : 23565 (xcsp3-exec) S 23562 23565 23495 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446272169 115843072 362 33554432000 4194304 5098028 140723930592304 140723930590408 140078195171964 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14422016 140723930600314 140723930600557 140723930600557 140723930603466 0
/proc/23565/statm: 28282 362 304 221 0 87 0
[pid=23567] ppid=23565 vsize=15144776 memory=41052 CPUtime=0.35 cores=0,2,4,6
/proc/23567/stat : 23567 (java) S 23565 23565 23495 0 -1 1077944320 9466 0 0 0 32 3 0 0 20 0 15 0 446272169 15508250624 10263 33554432000 4194304 4196468 140735798167888 140735798150432 139854515859191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
/proc/23567/statm: 3786194 10263 3294 1 0 3748377 0
[pid=23567/tid=23568] ppid=23565 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/23567/task/23568/stat : 23568 (java) R 23565 23565 23495 0 -1 4202560 6648 0 0 0 18 2 0 0 20 0 15 0 446272169 15508250624 10263 33554432000 4194304 4196468 140735798167888 139854520095888 139854499939678 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23569] ppid=23565 vsize=15144776 memory=12641 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23569/stat : 23569 (java) S 23565 23565 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272170 15508250624 10263 33554432000 4194304 4196468 140735798167888 139854472411408 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23570] ppid=23565 vsize=15144776 memory=139755699017968 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23570/stat : 23570 (java) S 23565 23565 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272170 15508250624 10263 33554432000 4194304 4196468 140735798167888 139854471358864 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23571] ppid=23565 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23571/stat : 23571 (java) S 23565 23565 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272170 15508250624 10263 33554432000 4194304 4196468 140735798167888 139854106253840 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23572] ppid=23565 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23572/stat : 23572 (java) S 23565 23565 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272170 15508250624 10263 33554432000 4194304 4196468 140735798167888 139854105201296 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23579] ppid=23565 vsize=15144776 memory=139755695724160 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23579/stat : 23579 (java) S 23565 23565 23495 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446272172 15508250624 10263 33554432000 4194304 4196468 140735798167888 139853984365040 139854515870338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23580] ppid=23565 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23580/stat : 23580 (java) S 23565 23565 23495 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446272172 15508250624 10263 33554432000 4194304 4196468 140735798167888 139853983311264 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23581] ppid=23565 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23581/stat : 23581 (java) S 23565 23565 23495 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446272172 15508250624 10263 33554432000 4194304 4196468 140735798167888 139853982258672 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23582] ppid=23565 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23582/stat : 23582 (java) S 23565 23565 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446272175 15508250624 10263 33554432000 4194304 4196468 140735798167888 139853981207248 139854515877787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23583] ppid=23565 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23567/task/23583/stat : 23583 (java) S 23565 23565 23495 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 446272175 15508250624 10263 33554432000 4194304 4196468 140735798167888 139853980153840 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23584] ppid=23565 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23567/task/23584/stat : 23584 (java) S 23565 23565 23495 0 -1 1077944384 406 0 0 0 2 0 0 0 20 0 15 0 446272175 15508250624 10263 33554432000 4194304 4196468 140735798167888 139853979101296 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23585] ppid=23565 vsize=15144776 memory=139755695724160 CPUtime=0.08 cores=0,2,4,6
/proc/23567/task/23585/stat : 23585 (java) R 23565 23565 23495 0 -1 4202560 734 0 0 0 8 0 0 0 20 0 15 0 446272175 15508250624 10263 33554432000 4194304 4196468 140735798167888 139853978048560 139854496633745 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23586] ppid=23565 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23586/stat : 23586 (java) S 23565 23565 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446272175 15508250624 10263 33554432000 4194304 4196468 140735798167888 139853976996448 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23587] ppid=23565 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23587/stat : 23587 (java) S 23565 23565 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272175 15508250624 10263 33554432000 4194304 4196468 140735798167888 139853975943984 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42500 KiB

[startup+0.31913 s]*
/proc/loadavg: 1.19 1.80 2.43 7/229 23587
/proc/meminfo: memFree=30997988/32770624 swapFree=66922708/67108860
[pid=23565] ppid=23562 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23565/stat : 23565 (xcsp3-exec) S 23562 23565 23495 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446272169 115843072 362 33554432000 4194304 5098028 140723930592304 140723930590408 140078195171964 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14422016 140723930600314 140723930600557 140723930600557 140723930603466 0
/proc/23565/statm: 28282 362 304 221 0 87 0
[pid=23567] ppid=23565 vsize=15149032 memory=50376 CPUtime=0.53 cores=0,2,4,6
/proc/23567/stat : 23567 (java) S 23565 23565 23495 0 -1 1077944320 10916 0 0 0 50 3 0 0 20 0 15 0 446272169 15512608768 12594 33554432000 4194304 4196468 140735798167888 140735798150432 139854515859191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
/proc/23567/statm: 3787258 12594 3370 1 0 3748377 0
[pid=23567/tid=23568] ppid=23565 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/23567/task/23568/stat : 23568 (java) R 23565 23565 23495 0 -1 4202560 7874 0 0 0 27 3 0 0 20 0 15 0 446272169 15512608768 12594 33554432000 4194304 4196468 140735798167888 139854520094032 139854515881117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23569] ppid=23565 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23569/stat : 23569 (java) S 23565 23565 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272170 15512608768 12594 33554432000 4194304 4196468 140735798167888 139854472411408 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23570] ppid=23565 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23570/stat : 23570 (java) S 23565 23565 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272170 15512608768 12594 33554432000 4194304 4196468 140735798167888 139854471358864 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23571] ppid=23565 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23571/stat : 23571 (java) S 23565 23565 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272170 15512608768 12594 33554432000 4194304 4196468 140735798167888 139854106253840 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23572] ppid=23565 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23572/stat : 23572 (java) S 23565 23565 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272170 15512608768 12594 33554432000 4194304 4196468 140735798167888 139854105201296 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23579] ppid=23565 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23579/stat : 23579 (java) S 23565 23565 23495 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446272172 15512608768 12594 33554432000 4194304 4196468 140735798167888 139853984365040 139854515870338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23580] ppid=23565 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23580/stat : 23580 (java) S 23565 23565 23495 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446272172 15512608768 12594 33554432000 4194304 4196468 140735798167888 139853983311264 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23581] ppid=23565 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23581/stat : 23581 (java) S 23565 23565 23495 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446272172 15512608768 12594 33554432000 4194304 4196468 140735798167888 139853982258672 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23582] ppid=23565 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23582/stat : 23582 (java) S 23565 23565 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446272175 15512608768 12594 33554432000 4194304 4196468 140735798167888 139853981207248 139854515877787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23583] ppid=23565 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/23567/task/23583/stat : 23583 (java) S 23565 23565 23495 0 -1 1077944384 413 0 0 0 4 0 0 0 20 0 15 0 446272175 15512608768 12594 33554432000 4194304 4196468 140735798167888 139853980153840 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23584] ppid=23565 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/23567/task/23584/stat : 23584 (java) S 23565 23565 23495 0 -1 1077944384 498 0 0 0 5 0 0 0 20 0 15 0 446272175 15512608768 12594 33554432000 4194304 4196468 140735798167888 139853979101296 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23585] ppid=23565 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23567/task/23585/stat : 23585 (java) S 23565 23565 23495 0 -1 1077944384 828 0 0 0 12 0 0 0 20 0 15 0 446272175 15512608768 12594 33554432000 4194304 4196468 140735798167888 139853978048752 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23586] ppid=23565 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23586/stat : 23586 (java) S 23565 23565 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446272175 15512608768 12594 33554432000 4194304 4196468 140735798167888 139853976996448 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23587] ppid=23565 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23587/stat : 23587 (java) S 23565 23565 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272175 15512608768 12594 33554432000 4194304 4196468 140735798167888 139853975943984 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51824 KiB

[startup+0.707162 s]
/proc/loadavg: 1.19 1.80 2.43 7/229 23587
/proc/meminfo: memFree=30953484/32770624 swapFree=66922708/67108860
[pid=23565] ppid=23562 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23565/stat : 23565 (xcsp3-exec) S 23562 23565 23495 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446272169 115843072 362 33554432000 4194304 5098028 140723930592304 140723930590408 140078195171964 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14422016 140723930600314 140723930600557 140723930600557 140723930603466 0
/proc/23565/statm: 28282 362 304 221 0 87 0
[pid=23567] ppid=23565 vsize=15151156 memory=99640 CPUtime=1.74 cores=0,2,4,6
/proc/23567/stat : 23567 (java) S 23565 23565 23495 0 -1 1077944320 15006 0 0 0 169 5 0 0 20 0 15 0 446272169 15514783744 24910 33554432000 4194304 4196468 140735798167888 140735798150432 139854515859191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
/proc/23567/statm: 3787789 24910 3449 1 0 3748889 0
[pid=23567/tid=23568] ppid=23565 vsize=15151156 memory=47456 CPUtime=0.68 cores=0,2,4,6
/proc/23567/task/23568/stat : 23568 (java) R 23565 23565 23495 0 -1 4202560 9105 0 0 0 64 4 0 0 20 0 15 0 446272169 15514783744 24910 33554432000 4194304 4196468 140735798167888 139854520084672 139854499939678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23569] ppid=23565 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23569/stat : 23569 (java) S 23565 23565 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272170 15514783744 24910 33554432000 4194304 4196468 140735798167888 139854472411408 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23570] ppid=23565 vsize=15151156 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23570/stat : 23570 (java) S 23565 23565 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272170 15514783744 24910 33554432000 4194304 4196468 140735798167888 139854471358864 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23571] ppid=23565 vsize=15151156 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23571/stat : 23571 (java) S 23565 23565 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272170 15514783744 24910 33554432000 4194304 4196468 140735798167888 139854106253840 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23572] ppid=23565 vsize=15151156 memory=10728 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23572/stat : 23572 (java) S 23565 23565 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272170 15514783744 24910 33554432000 4194304 4196468 140735798167888 139854105201296 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23579] ppid=23565 vsize=15151156 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23579/stat : 23579 (java) S 23565 23565 23495 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446272172 15514783744 24910 33554432000 4194304 4196468 140735798167888 139853984365040 139854515870338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23580] ppid=23565 vsize=15151156 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23580/stat : 23580 (java) S 23565 23565 23495 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446272172 15514783744 24910 33554432000 4194304 4196468 140735798167888 139853983311264 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23581] ppid=23565 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23581/stat : 23581 (java) S 23565 23565 23495 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446272172 15514783744 24910 33554432000 4194304 4196468 140735798167888 139853982258672 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23582] ppid=23565 vsize=15151156 memory=772 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23582/stat : 23582 (java) S 23565 23565 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446272175 15514783744 24910 33554432000 4194304 4196468 140735798167888 139853981207248 139854515877787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23583] ppid=23565 vsize=15151156 memory=1060 CPUtime=0.35 cores=0,2,4,6
/proc/23567/task/23583/stat : 23583 (java) R 23565 23565 23495 0 -1 4202560 1230 0 0 0 35 0 0 0 20 0 15 0 446272175 15514783744 24910 33554432000 4194304 4196468 140735798167888 139853980132480 139854500248611 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23584] ppid=23565 vsize=15151156 memory=1484 CPUtime=0.34 cores=0,2,4,6
/proc/23567/task/23584/stat : 23584 (java) R 23565 23565 23495 0 -1 4202560 1337 0 0 0 34 0 0 0 20 0 15 0 446272175 15514783744 24910 33554432000 4194304 4196468 140735798167888 139853979082496 139854501874993 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23585] ppid=23565 vsize=15151156 memory=1096 CPUtime=0.35 cores=0,2,4,6
/proc/23567/task/23585/stat : 23585 (java) S 23565 23565 23495 0 -1 1077944384 2026 0 0 0 35 0 0 0 20 0 15 0 446272175 15514783744 24910 33554432000 4194304 4196468 140735798167888 139853978048752 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23586] ppid=23565 vsize=15151156 memory=1176 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23586/stat : 23586 (java) S 23565 23565 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446272175 15514783744 24910 33554432000 4194304 4196468 140735798167888 139853976996448 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23587] ppid=23565 vsize=15151156 memory=6072 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23587/stat : 23587 (java) S 23565 23565 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272175 15514783744 24910 33554432000 4194304 4196468 140735798167888 139853975943984 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 101088 KiB

[startup+1.50113 s]
/proc/loadavg: 1.49 1.85 2.44 7/229 23587
/proc/meminfo: memFree=30766760/32770624 swapFree=66922708/67108860
[pid=23565] ppid=23562 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23565/stat : 23565 (xcsp3-exec) S 23562 23565 23495 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446272169 115843072 362 33554432000 4194304 5098028 140723930592304 140723930590408 140078195171964 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14422016 140723930600314 140723930600557 140723930600557 140723930603466 0
/proc/23565/statm: 28282 362 304 221 0 87 0

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

/proc/23567/stat : 23567 (java) S 23565 23565 23495 0 -1 1077944320 230083 0 0 0 207424 141 0 0 20 0 19 0 446272169 15789527040 615837 33554432000 4194304 4196468 140735798167888 140735798150432 139854515859191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
/proc/23567/statm: 3854865 615837 3564 1 0 3815965 0
[pid=23567/tid=23568] ppid=23565 vsize=15419460 memory=2463348 CPUtime=2.58 cores=0,2,4,6
/proc/23567/task/23568/stat : 23568 (java) S 23565 23565 23495 0 -1 1077944384 12226 0 0 0 251 7 0 0 20 0 19 0 446272169 15789527040 615837 33554432000 4194304 4196468 140735798167888 139854520099968 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23569] ppid=23565 vsize=15419460 memory=2463348 CPUtime=1.13 cores=0,2,4,6
/proc/23567/task/23569/stat : 23569 (java) S 23565 23565 23495 0 -1 1077944384 3915 0 0 0 104 9 0 0 20 0 19 0 446272170 15789527040 615837 33554432000 4194304 4196468 140735798167888 139854472411408 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23570] ppid=23565 vsize=15419460 memory=2463348 CPUtime=1.14 cores=0,2,4,6
/proc/23567/task/23570/stat : 23570 (java) S 23565 23565 23495 0 -1 1077944384 6021 0 0 0 105 9 0 0 20 0 19 0 446272170 15789527040 615837 33554432000 4194304 4196468 140735798167888 139854471358864 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23571] ppid=23565 vsize=15419460 memory=2463348 CPUtime=1.17 cores=0,2,4,6
/proc/23567/task/23571/stat : 23571 (java) S 23565 23565 23495 0 -1 1077944384 5345 0 0 0 105 12 0 0 20 0 19 0 446272170 15789527040 615837 33554432000 4194304 4196468 140735798167888 139854106253840 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23572] ppid=23565 vsize=15419460 memory=2463348 CPUtime=1.11 cores=0,2,4,6
/proc/23567/task/23572/stat : 23572 (java) S 23565 23565 23495 0 -1 1077944384 5635 0 0 0 101 10 0 0 20 0 19 0 446272170 15789527040 615837 33554432000 4194304 4196468 140735798167888 139854105201296 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23579] ppid=23565 vsize=15419460 memory=1448 CPUtime=2.09 cores=0,2,4,6
/proc/23567/task/23579/stat : 23579 (java) S 23565 23565 23495 0 -1 1077944384 10695 0 0 0 188 21 0 0 20 0 19 0 446272172 15789527040 615837 33554432000 4194304 4196468 140735798167888 139853984365040 139854515870338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23580] ppid=23565 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23580/stat : 23580 (java) S 23565 23565 23495 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 446272172 15789527040 615837 33554432000 4194304 4196468 140735798167888 139853983311328 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23581] ppid=23565 vsize=15419460 memory=2463348 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23581/stat : 23581 (java) S 23565 23565 23495 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 446272172 15789527040 615837 33554432000 4194304 4196468 140735798167888 139853982258688 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23582] ppid=23565 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23582/stat : 23582 (java) S 23565 23565 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446272175 15789527040 615837 33554432000 4194304 4196468 140735798167888 139853981207248 139854515877787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23583] ppid=23565 vsize=15419460 memory=1448 CPUtime=7.43 cores=0,2,4,6
/proc/23567/task/23583/stat : 23583 (java) S 23565 23565 23495 0 -1 1077944384 56668 0 0 0 736 7 0 0 20 0 19 0 446272175 15789527040 615837 33554432000 4194304 4196468 140735798167888 139853980153840 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23584] ppid=23565 vsize=15419460 memory=1428 CPUtime=6.44 cores=0,2,4,6
/proc/23567/task/23584/stat : 23584 (java) S 23565 23565 23495 0 -1 1077944384 45280 0 0 0 639 5 0 0 20 0 19 0 446272175 15789527040 615837 33554432000 4194304 4196468 140735798167888 139853979101296 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23585] ppid=23565 vsize=15419460 memory=10728 CPUtime=1.08 cores=0,2,4,6
/proc/23567/task/23585/stat : 23585 (java) S 23565 23565 23495 0 -1 1077944384 18321 0 0 0 106 2 0 0 20 0 19 0 446272175 15789527040 615837 33554432000 4194304 4196468 140735798167888 139853978048752 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23586] ppid=23565 vsize=15419460 memory=2463348 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23586/stat : 23586 (java) S 23565 23565 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446272175 15789527040 615837 33554432000 4194304 4196468 140735798167888 139853976996448 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23587] ppid=23565 vsize=15419460 memory=1060 CPUtime=0.56 cores=0,2,4,6
/proc/23567/task/23587/stat : 23587 (java) S 23565 23565 23495 0 -1 1077944384 2990 0 0 0 31 25 0 0 20 0 19 0 446272175 15789527040 615837 33554432000 4194304 4196468 140735798167888 139853975943984 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23767] ppid=23565 vsize=15419460 memory=1448 CPUtime=260.15 cores=0,2,4,6
/proc/23567/task/23767/stat : 23767 (java) R 23565 23565 23495 0 -1 4202560 1698 0 0 0 26015 0 0 0 20 0 19 0 446304142 15789527040 615837 33554432000 4194304 4196468 140735798167888 139853962520976 139854161470844 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23768] ppid=23565 vsize=15419460 memory=2440820 CPUtime=261.12 cores=0,2,4,6
/proc/23567/task/23768/stat : 23768 (java) R 23565 23565 23495 0 -1 4202560 15742 0 0 0 26107 5 0 0 20 0 19 0 446304142 15789527040 615837 33554432000 4194304 4196468 140735798167888 139853963575384 139854159602234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23769] ppid=23565 vsize=15419460 memory=1448 CPUtime=261.2 cores=0,2,4,6
/proc/23567/task/23769/stat : 23769 (java) R 23565 23565 23495 0 -1 4202560 6537 0 0 0 26117 3 0 0 20 0 19 0 446304142 15789527040 615837 33554432000 4194304 4196468 140735798167888 139853964629888 139854153684548 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23770] ppid=23565 vsize=15419460 memory=2463348 CPUtime=260.59 cores=0,2,4,6
/proc/23567/task/23770/stat : 23770 (java) R 23565 23565 23495 0 -1 4202560 1513 0 0 0 26059 0 0 0 20 0 19 0 446304142 15789527040 615837 33554432000 4194304 4196468 140735798167888 139853961469848 139854161470683 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
Current children cumulated CPU time: 2075.65 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 2464796 KiB

[startup+642.301 s]
/proc/loadavg: 5.12 4.51 3.63 6/235 23807
/proc/meminfo: memFree=20078848/32770624 swapFree=66922712/67108860
[pid=23565] ppid=23562 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23565/stat : 23565 (xcsp3-exec) S 23562 23565 23495 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446272169 115843072 362 33554432000 4194304 5098028 140723930592304 140723930590408 140078195171964 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14422016 140723930600314 140723930600557 140723930600557 140723930603466 0
/proc/23565/statm: 28282 362 304 221 0 87 0
[pid=23567] ppid=23565 vsize=15419460 memory=2522772 CPUtime=2314.49 cores=0,2,4,6
/proc/23567/stat : 23567 (java) S 23565 23565 23495 0 -1 1077944320 245502 0 0 0 231306 143 0 0 20 0 19 0 446272169 15789527040 630693 33554432000 4194304 4196468 140735798167888 140735798150432 139854515859191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
/proc/23567/statm: 3854865 630693 3564 1 0 3815965 0
[pid=23567/tid=23568] ppid=23565 vsize=15419460 memory=2522772 CPUtime=2.58 cores=0,2,4,6
/proc/23567/task/23568/stat : 23568 (java) S 23565 23565 23495 0 -1 1077944384 12374 0 0 0 251 7 0 0 20 0 19 0 446272169 15789527040 630693 33554432000 4194304 4196468 140735798167888 139854520099968 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23569] ppid=23565 vsize=15419460 memory=1448 CPUtime=1.17 cores=0,2,4,6
/proc/23567/task/23569/stat : 23569 (java) S 23565 23565 23495 0 -1 1077944384 4156 0 0 0 108 9 0 0 20 0 19 0 446272170 15789527040 630693 33554432000 4194304 4196468 140735798167888 139854472411408 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23570] ppid=23565 vsize=15419460 memory=1448 CPUtime=1.18 cores=0,2,4,6
/proc/23567/task/23570/stat : 23570 (java) S 23565 23565 23495 0 -1 1077944384 6957 0 0 0 109 9 0 0 20 0 19 0 446272170 15789527040 630693 33554432000 4194304 4196468 140735798167888 139854471358864 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23571] ppid=23565 vsize=15419460 memory=2522772 CPUtime=1.21 cores=0,2,4,6
/proc/23567/task/23571/stat : 23571 (java) S 23565 23565 23495 0 -1 1077944384 6237 0 0 0 109 12 0 0 20 0 19 0 446272170 15789527040 630693 33554432000 4194304 4196468 140735798167888 139854106253840 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23572] ppid=23565 vsize=15419460 memory=2522772 CPUtime=1.16 cores=0,2,4,6
/proc/23567/task/23572/stat : 23572 (java) S 23565 23565 23495 0 -1 1077944384 5826 0 0 0 105 11 0 0 20 0 19 0 446272170 15789527040 630693 33554432000 4194304 4196468 140735798167888 139854105201296 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23579] ppid=23565 vsize=15419460 memory=2522772 CPUtime=2.09 cores=0,2,4,6
/proc/23567/task/23579/stat : 23579 (java) S 23565 23565 23495 0 -1 1077944384 11349 0 0 0 188 21 0 0 20 0 19 0 446272172 15789527040 630693 33554432000 4194304 4196468 140735798167888 139853984365040 139854515870338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23580] ppid=23565 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23580/stat : 23580 (java) S 23565 23565 23495 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 446272172 15789527040 630693 33554432000 4194304 4196468 140735798167888 139853983311328 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23581] ppid=23565 vsize=15419460 memory=56 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23581/stat : 23581 (java) S 23565 23565 23495 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 446272172 15789527040 630693 33554432000 4194304 4196468 140735798167888 139853982258688 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23582] ppid=23565 vsize=15419460 memory=750 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23582/stat : 23582 (java) S 23565 23565 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446272175 15789527040 630693 33554432000 4194304 4196468 140735798167888 139853981207248 139854515877787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23583] ppid=23565 vsize=15419460 memory=2522772 CPUtime=7.5 cores=0,2,4,6
/proc/23567/task/23583/stat : 23583 (java) S 23565 23565 23495 0 -1 1077944384 60633 0 0 0 743 7 0 0 20 0 19 0 446272175 15789527040 630693 33554432000 4194304 4196468 140735798167888 139853980153840 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23584] ppid=23565 vsize=15419460 memory=1448 CPUtime=6.44 cores=0,2,4,6
/proc/23567/task/23584/stat : 23584 (java) S 23565 23565 23495 0 -1 1077944384 45290 0 0 0 639 5 0 0 20 0 19 0 446272175 15789527040 630693 33554432000 4194304 4196468 140735798167888 139853979101296 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23585] ppid=23565 vsize=15419460 memory=2522772 CPUtime=1.08 cores=0,2,4,6
/proc/23567/task/23585/stat : 23585 (java) S 23565 23565 23495 0 -1 1077944384 18351 0 0 0 106 2 0 0 20 0 19 0 446272175 15789527040 630693 33554432000 4194304 4196468 140735798167888 139853978048752 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23586] ppid=23565 vsize=15419460 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23586/stat : 23586 (java) S 23565 23565 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446272175 15789527040 630693 33554432000 4194304 4196468 140735798167888 139853976996448 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23587] ppid=23565 vsize=15419460 memory=47460 CPUtime=0.63 cores=0,2,4,6
/proc/23567/task/23587/stat : 23587 (java) S 23565 23565 23495 0 -1 1077944384 3145 0 0 0 35 28 0 0 20 0 19 0 446272175 15789527040 630693 33554432000 4194304 4196468 140735798167888 139853975943984 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23800] ppid=23565 vsize=15419460 memory=1448 CPUtime=36.14 cores=0,2,4,6
/proc/23567/task/23800/stat : 23800 (java) R 23565 23565 23495 0 -1 4202560 867 0 0 0 3614 0 0 0 20 0 19 0 446332776 15789527040 630693 33554432000 4194304 4196468 140735798167888 139853964627064 139854160406453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23801] ppid=23565 vsize=15419460 memory=1448 CPUtime=36.16 cores=0,2,4,6
/proc/23567/task/23801/stat : 23801 (java) R 23565 23565 23495 0 -1 4202560 3499 0 0 0 3616 0 0 0 20 0 19 0 446332776 15789527040 630693 33554432000 4194304 4196468 140735798167888 139853963578608 139854160555146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23802] ppid=23565 vsize=15419460 memory=1448 CPUtime=35.57 cores=0,2,4,6
/proc/23567/task/23802/stat : 23802 (java) R 23565 23565 23495 0 -1 4202560 1992 0 0 0 3557 0 0 0 20 0 19 0 446332776 15789527040 630693 33554432000 4194304 4196468 140735798167888 139853961469632 139854160405594 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23803] ppid=23565 vsize=15419460 memory=1448 CPUtime=36.14 cores=0,2,4,6
/proc/23567/task/23803/stat : 23803 (java) R 23565 23565 23495 0 -1 4202560 819 0 0 0 3614 0 0 0 20 0 19 0 446332776 15789527040 630693 33554432000 4194304 4196468 140735798167888 139853962522072 139854161482331 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
Current children cumulated CPU time: 2314.49 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 2524220 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+694.001 s]
/proc/loadavg: 5.14 4.61 3.71 6/235 23810
/proc/meminfo: memFree=20037496/32770624 swapFree=66922712/67108860
[pid=23565] ppid=23562 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23565/stat : 23565 (xcsp3-exec) S 23562 23565 23495 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446272169 115843072 362 33554432000 4194304 5098028 140723930592304 140723930590408 140078195171964 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14422016 140723930600314 140723930600557 140723930600557 140723930603466 0
/proc/23565/statm: 28282 362 304 221 0 87 0
[pid=23567] ppid=23565 vsize=15419460 memory=2563756 CPUtime=2520.3 cores=0,2,4,6
/proc/23567/stat : 23567 (java) S 23565 23565 23495 0 -1 1077944320 261231 0 0 0 251883 147 0 0 20 0 19 0 446272169 15789527040 640939 33554432000 4194304 4196468 140735798167888 140735798150432 139854515859191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
/proc/23567/statm: 3854865 640939 3564 1 0 3815965 0
[pid=23567/tid=23568] ppid=23565 vsize=15419460 memory=2116 CPUtime=2.58 cores=0,2,4,6
/proc/23567/task/23568/stat : 23568 (java) S 23565 23565 23495 0 -1 1077944384 12374 0 0 0 251 7 0 0 20 0 19 0 446272169 15789527040 640939 33554432000 4194304 4196468 140735798167888 139854520099968 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23569] ppid=23565 vsize=15419460 memory=12024 CPUtime=1.22 cores=0,2,4,6
/proc/23567/task/23569/stat : 23569 (java) S 23565 23565 23495 0 -1 1077944384 4404 0 0 0 113 9 0 0 20 0 19 0 446272170 15789527040 640939 33554432000 4194304 4196468 140735798167888 139854472411408 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23570] ppid=23565 vsize=15419460 memory=1560 CPUtime=1.23 cores=0,2,4,6
/proc/23567/task/23570/stat : 23570 (java) S 23565 23565 23495 0 -1 1077944384 7711 0 0 0 113 10 0 0 20 0 19 0 446272170 15789527040 640939 33554432000 4194304 4196468 140735798167888 139854471358864 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23571] ppid=23565 vsize=15419460 memory=-3622645143214314312 CPUtime=1.25 cores=0,2,4,6
/proc/23567/task/23571/stat : 23571 (java) S 23565 23565 23495 0 -1 1077944384 6514 0 0 0 113 12 0 0 20 0 19 0 446272170 15789527040 640939 33554432000 4194304 4196468 140735798167888 139854106253840 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23572] ppid=23565 vsize=15419460 memory=2551460 CPUtime=1.2 cores=0,2,4,6
/proc/23567/task/23572/stat : 23572 (java) S 23565 23565 23495 0 -1 1077944384 6722 0 0 0 109 11 0 0 20 0 19 0 446272170 15789527040 640939 33554432000 4194304 4196468 140735798167888 139854105201296 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23579] ppid=23565 vsize=15419460 memory=1412 CPUtime=2.1 cores=0,2,4,6
/proc/23567/task/23579/stat : 23579 (java) S 23565 23565 23495 0 -1 1077944384 11883 0 0 0 189 21 0 0 20 0 19 0 446272172 15789527040 640939 33554432000 4194304 4196468 140735798167888 139853984365040 139854515870338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23580] ppid=23565 vsize=15419460 memory=3444 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23580/stat : 23580 (java) S 23565 23565 23495 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 446272172 15789527040 640939 33554432000 4194304 4196468 140735798167888 139853983311328 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23581] ppid=23565 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23581/stat : 23581 (java) S 23565 23565 23495 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 446272172 15789527040 640939 33554432000 4194304 4196468 140735798167888 139853982258688 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23582] ppid=23565 vsize=15419460 memory=-3622645143214314312 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23582/stat : 23582 (java) S 23565 23565 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446272175 15789527040 640939 33554432000 4194304 4196468 140735798167888 139853981207248 139854515877787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23583] ppid=23565 vsize=15419460 memory=6791534058613427641 CPUtime=7.51 cores=0,2,4,6
/proc/23567/task/23583/stat : 23583 (java) S 23565 23565 23495 0 -1 1077944384 61918 0 0 0 744 7 0 0 20 0 19 0 446272175 15789527040 640939 33554432000 4194304 4196468 140735798167888 139853980153840 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23584] ppid=23565 vsize=15419460 memory=4872558044660077418 CPUtime=6.68 cores=0,2,4,6
/proc/23567/task/23584/stat : 23584 (java) S 23565 23565 23495 0 -1 1077944384 50085 0 0 0 663 5 0 0 20 0 19 0 446272175 15789527040 640939 33554432000 4194304 4196468 140735798167888 139853979101296 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23585] ppid=23565 vsize=15419460 memory=2116 CPUtime=1.08 cores=0,2,4,6
/proc/23567/task/23585/stat : 23585 (java) S 23565 23565 23495 0 -1 1077944384 18357 0 0 0 106 2 0 0 20 0 19 0 446272175 15789527040 640939 33554432000 4194304 4196468 140735798167888 139853978048752 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23586] ppid=23565 vsize=15419460 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/23567/task/23586/stat : 23586 (java) S 23565 23565 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446272175 15789527040 640939 33554432000 4194304 4196468 140735798167888 139853976996448 139854515869397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23587] ppid=23565 vsize=15419460 memory=6791534058613427641 CPUtime=0.68 cores=0,2,4,6
/proc/23567/task/23587/stat : 23587 (java) S 23565 23565 23495 0 -1 1077944384 3204 0 0 0 38 30 0 0 20 0 19 0 446272175 15789527040 640939 33554432000 4194304 4196468 140735798167888 139853975943984 139854515870338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23800] ppid=23565 vsize=15419460 memory=2551460 CPUtime=87.12 cores=0,2,4,6
/proc/23567/task/23800/stat : 23800 (java) R 23565 23565 23495 0 -1 4202560 1228 0 0 0 8712 0 0 0 20 0 19 0 446332776 15789527040 640939 33554432000 4194304 4196468 140735798167888 139853964627080 139854160084035 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23801] ppid=23565 vsize=15419460 memory=1412 CPUtime=87.67 cores=0,2,4,6
/proc/23567/task/23801/stat : 23801 (java) R 23565 23565 23495 0 -1 4202560 8393 0 0 0 8767 0 0 0 20 0 19 0 446332776 15789527040 640939 33554432000 4194304 4196468 140735798167888 139853963578336 139854153545920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23802] ppid=23565 vsize=15419460 memory=3476 CPUtime=86.85 cores=0,2,4,6
/proc/23567/task/23802/stat : 23802 (java) R 23565 23565 23495 0 -1 4202560 3234 0 0 0 8685 0 0 0 20 0 19 0 446332776 15789527040 640939 33554432000 4194304 4196468 140735798167888 139853961469880 139854160405594 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
[pid=23567/tid=23803] ppid=23565 vsize=15419460 memory=1448 CPUtime=87.68 cores=0,2,4,6
/proc/23567/task/23803/stat : 23803 (java) R 23565 23565 23495 0 -1 4202560 1196 0 0 0 8768 0 0 0 20 0 19 0 446332776 15789527040 640939 33554432000 4194304 4196468 140735798167888 139853962522032 139854160405805 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38342656 140735798170607 140735798170778 140735798170778 140735798173647 0
Current children cumulated CPU time: 2520.3 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 2565204 KiB

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

[startup+694.035 s]
# the end of solver process 23565 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002564 s, system=0 s

[startup+694.111 s]
# the end of solver process 23567 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.21 s, system=1.48807 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): 694.111
CPU time (s): 2520.7
CPU user time (s): 2519.21
CPU system time (s): 1.48807
CPU usage (%): 363.155
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 2565204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.21
system time used= 1.48807
maximum resident set size= 2564092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20388
involuntary context switches= 24968


# summary of solver processes directly reported to runsolver:
#   pid: 23565,23567
#   total CPU time (s): 2520.7
#   total CPU user time (s): 2519.21
#   total CPU system time (s): 1.48807

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6344 second user time and 8.25517 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml
MD5SUM	edb7fc8f5d274005fc89ddd50225e87c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	18
Best CPU time to get the best result obtained on this benchmark	2520.11
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3757
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":48},{"size":22,"count":36},{"size":24,"count":18},{"size":36,"count":122},{"size":42,"count":170},{"size":44,"count":286}]
Minimum variable degree	2
Maximum variable degree	23
Distribution of variable degrees	[{"degree":2,"count":3},{"degree":3,"count":1},{"degree":4,"count":6},{"degree":5,"count":10},{"degree":6,"count":46},{"degree":7,"count":68},{"degree":8,"count":77},{"degree":9,"count":85},{"degree":10,"count":54},{"degree":11,"count":33},{"degree":12,"count":37},{"degree":13,"count":21},{"degree":14,"count":8},{"degree":15,"count":1},{"degree":16,"count":35},{"degree":17,"count":26},{"degree":18,"count":63},{"degree":19,"count":54},{"degree":20,"count":32},{"degree":21,"count":12},{"degree":22,"count":7},{"degree":23,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3757}]
Number of extensional constraints	0
Number of intensional constraints	3757
Distribution of constraint types	[{"type":"intension","count":3757}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4399408

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
