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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT	41.1432	36.165798
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 (14306 MiB free)
  memory of node 1: 16384 MiB (15433 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283774-1503192024/watcher-4283774-1503192024 -o /tmp/evaluation-result-4283774-1503192024/solver-4283774-1503192024 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 581082555 HOME/instance-4283774-1503192024.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
solver pid=13100, runsolver pid=13097
Current StackSize limit: 8192 KiB


[startup+0.10016 s]*
/proc/loadavg: 1.38 1.52 1.58 2/197 13101
/proc/meminfo: memFree=30453528/32770624 swapFree=67108860/67108860
[pid=13100] ppid=13097 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/13100/stat : 13100 (runsolver) D 13097 13100 28892 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 121395426 34791424 114 18446744073709551615 4194304 4346622 140735336977856 140735336974488 139725956006615 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 14745600 140735336980536 140735336981028 140735336981028 140735336984522 0
/proc/13100/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.209256 s]*
/proc/loadavg: 1.38 1.52 1.58 2/211 13115
/proc/meminfo: memFree=30441420/32770624 swapFree=67108860/67108860
[pid=13100] ppid=13097 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13100/stat : 13100 (xcsp3-exec) S 13097 13100 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121395426 9740288 345 18446744073709551615 4194304 5098028 140736173432032 140736173430136 139740851200636 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 30142464 140736173437305 140736173437509 140736173437509 140736173441003 0
/proc/13100/statm: 2378 345 289 221 0 87 0
[pid=13102] ppid=13100 vsize=13973868 memory=22140 CPUtime=0.06 cores=1,3,5,7
/proc/13102/stat : 13102 (java) S 13100 13100 28892 0 -1 1077944320 4989 0 0 0 5 1 0 0 20 0 15 0 121395438 14309240832 5535 18446744073709551615 4194304 4196468 140729830406688 140729830389232 140472216878839 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
/proc/13102/statm: 3493467 5535 2568 1 0 3482964 0
[pid=13102/tid=13103] ppid=13100 vsize=13973868 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/13102/task/13103/stat : 13103 (java) R 13100 13100 28892 0 -1 4202560 3147 0 0 0 4 0 0 0 20 0 15 0 121395438 14309240832 5535 18446744073709551615 4194304 4196468 140729830406688 140472221102840 140472209556853 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13104] ppid=13100 vsize=13973868 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13104/stat : 13104 (java) S 13100 13100 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121395439 14309240832 5535 18446744073709551615 4194304 4196468 140729830406688 140472151312784 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13105] ppid=13100 vsize=13974352 memory=3473035378790385312 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13105/stat : 13105 (java) S 13100 13100 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121395439 14309736448 5535 18446744073709551615 4194304 4196468 140729830406688 140472150259984 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13106] ppid=13100 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13106/stat : 13106 (java) S 13100 13100 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121395439 14309736448 5600 18446744073709551615 4194304 4196468 140729830406688 140472149207696 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13107] ppid=13100 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13107/stat : 13107 (java) S 13100 13100 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121395439 14309736448 5600 18446744073709551615 4194304 4196468 140729830406688 140472148154896 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13108] ppid=13100 vsize=13974352 memory=139725958956672 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13108/stat : 13108 (java) S 13100 13100 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121395440 14309736448 5600 18446744073709551615 4194304 4196468 140729830406688 140471694752368 140472216889986 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13109] ppid=13100 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13109/stat : 13109 (java) S 13100 13100 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121395441 14309736448 5600 18446744073709551615 4194304 4196468 140729830406688 140471693698336 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13110] ppid=13100 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13110/stat : 13110 (java) S 13100 13100 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121395441 14309736448 5600 18446744073709551615 4194304 4196468 140729830406688 140471692646000 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13111] ppid=13100 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13111/stat : 13111 (java) S 13100 13100 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121395443 14309736448 5600 18446744073709551615 4194304 4196468 140729830406688 140471691594320 140472216897435 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13112] ppid=13100 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13112/stat : 13112 (java) S 13100 13100 28892 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 121395443 14309736448 5600 18446744073709551615 4194304 4196468 140729830406688 140471690541168 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13113] ppid=13100 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13113/stat : 13113 (java) S 13100 13100 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121395443 14309736448 5600 18446744073709551615 4194304 4196468 140729830406688 140471689488368 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13114] ppid=13100 vsize=13974352 memory=139725958956672 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13114/stat : 13114 (java) S 13100 13100 28892 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 121395443 14309736448 5600 18446744073709551615 4194304 4196468 140729830406688 140471688436080 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13115] ppid=13100 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13115/stat : 13115 (java) S 13100 13100 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121395443 14309736448 5600 18446744073709551615 4194304 4196468 140729830406688 140471687383520 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13116] ppid=13100 vsize=13974352 memory=139725958956672 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13116/stat : 13116 (java) S 13100 13100 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121395448 14309736448 5666 18446744073709551615 4194304 4196468 140729830406688 140471686331312 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 23520 KiB

[startup+0.31142 s]*
/proc/loadavg: 1.38 1.52 1.58 3/212 13116
/proc/meminfo: memFree=30428764/32770624 swapFree=67108860/67108860
[pid=13100] ppid=13097 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13100/stat : 13100 (xcsp3-exec) S 13097 13100 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121395426 9740288 345 18446744073709551615 4194304 5098028 140736173432032 140736173430136 139740851200636 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 30142464 140736173437305 140736173437509 140736173437509 140736173441003 0
/proc/13100/statm: 2378 345 289 221 0 87 0
[pid=13102] ppid=13100 vsize=13974352 memory=36188 CPUtime=0.24 cores=1,3,5,7
/proc/13102/stat : 13102 (java) S 13100 13100 28892 0 -1 1077944320 8658 0 0 0 22 2 0 0 20 0 15 0 121395438 14309736448 9047 18446744073709551615 4194304 4196468 140729830406688 140729830389232 140472216878839 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
/proc/13102/statm: 3493588 9047 2947 1 0 3482964 0
[pid=13102/tid=13103] ppid=13100 vsize=13974352 memory=-7677926825137650786 CPUtime=0.14 cores=1,3,5,7
/proc/13102/task/13103/stat : 13103 (java) R 13100 13100 28892 0 -1 4202560 5973 0 0 0 13 1 0 0 20 0 15 0 121395438 14309736448 9047 18446744073709551615 4194304 4196468 140729830406688 140472221092288 140472209556853 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13104] ppid=13100 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13104/stat : 13104 (java) S 13100 13100 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121395439 14309736448 9047 18446744073709551615 4194304 4196468 140729830406688 140472151312784 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13105] ppid=13100 vsize=13974352 memory=139725958956672 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13105/stat : 13105 (java) S 13100 13100 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121395439 14309736448 9047 18446744073709551615 4194304 4196468 140729830406688 140472150259984 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13106] ppid=13100 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13106/stat : 13106 (java) S 13100 13100 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121395439 14309736448 9047 18446744073709551615 4194304 4196468 140729830406688 140472149207696 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13107] ppid=13100 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13107/stat : 13107 (java) S 13100 13100 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121395439 14309736448 9047 18446744073709551615 4194304 4196468 140729830406688 140472148154896 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13108] ppid=13100 vsize=13974352 memory=139725958956672 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13108/stat : 13108 (java) S 13100 13100 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121395440 14309736448 9047 18446744073709551615 4194304 4196468 140729830406688 140471694752368 140472216889986 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13109] ppid=13100 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13109/stat : 13109 (java) S 13100 13100 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121395441 14309736448 9047 18446744073709551615 4194304 4196468 140729830406688 140471693698336 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13110] ppid=13100 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13110/stat : 13110 (java) S 13100 13100 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121395441 14309736448 9047 18446744073709551615 4194304 4196468 140729830406688 140471692646000 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13111] ppid=13100 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13111/stat : 13111 (java) S 13100 13100 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121395443 14309736448 9047 18446744073709551615 4194304 4196468 140729830406688 140471691594320 140472216897435 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13112] ppid=13100 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13102/task/13112/stat : 13112 (java) S 13100 13100 28892 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 15 0 121395443 14309736448 9047 18446744073709551615 4194304 4196468 140729830406688 140471690541168 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13113] ppid=13100 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13102/task/13113/stat : 13113 (java) S 13100 13100 28892 0 -1 1077944384 294 0 0 0 1 0 0 0 20 0 15 0 121395443 14309736448 9047 18446744073709551615 4194304 4196468 140729830406688 140471689488368 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13114] ppid=13100 vsize=13974352 memory=139725958956672 CPUtime=0.05 cores=1,3,5,7
/proc/13102/task/13114/stat : 13114 (java) S 13100 13100 28892 0 -1 1077944384 711 0 0 0 5 0 0 0 20 0 15 0 121395443 14309736448 9047 18446744073709551615 4194304 4196468 140729830406688 140471688436080 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13115] ppid=13100 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13115/stat : 13115 (java) S 13100 13100 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121395443 14309736448 9047 18446744073709551615 4194304 4196468 140729830406688 140471687383520 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13116] ppid=13100 vsize=13974352 memory=139725958956672 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13116/stat : 13116 (java) S 13100 13100 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121395448 14309736448 9047 18446744073709551615 4194304 4196468 140729830406688 140471686331312 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37568 KiB

[startup+0.700841 s]
/proc/loadavg: 1.38 1.52 1.58 4/212 13116
/proc/meminfo: memFree=30413768/32770624 swapFree=67108860/67108860
[pid=13100] ppid=13097 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13100/stat : 13100 (xcsp3-exec) S 13097 13100 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121395426 9740288 345 18446744073709551615 4194304 5098028 140736173432032 140736173430136 139740851200636 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 30142464 140736173437305 140736173437509 140736173437509 140736173441003 0
/proc/13100/statm: 2378 345 289 221 0 87 0
[pid=13102] ppid=13100 vsize=13978684 memory=76880 CPUtime=1.25 cores=1,3,5,7
/proc/13102/stat : 13102 (java) S 13100 13100 28892 0 -1 1077944320 13379 0 0 0 120 5 0 0 20 0 15 0 121395438 14314172416 19220 18446744073709551615 4194304 4196468 140729830406688 140729830389232 140472216878839 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
/proc/13102/statm: 3494671 19220 3163 1 0 3482964 0
[pid=13102/tid=13103] ppid=13100 vsize=13978684 memory=5795117241467496816 CPUtime=0.53 cores=1,3,5,7
/proc/13102/task/13103/stat : 13103 (java) R 13100 13100 28892 0 -1 4202560 7878 0 0 0 50 3 0 0 20 0 15 0 121395438 14314172416 19220 18446744073709551615 4194304 4196468 140729830406688 140472221117408 140471821171413 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13104] ppid=13100 vsize=13978684 memory=6154820267226784105 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13104/stat : 13104 (java) S 13100 13100 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121395439 14314172416 19220 18446744073709551615 4194304 4196468 140729830406688 140472151312784 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13105] ppid=13100 vsize=13978684 memory=4639930618066522192 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13105/stat : 13105 (java) S 13100 13100 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121395439 14314172416 19220 18446744073709551615 4194304 4196468 140729830406688 140472150259984 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13106] ppid=13100 vsize=13978684 memory=-8820188211957838939 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13106/stat : 13106 (java) S 13100 13100 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121395439 14314172416 19220 18446744073709551615 4194304 4196468 140729830406688 140472149207696 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13107] ppid=13100 vsize=13978684 memory=-9109213556524817781 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13107/stat : 13107 (java) S 13100 13100 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121395439 14314172416 19220 18446744073709551615 4194304 4196468 140729830406688 140472148154896 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13108] ppid=13100 vsize=13978684 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13108/stat : 13108 (java) S 13100 13100 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121395440 14314172416 19220 18446744073709551615 4194304 4196468 140729830406688 140471694752368 140472216889986 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13109] ppid=13100 vsize=13978684 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13109/stat : 13109 (java) S 13100 13100 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121395441 14314172416 19220 18446744073709551615 4194304 4196468 140729830406688 140471693698336 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13110] ppid=13100 vsize=13978684 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13110/stat : 13110 (java) S 13100 13100 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121395441 14314172416 19220 18446744073709551615 4194304 4196468 140729830406688 140471692646000 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13111] ppid=13100 vsize=13978684 memory=7679937539709960979 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13111/stat : 13111 (java) S 13100 13100 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121395443 14314172416 19220 18446744073709551615 4194304 4196468 140729830406688 140471691594320 140472216897435 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13112] ppid=13100 vsize=13978684 memory=3908 CPUtime=0.16 cores=1,3,5,7
/proc/13102/task/13112/stat : 13112 (java) R 13100 13100 28892 0 -1 4202560 924 0 0 0 16 0 0 0 20 0 15 0 121395443 14314172416 19220 18446744073709551615 4194304 4196468 140729830406688 140471690531088 140472201808309 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13113] ppid=13100 vsize=13978684 memory=-7677926825137650786 CPUtime=0.22 cores=1,3,5,7
/proc/13102/task/13113/stat : 13113 (java) R 13100 13100 28892 0 -1 4202560 1343 0 0 0 22 0 0 0 20 0 15 0 121395443 14314172416 19220 18446744073709551615 4194304 4196468 140729830406688 140471689479344 140472194863875 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13114] ppid=13100 vsize=13978684 memory=4872558044660077418 CPUtime=0.3 cores=1,3,5,7
/proc/13102/task/13114/stat : 13114 (java) S 13100 13100 28892 0 -1 1077944384 1926 0 0 0 30 0 0 0 20 0 15 0 121395443 14314172416 19220 18446744073709551615 4194304 4196468 140729830406688 140471688436080 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13115] ppid=13100 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13115/stat : 13115 (java) S 13100 13100 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121395443 14314172416 19220 18446744073709551615 4194304 4196468 140729830406688 140471687383520 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13116] ppid=13100 vsize=13978684 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13116/stat : 13116 (java) S 13100 13100 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121395448 14314172416 19220 18446744073709551615 4194304 4196468 140729830406688 140471686331312 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 78260 KiB

[startup+1.50081 s]
/proc/loadavg: 1.38 1.52 1.58 9/212 13116
/proc/meminfo: memFree=30338252/32770624 swapFree=67108860/67108860
[pid=13100] ppid=13097 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13100/stat : 13100 (xcsp3-exec) S 13097 13100 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121395426 9740288 345 18446744073709551615 4194304 5098028 140736173432032 140736173430136 139740851200636 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 30142464 140736173437305 140736173437509 140736173437509 140736173441003 0
/proc/13100/statm: 2378 345 289 221 0 87 0
[pid=13102] ppid=13100 vsize=13980732 memory=133160 CPUtime=3.05 cores=1,3,5,7
/proc/13102/stat : 13102 (java) S 13100 13100 28892 0 -1 1077944320 18228 0 0 0 300 5 0 0 20 0 15 0 121395438 14316269568 33290 18446744073709551615 4194304 4196468 140729830406688 140729830389232 140472216878839 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
/proc/13102/statm: 3495183 33290 3197 1 0 3483476 0
[pid=13102/tid=13103] ppid=13100 vsize=13980732 memory=3472467854718104706 CPUtime=1.32 cores=1,3,5,7
/proc/13102/task/13103/stat : 13103 (java) R 13100 13100 28892 0 -1 4202560 9055 0 0 0 129 3 0 0 20 0 15 0 121395438 14316269568 33290 18446744073709551615 4194304 4196468 140729830406688 140472221114160 140471821171968 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13104] ppid=13100 vsize=13980732 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13104/stat : 13104 (java) S 13100 13100 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121395439 14316269568 33290 18446744073709551615 4194304 4196468 140729830406688 140472151312784 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13105] ppid=13100 vsize=13980732 memory=8329294824744181856 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13105/stat : 13105 (java) S 13100 13100 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121395439 14316269568 33290 18446744073709551615 4194304 4196468 140729830406688 140472150259984 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13106] ppid=13100 vsize=13980732 memory=8761921863948460128 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13106/stat : 13106 (java) S 13100 13100 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121395439 14316269568 33290 18446744073709551615 4194304 4196468 140729830406688 140472149207696 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13107] ppid=13100 vsize=13980732 memory=6944656592452807323 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13107/stat : 13107 (java) S 13100 13100 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121395439 14316269568 33290 18446744073709551615 4194304 4196468 140729830406688 140472148154896 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13108] ppid=13100 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13108/stat : 13108 (java) S 13100 13100 28892 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 121395440 14316269568 33290 18446744073709551615 4194304 4196468 140729830406688 140471694752368 140472216889986 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13109] ppid=13100 vsize=13980732 memory=8546823402028195750 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13109/stat : 13109 (java) S 13100 13100 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121395441 14316269568 33290 18446744073709551615 4194304 4196468 140729830406688 140471693698336 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13110] ppid=13100 vsize=13980732 memory=-7606742951091920751 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13110/stat : 13110 (java) S 13100 13100 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121395441 14316269568 33290 18446744073709551615 4194304 4196468 140729830406688 140471692646000 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13111] ppid=13100 vsize=13980732 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13111/stat : 13111 (java) S 13100 13100 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121395443 14316269568 33290 18446744073709551615 4194304 4196468 140729830406688 140471691594320 140472216897435 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13112] ppid=13100 vsize=13980732 memory=-3761991693426146123 CPUtime=0.59 cores=1,3,5,7
/proc/13102/task/13112/stat : 13112 (java) R 13100 13100 28892 0 -1 4202560 2458 0 0 0 59 0 0 0 20 0 15 0 121395443 14316269568 33290 18446744073709551615 4194304 4196468 140729830406688 140471690541168 140472216890774 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13113] ppid=13100 vsize=13980732 memory=-5874771483550381248 CPUtime=0.66 cores=1,3,5,7
/proc/13102/task/13113/stat : 13113 (java) S 13100 13100 28892 0 -1 1077944384 2743 0 0 0 66 0 0 0 20 0 15 0 121395443 14316269568 33290 18446744073709551615 4194304 4196468 140729830406688 140471689488368 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13114] ppid=13100 vsize=13980732 memory=7031125463459224206 CPUtime=0.45 cores=1,3,5,7
/proc/13102/task/13114/stat : 13114 (java) S 13100 13100 28892 0 -1 1077944384 2584 0 0 0 45 0 0 0 20 0 15 0 121395443 14316269568 33290 18446744073709551615 4194304 4196468 140729830406688 140471688436080 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13115] ppid=13100 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13115/stat : 13115 (java) S 13100 13100 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121395443 14316269568 33290 18446744073709551615 4194304 4196468 140729830406688 140471687383520 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13116] ppid=13100 vsize=13980732 memory=65048 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13116/stat : 13116 (java) S 13100 13100 28892 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 121395448 14316269568 33290 18446744073709551615 4194304 4196468 140729830406688 140471686331312 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0

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

/proc/13100/stat : 13100 (xcsp3-exec) S 13097 13100 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121395426 9740288 345 18446744073709551615 4194304 5098028 140736173432032 140736173430136 139740851200636 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 30142464 140736173437305 140736173437509 140736173437509 140736173441003 0
/proc/13100/statm: 2378 345 289 221 0 87 0
[pid=13102] ppid=13100 vsize=13980732 memory=205188 CPUtime=40.14 cores=1,3,5,7
/proc/13102/stat : 13102 (java) S 13100 13100 28892 0 -1 1077944320 43710 0 0 0 3996 18 0 0 20 0 15 0 121395438 14316269568 51297 18446744073709551615 4194304 4196468 140729830406688 140729830389232 140472216878839 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
/proc/13102/statm: 3495183 51297 3225 1 0 3483476 0
[pid=13102/tid=13103] ppid=13100 vsize=13980732 memory=1156 CPUtime=34.89 cores=1,3,5,7
/proc/13102/task/13103/stat : 13103 (java) R 13100 13100 28892 0 -1 4202560 13166 0 0 0 3485 4 0 0 20 0 15 0 121395438 14316269568 51297 18446744073709551615 4194304 4196468 140729830406688 140472221115288 140471827950660 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13104] ppid=13100 vsize=13980732 memory=2744 CPUtime=0.08 cores=1,3,5,7
/proc/13102/task/13104/stat : 13104 (java) S 13100 13100 28892 0 -1 1077944384 1175 0 0 0 6 2 0 0 20 0 15 0 121395439 14316269568 51297 18446744073709551615 4194304 4196468 140729830406688 140472151312784 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13105] ppid=13100 vsize=13980732 memory=216332 CPUtime=0.08 cores=1,3,5,7
/proc/13102/task/13105/stat : 13105 (java) S 13100 13100 28892 0 -1 1077944384 536 0 0 0 6 2 0 0 20 0 15 0 121395439 14316269568 51297 18446744073709551615 4194304 4196468 140729830406688 140472150259984 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13106] ppid=13100 vsize=13980732 memory=4028 CPUtime=0.08 cores=1,3,5,7
/proc/13102/task/13106/stat : 13106 (java) S 13100 13100 28892 0 -1 1077944384 275 0 0 0 6 2 0 0 20 0 15 0 121395439 14316269568 51297 18446744073709551615 4194304 4196468 140729830406688 140472149207696 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13107] ppid=13100 vsize=13980732 memory=65048 CPUtime=0.08 cores=1,3,5,7
/proc/13102/task/13107/stat : 13107 (java) S 13100 13100 28892 0 -1 1077944384 755 0 0 0 6 2 0 0 20 0 15 0 121395439 14316269568 51297 18446744073709551615 4194304 4196468 140729830406688 140472148154896 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13108] ppid=13100 vsize=13980732 memory=219924 CPUtime=0.02 cores=1,3,5,7
/proc/13102/task/13108/stat : 13108 (java) S 13100 13100 28892 0 -1 1077944384 799 0 0 0 2 0 0 0 20 0 15 0 121395440 14316269568 51297 18446744073709551615 4194304 4196468 140729830406688 140471694752368 140472216889986 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13109] ppid=13100 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13109/stat : 13109 (java) S 13100 13100 28892 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 121395441 14316269568 51297 18446744073709551615 4194304 4196468 140729830406688 140471693698336 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13110] ppid=13100 vsize=13980732 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13110/stat : 13110 (java) S 13100 13100 28892 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 121395441 14316269568 51297 18446744073709551615 4194304 4196468 140729830406688 140471692646000 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13111] ppid=13100 vsize=13980732 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13111/stat : 13111 (java) S 13100 13100 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121395443 14316269568 51297 18446744073709551615 4194304 4196468 140729830406688 140471691594320 140472216897435 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13112] ppid=13100 vsize=13980732 memory=4300 CPUtime=2.04 cores=1,3,5,7
/proc/13102/task/13112/stat : 13112 (java) S 13100 13100 28892 0 -1 1077944384 8825 0 0 0 203 1 0 0 20 0 15 0 121395443 14316269568 51297 18446744073709551615 4194304 4196468 140729830406688 140471690541168 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13113] ppid=13100 vsize=13980732 memory=932 CPUtime=2.14 cores=1,3,5,7
/proc/13102/task/13113/stat : 13113 (java) S 13100 13100 28892 0 -1 1077944384 9908 0 0 0 213 1 0 0 20 0 15 0 121395443 14316269568 51297 18446744073709551615 4194304 4196468 140729830406688 140471689488368 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13114] ppid=13100 vsize=13980732 memory=1624 CPUtime=0.64 cores=1,3,5,7
/proc/13102/task/13114/stat : 13114 (java) S 13100 13100 28892 0 -1 1077944384 6387 0 0 0 63 1 0 0 20 0 15 0 121395443 14316269568 51297 18446744073709551615 4194304 4196468 140729830406688 140471688436080 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13115] ppid=13100 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13115/stat : 13115 (java) S 13100 13100 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121395443 14316269568 51297 18446744073709551615 4194304 4196468 140729830406688 140471687383520 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13116] ppid=13100 vsize=13980732 memory=65048 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13116/stat : 13116 (java) S 13100 13100 28892 0 -1 1077944384 529 0 0 0 0 0 0 0 20 0 15 0 121395448 14316269568 51297 18446744073709551615 4194304 4196468 140729830406688 140471686331312 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
Current children cumulated CPU time: 40.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 206568 KiB

[startup+35.6008 s]
/proc/loadavg: 1.43 1.51 1.58 3/212 13116
/proc/meminfo: memFree=30168408/32770624 swapFree=67108860/67108860
[pid=13100] ppid=13097 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13100/stat : 13100 (xcsp3-exec) S 13097 13100 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121395426 9740288 345 18446744073709551615 4194304 5098028 140736173432032 140736173430136 139740851200636 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 30142464 140736173437305 140736173437509 140736173437509 140736173441003 0
/proc/13100/statm: 2378 345 289 221 0 87 0
[pid=13102] ppid=13100 vsize=13980732 memory=205192 CPUtime=40.54 cores=1,3,5,7
/proc/13102/stat : 13102 (java) S 13100 13100 28892 0 -1 1077944320 44074 0 0 0 4036 18 0 0 20 0 15 0 121395438 14316269568 51298 18446744073709551615 4194304 4196468 140729830406688 140729830389232 140472216878839 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
/proc/13102/statm: 3495183 51298 3225 1 0 3483476 0
[pid=13102/tid=13103] ppid=13100 vsize=13980732 memory=195987947677276 CPUtime=35.29 cores=1,3,5,7
/proc/13102/task/13103/stat : 13103 (java) R 13100 13100 28892 0 -1 4202560 13167 0 0 0 3525 4 0 0 20 0 15 0 121395438 14316269568 51298 18446744073709551615 4194304 4196468 140729830406688 140472221117168 140471827354334 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13104] ppid=13100 vsize=13980732 memory=195987947677277 CPUtime=0.08 cores=1,3,5,7
/proc/13102/task/13104/stat : 13104 (java) S 13100 13100 28892 0 -1 1077944384 1175 0 0 0 6 2 0 0 20 0 15 0 121395439 14316269568 51298 18446744073709551615 4194304 4196468 140729830406688 140472151312784 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13105] ppid=13100 vsize=13980732 memory=195987947677278 CPUtime=0.08 cores=1,3,5,7
/proc/13102/task/13105/stat : 13105 (java) S 13100 13100 28892 0 -1 1077944384 536 0 0 0 6 2 0 0 20 0 15 0 121395439 14316269568 51298 18446744073709551615 4194304 4196468 140729830406688 140472150259984 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13106] ppid=13100 vsize=13980732 memory=195987947677279 CPUtime=0.08 cores=1,3,5,7
/proc/13102/task/13106/stat : 13106 (java) S 13100 13100 28892 0 -1 1077944384 275 0 0 0 6 2 0 0 20 0 15 0 121395439 14316269568 51298 18446744073709551615 4194304 4196468 140729830406688 140472149207696 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13107] ppid=13100 vsize=13980732 memory=195987947677280 CPUtime=0.08 cores=1,3,5,7
/proc/13102/task/13107/stat : 13107 (java) S 13100 13100 28892 0 -1 1077944384 755 0 0 0 6 2 0 0 20 0 15 0 121395439 14316269568 51298 18446744073709551615 4194304 4196468 140729830406688 140472148154896 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13108] ppid=13100 vsize=13980732 memory=195987947677281 CPUtime=0.02 cores=1,3,5,7
/proc/13102/task/13108/stat : 13108 (java) S 13100 13100 28892 0 -1 1077944384 801 0 0 0 2 0 0 0 20 0 15 0 121395440 14316269568 51298 18446744073709551615 4194304 4196468 140729830406688 140471694752368 140472216889986 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13109] ppid=13100 vsize=13980732 memory=195987947677282 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13109/stat : 13109 (java) S 13100 13100 28892 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 121395441 14316269568 51298 18446744073709551615 4194304 4196468 140729830406688 140471693698336 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13110] ppid=13100 vsize=13980732 memory=195987947677283 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13110/stat : 13110 (java) S 13100 13100 28892 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 121395441 14316269568 51298 18446744073709551615 4194304 4196468 140729830406688 140471692646000 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13111] ppid=13100 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13111/stat : 13111 (java) S 13100 13100 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121395443 14316269568 51298 18446744073709551615 4194304 4196468 140729830406688 140471691594320 140472216897435 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13112] ppid=13100 vsize=13980732 memory=208780 CPUtime=2.04 cores=1,3,5,7
/proc/13102/task/13112/stat : 13112 (java) S 13100 13100 28892 0 -1 1077944384 8825 0 0 0 203 1 0 0 20 0 15 0 121395443 14316269568 51298 18446744073709551615 4194304 4196468 140729830406688 140471690541168 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13113] ppid=13100 vsize=13980732 memory=1708 CPUtime=2.14 cores=1,3,5,7
/proc/13102/task/13113/stat : 13113 (java) S 13100 13100 28892 0 -1 1077944384 9908 0 0 0 213 1 0 0 20 0 15 0 121395443 14316269568 51298 18446744073709551615 4194304 4196468 140729830406688 140471689488368 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13114] ppid=13100 vsize=13980732 memory=1444 CPUtime=0.65 cores=1,3,5,7
/proc/13102/task/13114/stat : 13114 (java) S 13100 13100 28892 0 -1 1077944384 6747 0 0 0 64 1 0 0 20 0 15 0 121395443 14316269568 51298 18446744073709551615 4194304 4196468 140729830406688 140471688436080 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13115] ppid=13100 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13115/stat : 13115 (java) S 13100 13100 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121395443 14316269568 51298 18446744073709551615 4194304 4196468 140729830406688 140471687383520 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13116] ppid=13100 vsize=13980732 memory=12216 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13116/stat : 13116 (java) S 13100 13100 28892 0 -1 1077944384 530 0 0 0 0 0 0 0 20 0 15 0 121395448 14316269568 51298 18446744073709551615 4194304 4196468 140729830406688 140471686331312 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
Current children cumulated CPU time: 40.54 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 206572 KiB

[startup+36.0008 s]*
/proc/loadavg: 1.43 1.51 1.58 3/212 13116
/proc/meminfo: memFree=30172192/32770624 swapFree=67108860/67108860
[pid=13100] ppid=13097 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13100/stat : 13100 (xcsp3-exec) S 13097 13100 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121395426 9740288 345 18446744073709551615 4194304 5098028 140736173432032 140736173430136 139740851200636 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 30142464 140736173437305 140736173437509 140736173437509 140736173441003 0
/proc/13100/statm: 2378 345 289 221 0 87 0
[pid=13102] ppid=13100 vsize=13980732 memory=201604 CPUtime=40.96 cores=1,3,5,7
/proc/13102/stat : 13102 (java) S 13100 13100 28892 0 -1 1077944320 44075 0 0 0 4078 18 0 0 20 0 15 0 121395438 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140729830389232 140472216878839 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
/proc/13102/statm: 3495183 50401 3225 1 0 3483476 0
[pid=13102/tid=13103] ppid=13100 vsize=13980732 memory=-7677926825137650786 CPUtime=35.7 cores=1,3,5,7
/proc/13102/task/13103/stat : 13103 (java) R 13100 13100 28892 0 -1 4202560 13168 0 0 0 3566 4 0 0 20 0 15 0 121395438 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140472221118176 140471828011168 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13104] ppid=13100 vsize=13980732 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/13102/task/13104/stat : 13104 (java) S 13100 13100 28892 0 -1 1077944384 1175 0 0 0 6 2 0 0 20 0 15 0 121395439 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140472151312784 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13105] ppid=13100 vsize=13980732 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13102/task/13105/stat : 13105 (java) S 13100 13100 28892 0 -1 1077944384 536 0 0 0 6 2 0 0 20 0 15 0 121395439 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140472150259984 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13106] ppid=13100 vsize=13980732 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13102/task/13106/stat : 13106 (java) S 13100 13100 28892 0 -1 1077944384 275 0 0 0 6 2 0 0 20 0 15 0 121395439 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140472149207696 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13107] ppid=13100 vsize=13980732 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13102/task/13107/stat : 13107 (java) S 13100 13100 28892 0 -1 1077944384 755 0 0 0 6 2 0 0 20 0 15 0 121395439 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140472148154896 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13108] ppid=13100 vsize=13980732 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13102/task/13108/stat : 13108 (java) S 13100 13100 28892 0 -1 1077944384 801 0 0 0 3 0 0 0 20 0 15 0 121395440 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471694752368 140472216889986 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13109] ppid=13100 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13109/stat : 13109 (java) S 13100 13100 28892 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 121395441 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471693698336 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13110] ppid=13100 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13110/stat : 13110 (java) S 13100 13100 28892 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 121395441 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471692646000 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13111] ppid=13100 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13111/stat : 13111 (java) S 13100 13100 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121395443 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471691594320 140472216897435 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13112] ppid=13100 vsize=13980732 memory=0 CPUtime=2.04 cores=1,3,5,7
/proc/13102/task/13112/stat : 13112 (java) S 13100 13100 28892 0 -1 1077944384 8825 0 0 0 203 1 0 0 20 0 15 0 121395443 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471690541168 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13113] ppid=13100 vsize=13980732 memory=0 CPUtime=2.14 cores=1,3,5,7
/proc/13102/task/13113/stat : 13113 (java) S 13100 13100 28892 0 -1 1077944384 9908 0 0 0 213 1 0 0 20 0 15 0 121395443 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471689488368 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13114] ppid=13100 vsize=13980732 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/13102/task/13114/stat : 13114 (java) S 13100 13100 28892 0 -1 1077944384 6747 0 0 0 64 1 0 0 20 0 15 0 121395443 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471688436080 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13115] ppid=13100 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13115/stat : 13115 (java) S 13100 13100 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121395443 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471687383520 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13116] ppid=13100 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13116/stat : 13116 (java) S 13100 13100 28892 0 -1 1077944384 530 0 0 0 0 0 0 0 20 0 15 0 121395448 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471686331312 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
Current children cumulated CPU time: 40.96 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 202984 KiB

[startup+36.1101 s]
/proc/loadavg: 1.43 1.51 1.58 3/212 13116
/proc/meminfo: memFree=30172192/32770624 swapFree=67108860/67108860
[pid=13100] ppid=13097 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13100/stat : 13100 (xcsp3-exec) S 13097 13100 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121395426 9740288 345 18446744073709551615 4194304 5098028 140736173432032 140736173430136 139740851200636 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 30142464 140736173437305 140736173437509 140736173437509 140736173441003 0
/proc/13100/statm: 2378 345 289 221 0 87 0
[pid=13102] ppid=13100 vsize=13980732 memory=201604 CPUtime=41.06 cores=1,3,5,7
/proc/13102/stat : 13102 (java) S 13100 13100 28892 0 -1 1077944320 44075 0 0 0 4088 18 0 0 20 0 15 0 121395438 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140729830389232 140472216878839 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
/proc/13102/statm: 3495183 50401 3225 1 0 3483476 0
[pid=13102/tid=13103] ppid=13100 vsize=13980732 memory=201604 CPUtime=35.8 cores=1,3,5,7
/proc/13102/task/13103/stat : 13103 (java) R 13100 13100 28892 0 -1 4202560 13168 0 0 0 3576 4 0 0 20 0 15 0 121395438 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140472221118176 140471826219508 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13104] ppid=13100 vsize=13980732 memory=201604 CPUtime=0.08 cores=1,3,5,7
/proc/13102/task/13104/stat : 13104 (java) S 13100 13100 28892 0 -1 1077944384 1175 0 0 0 6 2 0 0 20 0 15 0 121395439 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140472151312784 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13105] ppid=13100 vsize=13980732 memory=1380 CPUtime=0.08 cores=1,3,5,7
/proc/13102/task/13105/stat : 13105 (java) S 13100 13100 28892 0 -1 1077944384 536 0 0 0 6 2 0 0 20 0 15 0 121395439 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140472150259984 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13106] ppid=13100 vsize=13980732 memory=1380 CPUtime=0.08 cores=1,3,5,7
/proc/13102/task/13106/stat : 13106 (java) S 13100 13100 28892 0 -1 1077944384 275 0 0 0 6 2 0 0 20 0 15 0 121395439 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140472149207696 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13107] ppid=13100 vsize=13980732 memory=216332 CPUtime=0.08 cores=1,3,5,7
/proc/13102/task/13107/stat : 13107 (java) S 13100 13100 28892 0 -1 1077944384 755 0 0 0 6 2 0 0 20 0 15 0 121395439 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140472148154896 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13108] ppid=13100 vsize=13980732 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/13102/task/13108/stat : 13108 (java) S 13100 13100 28892 0 -1 1077944384 801 0 0 0 3 0 0 0 20 0 15 0 121395440 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471694752368 140472216889986 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13109] ppid=13100 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13109/stat : 13109 (java) S 13100 13100 28892 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 121395441 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471693698336 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13110] ppid=13100 vsize=13980732 memory=65048 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13110/stat : 13110 (java) S 13100 13100 28892 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 121395441 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471692646000 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13111] ppid=13100 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13111/stat : 13111 (java) S 13100 13100 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121395443 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471691594320 140472216897435 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13112] ppid=13100 vsize=13980732 memory=205188 CPUtime=2.04 cores=1,3,5,7
/proc/13102/task/13112/stat : 13112 (java) S 13100 13100 28892 0 -1 1077944384 8825 0 0 0 203 1 0 0 20 0 15 0 121395443 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471690541168 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13113] ppid=13100 vsize=13980732 memory=1380 CPUtime=2.14 cores=1,3,5,7
/proc/13102/task/13113/stat : 13113 (java) S 13100 13100 28892 0 -1 1077944384 9908 0 0 0 213 1 0 0 20 0 15 0 121395443 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471689488368 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13114] ppid=13100 vsize=13980732 memory=1380 CPUtime=0.65 cores=1,3,5,7
/proc/13102/task/13114/stat : 13114 (java) S 13100 13100 28892 0 -1 1077944384 6747 0 0 0 64 1 0 0 20 0 15 0 121395443 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471688436080 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13115] ppid=13100 vsize=13980732 memory=205188 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13115/stat : 13115 (java) S 13100 13100 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121395443 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471687383520 140472216889045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
[pid=13102/tid=13116] ppid=13100 vsize=13980732 memory=219924 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13116/stat : 13116 (java) S 13100 13100 28892 0 -1 1077944384 530 0 0 0 0 0 0 0 20 0 15 0 121395448 14316269568 50401 18446744073709551615 4194304 4196468 140729830406688 140471686331312 140472216889986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 6512640 140729830412721 140729830412897 140729830412897 140729830416335 0
Current children cumulated CPU time: 41.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 202984 KiB

Child status: 0
Real time (s): 36.1658
CPU time (s): 41.1432
CPU user time (s): 40.9517
CPU system time (s): 0.191539
CPU usage (%): 113.763
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 244044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.9517
system time used= 0.191539
maximum resident set size= 242668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3774
involuntary context switches= 66


# summary of solver processes directly reported to runsolver:
#   pid: 13100
#   total CPU time (s): 41.1432
#   total CPU user time (s): 40.9517
#   total CPU system time (s): 0.191539

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.228583 second user time and 0.421422 second system time

The end
Name	MagicSequence/MagicSequence-count-s1/ MagicSequence-600-co.xml
MD5SUM	c8310886daa61c46dd98a045c4929b4c
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	6.4116702
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	602
Number of domains	1
Minimum domain size	600
Maximum domain size	600
Distribution of domain sizes	[{"size":600,"count":600}]
Minimum variable degree	602
Maximum variable degree	602
Distribution of variable degrees	[{"degree":602,"count":600}]
Minimum constraint arity	600
Maximum constraint arity	600
Distribution of constraint arities	[{"arity":600,"count":602}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"count","count":600}]
Optimization problem	NO
Type of objective
Trace number 4283774

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
