2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT	89.1616	85.5392
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 (10059 MiB free)
  memory of node 1: 16384 MiB (6207 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306950-1534066098/watcher-4306950-1534066098 -o /tmp/evaluation-result-4306950-1534066098/solver-4306950-1534066098 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534063588-31243 --watchdog 2580 HOME/xcsp3-exec -seed 138954095 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306950-1534066098.xml 

running on 4 cores: 1,3,5,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=31621, runsolver pid=31618

[startup+0.10006 s]*
/proc/loadavg: 1.44 1.27 1.32 4/217 31637
/proc/meminfo: memFree=16641080/32770624 swapFree=67108844/67108860
[pid=31621] ppid=31618 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31621/stat : 31621 (xcsp3-exec) S 31618 31621 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224172948 115843072 364 33554432000 4194304 5098028 140735469069456 140735469067560 140546120807036 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40046592 140735469077563 140735469077764 140735469077764 140735469080522 0
/proc/31621/statm: 28282 364 306 221 0 87 0
[pid=31623] ppid=31621 vsize=14082940 memory=28364 CPUtime=0.12 cores=1,3,5,7
/proc/31623/stat : 31623 (java) S 31621 31621 31211 0 -1 1077944320 5479 0 0 0 11 1 0 0 20 0 15 0 224172948 14420930560 7091 33554432000 4194304 4196468 140727123343040 140727123325584 140228250631927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
/proc/31623/statm: 3520735 7091 3000 1 0 3483012 0
[pid=31623/tid=31624] ppid=31621 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/31623/task/31624/stat : 31624 (java) R 31621 31621 31211 0 -1 4202560 3503 0 0 0 8 1 0 0 20 0 15 0 224172948 14420930560 7091 33554432000 4194304 4196468 140727123343040 140228254857648 140228234675557 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31625] ppid=31621 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31625/stat : 31625 (java) S 31621 31621 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224172949 14420930560 7091 33554432000 4194304 4196468 140727123343040 140228203251984 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31626] ppid=31621 vsize=14082940 memory=139946409268864 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31626/stat : 31626 (java) S 31621 31621 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224172949 14420930560 7091 33554432000 4194304 4196468 140727123343040 140228202199440 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31627] ppid=31621 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31627/stat : 31627 (java) S 31621 31621 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224172949 14420930560 7091 33554432000 4194304 4196468 140727123343040 140228201146896 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31628] ppid=31621 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31628/stat : 31628 (java) S 31621 31621 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224172949 14420930560 7091 33554432000 4194304 4196468 140727123343040 140227842861712 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31629] ppid=31621 vsize=14082940 memory=139946409268864 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31629/stat : 31629 (java) S 31621 31621 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224172950 14420930560 7091 33554432000 4194304 4196468 140727123343040 140227363977712 140228250643074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31630] ppid=31621 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31630/stat : 31630 (java) S 31621 31621 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224172951 14420930560 7091 33554432000 4194304 4196468 140727123343040 140227362923936 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31631] ppid=31621 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31631/stat : 31631 (java) S 31621 31621 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224172951 14420930560 7091 33554432000 4194304 4196468 140727123343040 140227361871344 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31632] ppid=31621 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31632/stat : 31632 (java) S 31621 31621 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224172953 14420930560 7091 33554432000 4194304 4196468 140727123343040 140227360819920 140228250650523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31633] ppid=31621 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31633/stat : 31633 (java) S 31621 31621 31211 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 224172953 14420930560 7091 33554432000 4194304 4196468 140727123343040 140227359766512 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31634] ppid=31621 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31634/stat : 31634 (java) S 31621 31621 31211 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 224172953 14420930560 7091 33554432000 4194304 4196468 140727123343040 140227358713968 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31635] ppid=31621 vsize=14082940 memory=139946409268864 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31635/stat : 31635 (java) S 31621 31621 31211 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 15 0 224172953 14420930560 7091 33554432000 4194304 4196468 140727123343040 140227357661424 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31636] ppid=31621 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31636/stat : 31636 (java) S 31621 31621 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224172954 14420930560 7091 33554432000 4194304 4196468 140727123343040 140227356609120 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31637] ppid=31621 vsize=14082940 memory=139946409268864 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31637/stat : 31637 (java) S 31621 31621 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224172954 14420930560 7091 33554432000 4194304 4196468 140727123343040 140227355556656 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29820 KiB

[startup+0.210645 s]*
/proc/loadavg: 1.44 1.27 1.32 5/217 31637
/proc/meminfo: memFree=16629248/32770624 swapFree=67108844/67108860
[pid=31621] ppid=31618 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31621/stat : 31621 (xcsp3-exec) S 31618 31621 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224172948 115843072 364 33554432000 4194304 5098028 140735469069456 140735469067560 140546120807036 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40046592 140735469077563 140735469077764 140735469077764 140735469080522 0
/proc/31621/statm: 28282 364 306 221 0 87 0
[pid=31623] ppid=31621 vsize=14082940 memory=40296 CPUtime=0.34 cores=1,3,5,7
/proc/31623/stat : 31623 (java) S 31621 31621 31211 0 -1 1077944320 8191 0 0 0 32 2 0 0 20 0 15 0 224172948 14420930560 10074 33554432000 4194304 4196468 140727123343040 140727123325584 140228250631927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
/proc/31623/statm: 3520735 10074 3164 1 0 3483012 0
[pid=31623/tid=31624] ppid=31621 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/31623/task/31624/stat : 31624 (java) R 31621 31621 31211 0 -1 4202560 5404 0 0 0 18 2 0 0 20 0 15 0 224172948 14420930560 10074 33554432000 4194304 4196468 140727123343040 140228254868960 140228236325393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31625] ppid=31621 vsize=14082940 memory=10537 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31625/stat : 31625 (java) S 31621 31621 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224172949 14420930560 10074 33554432000 4194304 4196468 140727123343040 140228203251984 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31626] ppid=31621 vsize=14082940 memory=288370322560980608 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31626/stat : 31626 (java) S 31621 31621 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224172949 14420930560 10074 33554432000 4194304 4196468 140727123343040 140228202199440 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31627] ppid=31621 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31627/stat : 31627 (java) S 31621 31621 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224172949 14420930560 10074 33554432000 4194304 4196468 140727123343040 140228201146896 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31628] ppid=31621 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31628/stat : 31628 (java) S 31621 31621 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224172949 14420930560 10074 33554432000 4194304 4196468 140727123343040 140227842861712 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31629] ppid=31621 vsize=14082940 memory=139946409268864 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31629/stat : 31629 (java) S 31621 31621 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224172950 14420930560 10074 33554432000 4194304 4196468 140727123343040 140227363977712 140228250643074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31630] ppid=31621 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31630/stat : 31630 (java) S 31621 31621 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224172951 14420930560 10074 33554432000 4194304 4196468 140727123343040 140227362923936 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31631] ppid=31621 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31631/stat : 31631 (java) S 31621 31621 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224172951 14420930560 10074 33554432000 4194304 4196468 140727123343040 140227361871344 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31632] ppid=31621 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31632/stat : 31632 (java) S 31621 31621 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224172953 14420930560 10074 33554432000 4194304 4196468 140727123343040 140227360819920 140228250650523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31633] ppid=31621 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31623/task/31633/stat : 31633 (java) S 31621 31621 31211 0 -1 1077944384 446 0 0 0 2 0 0 0 20 0 15 0 224172953 14420930560 10074 33554432000 4194304 4196468 140727123343040 140227359766512 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31634] ppid=31621 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31623/task/31634/stat : 31634 (java) S 31621 31621 31211 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 15 0 224172953 14420930560 10074 33554432000 4194304 4196468 140727123343040 140227358713968 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31635] ppid=31621 vsize=14082940 memory=139946409268864 CPUtime=0.08 cores=1,3,5,7
/proc/31623/task/31635/stat : 31635 (java) S 31621 31621 31211 0 -1 1077944384 784 0 0 0 8 0 0 0 20 0 15 0 224172953 14420930560 10074 33554432000 4194304 4196468 140727123343040 140227357661424 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31636] ppid=31621 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31636/stat : 31636 (java) S 31621 31621 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224172954 14420930560 10074 33554432000 4194304 4196468 140727123343040 140227356609120 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31637] ppid=31621 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31637/stat : 31637 (java) S 31621 31621 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224172954 14420930560 10074 33554432000 4194304 4196468 140727123343040 140227355556656 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41752 KiB

[startup+0.310594 s]*
/proc/loadavg: 1.44 1.27 1.32 7/217 31637
/proc/meminfo: memFree=16622440/32770624 swapFree=67108844/67108860
[pid=31621] ppid=31618 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31621/stat : 31621 (xcsp3-exec) S 31618 31621 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224172948 115843072 364 33554432000 4194304 5098028 140735469069456 140735469067560 140546120807036 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40046592 140735469077563 140735469077764 140735469077764 140735469080522 0
/proc/31621/statm: 28282 364 306 221 0 87 0
[pid=31623] ppid=31621 vsize=14087196 memory=47884 CPUtime=0.52 cores=1,3,5,7
/proc/31623/stat : 31623 (java) S 31621 31621 31211 0 -1 1077944320 9151 0 0 0 49 3 0 0 20 0 15 0 224172948 14425288704 11971 33554432000 4194304 4196468 140727123343040 140727123325584 140228250631927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
/proc/31623/statm: 3521799 11971 3279 1 0 3483012 0
[pid=31623/tid=31624] ppid=31621 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/31623/task/31624/stat : 31624 (java) R 31621 31621 31211 0 -1 4202560 6111 0 0 0 27 2 0 0 20 0 15 0 224172948 14425288704 11971 33554432000 4194304 4196468 140727123343040 140228254868752 140228234712414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31625] ppid=31621 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31625/stat : 31625 (java) S 31621 31621 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224172949 14425288704 11971 33554432000 4194304 4196468 140727123343040 140228203251984 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31626] ppid=31621 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31626/stat : 31626 (java) S 31621 31621 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224172949 14425288704 11971 33554432000 4194304 4196468 140727123343040 140228202199440 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31627] ppid=31621 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31627/stat : 31627 (java) S 31621 31621 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224172949 14425288704 11971 33554432000 4194304 4196468 140727123343040 140228201146896 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31628] ppid=31621 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31628/stat : 31628 (java) S 31621 31621 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224172949 14425288704 11971 33554432000 4194304 4196468 140727123343040 140227842861712 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31629] ppid=31621 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31629/stat : 31629 (java) S 31621 31621 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224172950 14425288704 11971 33554432000 4194304 4196468 140727123343040 140227363977712 140228250643074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31630] ppid=31621 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31630/stat : 31630 (java) S 31621 31621 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224172951 14425288704 11971 33554432000 4194304 4196468 140727123343040 140227362923936 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31631] ppid=31621 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31631/stat : 31631 (java) S 31621 31621 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224172951 14425288704 11971 33554432000 4194304 4196468 140727123343040 140227361871344 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31632] ppid=31621 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31632/stat : 31632 (java) S 31621 31621 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224172953 14425288704 11971 33554432000 4194304 4196468 140727123343040 140227360819920 140228250650523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31633] ppid=31621 vsize=14087196 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/31623/task/31633/stat : 31633 (java) S 31621 31621 31211 0 -1 1077944384 528 0 0 0 5 0 0 0 20 0 15 0 224172953 14425288704 11971 33554432000 4194304 4196468 140727123343040 140227359766512 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31634] ppid=31621 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31623/task/31634/stat : 31634 (java) S 31621 31621 31211 0 -1 1077944384 265 0 0 0 4 0 0 0 20 0 15 0 224172953 14425288704 11971 33554432000 4194304 4196468 140727123343040 140227358713968 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31635] ppid=31621 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31623/task/31635/stat : 31635 (java) S 31621 31621 31211 0 -1 1077944384 940 0 0 0 12 0 0 0 20 0 15 0 224172953 14425288704 11971 33554432000 4194304 4196468 140727123343040 140227357661424 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31636] ppid=31621 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31636/stat : 31636 (java) S 31621 31621 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224172954 14425288704 11971 33554432000 4194304 4196468 140727123343040 140227356609120 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31637] ppid=31621 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31637/stat : 31637 (java) S 31621 31621 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224172954 14425288704 11971 33554432000 4194304 4196468 140727123343040 140227355556656 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49340 KiB

[startup+0.700846 s]
/proc/loadavg: 1.44 1.27 1.32 5/217 31637
/proc/meminfo: memFree=16606000/32770624 swapFree=67108844/67108860
[pid=31621] ppid=31618 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31621/stat : 31621 (xcsp3-exec) S 31618 31621 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224172948 115843072 364 33554432000 4194304 5098028 140735469069456 140735469067560 140546120807036 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40046592 140735469077563 140735469077764 140735469077764 140735469080522 0
/proc/31621/statm: 28282 364 306 221 0 87 0
[pid=31623] ppid=31621 vsize=14089320 memory=74908 CPUtime=1.6 cores=1,3,5,7
/proc/31623/stat : 31623 (java) S 31621 31621 31211 0 -1 1077944320 11372 0 0 0 155 5 0 0 20 0 15 0 224172948 14427463680 18727 33554432000 4194304 4196468 140727123343040 140727123325584 140228250631927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
/proc/31623/statm: 3522330 18727 3358 1 0 3483524 0
[pid=31623/tid=31624] ppid=31621 vsize=14089320 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/31623/task/31624/stat : 31624 (java) R 31621 31621 31211 0 -1 4202560 6884 0 0 0 64 3 0 0 20 0 15 0 224172948 14427463680 18727 33554432000 4194304 4196468 140727123343040 140228254871360 140227884927642 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31625] ppid=31621 vsize=14089320 memory=288230583149275406 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31625/stat : 31625 (java) S 31621 31621 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224172949 14427463680 18727 33554432000 4194304 4196468 140727123343040 140228203251984 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31626] ppid=31621 vsize=14089320 memory=15261432669297800 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31626/stat : 31626 (java) S 31621 31621 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224172949 14427463680 18727 33554432000 4194304 4196468 140727123343040 140228202199440 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31627] ppid=31621 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31627/stat : 31627 (java) S 31621 31621 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224172949 14427463680 18727 33554432000 4194304 4196468 140727123343040 140228201146896 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31628] ppid=31621 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31628/stat : 31628 (java) S 31621 31621 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224172949 14427463680 18727 33554432000 4194304 4196468 140727123343040 140227842861712 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31629] ppid=31621 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31629/stat : 31629 (java) S 31621 31621 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224172950 14427463680 18727 33554432000 4194304 4196468 140727123343040 140227363977712 140228250643074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31630] ppid=31621 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31630/stat : 31630 (java) S 31621 31621 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224172951 14427463680 18727 33554432000 4194304 4196468 140727123343040 140227362923936 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31631] ppid=31621 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31631/stat : 31631 (java) S 31621 31621 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224172951 14427463680 18727 33554432000 4194304 4196468 140727123343040 140227361871344 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31632] ppid=31621 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31632/stat : 31632 (java) S 31621 31621 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224172953 14427463680 18727 33554432000 4194304 4196468 140727123343040 140227360819920 140228250650523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31633] ppid=31621 vsize=14089320 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/31623/task/31633/stat : 31633 (java) S 31621 31621 31211 0 -1 1077944384 816 0 0 0 26 0 0 0 20 0 15 0 224172953 14427463680 18727 33554432000 4194304 4196468 140727123343040 140227359766512 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31634] ppid=31621 vsize=14089320 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/31623/task/31634/stat : 31634 (java) R 31621 31621 31211 0 -1 4202560 702 0 0 0 26 0 0 0 20 0 15 0 224172953 14427463680 18727 33554432000 4194304 4196468 140727123343040 140227358713968 140228234131314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31635] ppid=31621 vsize=14089320 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/31623/task/31635/stat : 31635 (java) S 31621 31621 31211 0 -1 1077944384 1662 0 0 0 38 0 0 0 20 0 15 0 224172953 14427463680 18727 33554432000 4194304 4196468 140727123343040 140227357661424 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31636] ppid=31621 vsize=14089320 memory=3764274069108450928 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31636/stat : 31636 (java) S 31621 31621 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224172954 14427463680 18727 33554432000 4194304 4196468 140727123343040 140227356609120 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31637] ppid=31621 vsize=14089320 memory=7308605975069677155 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31637/stat : 31637 (java) S 31621 31621 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224172954 14427463680 18727 33554432000 4194304 4196468 140727123343040 140227355556656 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 76364 KiB

[startup+1.5007 s]
/proc/loadavg: 1.44 1.27 1.32 4/217 31637
/proc/meminfo: memFree=16578640/32770624 swapFree=67108844/67108860
[pid=31621] ppid=31618 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31621/stat : 31621 (xcsp3-exec) S 31618 31621 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224172948 115843072 364 33554432000 4194304 5098028 140735469069456 140735469067560 140546120807036 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40046592 140735469077563 140735469077764 140735469077764 140735469080522 0
/proc/31621/statm: 28282 364 306 221 0 87 0

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

/proc/31621/stat : 31621 (xcsp3-exec) S 31618 31621 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224172948 115843072 364 33554432000 4194304 5098028 140735469069456 140735469067560 140546120807036 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40046592 140735469077563 140735469077764 140735469077764 140735469080522 0
/proc/31621/statm: 28282 364 306 221 0 87 0
[pid=31623] ppid=31621 vsize=14089320 memory=220620 CPUtime=88.42 cores=1,3,5,7
/proc/31623/stat : 31623 (java) S 31621 31621 31211 0 -1 1077944320 54471 0 0 0 8826 16 0 0 20 0 15 0 224172948 14427463680 55155 33554432000 4194304 4196468 140727123343040 140727123325584 140228250631927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
/proc/31623/statm: 3522330 55155 3406 1 0 3483524 0
[pid=31623/tid=31624] ppid=31621 vsize=14089320 memory=1456 CPUtime=84.44 cores=1,3,5,7
/proc/31623/task/31624/stat : 31624 (java) R 31621 31621 31211 0 -1 4202560 9507 0 0 0 8439 5 0 0 20 0 15 0 224172948 14427463680 55155 33554432000 4194304 4196468 140727123343040 140228254871360 140227885105800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31625] ppid=31621 vsize=14089320 memory=1456 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31625/stat : 31625 (java) S 31621 31621 31211 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 15 0 224172949 14427463680 55155 33554432000 4194304 4196468 140727123343040 140228203251984 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31626] ppid=31621 vsize=14089320 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/31623/task/31626/stat : 31626 (java) S 31621 31621 31211 0 -1 1077944384 799 0 0 0 1 1 0 0 20 0 15 0 224172949 14427463680 55155 33554432000 4194304 4196468 140727123343040 140228202199440 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31627] ppid=31621 vsize=14089320 memory=220620 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31627/stat : 31627 (java) S 31621 31621 31211 0 -1 1077944384 937 0 0 0 1 0 0 0 20 0 15 0 224172949 14427463680 55155 33554432000 4194304 4196468 140727123343040 140228201146896 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31628] ppid=31621 vsize=14089320 memory=804 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31628/stat : 31628 (java) S 31621 31621 31211 0 -1 1077944384 905 0 0 0 1 0 0 0 20 0 15 0 224172949 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227842861712 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31629] ppid=31621 vsize=14089320 memory=4140 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31629/stat : 31629 (java) S 31621 31621 31211 0 -1 1077944384 854 0 0 0 1 0 0 0 20 0 15 0 224172950 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227363977712 140228250643074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31630] ppid=31621 vsize=14089320 memory=60768 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31630/stat : 31630 (java) S 31621 31621 31211 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 224172951 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227362923936 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31631] ppid=31621 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31631/stat : 31631 (java) S 31621 31621 31211 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 224172951 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227361871344 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31632] ppid=31621 vsize=14089320 memory=844 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31632/stat : 31632 (java) S 31621 31621 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224172953 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227360819920 140228250650523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31633] ppid=31621 vsize=14089320 memory=3952 CPUtime=1.63 cores=1,3,5,7
/proc/31623/task/31633/stat : 31633 (java) S 31621 31621 31211 0 -1 1077944384 15941 0 0 0 161 2 0 0 20 0 15 0 224172953 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227359766512 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31634] ppid=31621 vsize=14089320 memory=2724 CPUtime=1.66 cores=1,3,5,7
/proc/31623/task/31634/stat : 31634 (java) S 31621 31621 31211 0 -1 1077944384 17474 0 0 0 164 2 0 0 20 0 15 0 224172953 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227358713968 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31635] ppid=31621 vsize=14089320 memory=1256 CPUtime=0.5 cores=1,3,5,7
/proc/31623/task/31635/stat : 31635 (java) S 31621 31621 31211 0 -1 1077944384 5168 0 0 0 50 0 0 0 20 0 15 0 224172953 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227357661424 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31636] ppid=31621 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31636/stat : 31636 (java) S 31621 31621 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224172954 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227356609120 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31637] ppid=31621 vsize=14089320 memory=1456 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31637/stat : 31637 (java) S 31621 31621 31211 0 -1 1077944384 1310 0 0 0 0 1 0 0 20 0 15 0 224172954 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227355556656 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
Current children cumulated CPU time: 88.42 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 222076 KiB

[startup+85.2007 s]
/proc/loadavg: 1.73 1.42 1.37 3/217 31638
/proc/meminfo: memFree=16434888/32770624 swapFree=67108844/67108860
[pid=31621] ppid=31618 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31621/stat : 31621 (xcsp3-exec) S 31618 31621 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224172948 115843072 364 33554432000 4194304 5098028 140735469069456 140735469067560 140546120807036 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40046592 140735469077563 140735469077764 140735469077764 140735469080522 0
/proc/31621/statm: 28282 364 306 221 0 87 0
[pid=31623] ppid=31621 vsize=14089320 memory=220620 CPUtime=88.82 cores=1,3,5,7
/proc/31623/stat : 31623 (java) S 31621 31621 31211 0 -1 1077944320 54471 0 0 0 8866 16 0 0 20 0 15 0 224172948 14427463680 55155 33554432000 4194304 4196468 140727123343040 140727123325584 140228250631927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
/proc/31623/statm: 3522330 55155 3406 1 0 3483524 0
[pid=31623/tid=31624] ppid=31621 vsize=14089320 memory=8514701219730523551 CPUtime=84.84 cores=1,3,5,7
/proc/31623/task/31624/stat : 31624 (java) R 31621 31621 31211 0 -1 4202560 9507 0 0 0 8479 5 0 0 20 0 15 0 224172948 14427463680 55155 33554432000 4194304 4196468 140727123343040 140228254871360 140227886523447 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31625] ppid=31621 vsize=14089320 memory=7595993030214051437 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31625/stat : 31625 (java) S 31621 31621 31211 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 15 0 224172949 14427463680 55155 33554432000 4194304 4196468 140727123343040 140228203251984 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31626] ppid=31621 vsize=14089320 memory=5793161193252416106 CPUtime=0.02 cores=1,3,5,7
/proc/31623/task/31626/stat : 31626 (java) S 31621 31621 31211 0 -1 1077944384 799 0 0 0 1 1 0 0 20 0 15 0 224172949 14427463680 55155 33554432000 4194304 4196468 140727123343040 140228202199440 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31627] ppid=31621 vsize=14089320 memory=8025532627497937259 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31627/stat : 31627 (java) S 31621 31621 31211 0 -1 1077944384 937 0 0 0 1 0 0 0 20 0 15 0 224172949 14427463680 55155 33554432000 4194304 4196468 140727123343040 140228201146896 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31628] ppid=31621 vsize=14089320 memory=7740959059803269228 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31628/stat : 31628 (java) S 31621 31621 31211 0 -1 1077944384 905 0 0 0 1 0 0 0 20 0 15 0 224172949 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227842861712 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31629] ppid=31621 vsize=14089320 memory=7739554077297632362 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31629/stat : 31629 (java) S 31621 31621 31211 0 -1 1077944384 854 0 0 0 1 0 0 0 20 0 15 0 224172950 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227363977712 140228250643074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31630] ppid=31621 vsize=14089320 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31630/stat : 31630 (java) S 31621 31621 31211 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 224172951 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227362923936 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31631] ppid=31621 vsize=14089320 memory=7661858204848710245 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31631/stat : 31631 (java) S 31621 31621 31211 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 224172951 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227361871344 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31632] ppid=31621 vsize=14089320 memory=7883922054266514539 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31632/stat : 31632 (java) S 31621 31621 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224172953 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227360819920 140228250650523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31633] ppid=31621 vsize=14089320 memory=7300992948070671977 CPUtime=1.63 cores=1,3,5,7
/proc/31623/task/31633/stat : 31633 (java) S 31621 31621 31211 0 -1 1077944384 15941 0 0 0 161 2 0 0 20 0 15 0 224172953 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227359766512 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31634] ppid=31621 vsize=14089320 memory=7955725768492400740 CPUtime=1.66 cores=1,3,5,7
/proc/31623/task/31634/stat : 31634 (java) S 31621 31621 31211 0 -1 1077944384 17474 0 0 0 164 2 0 0 20 0 15 0 224172953 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227358713968 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31635] ppid=31621 vsize=14089320 memory=7590082021312588139 CPUtime=0.5 cores=1,3,5,7
/proc/31623/task/31635/stat : 31635 (java) S 31621 31621 31211 0 -1 1077944384 5168 0 0 0 50 0 0 0 20 0 15 0 224172953 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227357661424 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31636] ppid=31621 vsize=14089320 memory=7523915550514177386 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31636/stat : 31636 (java) S 31621 31621 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224172954 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227356609120 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31637] ppid=31621 vsize=14089320 memory=7013321149596001891 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31637/stat : 31637 (java) S 31621 31621 31211 0 -1 1077944384 1310 0 0 0 0 1 0 0 20 0 15 0 224172954 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227355556656 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
Current children cumulated CPU time: 88.82 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 222076 KiB

[startup+85.4007 s]
/proc/loadavg: 1.73 1.42 1.37 3/217 31638
/proc/meminfo: memFree=16434888/32770624 swapFree=67108844/67108860
[pid=31621] ppid=31618 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31621/stat : 31621 (xcsp3-exec) S 31618 31621 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224172948 115843072 364 33554432000 4194304 5098028 140735469069456 140735469067560 140546120807036 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40046592 140735469077563 140735469077764 140735469077764 140735469080522 0
/proc/31621/statm: 28282 364 306 221 0 87 0
[pid=31623] ppid=31621 vsize=14089320 memory=220620 CPUtime=89.02 cores=1,3,5,7
/proc/31623/stat : 31623 (java) S 31621 31621 31211 0 -1 1077944320 54471 0 0 0 8886 16 0 0 20 0 15 0 224172948 14427463680 55155 33554432000 4194304 4196468 140727123343040 140727123325584 140228250631927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
/proc/31623/statm: 3522330 55155 3406 1 0 3483524 0
[pid=31623/tid=31624] ppid=31621 vsize=14089320 memory=302072266281331772 CPUtime=85.04 cores=1,3,5,7
/proc/31623/task/31624/stat : 31624 (java) R 31621 31621 31211 0 -1 4202560 9507 0 0 0 8499 5 0 0 20 0 15 0 224172948 14427463680 55155 33554432000 4194304 4196468 140727123343040 140228254871360 140227885105800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31625] ppid=31621 vsize=14089320 memory=4639074098508484691 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31625/stat : 31625 (java) S 31621 31621 31211 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 15 0 224172949 14427463680 55155 33554432000 4194304 4196468 140727123343040 140228203251984 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31626] ppid=31621 vsize=14089320 memory=8186646361124467522 CPUtime=0.02 cores=1,3,5,7
/proc/31623/task/31626/stat : 31626 (java) S 31621 31621 31211 0 -1 1077944384 799 0 0 0 1 1 0 0 20 0 15 0 224172949 14427463680 55155 33554432000 4194304 4196468 140727123343040 140228202199440 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31627] ppid=31621 vsize=14089320 memory=-7595718147998060693 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31627/stat : 31627 (java) S 31621 31621 31211 0 -1 1077944384 937 0 0 0 1 0 0 0 20 0 15 0 224172949 14427463680 55155 33554432000 4194304 4196468 140727123343040 140228201146896 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31628] ppid=31621 vsize=14089320 memory=8546823402028195750 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31628/stat : 31628 (java) S 31621 31621 31211 0 -1 1077944384 905 0 0 0 1 0 0 0 20 0 15 0 224172949 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227842861712 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31629] ppid=31621 vsize=14089320 memory=-7161131788332309537 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31629/stat : 31629 (java) S 31621 31621 31211 0 -1 1077944384 854 0 0 0 1 0 0 0 20 0 15 0 224172950 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227363977712 140228250643074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31630] ppid=31621 vsize=14089320 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31630/stat : 31630 (java) S 31621 31621 31211 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 224172951 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227362923936 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31631] ppid=31621 vsize=14089320 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31631/stat : 31631 (java) S 31621 31621 31211 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 224172951 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227361871344 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31632] ppid=31621 vsize=14089320 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31632/stat : 31632 (java) S 31621 31621 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224172953 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227360819920 140228250650523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31633] ppid=31621 vsize=14089320 memory=6943526294502006880 CPUtime=1.63 cores=1,3,5,7
/proc/31623/task/31633/stat : 31633 (java) S 31621 31621 31211 0 -1 1077944384 15941 0 0 0 161 2 0 0 20 0 15 0 224172953 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227359766512 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31634] ppid=31621 vsize=14089320 memory=-2023959437020729679 CPUtime=1.66 cores=1,3,5,7
/proc/31623/task/31634/stat : 31634 (java) S 31621 31621 31211 0 -1 1077944384 17474 0 0 0 164 2 0 0 20 0 15 0 224172953 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227358713968 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31635] ppid=31621 vsize=14089320 memory=8099255990543994962 CPUtime=0.5 cores=1,3,5,7
/proc/31623/task/31635/stat : 31635 (java) S 31621 31621 31211 0 -1 1077944384 5168 0 0 0 50 0 0 0 20 0 15 0 224172953 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227357661424 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31636] ppid=31621 vsize=14089320 memory=139946275852927 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31636/stat : 31636 (java) S 31621 31621 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224172954 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227356609120 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31637] ppid=31621 vsize=14089320 memory=2110296882864580 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31637/stat : 31637 (java) S 31621 31621 31211 0 -1 1077944384 1310 0 0 0 0 1 0 0 20 0 15 0 224172954 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227355556656 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
Current children cumulated CPU time: 89.02 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 222076 KiB

[startup+85.5008 s]
/proc/loadavg: 1.73 1.42 1.37 3/217 31638
/proc/meminfo: memFree=16434888/32770624 swapFree=67108844/67108860
[pid=31621] ppid=31618 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31621/stat : 31621 (xcsp3-exec) S 31618 31621 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224172948 115843072 364 33554432000 4194304 5098028 140735469069456 140735469067560 140546120807036 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40046592 140735469077563 140735469077764 140735469077764 140735469080522 0
/proc/31621/statm: 28282 364 306 221 0 87 0
[pid=31623] ppid=31621 vsize=14089320 memory=220620 CPUtime=89.12 cores=1,3,5,7
/proc/31623/stat : 31623 (java) S 31621 31621 31211 0 -1 1077944320 54471 0 0 0 8896 16 0 0 20 0 15 0 224172948 14427463680 55155 33554432000 4194304 4196468 140727123343040 140727123325584 140228250631927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
/proc/31623/statm: 3522330 55155 3406 1 0 3483524 0
[pid=31623/tid=31624] ppid=31621 vsize=14089320 memory=225752 CPUtime=85.14 cores=1,3,5,7
/proc/31623/task/31624/stat : 31624 (java) R 31621 31621 31211 0 -1 4202560 9507 0 0 0 8509 5 0 0 20 0 15 0 224172948 14427463680 55155 33554432000 4194304 4196468 140727123343040 140228254871360 140227885105713 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31625] ppid=31621 vsize=14089320 memory=220620 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31625/stat : 31625 (java) S 31621 31621 31211 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 15 0 224172949 14427463680 55155 33554432000 4194304 4196468 140727123343040 140228203251984 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31626] ppid=31621 vsize=14089320 memory=1456 CPUtime=0.02 cores=1,3,5,7
/proc/31623/task/31626/stat : 31626 (java) S 31621 31621 31211 0 -1 1077944384 799 0 0 0 1 1 0 0 20 0 15 0 224172949 14427463680 55155 33554432000 4194304 4196468 140727123343040 140228202199440 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31627] ppid=31621 vsize=14089320 memory=1456 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31627/stat : 31627 (java) S 31621 31621 31211 0 -1 1077944384 937 0 0 0 1 0 0 0 20 0 15 0 224172949 14427463680 55155 33554432000 4194304 4196468 140727123343040 140228201146896 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31628] ppid=31621 vsize=14089320 memory=225752 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31628/stat : 31628 (java) S 31621 31621 31211 0 -1 1077944384 905 0 0 0 1 0 0 0 20 0 15 0 224172949 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227842861712 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31629] ppid=31621 vsize=14089320 memory=1456 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31629/stat : 31629 (java) S 31621 31621 31211 0 -1 1077944384 854 0 0 0 1 0 0 0 20 0 15 0 224172950 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227363977712 140228250643074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31630] ppid=31621 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31630/stat : 31630 (java) S 31621 31621 31211 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 224172951 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227362923936 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31631] ppid=31621 vsize=14089320 memory=928 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31631/stat : 31631 (java) S 31621 31621 31211 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 224172951 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227361871344 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31632] ppid=31621 vsize=14089320 memory=2596 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31632/stat : 31632 (java) S 31621 31621 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224172953 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227360819920 140228250650523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31633] ppid=31621 vsize=14089320 memory=2596 CPUtime=1.63 cores=1,3,5,7
/proc/31623/task/31633/stat : 31633 (java) S 31621 31621 31211 0 -1 1077944384 15941 0 0 0 161 2 0 0 20 0 15 0 224172953 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227359766512 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31634] ppid=31621 vsize=14089320 memory=218544 CPUtime=1.66 cores=1,3,5,7
/proc/31623/task/31634/stat : 31634 (java) S 31621 31621 31211 0 -1 1077944384 17474 0 0 0 164 2 0 0 20 0 15 0 224172953 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227358713968 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31635] ppid=31621 vsize=14089320 memory=1456 CPUtime=0.5 cores=1,3,5,7
/proc/31623/task/31635/stat : 31635 (java) S 31621 31621 31211 0 -1 1077944384 5168 0 0 0 50 0 0 0 20 0 15 0 224172953 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227357661424 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31636] ppid=31621 vsize=14089320 memory=-8412652160765825907 CPUtime=0 cores=1,3,5,7
/proc/31623/task/31636/stat : 31636 (java) S 31621 31621 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224172954 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227356609120 140228250642133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
[pid=31623/tid=31637] ppid=31621 vsize=14089320 memory=7100839878645619564 CPUtime=0.01 cores=1,3,5,7
/proc/31623/task/31637/stat : 31637 (java) S 31621 31621 31211 0 -1 1077944384 1310 0 0 0 0 1 0 0 20 0 15 0 224172954 14427463680 55155 33554432000 4194304 4196468 140727123343040 140227355556656 140228250643074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 32526336 140727123346566 140727123346737 140727123346737 140727123349455 0
Current children cumulated CPU time: 89.12 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 222076 KiB

Child status: 0
Real time (s): 85.5392
CPU time (s): 89.1616
CPU user time (s): 88.9922
CPU system time (s): 0.169316
CPU usage (%): 104.235
Max. virtual memory (cumulated for all children) (KiB): 14204520
Max. memory (cumulated for all children) (KiB): 232260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.9922
system time used= 0.169316
maximum resident set size= 232936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55787
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4268
involuntary context switches= 100


# summary of solver processes directly reported to runsolver:
#   pid: 31621
#   total CPU time (s): 89.1616
#   total CPU user time (s): 88.9922
#   total CPU system time (s): 0.169316

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.468555 second user time and 0.83758 second system time

The end
Name	PseudoBoolean-dec/ Pb-fpga25-25-sat_c18.xml
MD5SUM	ac52d6c4be7f254c8b8f2a5f4d50567d
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.215757
Satisfiable
(Un)Satisfiability was proved
Number of variables	938
Number of constraints	700
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":938}]
Minimum variable degree	3
Maximum variable degree	26
Distribution of variable degrees	[{"degree":3,"count":625},{"degree":26,"count":313}]
Minimum constraint arity	12
Maximum constraint arity	25
Distribution of constraint arities	[{"arity":12,"count":12},{"arity":13,"count":313},{"arity":14,"count":325},{"arity":25,"count":50}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":700}]
Optimization problem	NO
Type of objective
Trace number 4306950

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
