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-20	SAT (TO)	310	2520.36	633.687
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: 16375 MiB (10946 MiB free)
  memory of node 1: 16384 MiB (5511 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403806-1568992261/watcher-4403806-1568992261 -o /tmp/evaluation-result-4403806-1568992261/solver-4403806-1568992261 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568988007-29941 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 655650095 HOME/instance-4403806-1568992261.xml 

running on 4 cores: 4-7

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

solver pid=2592, runsolver pid=2589

[startup+0.100059 s]*
/proc/loadavg: 8.92 8.43 8.18 7/234 2608
/proc/meminfo: memFree=16836716/32770688 swapFree=66971764/67108860
[pid=2592] ppid=2589 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/2592/stat : 2592 (xcsp3-exec) S 2589 2592 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475167780 115843072 363 33554432000 4194304 5098028 140734367913968 140734367912072 139777885561468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22515712 140734367916923 140734367917165 140734367917165 140734367920074 0
/proc/2592/statm: 28282 363 304 221 0 87 0
[pid=2594] ppid=2592 vsize=15144776 memory=29600 CPUtime=0.12 cores=4-7
/proc/2594/stat : 2594 (java) S 2592 2592 29909 0 -1 1077944320 5794 0 0 0 11 1 0 0 20 0 15 0 475167780 15508250624 7400 33554432000 4194304 4196468 140728225984368 140728225966912 139767912623863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
/proc/2594/statm: 3786194 7400 3141 1 0 3748377 0
[pid=2594/tid=2595] ppid=2592 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=4-7
/proc/2594/task/2595/stat : 2595 (java) R 2592 2592 29909 0 -1 4202560 3717 0 0 0 8 1 0 0 20 0 15 0 475167781 15508250624 7400 33554432000 4194304 4196468 140728225984368 139767916844760 139767894209034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2596] ppid=2592 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=4-7
/proc/2594/task/2596/stat : 2596 (java) S 2592 2592 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475167781 15508250624 7400 33554432000 4194304 4196468 140728225984368 139767840664464 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2597] ppid=2592 vsize=15144776 memory=139893887735424 CPUtime=0 cores=4-7
/proc/2594/task/2597/stat : 2597 (java) S 2592 2592 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475167781 15508250624 7400 33554432000 4194304 4196468 140728225984368 139767839611664 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2598] ppid=2592 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/2594/task/2598/stat : 2598 (java) S 2592 2592 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475167781 15508250624 7400 33554432000 4194304 4196468 140728225984368 139767838559376 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2599] ppid=2592 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/2594/task/2599/stat : 2599 (java) S 2592 2592 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475167781 15508250624 7400 33554432000 4194304 4196468 140728225984368 139767837506576 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2600] ppid=2592 vsize=15144776 memory=139893887735424 CPUtime=0 cores=4-7
/proc/2594/task/2600/stat : 2600 (java) S 2592 2592 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475167783 15508250624 7400 33554432000 4194304 4196468 140728225984368 139767380965488 139767912635010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2601] ppid=2592 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/2594/task/2601/stat : 2601 (java) S 2592 2592 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475167783 15508250624 7400 33554432000 4194304 4196468 140728225984368 139767379911456 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2602] ppid=2592 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/2594/task/2602/stat : 2602 (java) S 2592 2592 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475167784 15508250624 7400 33554432000 4194304 4196468 140728225984368 139767378859120 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2603] ppid=2592 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/2594/task/2603/stat : 2603 (java) S 2592 2592 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475167786 15508250624 7400 33554432000 4194304 4196468 140728225984368 139767377807440 139767912642459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2604] ppid=2592 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/2594/task/2604/stat : 2604 (java) S 2592 2592 29909 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 475167786 15508250624 7400 33554432000 4194304 4196468 140728225984368 139767376755312 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2605] ppid=2592 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/2594/task/2605/stat : 2605 (java) S 2592 2592 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475167786 15508250624 7400 33554432000 4194304 4196468 140728225984368 139767375702512 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2606] ppid=2592 vsize=15144776 memory=139893887735424 CPUtime=0.01 cores=4-7
/proc/2594/task/2606/stat : 2606 (java) R 2592 2592 29909 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 15 0 475167786 15508250624 7400 33554432000 4194304 4196468 140728225984368 139767374650224 139767904860990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2607] ppid=2592 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/2594/task/2607/stat : 2607 (java) S 2592 2592 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475167787 15508250624 7400 33554432000 4194304 4196468 140728225984368 139767373597664 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2608] ppid=2592 vsize=15144776 memory=139893887735424 CPUtime=0 cores=4-7
/proc/2594/task/2608/stat : 2608 (java) S 2592 2592 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475167787 15508250624 7400 33554432000 4194304 4196468 140728225984368 139767372544432 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31052 KiB

[startup+0.211602 s]*
/proc/loadavg: 8.92 8.43 8.18 6/234 2608
/proc/meminfo: memFree=16824096/32770688 swapFree=66971764/67108860
[pid=2592] ppid=2589 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/2592/stat : 2592 (xcsp3-exec) S 2589 2592 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475167780 115843072 363 33554432000 4194304 5098028 140734367913968 140734367912072 139777885561468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22515712 140734367916923 140734367917165 140734367917165 140734367920074 0
/proc/2592/statm: 28282 363 304 221 0 87 0
[pid=2594] ppid=2592 vsize=15144776 memory=40704 CPUtime=0.34 cores=4-7
/proc/2594/stat : 2594 (java) S 2592 2592 29909 0 -1 1077944320 9399 0 0 0 31 3 0 0 20 0 15 0 475167780 15508250624 10176 33554432000 4194304 4196468 140728225984368 140728225966912 139767912623863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
/proc/2594/statm: 3786194 10176 3297 1 0 3748377 0
[pid=2594/tid=2595] ppid=2592 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=4-7
/proc/2594/task/2595/stat : 2595 (java) R 2592 2592 29909 0 -1 4202560 6585 0 0 0 18 2 0 0 20 0 15 0 475167781 15508250624 10241 33554432000 4194304 4196468 140728225984368 139767916856912 139767912645210 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2596] ppid=2592 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/2594/task/2596/stat : 2596 (java) S 2592 2592 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475167781 15508250624 10241 33554432000 4194304 4196468 140728225984368 139767840664464 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2597] ppid=2592 vsize=15144776 memory=288370270039447168 CPUtime=0 cores=4-7
/proc/2594/task/2597/stat : 2597 (java) S 2592 2592 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475167781 15508250624 10241 33554432000 4194304 4196468 140728225984368 139767839611664 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2598] ppid=2592 vsize=15144776 memory=139893887735424 CPUtime=0 cores=4-7
/proc/2594/task/2598/stat : 2598 (java) S 2592 2592 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475167781 15508250624 10241 33554432000 4194304 4196468 140728225984368 139767838559376 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2599] ppid=2592 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/2594/task/2599/stat : 2599 (java) S 2592 2592 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475167781 15508250624 10241 33554432000 4194304 4196468 140728225984368 139767837506576 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2600] ppid=2592 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/2594/task/2600/stat : 2600 (java) S 2592 2592 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475167783 15508250624 10241 33554432000 4194304 4196468 140728225984368 139767380965488 139767912635010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2601] ppid=2592 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/2594/task/2601/stat : 2601 (java) S 2592 2592 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475167783 15508250624 10241 33554432000 4194304 4196468 140728225984368 139767379911456 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2602] ppid=2592 vsize=15144776 memory=139893887735424 CPUtime=0 cores=4-7
/proc/2594/task/2602/stat : 2602 (java) S 2592 2592 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475167784 15508250624 10241 33554432000 4194304 4196468 140728225984368 139767378859120 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2603] ppid=2592 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/2594/task/2603/stat : 2603 (java) S 2592 2592 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475167786 15508250624 10241 33554432000 4194304 4196468 140728225984368 139767377807440 139767912642459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2604] ppid=2592 vsize=15144776 memory=0 CPUtime=0.02 cores=4-7
/proc/2594/task/2604/stat : 2604 (java) S 2592 2592 29909 0 -1 1077944384 643 0 0 0 2 0 0 0 20 0 15 0 475167786 15508250624 10241 33554432000 4194304 4196468 140728225984368 139767376755312 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2605] ppid=2592 vsize=15144776 memory=-1 CPUtime=0.02 cores=4-7
/proc/2594/task/2605/stat : 2605 (java) S 2592 2592 29909 0 -1 1077944384 135 0 0 0 2 0 0 0 20 0 15 0 475167786 15508250624 10241 33554432000 4194304 4196468 140728225984368 139767375702512 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2606] ppid=2592 vsize=15144776 memory=0 CPUtime=0.08 cores=4-7
/proc/2594/task/2606/stat : 2606 (java) R 2592 2592 29909 0 -1 4202560 736 0 0 0 8 0 0 0 20 0 15 0 475167786 15508250624 10241 33554432000 4194304 4196468 140728225984368 139767374650224 139767904860990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2607] ppid=2592 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/2594/task/2607/stat : 2607 (java) S 2592 2592 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475167787 15508250624 10241 33554432000 4194304 4196468 140728225984368 139767373597664 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2608] ppid=2592 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/2594/task/2608/stat : 2608 (java) S 2592 2592 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475167787 15508250624 10241 33554432000 4194304 4196468 140728225984368 139767372544432 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42156 KiB

[startup+0.311665 s]*
/proc/loadavg: 8.92 8.43 8.18 6/234 2608
/proc/meminfo: memFree=16819504/32770688 swapFree=66971764/67108860
[pid=2592] ppid=2589 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/2592/stat : 2592 (xcsp3-exec) S 2589 2592 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475167780 115843072 363 33554432000 4194304 5098028 140734367913968 140734367912072 139777885561468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22515712 140734367916923 140734367917165 140734367917165 140734367920074 0
/proc/2592/statm: 28282 363 304 221 0 87 0
[pid=2594] ppid=2592 vsize=15149032 memory=46692 CPUtime=0.52 cores=4-7
/proc/2594/stat : 2594 (java) S 2592 2592 29909 0 -1 1077944320 10528 0 0 0 48 4 0 0 20 0 15 0 475167780 15512608768 11673 33554432000 4194304 4196468 140728225984368 140728225966912 139767912623863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
/proc/2594/statm: 3787258 11673 3343 1 0 3748377 0
[pid=2594/tid=2595] ppid=2592 vsize=15149032 memory=7230368021996071252 CPUtime=0.3 cores=4-7
/proc/2594/task/2595/stat : 2595 (java) R 2592 2592 29909 0 -1 4202560 7574 0 0 0 27 3 0 0 20 0 15 0 475167781 15512608768 11738 33554432000 4194304 4196468 140728225984368 139767916861088 139767896704350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2596] ppid=2592 vsize=15149032 memory=4294967295 CPUtime=0 cores=4-7
/proc/2594/task/2596/stat : 2596 (java) S 2592 2592 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475167781 15512608768 11738 33554432000 4194304 4196468 140728225984368 139767840664464 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2597] ppid=2592 vsize=15149032 memory=139893887788832 CPUtime=0 cores=4-7
/proc/2594/task/2597/stat : 2597 (java) S 2592 2592 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475167781 15512608768 11738 33554432000 4194304 4196468 140728225984368 139767839611664 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2598] ppid=2592 vsize=15149032 memory=55780 CPUtime=0 cores=4-7
/proc/2594/task/2598/stat : 2598 (java) S 2592 2592 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475167781 15512608768 11738 33554432000 4194304 4196468 140728225984368 139767838559376 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2599] ppid=2592 vsize=15149032 memory=35 CPUtime=0 cores=4-7
/proc/2594/task/2599/stat : 2599 (java) S 2592 2592 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475167781 15512608768 11738 33554432000 4194304 4196468 140728225984368 139767837506576 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2600] ppid=2592 vsize=15149032 memory=139893887795744 CPUtime=0 cores=4-7
/proc/2594/task/2600/stat : 2600 (java) S 2592 2592 29909 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475167783 15512608768 11738 33554432000 4194304 4196468 140728225984368 139767380965488 139767912635010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2601] ppid=2592 vsize=15149032 memory=35 CPUtime=0 cores=4-7
/proc/2594/task/2601/stat : 2601 (java) S 2592 2592 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475167783 15512608768 11738 33554432000 4194304 4196468 140728225984368 139767379911456 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2602] ppid=2592 vsize=15149032 memory=2244 CPUtime=0 cores=4-7
/proc/2594/task/2602/stat : 2602 (java) S 2592 2592 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475167784 15512608768 11738 33554432000 4194304 4196468 140728225984368 139767378859120 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2603] ppid=2592 vsize=15149032 memory=2244 CPUtime=0 cores=4-7
/proc/2594/task/2603/stat : 2603 (java) S 2592 2592 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475167786 15512608768 11738 33554432000 4194304 4196468 140728225984368 139767377807440 139767912642459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2604] ppid=2592 vsize=15149032 memory=0 CPUtime=0.03 cores=4-7
/proc/2594/task/2604/stat : 2604 (java) S 2592 2592 29909 0 -1 1077944384 665 0 0 0 3 0 0 0 20 0 15 0 475167786 15512608768 11738 33554432000 4194304 4196468 140728225984368 139767376755312 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2605] ppid=2592 vsize=15149032 memory=139893728721839 CPUtime=0.04 cores=4-7
/proc/2594/task/2605/stat : 2605 (java) S 2592 2592 29909 0 -1 1077944384 158 0 0 0 4 0 0 0 20 0 15 0 475167786 15512608768 11738 33554432000 4194304 4196468 140728225984368 139767375702512 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2606] ppid=2592 vsize=15149032 memory=139893887737914 CPUtime=0.13 cores=4-7
/proc/2594/task/2606/stat : 2606 (java) S 2592 2592 29909 0 -1 1077944384 833 0 0 0 13 0 0 0 20 0 15 0 475167786 15512608768 11738 33554432000 4194304 4196468 140728225984368 139767374650224 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2607] ppid=2592 vsize=15149032 memory=139893728731055 CPUtime=0 cores=4-7
/proc/2594/task/2607/stat : 2607 (java) S 2592 2592 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475167787 15512608768 11738 33554432000 4194304 4196468 140728225984368 139767373597664 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2608] ppid=2592 vsize=15149032 memory=279787616468864 CPUtime=0 cores=4-7
/proc/2594/task/2608/stat : 2608 (java) S 2592 2592 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475167787 15512608768 11738 33554432000 4194304 4196468 140728225984368 139767372544432 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48144 KiB

[startup+0.70161 s]
/proc/loadavg: 8.92 8.43 8.18 9/234 2608
/proc/meminfo: memFree=16800864/32770688 swapFree=66971764/67108860
[pid=2592] ppid=2589 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/2592/stat : 2592 (xcsp3-exec) S 2589 2592 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475167780 115843072 363 33554432000 4194304 5098028 140734367913968 140734367912072 139777885561468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22515712 140734367916923 140734367917165 140734367917165 140734367920074 0
/proc/2592/statm: 28282 363 304 221 0 87 0
[pid=2594] ppid=2592 vsize=15151156 memory=108148 CPUtime=1.73 cores=4-7
/proc/2594/stat : 2594 (java) S 2592 2592 29909 0 -1 1077944320 14096 0 0 0 166 7 0 0 20 0 15 0 475167780 15514783744 27037 33554432000 4194304 4196468 140728225984368 140728225966912 139767912623863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
/proc/2594/statm: 3787789 27037 3444 1 0 3748889 0
[pid=2594/tid=2595] ppid=2592 vsize=15151156 memory=0 CPUtime=0.67 cores=4-7
/proc/2594/task/2595/stat : 2595 (java) R 2592 2592 29909 0 -1 4202560 8359 0 0 0 63 4 0 0 20 0 15 0 475167781 15514783744 27037 33554432000 4194304 4196468 140728225984368 139767916862112 139767517137561 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2596] ppid=2592 vsize=15151156 memory=0 CPUtime=0 cores=4-7
/proc/2594/task/2596/stat : 2596 (java) S 2592 2592 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475167781 15514783744 27037 33554432000 4194304 4196468 140728225984368 139767840664464 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2597] ppid=2592 vsize=15151156 memory=0 CPUtime=0 cores=4-7
/proc/2594/task/2597/stat : 2597 (java) S 2592 2592 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475167781 15514783744 27037 33554432000 4194304 4196468 140728225984368 139767839611664 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2598] ppid=2592 vsize=15151156 memory=0 CPUtime=0 cores=4-7
/proc/2594/task/2598/stat : 2598 (java) S 2592 2592 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475167781 15514783744 27037 33554432000 4194304 4196468 140728225984368 139767838559376 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2599] ppid=2592 vsize=15151156 memory=0 CPUtime=0 cores=4-7
/proc/2594/task/2599/stat : 2599 (java) S 2592 2592 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475167781 15514783744 27037 33554432000 4194304 4196468 140728225984368 139767837506576 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2600] ppid=2592 vsize=15151156 memory=0 CPUtime=0 cores=4-7
/proc/2594/task/2600/stat : 2600 (java) S 2592 2592 29909 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475167783 15514783744 27037 33554432000 4194304 4196468 140728225984368 139767380965488 139767912635010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2601] ppid=2592 vsize=15151156 memory=65 CPUtime=0 cores=4-7
/proc/2594/task/2601/stat : 2601 (java) S 2592 2592 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475167783 15514783744 27037 33554432000 4194304 4196468 140728225984368 139767379911456 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2602] ppid=2592 vsize=15151156 memory=288230596050944315 CPUtime=0 cores=4-7
/proc/2594/task/2602/stat : 2602 (java) S 2592 2592 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475167784 15514783744 27037 33554432000 4194304 4196468 140728225984368 139767378859120 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2603] ppid=2592 vsize=15151156 memory=14133368098916684 CPUtime=0 cores=4-7
/proc/2594/task/2603/stat : 2603 (java) S 2592 2592 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475167786 15514783744 27037 33554432000 4194304 4196468 140728225984368 139767377807440 139767912642459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2604] ppid=2592 vsize=15151156 memory=0 CPUtime=0.34 cores=4-7
/proc/2594/task/2604/stat : 2604 (java) R 2592 2592 29909 0 -1 4202560 1592 0 0 0 34 0 0 0 20 0 15 0 475167786 15514783744 27037 33554432000 4194304 4196468 140728225984368 139767376745712 139767892586130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2605] ppid=2592 vsize=15151156 memory=0 CPUtime=0.34 cores=4-7
/proc/2594/task/2605/stat : 2605 (java) R 2592 2592 29909 0 -1 4202560 1171 0 0 0 34 0 0 0 20 0 15 0 475167786 15514783744 27037 33554432000 4194304 4196468 140728225984368 139767375688800 139767898655754 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2606] ppid=2592 vsize=15151156 memory=6656426216303648864 CPUtime=0.32 cores=4-7
/proc/2594/task/2606/stat : 2606 (java) S 2592 2592 29909 0 -1 1077944384 1666 0 0 0 32 0 0 0 20 0 15 0 475167786 15514783744 27037 33554432000 4194304 4196468 140728225984368 139767374650224 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2607] ppid=2592 vsize=15151156 memory=0 CPUtime=0 cores=4-7
/proc/2594/task/2607/stat : 2607 (java) S 2592 2592 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475167787 15514783744 27037 33554432000 4194304 4196468 140728225984368 139767373597664 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2608] ppid=2592 vsize=15151156 memory=0 CPUtime=0 cores=4-7
/proc/2594/task/2608/stat : 2608 (java) S 2592 2592 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475167787 15514783744 27037 33554432000 4194304 4196468 140728225984368 139767372544432 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 109600 KiB

[startup+1.50123 s]
/proc/loadavg: 8.92 8.43 8.18 10/234 2608
/proc/meminfo: memFree=16720752/32770688 swapFree=66971764/67108860
[pid=2592] ppid=2589 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/2592/stat : 2592 (xcsp3-exec) S 2589 2592 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475167780 115843072 363 33554432000 4194304 5098028 140734367913968 140734367912072 139777885561468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22515712 140734367916923 140734367917165 140734367917165 140734367920074 0
/proc/2592/statm: 28282 363 304 221 0 87 0

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

/proc/2594/stat : 2594 (java) S 2592 2592 29909 0 -1 1077944320 88617 0 0 0 207667 48 0 0 20 0 19 0 475167780 15991914496 219375 33554432000 4194304 4196468 140728225984368 140728225966912 139767912623863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
/proc/2594/statm: 3904276 219375 3525 1 0 3865376 0
[pid=2594/tid=2595] ppid=2592 vsize=15617104 memory=877500 CPUtime=1.45 cores=4-7
/proc/2594/task/2595/stat : 2595 (java) S 2592 2592 29909 0 -1 1077944384 10756 0 0 0 138 7 0 0 20 0 19 0 475167781 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767916864640 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2596] ppid=2592 vsize=15617104 memory=887248 CPUtime=0.12 cores=4-7
/proc/2594/task/2596/stat : 2596 (java) S 2592 2592 29909 0 -1 1077944384 3239 0 0 0 9 3 0 0 20 0 19 0 475167781 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767840664464 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2597] ppid=2592 vsize=15617104 memory=887248 CPUtime=0.16 cores=4-7
/proc/2594/task/2597/stat : 2597 (java) S 2592 2592 29909 0 -1 1077944384 1765 0 0 0 12 4 0 0 20 0 19 0 475167781 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767839611664 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2598] ppid=2592 vsize=15617104 memory=877500 CPUtime=0.13 cores=4-7
/proc/2594/task/2598/stat : 2598 (java) S 2592 2592 29909 0 -1 1077944384 1819 0 0 0 10 3 0 0 20 0 19 0 475167781 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767838559376 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2599] ppid=2592 vsize=15617104 memory=1452 CPUtime=0.15 cores=4-7
/proc/2594/task/2599/stat : 2599 (java) S 2592 2592 29909 0 -1 1077944384 3489 0 0 0 11 4 0 0 20 0 19 0 475167781 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767837506576 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2600] ppid=2592 vsize=15617104 memory=1452 CPUtime=0.05 cores=4-7
/proc/2594/task/2600/stat : 2600 (java) S 2592 2592 29909 0 -1 1077944384 3522 0 0 0 4 1 0 0 20 0 19 0 475167783 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767380965488 139767912635010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2601] ppid=2592 vsize=15617104 memory=1452 CPUtime=0 cores=4-7
/proc/2594/task/2601/stat : 2601 (java) S 2592 2592 29909 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475167783 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767379911520 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2602] ppid=2592 vsize=15617104 memory=1452 CPUtime=0 cores=4-7
/proc/2594/task/2602/stat : 2602 (java) S 2592 2592 29909 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 475167784 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767378859136 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2603] ppid=2592 vsize=15617104 memory=1452 CPUtime=0 cores=4-7
/proc/2594/task/2603/stat : 2603 (java) S 2592 2592 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475167786 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767377807440 139767912642459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2604] ppid=2592 vsize=15617104 memory=898532 CPUtime=2.73 cores=4-7
/proc/2594/task/2604/stat : 2604 (java) S 2592 2592 29909 0 -1 1077944384 18030 0 0 0 272 1 0 0 20 0 19 0 475167786 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767376755312 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2605] ppid=2592 vsize=15617104 memory=1452 CPUtime=2.45 cores=4-7
/proc/2594/task/2605/stat : 2605 (java) S 2592 2592 29909 0 -1 1077944384 16272 0 0 0 243 2 0 0 20 0 19 0 475167786 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767375702512 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2606] ppid=2592 vsize=15617104 memory=898532 CPUtime=0.84 cores=4-7
/proc/2594/task/2606/stat : 2606 (java) S 2592 2592 29909 0 -1 1077944384 8509 0 0 0 82 2 0 0 20 0 19 0 475167786 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767374650224 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2607] ppid=2592 vsize=15617104 memory=877500 CPUtime=0 cores=4-7
/proc/2594/task/2607/stat : 2607 (java) S 2592 2592 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475167787 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767373597664 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2608] ppid=2592 vsize=15617104 memory=53824 CPUtime=0.28 cores=4-7
/proc/2594/task/2608/stat : 2608 (java) S 2592 2592 29909 0 -1 1077944384 946 0 0 0 14 14 0 0 20 0 19 0 475167787 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767372544432 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2695] ppid=2592 vsize=15617104 memory=279787458420704 CPUtime=450.21 cores=4-7
/proc/2594/task/2695/stat : 2695 (java) R 2592 2592 29909 0 -1 4202560 847 0 0 0 45021 0 0 0 20 0 19 0 475174646 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767293389336 139767520520507 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2696] ppid=2592 vsize=15617104 memory=33 CPUtime=449.72 cores=4-7
/proc/2594/task/2696/stat : 2696 (java) R 2592 2592 29909 0 -1 4202560 5941 0 0 0 44969 3 0 0 20 0 19 0 475174646 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767295495920 139767519840355 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2697] ppid=2592 vsize=15617104 memory=1452 CPUtime=452.24 cores=4-7
/proc/2594/task/2697/stat : 2697 (java) R 2592 2592 29909 0 -1 4202560 721 0 0 0 45224 0 0 0 20 0 19 0 475174646 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767291285384 139767520210037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2698] ppid=2592 vsize=15617104 memory=877500 CPUtime=452.35 cores=4-7
/proc/2594/task/2698/stat : 2698 (java) R 2592 2592 29909 0 -1 4202560 3741 0 0 0 45229 6 0 0 20 0 19 0 475174646 15991914496 219375 33554432000 4194304 4196468 140728225984368 139767294446416 139767519815664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
Current children cumulated CPU time: 2077.15 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 878952 KiB

[startup+582.306 s]
/proc/loadavg: 8.17 8.37 8.27 9/238 2872
/proc/meminfo: memFree=15984836/32770688 swapFree=66971764/67108860
[pid=2592] ppid=2589 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/2592/stat : 2592 (xcsp3-exec) S 2589 2592 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475167780 115843072 363 33554432000 4194304 5098028 140734367913968 140734367912072 139777885561468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22515712 140734367916923 140734367917165 140734367917165 140734367920074 0
/proc/2592/statm: 28282 363 304 221 0 87 0
[pid=2594] ppid=2592 vsize=15617104 memory=844684 CPUtime=2315.89 cores=4-7
/proc/2594/stat : 2594 (java) S 2592 2592 29909 0 -1 1077944320 90563 0 0 0 231541 48 0 0 20 0 19 0 475167780 15991914496 211171 33554432000 4194304 4196468 140728225984368 140728225966912 139767912623863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
/proc/2594/statm: 3904276 211171 3525 1 0 3865376 0
[pid=2594/tid=2595] ppid=2592 vsize=15617104 memory=850844 CPUtime=1.45 cores=4-7
/proc/2594/task/2595/stat : 2595 (java) S 2592 2592 29909 0 -1 1077944384 10756 0 0 0 138 7 0 0 20 0 19 0 475167781 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767916864640 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2596] ppid=2592 vsize=15617104 memory=846228 CPUtime=0.14 cores=4-7
/proc/2594/task/2596/stat : 2596 (java) S 2592 2592 29909 0 -1 1077944384 3296 0 0 0 11 3 0 0 20 0 19 0 475167781 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767840664464 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2597] ppid=2592 vsize=15617104 memory=842636 CPUtime=0.17 cores=4-7
/proc/2594/task/2597/stat : 2597 (java) S 2592 2592 29909 0 -1 1077944384 1828 0 0 0 13 4 0 0 20 0 19 0 475167781 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767839611664 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2598] ppid=2592 vsize=15617104 memory=844684 CPUtime=0.15 cores=4-7
/proc/2594/task/2598/stat : 2598 (java) S 2592 2592 29909 0 -1 1077944384 2228 0 0 0 11 4 0 0 20 0 19 0 475167781 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767838559376 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2599] ppid=2592 vsize=15617104 memory=1452 CPUtime=0.16 cores=4-7
/proc/2594/task/2599/stat : 2599 (java) S 2592 2592 29909 0 -1 1077944384 3576 0 0 0 12 4 0 0 20 0 19 0 475167781 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767837506576 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2600] ppid=2592 vsize=15617104 memory=842636 CPUtime=0.05 cores=4-7
/proc/2594/task/2600/stat : 2600 (java) S 2592 2592 29909 0 -1 1077944384 3795 0 0 0 4 1 0 0 20 0 19 0 475167783 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767380965488 139767912635010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2601] ppid=2592 vsize=15617104 memory=846228 CPUtime=0 cores=4-7
/proc/2594/task/2601/stat : 2601 (java) S 2592 2592 29909 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475167783 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767379911520 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2602] ppid=2592 vsize=15617104 memory=53824 CPUtime=0 cores=4-7
/proc/2594/task/2602/stat : 2602 (java) S 2592 2592 29909 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 475167784 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767378859136 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2603] ppid=2592 vsize=15617104 memory=1452 CPUtime=0 cores=4-7
/proc/2594/task/2603/stat : 2603 (java) S 2592 2592 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475167786 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767377807440 139767912642459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2604] ppid=2592 vsize=15617104 memory=1452 CPUtime=2.73 cores=4-7
/proc/2594/task/2604/stat : 2604 (java) S 2592 2592 29909 0 -1 1077944384 18033 0 0 0 272 1 0 0 20 0 19 0 475167786 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767376755312 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2605] ppid=2592 vsize=15617104 memory=850844 CPUtime=2.45 cores=4-7
/proc/2594/task/2605/stat : 2605 (java) S 2592 2592 29909 0 -1 1077944384 16275 0 0 0 243 2 0 0 20 0 19 0 475167786 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767375702512 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2606] ppid=2592 vsize=15617104 memory=1452 CPUtime=0.85 cores=4-7
/proc/2594/task/2606/stat : 2606 (java) S 2592 2592 29909 0 -1 1077944384 8860 0 0 0 83 2 0 0 20 0 19 0 475167786 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767374650224 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2607] ppid=2592 vsize=15617104 memory=844684 CPUtime=0 cores=4-7
/proc/2594/task/2607/stat : 2607 (java) S 2592 2592 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475167787 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767373597664 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2608] ppid=2592 vsize=15617104 memory=27264 CPUtime=0.28 cores=4-7
/proc/2594/task/2608/stat : 2608 (java) S 2592 2592 29909 0 -1 1077944384 967 0 0 0 14 14 0 0 20 0 19 0 475167787 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767372544432 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2695] ppid=2592 vsize=15617104 memory=2044 CPUtime=509.61 cores=4-7
/proc/2594/task/2695/stat : 2695 (java) R 2592 2592 29909 0 -1 4202560 958 0 0 0 50961 0 0 0 20 0 19 0 475174646 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767293389168 139767520520016 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2696] ppid=2592 vsize=15617104 memory=1432 CPUtime=509.55 cores=4-7
/proc/2594/task/2696/stat : 2696 (java) R 2592 2592 29909 0 -1 4202560 6318 0 0 0 50952 3 0 0 20 0 19 0 475174646 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767295498832 139767520273319 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2697] ppid=2592 vsize=15617104 memory=3612 CPUtime=512.06 cores=4-7
/proc/2594/task/2697/stat : 2697 (java) R 2592 2592 29909 0 -1 4202560 813 0 0 0 51206 0 0 0 20 0 19 0 475174646 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767291285464 139767522034555 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2698] ppid=2592 vsize=15617104 memory=2044 CPUtime=511.97 cores=4-7
/proc/2594/task/2698/stat : 2698 (java) R 2592 2592 29909 0 -1 4202560 3840 0 0 0 51191 6 0 0 20 0 19 0 475174646 15991914496 211171 33554432000 4194304 4196468 140728225984368 139767294443928 139767519839947 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
Current children cumulated CPU time: 2315.89 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 846136 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+633.602 s]
/proc/loadavg: 7.73 8.25 8.24 9/234 2955
/proc/meminfo: memFree=12440380/32770688 swapFree=66971764/67108860
[pid=2592] ppid=2589 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/2592/stat : 2592 (xcsp3-exec) S 2589 2592 29909 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475167780 115843072 363 33554432000 4194304 5098028 140734367913968 140734367912072 139777885561468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22515712 140734367916923 140734367917165 140734367917165 140734367920074 0
/proc/2592/statm: 28282 363 304 221 0 87 0
[pid=2594] ppid=2592 vsize=15617104 memory=830320 CPUtime=2520.04 cores=4-7
/proc/2594/stat : 2594 (java) S 2592 2592 29909 0 -1 1077944320 91985 0 0 0 251955 49 0 0 20 0 19 0 475167780 15991914496 207580 33554432000 4194304 4196468 140728225984368 140728225966912 139767912623863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
/proc/2594/statm: 3904276 207580 3525 1 0 3865376 0
[pid=2594/tid=2595] ppid=2592 vsize=15617104 memory=1432 CPUtime=1.45 cores=4-7
/proc/2594/task/2595/stat : 2595 (java) S 2592 2592 29909 0 -1 1077944384 10756 0 0 0 138 7 0 0 20 0 19 0 475167781 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767916864640 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2596] ppid=2592 vsize=15617104 memory=1056 CPUtime=0.16 cores=4-7
/proc/2594/task/2596/stat : 2596 (java) S 2592 2592 29909 0 -1 1077944384 3726 0 0 0 12 4 0 0 20 0 19 0 475167781 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767840664464 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2597] ppid=2592 vsize=15617104 memory=788 CPUtime=0.18 cores=4-7
/proc/2594/task/2597/stat : 2597 (java) S 2592 2592 29909 0 -1 1077944384 1911 0 0 0 14 4 0 0 20 0 19 0 475167781 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767839611664 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2598] ppid=2592 vsize=15617104 memory=3612 CPUtime=0.16 cores=4-7
/proc/2594/task/2598/stat : 2598 (java) S 2592 2592 29909 0 -1 1077944384 2273 0 0 0 12 4 0 0 20 0 19 0 475167781 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767838559376 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2599] ppid=2592 vsize=15617104 memory=53828 CPUtime=0.17 cores=4-7
/proc/2594/task/2599/stat : 2599 (java) S 2592 2592 29909 0 -1 1077944384 3591 0 0 0 13 4 0 0 20 0 19 0 475167781 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767837506576 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2600] ppid=2592 vsize=15617104 memory=984 CPUtime=0.06 cores=4-7
/proc/2594/task/2600/stat : 2600 (java) S 2592 2592 29909 0 -1 1077944384 4063 0 0 0 5 1 0 0 20 0 19 0 475167783 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767380965488 139767912635010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2601] ppid=2592 vsize=15617104 memory=1452 CPUtime=0 cores=4-7
/proc/2594/task/2601/stat : 2601 (java) S 2592 2592 29909 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475167783 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767379911520 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2602] ppid=2592 vsize=15617104 memory=831344 CPUtime=0 cores=4-7
/proc/2594/task/2602/stat : 2602 (java) S 2592 2592 29909 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 475167784 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767378859136 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2603] ppid=2592 vsize=15617104 memory=1452 CPUtime=0 cores=4-7
/proc/2594/task/2603/stat : 2603 (java) S 2592 2592 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475167786 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767377807440 139767912642459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2604] ppid=2592 vsize=15617104 memory=780 CPUtime=2.73 cores=4-7
/proc/2594/task/2604/stat : 2604 (java) S 2592 2592 29909 0 -1 1077944384 18036 0 0 0 272 1 0 0 20 0 19 0 475167786 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767376755312 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2605] ppid=2592 vsize=15617104 memory=3604 CPUtime=2.45 cores=4-7
/proc/2594/task/2605/stat : 2605 (java) S 2592 2592 29909 0 -1 1077944384 16282 0 0 0 243 2 0 0 20 0 19 0 475167786 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767375702512 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2606] ppid=2592 vsize=15617104 memory=1088 CPUtime=0.85 cores=4-7
/proc/2594/task/2606/stat : 2606 (java) S 2592 2592 29909 0 -1 1077944384 8864 0 0 0 83 2 0 0 20 0 19 0 475167786 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767374650224 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2607] ppid=2592 vsize=15617104 memory=8112282956445269571 CPUtime=0 cores=4-7
/proc/2594/task/2607/stat : 2607 (java) S 2592 2592 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475167787 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767373597664 139767912634069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2608] ppid=2592 vsize=15617104 memory=14068 CPUtime=0.28 cores=4-7
/proc/2594/task/2608/stat : 2608 (java) S 2592 2592 29909 0 -1 1077944384 996 0 0 0 14 14 0 0 20 0 19 0 475167787 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767372544432 139767912635010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2695] ppid=2592 vsize=15617104 memory=2120 CPUtime=560.75 cores=4-7
/proc/2594/task/2695/stat : 2695 (java) R 2592 2592 29909 0 -1 4202560 1039 0 0 0 56075 0 0 0 20 0 19 0 475174646 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767293389336 139767519840017 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2696] ppid=2592 vsize=15617104 memory=496 CPUtime=560.44 cores=4-7
/proc/2594/task/2696/stat : 2696 (java) R 2592 2592 29909 0 -1 4202560 6652 0 0 0 56040 4 0 0 20 0 19 0 475174646 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767295498832 139767522016123 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2697] ppid=2592 vsize=15617104 memory=830320 CPUtime=563.25 cores=4-7
/proc/2594/task/2697/stat : 2697 (java) R 2592 2592 29909 0 -1 4202560 864 0 0 0 56325 0 0 0 20 0 19 0 475174646 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767291285280 139767520209961 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
[pid=2594/tid=2698] ppid=2592 vsize=15617104 memory=1412 CPUtime=562.81 cores=4-7
/proc/2594/task/2698/stat : 2698 (java) R 2592 2592 29909 0 -1 4202560 3912 0 0 0 56275 6 0 0 20 0 19 0 475174646 15991914496 207580 33554432000 4194304 4196468 140728225984368 139767294443928 139767520145497 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34590720 140728225989615 140728225989786 140728225989786 140728225992655 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 831772 KiB

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

[startup+633.625 s]
# the end of solver process 2592 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001247 s, system=0.001247 s

[startup+633.687 s]
# the end of solver process 2594 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.86 s, system=0.507266 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): 633.687
CPU time (s): 2520.36
CPU user time (s): 2519.86
CPU system time (s): 0.507266
CPU usage (%): 397.73
Max. virtual memory (cumulated for all children) (KiB): 15730232
Max. memory (cumulated for all children) (KiB): 1144680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.86
system time used= 0.507266
maximum resident set size= 1143228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93118
page faults= 0
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17804
involuntary context switches= 42057


# summary of solver processes directly reported to runsolver:
#   pid: 2592,2594
#   total CPU time (s): 2520.36
#   total CPU user time (s): 2519.86
#   total CPU system time (s): 0.507266

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.21719 second user time and 7.74942 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.9938
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 4403806

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
