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-09-20	SAT (TO)	310	2400.67	603.486
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 (4599 MiB free)
  memory of node 1: 16384 MiB (6748 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404106-1568991534/watcher-4404106-1568991534 -o /var/tmp/evaluation-result-4404106-1568991534/solver-4404106-1568991534 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1568989977-29017 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1957507115 HOME/instance-4404106-1568991534.xml 

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

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


[startup+0.100082 s]*
/proc/loadavg: 8.19 8.34 7.03 7/233 956
/proc/meminfo: memFree=11604384/32770624 swapFree=66956680/67108860
[pid=938] ppid=935 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/938/stat : 938 (xcsp3-exec) S 935 938 28986 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475391996 115843072 363 33554432000 4194304 5098028 140736036244752 140736036242856 139718110065276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38961152 140736036246358 140736036246617 140736036246617 140736036249542 0
/proc/938/statm: 28282 363 305 221 0 87 0
[pid=940] ppid=938 vsize=15144776 memory=28476 CPUtime=0.12 cores=0,2,4,6
/proc/940/stat : 940 (java) S 938 938 28986 0 -1 1077944320 5595 0 0 0 11 1 0 0 20 0 15 0 475391997 15508250624 7119 33554432000 4194304 4196468 140721941051744 140721941034288 139905815113463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
/proc/940/statm: 3786194 7119 3123 1 0 3748377 0
[pid=940/tid=941] ppid=938 vsize=15144776 memory=7022364632946311227 CPUtime=0.09 cores=0,2,4,6
/proc/940/task/941/stat : 941 (java) R 938 938 28986 0 -1 4202560 3546 0 0 0 8 1 0 0 20 0 15 0 475391997 15508250624 7251 33554432000 4194304 4196468 140721941051744 139905819341232 139905815125398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=942] ppid=938 vsize=15144776 memory=4296910620 CPUtime=0 cores=0,2,4,6
/proc/940/task/942/stat : 942 (java) S 938 938 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475391998 15508250624 7251 33554432000 4194304 4196468 140721941051744 139905743153808 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=943] ppid=938 vsize=15144776 memory=139964378901296 CPUtime=0 cores=0,2,4,6
/proc/940/task/943/stat : 943 (java) S 938 938 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475391998 15508250624 7251 33554432000 4194304 4196468 140721941051744 139905405938192 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=944] ppid=938 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/940/task/944/stat : 944 (java) S 938 938 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475391998 15508250624 7251 33554432000 4194304 4196468 140721941051744 139905404885392 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=945] ppid=938 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/940/task/945/stat : 945 (java) S 938 938 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475391998 15508250624 7251 33554432000 4194304 4196468 140721941051744 139905403832592 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=946] ppid=938 vsize=15144776 memory=139964378875520 CPUtime=0 cores=0,2,4,6
/proc/940/task/946/stat : 946 (java) S 938 938 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475391999 15508250624 7251 33554432000 4194304 4196468 140721941051744 139905350929264 139905815124610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=947] ppid=938 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/940/task/947/stat : 947 (java) S 938 938 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475391999 15508250624 7251 33554432000 4194304 4196468 140721941051744 139905349875232 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=948] ppid=938 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/940/task/948/stat : 948 (java) S 938 938 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475392000 15508250624 7251 33554432000 4194304 4196468 140721941051744 139905348822384 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=949] ppid=938 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/940/task/949/stat : 949 (java) S 938 938 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475392002 15508250624 7251 33554432000 4194304 4196468 140721941051744 139905347770704 139905815132059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=950] ppid=938 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/940/task/950/stat : 950 (java) R 938 938 28986 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 15 0 475392002 15508250624 7251 33554432000 4194304 4196468 140721941051744 139905346718064 139905815124610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=951] ppid=938 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/940/task/951/stat : 951 (java) R 938 938 28986 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 475392002 15508250624 7251 33554432000 4194304 4196468 140721941051744 139905345665264 139905815124610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=953] ppid=938 vsize=15144776 memory=139964378875520 CPUtime=0.02 cores=0,2,4,6
/proc/940/task/953/stat : 953 (java) R 938 938 28986 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 475392002 15508250624 7251 33554432000 4194304 4196468 140721941051744 139905344612464 139905794066282 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=955] ppid=938 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/940/task/955/stat : 955 (java) S 938 938 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475392002 15508250624 7251 33554432000 4194304 4196468 140721941051744 139905343559904 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=956] ppid=938 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/940/task/956/stat : 956 (java) S 938 938 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475392002 15508250624 7251 33554432000 4194304 4196468 140721941051744 139905342508208 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29928 KiB

[startup+0.210777 s]*
/proc/loadavg: 8.19 8.34 7.03 7/233 956
/proc/meminfo: memFree=11590508/32770624 swapFree=66956680/67108860
[pid=938] ppid=935 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/938/stat : 938 (xcsp3-exec) S 935 938 28986 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475391996 115843072 363 33554432000 4194304 5098028 140736036244752 140736036242856 139718110065276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38961152 140736036246358 140736036246617 140736036246617 140736036249542 0
/proc/938/statm: 28282 363 305 221 0 87 0
[pid=940] ppid=938 vsize=15144776 memory=41088 CPUtime=0.33 cores=0,2,4,6
/proc/940/stat : 940 (java) S 938 938 28986 0 -1 1077944320 9474 0 0 0 30 3 0 0 20 0 15 0 475391997 15508250624 10272 33554432000 4194304 4196468 140721941051744 140721941034288 139905815113463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
/proc/940/statm: 3786194 10272 3317 1 0 3748377 0
[pid=940/tid=941] ppid=938 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/940/task/941/stat : 941 (java) R 938 938 28986 0 -1 4202560 6601 0 0 0 18 2 0 0 20 0 15 0 475391997 15508250624 10272 33554432000 4194304 4196468 140721941051744 139905819348448 139905815125398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=942] ppid=938 vsize=15144776 memory=4296910620 CPUtime=0 cores=0,2,4,6
/proc/940/task/942/stat : 942 (java) S 938 938 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475391998 15508250624 10272 33554432000 4194304 4196468 140721941051744 139905743153808 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=943] ppid=938 vsize=15144776 memory=139964378901296 CPUtime=0 cores=0,2,4,6
/proc/940/task/943/stat : 943 (java) S 938 938 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475391998 15508250624 10272 33554432000 4194304 4196468 140721941051744 139905405938192 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=944] ppid=938 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/940/task/944/stat : 944 (java) S 938 938 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475391998 15508250624 10272 33554432000 4194304 4196468 140721941051744 139905404885392 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=945] ppid=938 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/940/task/945/stat : 945 (java) S 938 938 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475391998 15508250624 10272 33554432000 4194304 4196468 140721941051744 139905403832592 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=946] ppid=938 vsize=15144776 memory=139964378875520 CPUtime=0 cores=0,2,4,6
/proc/940/task/946/stat : 946 (java) S 938 938 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475391999 15508250624 10272 33554432000 4194304 4196468 140721941051744 139905350929264 139905815124610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=947] ppid=938 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/940/task/947/stat : 947 (java) S 938 938 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475391999 15508250624 10272 33554432000 4194304 4196468 140721941051744 139905349875232 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=948] ppid=938 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/940/task/948/stat : 948 (java) S 938 938 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475392000 15508250624 10272 33554432000 4194304 4196468 140721941051744 139905348822384 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=949] ppid=938 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/940/task/949/stat : 949 (java) S 938 938 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475392002 15508250624 10272 33554432000 4194304 4196468 140721941051744 139905347770704 139905815132059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=950] ppid=938 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/940/task/950/stat : 950 (java) S 938 938 28986 0 -1 1077944384 601 0 0 0 3 0 0 0 20 0 15 0 475392002 15508250624 10272 33554432000 4194304 4196468 140721941051744 139905346718064 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=951] ppid=938 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/940/task/951/stat : 951 (java) S 938 938 28986 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 15 0 475392002 15508250624 10272 33554432000 4194304 4196468 140721941051744 139905345665264 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=953] ppid=938 vsize=15144776 memory=139964378875520 CPUtime=0.07 cores=0,2,4,6
/proc/940/task/953/stat : 953 (java) R 938 938 28986 0 -1 4202560 772 0 0 0 7 0 0 0 20 0 15 0 475392002 15508250624 10272 33554432000 4194304 4196468 140721941051744 139905344612464 139905815134810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=955] ppid=938 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/940/task/955/stat : 955 (java) S 938 938 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475392002 15508250624 10272 33554432000 4194304 4196468 140721941051744 139905343559904 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=956] ppid=938 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/940/task/956/stat : 956 (java) S 938 938 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475392002 15508250624 10272 33554432000 4194304 4196468 140721941051744 139905342508208 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42540 KiB

[startup+0.310592 s]*
/proc/loadavg: 8.19 8.34 7.03 6/233 956
/proc/meminfo: memFree=11583260/32770624 swapFree=66956680/67108860
[pid=938] ppid=935 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/938/stat : 938 (xcsp3-exec) S 935 938 28986 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475391996 115843072 363 33554432000 4194304 5098028 140736036244752 140736036242856 139718110065276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38961152 140736036246358 140736036246617 140736036246617 140736036249542 0
/proc/938/statm: 28282 363 305 221 0 87 0
[pid=940] ppid=938 vsize=15149032 memory=49796 CPUtime=0.51 cores=0,2,4,6
/proc/940/stat : 940 (java) S 938 938 28986 0 -1 1077944320 10765 0 0 0 47 4 0 0 20 0 15 0 475391997 15512608768 12449 33554432000 4194304 4196468 140721941051744 140721941034288 139905815113463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
/proc/940/statm: 3787258 12449 3352 1 0 3748377 0
[pid=940/tid=941] ppid=938 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/940/task/941/stat : 941 (java) R 938 938 28986 0 -1 4202560 7819 0 0 0 27 3 0 0 20 0 15 0 475391997 15512608768 12456 33554432000 4194304 4196468 140721941051744 139905819344576 139905799193950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=942] ppid=938 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/940/task/942/stat : 942 (java) S 938 938 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475391998 15512608768 12456 33554432000 4194304 4196468 140721941051744 139905743153808 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=943] ppid=938 vsize=15149032 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/940/task/943/stat : 943 (java) S 938 938 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475391998 15512608768 12456 33554432000 4194304 4196468 140721941051744 139905405938192 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=944] ppid=938 vsize=15149032 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/940/task/944/stat : 944 (java) S 938 938 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475391998 15512608768 12456 33554432000 4194304 4196468 140721941051744 139905404885392 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=945] ppid=938 vsize=15149032 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/940/task/945/stat : 945 (java) S 938 938 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475391998 15512608768 12456 33554432000 4194304 4196468 140721941051744 139905403832592 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=946] ppid=938 vsize=15149032 memory=2636 CPUtime=0 cores=0,2,4,6
/proc/940/task/946/stat : 946 (java) S 938 938 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475391999 15512608768 12456 33554432000 4194304 4196468 140721941051744 139905350929264 139905815124610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=947] ppid=938 vsize=15149032 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/940/task/947/stat : 947 (java) S 938 938 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475391999 15512608768 12456 33554432000 4194304 4196468 140721941051744 139905349875232 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=948] ppid=938 vsize=15149032 memory=217596 CPUtime=0 cores=0,2,4,6
/proc/940/task/948/stat : 948 (java) S 938 938 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475392000 15512608768 12456 33554432000 4194304 4196468 140721941051744 139905348822384 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=949] ppid=938 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/940/task/949/stat : 949 (java) S 938 938 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475392002 15512608768 12456 33554432000 4194304 4196468 140721941051744 139905347770704 139905815132059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=950] ppid=938 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/940/task/950/stat : 950 (java) S 938 938 28986 0 -1 1077944384 604 0 0 0 4 0 0 0 20 0 15 0 475392002 15512608768 12456 33554432000 4194304 4196468 140721941051744 139905346718064 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=951] ppid=938 vsize=15149032 memory=139964260114896 CPUtime=0.02 cores=0,2,4,6
/proc/940/task/951/stat : 951 (java) S 938 938 28986 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 15 0 475392002 15512608768 12456 33554432000 4194304 4196468 140721941051744 139905345665264 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=953] ppid=938 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/940/task/953/stat : 953 (java) S 938 938 28986 0 -1 1077944384 856 0 0 0 12 0 0 0 20 0 15 0 475392002 15512608768 12456 33554432000 4194304 4196468 140721941051744 139905344612464 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=955] ppid=938 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/940/task/955/stat : 955 (java) S 938 938 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475392002 15512608768 12456 33554432000 4194304 4196468 140721941051744 139905343559904 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=956] ppid=938 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/940/task/956/stat : 956 (java) S 938 938 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475392002 15512608768 12456 33554432000 4194304 4196468 140721941051744 139905342508208 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51248 KiB

[startup+0.702926 s]
/proc/loadavg: 8.19 8.34 7.03 8/233 956
/proc/meminfo: memFree=11560872/32770624 swapFree=66956680/67108860
[pid=938] ppid=935 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/938/stat : 938 (xcsp3-exec) S 935 938 28986 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475391996 115843072 363 33554432000 4194304 5098028 140736036244752 140736036242856 139718110065276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38961152 140736036246358 140736036246617 140736036246617 140736036249542 0
/proc/938/statm: 28282 363 305 221 0 87 0
[pid=940] ppid=938 vsize=15151156 memory=117324 CPUtime=1.79 cores=0,2,4,6
/proc/940/stat : 940 (java) S 938 938 28986 0 -1 1077944320 14807 0 0 0 174 5 0 0 20 0 15 0 475391997 15514783744 29331 33554432000 4194304 4196468 140721941051744 140721941034288 139905815113463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
/proc/940/statm: 3787789 29331 3450 1 0 3748889 0
[pid=940/tid=941] ppid=938 vsize=15151156 memory=-8961168018402230209 CPUtime=0.68 cores=0,2,4,6
/proc/940/task/941/stat : 941 (java) R 938 938 28986 0 -1 4202560 8929 0 0 0 65 3 0 0 20 0 15 0 475391997 15514783744 29331 33554432000 4194304 4196468 140721941051744 139905819328784 139905799193950 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=942] ppid=938 vsize=15151156 memory=7007707949394126417 CPUtime=0 cores=0,2,4,6
/proc/940/task/942/stat : 942 (java) S 938 938 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475391998 15514783744 29331 33554432000 4194304 4196468 140721941051744 139905743153808 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=943] ppid=938 vsize=15151156 memory=5792307881615119716 CPUtime=0 cores=0,2,4,6
/proc/940/task/943/stat : 943 (java) S 938 938 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475391998 15514783744 29331 33554432000 4194304 4196468 140721941051744 139905405938192 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=944] ppid=938 vsize=15151156 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/940/task/944/stat : 944 (java) S 938 938 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475391998 15514783744 29331 33554432000 4194304 4196468 140721941051744 139905404885392 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=945] ppid=938 vsize=15151156 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/940/task/945/stat : 945 (java) S 938 938 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475391998 15514783744 29331 33554432000 4194304 4196468 140721941051744 139905403832592 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=946] ppid=938 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/940/task/946/stat : 946 (java) S 938 938 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475391999 15514783744 29331 33554432000 4194304 4196468 140721941051744 139905350929264 139905815124610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=947] ppid=938 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/940/task/947/stat : 947 (java) S 938 938 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475391999 15514783744 29331 33554432000 4194304 4196468 140721941051744 139905349875232 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=948] ppid=938 vsize=15151156 memory=11632 CPUtime=0 cores=0,2,4,6
/proc/940/task/948/stat : 948 (java) S 938 938 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475392000 15514783744 29331 33554432000 4194304 4196468 140721941051744 139905348822384 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=949] ppid=938 vsize=15151156 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/940/task/949/stat : 949 (java) S 938 938 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475392002 15514783744 29331 33554432000 4194304 4196468 140721941051744 139905347770704 139905815132059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=950] ppid=938 vsize=15151156 memory=1088 CPUtime=0.38 cores=0,2,4,6
/proc/940/task/950/stat : 950 (java) S 938 938 28986 0 -1 1077944384 1723 0 0 0 38 0 0 0 20 0 15 0 475392002 15514783744 29331 33554432000 4194304 4196468 140721941051744 139905346709104 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=951] ppid=938 vsize=15151156 memory=988 CPUtime=0.37 cores=0,2,4,6
/proc/940/task/951/stat : 951 (java) R 938 938 28986 0 -1 4202560 1045 0 0 0 37 0 0 0 20 0 15 0 475392002 15514783744 29331 33554432000 4194304 4196468 140721941051744 139905345658288 139905795814955 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=953] ppid=938 vsize=15151156 memory=780 CPUtime=0.32 cores=0,2,4,6
/proc/940/task/953/stat : 953 (java) D 938 938 28986 0 -1 4202560 1801 0 0 0 32 0 0 0 20 0 15 0 475392002 15514783744 29331 33554432000 4194304 4196468 140721941051744 139905344609400 139905807830615 0 4 0 16800975 18446744071582151463 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=955] ppid=938 vsize=15151156 memory=6032 CPUtime=0 cores=0,2,4,6
/proc/940/task/955/stat : 955 (java) S 938 938 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475392002 15514783744 29331 33554432000 4194304 4196468 140721941051744 139905343559904 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=956] ppid=938 vsize=15151156 memory=624 CPUtime=0 cores=0,2,4,6
/proc/940/task/956/stat : 956 (java) S 938 938 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475392002 15514783744 29331 33554432000 4194304 4196468 140721941051744 139905342508208 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 118776 KiB

[startup+1.50073 s]
/proc/loadavg: 8.17 8.33 7.04 8/233 956
/proc/meminfo: memFree=11442840/32770624 swapFree=66956680/67108860
[pid=938] ppid=935 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/938/stat : 938 (xcsp3-exec) S 935 938 28986 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475391996 115843072 363 33554432000 4194304 5098028 140736036244752 140736036242856 139718110065276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38961152 140736036246358 140736036246617 140736036246617 140736036249542 0
/proc/938/statm: 28282 363 305 221 0 87 0

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

/proc/940/stat : 940 (java) S 938 938 28986 0 -1 1077944320 85926 0 0 0 207704 60 0 0 20 0 19 0 475391997 15923752960 291266 33554432000 4194304 4196468 140721941051744 140721941034288 139905815113463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
/proc/940/statm: 3887635 291266 3520 1 0 3848735 0
[pid=940/tid=941] ppid=938 vsize=15550540 memory=1165100 CPUtime=1.31 cores=0,2,4,6
/proc/940/task/941/stat : 941 (java) S 938 938 28986 0 -1 1077944384 9475 0 0 0 126 5 0 0 20 0 19 0 475391997 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905819354240 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=942] ppid=938 vsize=15550540 memory=1164064 CPUtime=0.16 cores=0,2,4,6
/proc/940/task/942/stat : 942 (java) S 938 938 28986 0 -1 1077944384 2651 0 0 0 10 6 0 0 20 0 19 0 475391998 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905743153808 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=943] ppid=938 vsize=15550540 memory=1164064 CPUtime=0.17 cores=0,2,4,6
/proc/940/task/943/stat : 943 (java) S 938 938 28986 0 -1 1077944384 2872 0 0 0 11 6 0 0 20 0 19 0 475391998 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905405938192 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=944] ppid=938 vsize=15550540 memory=1164052 CPUtime=0.17 cores=0,2,4,6
/proc/940/task/944/stat : 944 (java) S 938 938 28986 0 -1 1077944384 3028 0 0 0 11 6 0 0 20 0 19 0 475391998 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905404885392 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=945] ppid=938 vsize=15550540 memory=1164052 CPUtime=0.18 cores=0,2,4,6
/proc/940/task/945/stat : 945 (java) S 938 938 28986 0 -1 1077944384 2836 0 0 0 12 6 0 0 20 0 19 0 475391998 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905403832592 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=946] ppid=938 vsize=15550540 memory=1163016 CPUtime=0.06 cores=0,2,4,6
/proc/940/task/946/stat : 946 (java) S 938 938 28986 0 -1 1077944384 4237 0 0 0 4 2 0 0 20 0 19 0 475391999 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905350929264 139905815124610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=947] ppid=938 vsize=15550540 memory=1163016 CPUtime=0 cores=0,2,4,6
/proc/940/task/947/stat : 947 (java) S 938 938 28986 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 475391999 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905349875296 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=948] ppid=938 vsize=15550540 memory=1165064 CPUtime=0 cores=0,2,4,6
/proc/940/task/948/stat : 948 (java) S 938 938 28986 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 475392000 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905348822400 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=949] ppid=938 vsize=15550540 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/940/task/949/stat : 949 (java) S 938 938 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475392002 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905347770704 139905815132059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=950] ppid=938 vsize=15550540 memory=1163016 CPUtime=2.16 cores=0,2,4,6
/proc/940/task/950/stat : 950 (java) S 938 938 28986 0 -1 1077944384 15059 0 0 0 215 1 0 0 20 0 19 0 475392002 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905346718064 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=951] ppid=938 vsize=15550540 memory=1452 CPUtime=2.44 cores=0,2,4,6
/proc/940/task/951/stat : 951 (java) S 938 938 28986 0 -1 1077944384 16245 0 0 0 243 1 0 0 20 0 19 0 475392002 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905345665264 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=953] ppid=938 vsize=15550540 memory=1163016 CPUtime=0.72 cores=0,2,4,6
/proc/940/task/953/stat : 953 (java) S 938 938 28986 0 -1 1077944384 7968 0 0 0 71 1 0 0 20 0 19 0 475392002 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905344612464 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=955] ppid=938 vsize=15550540 memory=1164052 CPUtime=0 cores=0,2,4,6
/proc/940/task/955/stat : 955 (java) S 938 938 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475392002 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905343559904 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=956] ppid=938 vsize=15550540 memory=1452 CPUtime=0.16 cores=0,2,4,6
/proc/940/task/956/stat : 956 (java) S 938 938 28986 0 -1 1077944384 1229 0 0 0 14 2 0 0 20 0 19 0 475392002 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905342508208 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=1136] ppid=938 vsize=15550540 memory=1163016 CPUtime=457.86 cores=0,2,4,6
/proc/940/task/1136/stat : 1136 (java) R 938 938 28986 0 -1 4202560 975 0 0 0 45786 0 0 0 20 0 19 0 475398172 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905339743672 139905428481483 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=1137] ppid=938 vsize=15550540 memory=1452 CPUtime=456.68 cores=0,2,4,6
/proc/940/task/1137/stat : 1137 (java) R 938 938 28986 0 -1 4202560 6177 0 0 0 45663 5 0 0 20 0 19 0 475398172 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905264868336 139905423464120 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=1138] ppid=938 vsize=15550540 memory=3620 CPUtime=458.38 cores=0,2,4,6
/proc/940/task/1138/stat : 1138 (java) R 938 938 28986 0 -1 4202560 767 0 0 0 45837 1 0 0 20 0 19 0 475398172 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905263812824 139905428481558 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=1139] ppid=938 vsize=15550540 memory=54656 CPUtime=459.43 cores=0,2,4,6
/proc/940/task/1139/stat : 1139 (java) R 938 938 28986 0 -1 4202560 3831 0 0 0 45938 5 0 0 20 0 19 0 475398172 15923752960 291266 33554432000 4194304 4196468 140721941051744 139905262760048 139905428985521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
Current children cumulated CPU time: 2077.64 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 1166516 KiB

[startup+582.302 s]
/proc/loadavg: 8.93 8.70 7.79 9/237 1382
/proc/meminfo: memFree=7194824/32770624 swapFree=66956680/67108860
[pid=938] ppid=935 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/938/stat : 938 (xcsp3-exec) S 935 938 28986 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475391996 115843072 363 33554432000 4194304 5098028 140736036244752 140736036242856 139718110065276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38961152 140736036246358 140736036246617 140736036246617 140736036249542 0
/proc/938/statm: 28282 363 305 221 0 87 0
[pid=940] ppid=938 vsize=15550540 memory=1164000 CPUtime=2316.48 cores=0,2,4,6
/proc/940/stat : 940 (java) S 938 938 28986 0 -1 1077944320 87496 0 0 0 231586 62 0 0 20 0 19 0 475391997 15923752960 291000 33554432000 4194304 4196468 140721941051744 140721941034288 139905815113463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
/proc/940/statm: 3887635 291000 3520 1 0 3848735 0
[pid=940/tid=941] ppid=938 vsize=15550540 memory=1162976 CPUtime=1.31 cores=0,2,4,6
/proc/940/task/941/stat : 941 (java) S 938 938 28986 0 -1 1077944384 9475 0 0 0 126 5 0 0 20 0 19 0 475391997 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905819354240 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=942] ppid=938 vsize=15550540 memory=1452 CPUtime=0.19 cores=0,2,4,6
/proc/940/task/942/stat : 942 (java) S 938 938 28986 0 -1 1077944384 2845 0 0 0 12 7 0 0 20 0 19 0 475391998 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905743153808 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=943] ppid=938 vsize=15550540 memory=1452 CPUtime=0.19 cores=0,2,4,6
/proc/940/task/943/stat : 943 (java) S 938 938 28986 0 -1 1077944384 2929 0 0 0 13 6 0 0 20 0 19 0 475391998 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905405938192 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=944] ppid=938 vsize=15550540 memory=1166060 CPUtime=0.19 cores=0,2,4,6
/proc/940/task/944/stat : 944 (java) S 938 938 28986 0 -1 1077944384 3349 0 0 0 13 6 0 0 20 0 19 0 475391998 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905404885392 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=945] ppid=938 vsize=15550540 memory=1164008 CPUtime=0.21 cores=0,2,4,6
/proc/940/task/945/stat : 945 (java) S 938 938 28986 0 -1 1077944384 2896 0 0 0 14 7 0 0 20 0 19 0 475391998 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905403832592 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=946] ppid=938 vsize=15550540 memory=1162976 CPUtime=0.07 cores=0,2,4,6
/proc/940/task/946/stat : 946 (java) S 938 938 28986 0 -1 1077944384 4515 0 0 0 5 2 0 0 20 0 19 0 475391999 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905350929264 139905815124610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=947] ppid=938 vsize=15550540 memory=1162976 CPUtime=0 cores=0,2,4,6
/proc/940/task/947/stat : 947 (java) S 938 938 28986 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 475391999 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905349875296 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=948] ppid=938 vsize=15550540 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/940/task/948/stat : 948 (java) S 938 938 28986 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 475392000 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905348822400 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=949] ppid=938 vsize=15550540 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/940/task/949/stat : 949 (java) S 938 938 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475392002 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905347770704 139905815132059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=950] ppid=938 vsize=15550540 memory=1452 CPUtime=2.16 cores=0,2,4,6
/proc/940/task/950/stat : 950 (java) S 938 938 28986 0 -1 1077944384 15062 0 0 0 215 1 0 0 20 0 19 0 475392002 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905346718064 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=951] ppid=938 vsize=15550540 memory=1452 CPUtime=2.44 cores=0,2,4,6
/proc/940/task/951/stat : 951 (java) S 938 938 28986 0 -1 1077944384 16248 0 0 0 243 1 0 0 20 0 19 0 475392002 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905345665264 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=953] ppid=938 vsize=15550540 memory=1452 CPUtime=0.72 cores=0,2,4,6
/proc/940/task/953/stat : 953 (java) S 938 938 28986 0 -1 1077944384 7970 0 0 0 71 1 0 0 20 0 19 0 475392002 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905344612464 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=955] ppid=938 vsize=15550540 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/940/task/955/stat : 955 (java) S 938 938 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475392002 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905343559904 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=956] ppid=938 vsize=15550540 memory=1988 CPUtime=0.18 cores=0,2,4,6
/proc/940/task/956/stat : 956 (java) S 938 938 28986 0 -1 1077944384 1250 0 0 0 16 2 0 0 20 0 19 0 475392002 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905342508208 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=1136] ppid=938 vsize=15550540 memory=988 CPUtime=517.63 cores=0,2,4,6
/proc/940/task/1136/stat : 1136 (java) R 938 938 28986 0 -1 4202560 1067 0 0 0 51763 0 0 0 20 0 19 0 475398172 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905339743528 139905428481558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=1137] ppid=938 vsize=15550540 memory=1162976 CPUtime=516.36 cores=0,2,4,6
/proc/940/task/1137/stat : 1137 (java) R 938 938 28986 0 -1 4202560 6592 0 0 0 51631 5 0 0 20 0 19 0 475398172 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905264865376 139905428891393 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=1138] ppid=938 vsize=15550540 memory=39103 CPUtime=517.99 cores=0,2,4,6
/proc/940/task/1138/stat : 1138 (java) R 938 938 28986 0 -1 4202560 832 0 0 0 51798 1 0 0 20 0 19 0 475398172 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905263815696 139905428481483 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=1139] ppid=938 vsize=15550540 memory=1161952 CPUtime=519.1 cores=0,2,4,6
/proc/940/task/1139/stat : 1139 (java) R 938 938 28986 0 -1 4202560 3890 0 0 0 51905 5 0 0 20 0 19 0 475398172 15923752960 291000 33554432000 4194304 4196468 140721941051744 139905262760024 139905428327400 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
Current children cumulated CPU time: 2316.48 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 1165452 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+603.401 s]
/proc/loadavg: 9.02 8.73 7.82 10/237 1382
/proc/meminfo: memFree=7193968/32770624 swapFree=66956680/67108860
[pid=938] ppid=935 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/938/stat : 938 (xcsp3-exec) S 935 938 28986 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475391996 115843072 363 33554432000 4194304 5098028 140736036244752 140736036242856 139718110065276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38961152 140736036246358 140736036246617 140736036246617 140736036249542 0
/proc/938/statm: 28282 363 305 221 0 87 0
[pid=940] ppid=938 vsize=15550540 memory=1164500 CPUtime=2400.35 cores=0,2,4,6
/proc/940/stat : 940 (java) S 938 938 28986 0 -1 1077944320 87731 0 0 0 239972 63 0 0 20 0 19 0 475391997 15923752960 291125 33554432000 4194304 4196468 140721941051744 140721941034288 139905815113463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
/proc/940/statm: 3887635 291125 3520 1 0 3848735 0
[pid=940/tid=941] ppid=938 vsize=15550540 memory=3428 CPUtime=1.31 cores=0,2,4,6
/proc/940/task/941/stat : 941 (java) S 938 938 28986 0 -1 1077944384 9475 0 0 0 126 5 0 0 20 0 19 0 475391997 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905819354240 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=942] ppid=938 vsize=15550540 memory=1452 CPUtime=0.21 cores=0,2,4,6
/proc/940/task/942/stat : 942 (java) S 938 938 28986 0 -1 1077944384 2853 0 0 0 13 8 0 0 20 0 19 0 475391998 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905743153808 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=943] ppid=938 vsize=15550540 memory=1164500 CPUtime=0.21 cores=0,2,4,6
/proc/940/task/943/stat : 943 (java) S 938 938 28986 0 -1 1077944384 2936 0 0 0 14 7 0 0 20 0 19 0 475391998 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905405938192 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=944] ppid=938 vsize=15550540 memory=1556 CPUtime=0.21 cores=0,2,4,6
/proc/940/task/944/stat : 944 (java) S 938 938 28986 0 -1 1077944384 3357 0 0 0 14 7 0 0 20 0 19 0 475391998 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905404885392 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=945] ppid=938 vsize=15550540 memory=4785954446170731057 CPUtime=0.22 cores=0,2,4,6
/proc/940/task/945/stat : 945 (java) S 938 938 28986 0 -1 1077944384 2902 0 0 0 15 7 0 0 20 0 19 0 475391998 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905403832592 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=946] ppid=938 vsize=15550540 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/940/task/946/stat : 946 (java) S 938 938 28986 0 -1 1077944384 4519 0 0 0 6 2 0 0 20 0 19 0 475391999 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905350929264 139905815124610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=947] ppid=938 vsize=15550540 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/940/task/947/stat : 947 (java) S 938 938 28986 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 475391999 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905349875296 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=948] ppid=938 vsize=15550540 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/940/task/948/stat : 948 (java) S 938 938 28986 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 475392000 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905348822400 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=949] ppid=938 vsize=15550540 memory=6299802978650451056 CPUtime=0 cores=0,2,4,6
/proc/940/task/949/stat : 949 (java) S 938 938 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475392002 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905347770704 139905815132059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=950] ppid=938 vsize=15550540 memory=2322256898433706324 CPUtime=2.16 cores=0,2,4,6
/proc/940/task/950/stat : 950 (java) S 938 938 28986 0 -1 1077944384 15064 0 0 0 215 1 0 0 20 0 19 0 475392002 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905346718064 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=951] ppid=938 vsize=15550540 memory=1720 CPUtime=2.44 cores=0,2,4,6
/proc/940/task/951/stat : 951 (java) S 938 938 28986 0 -1 1077944384 16250 0 0 0 243 1 0 0 20 0 19 0 475392002 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905345665264 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=953] ppid=938 vsize=15550540 memory=1976 CPUtime=0.72 cores=0,2,4,6
/proc/940/task/953/stat : 953 (java) S 938 938 28986 0 -1 1077944384 7972 0 0 0 71 1 0 0 20 0 19 0 475392002 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905344612464 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=955] ppid=938 vsize=15550540 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/940/task/955/stat : 955 (java) S 938 938 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475392002 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905343559904 139905815123669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=956] ppid=938 vsize=15550540 memory=1436 CPUtime=0.18 cores=0,2,4,6
/proc/940/task/956/stat : 956 (java) S 938 938 28986 0 -1 1077944384 1254 0 0 0 16 2 0 0 20 0 19 0 475392002 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905342508208 139905815124610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=1136] ppid=938 vsize=15550540 memory=808 CPUtime=538.65 cores=0,2,4,6
/proc/940/task/1136/stat : 1136 (java) R 938 938 28986 0 -1 4202560 1083 0 0 0 53865 0 0 0 20 0 19 0 475398172 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905339743672 139905428481467 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=1137] ppid=938 vsize=15550540 memory=1764 CPUtime=537.23 cores=0,2,4,6
/proc/940/task/1137/stat : 1137 (java) R 938 938 28986 0 -1 4202560 6700 0 0 0 53718 5 0 0 20 0 19 0 475398172 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905264868336 139905428481558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=1138] ppid=938 vsize=15550540 memory=111628 CPUtime=538.92 cores=0,2,4,6
/proc/940/task/1138/stat : 1138 (java) R 938 938 28986 0 -1 4202560 846 0 0 0 53891 1 0 0 20 0 19 0 475398172 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905263812720 139905428891393 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
[pid=940/tid=1139] ppid=938 vsize=15550540 memory=800 CPUtime=540.07 cores=0,2,4,6
/proc/940/task/1139/stat : 1139 (java) R 938 938 28986 0 -1 4202560 3944 0 0 0 54002 5 0 0 20 0 19 0 475398172 15923752960 291125 33554432000 4194304 4196468 140721941051744 139905262760568 139905428327188 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140721941058523 140721941058698 140721941058698 140721941061583 0
Current children cumulated CPU time: 2400.35 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 1165952 KiB

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

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

[startup+603.486 s]
# the end of solver process 940 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400.03 s, system=0.647746 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.486
CPU time (s): 2400.67
CPU user time (s): 2400.03
CPU system time (s): 0.647746
CPU usage (%): 397.801
Max. virtual memory (cumulated for all children) (KiB): 15663668
Max. memory (cumulated for all children) (KiB): 1169060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.647746
maximum resident set size= 1167608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88902
page faults= 0
swaps= 0
block input operations= 0
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17682
involuntary context switches= 41064


# summary of solver processes directly reported to runsolver:
#   pid: 938,940
#   total CPU time (s): 2400.67
#   total CPU user time (s): 2400.03
#   total CPU system time (s): 0.647746

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.99152 second user time and 6.5879 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32e3.xml
MD5SUM	bcb3f3ceeead4664bdf41fd123f1defa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	310
Best CPU time to get the best result obtained on this benchmark	91.9577
Satisfiable
(Un)Satisfiability was proved
Number of variables	660
Number of constraints	5350
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":660}]
Minimum variable degree	3
Maximum variable degree	107
Distribution of variable degrees	[{"degree":3,"count":138},{"degree":12,"count":3},{"degree":13,"count":3},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":6},{"degree":21,"count":15},{"degree":22,"count":3},{"degree":23,"count":9},{"degree":24,"count":30},{"degree":25,"count":3},{"degree":26,"count":18},{"degree":27,"count":3},{"degree":28,"count":30},{"degree":29,"count":9},{"degree":30,"count":3},{"degree":31,"count":15},{"degree":32,"count":6},{"degree":33,"count":3},{"degree":34,"count":141},{"degree":36,"count":3},{"degree":37,"count":3},"...",{"degree":71,"count":3}, {"degree":72,"count":3}, {"degree":73,"count":6}, {"degree":74,"count":12}, {"degree":75,"count":6}, {"degree":76,"count":3}, {"degree":77,"count":12}, {"degree":78,"count":18}, {"degree":79,"count":12}, {"degree":80,"count":18}, {"degree":81,"count":12}, {"degree":82,"count":3}, {"degree":83,"count":6}, {"degree":84,"count":12}, {"degree":85,"count":6}, {"degree":86,"count":3}, {"degree":87,"count":3}, {"degree":89,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":3}, {"degree":95,"count":3}, {"degree":96,"count":3}, {"degree":107,"count":3}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":4842},{"arity":3,"count":46},{"arity":32,"count":462}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":5350}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4404106

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
