2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Choco-solver 4.0.7 seq (493a269)	SAT	89.6005	85.7126
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 (7415 MiB free)
  memory of node 1: 16384 MiB (12728 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292656-1532293740/watcher-4292656-1532293740 -o /tmp/evaluation-result-4292656-1532293740/solver-4292656-1532293740 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532279418-2549 --watchdog 2560 HOME/xcsp3-exec -seed 809525939 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292656-1532293740.xml 

running on 4 cores: 1,3,5,7

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

solver pid=4211, runsolver pid=4208

[startup+0.101963 s]*
/proc/loadavg: 1.55 1.35 1.38 3/218 4227
/proc/meminfo: memFree=20611340/32770624 swapFree=67108860/67108860
[pid=4211] ppid=4208 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4211/stat : 4211 (xcsp3-exec) S 4208 4211 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46937135 115843072 363 33554432000 4194304 5098028 140725425254896 140725425253000 140224415359612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12054528 140725425263675 140725425263876 140725425263876 140725425266634 0
/proc/4211/statm: 28282 363 305 221 0 87 0
[pid=4213] ppid=4211 vsize=14082840 memory=27672 CPUtime=0.12 cores=1,3,5,7
/proc/4213/stat : 4213 (java) S 4211 4211 32641 0 -1 1077944320 5323 0 0 0 11 1 0 0 20 0 15 0 46937135 14420828160 6918 33554432000 4194304 4196468 140724315723600 140724315706144 139885374275319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
/proc/4213/statm: 3520710 6918 2986 1 0 3483008 0
[pid=4213/tid=4214] ppid=4211 vsize=14082840 memory=-8412652160985438067 CPUtime=0.09 cores=1,3,5,7
/proc/4213/task/4214/stat : 4214 (java) R 4211 4211 32641 0 -1 4202560 3294 0 0 0 9 0 0 0 20 0 15 0 46937135 14420828160 6984 33554432000 4194304 4196468 140724315723600 139885378508592 139885374287254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4215] ppid=4211 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4215/stat : 4215 (java) S 4211 4211 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46937136 14420828160 6984 33554432000 4194304 4196468 140724315723600 139885341833744 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4216] ppid=4211 vsize=14082840 memory=139717313615488 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4216/stat : 4216 (java) S 4211 4211 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46937136 14420828160 6984 33554432000 4194304 4196468 140724315723600 139884968737424 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4217] ppid=4211 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4217/stat : 4217 (java) S 4211 4211 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46937136 14420828160 6984 33554432000 4194304 4196468 140724315723600 139884967684368 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4218] ppid=4211 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4218/stat : 4218 (java) S 4211 4211 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46937136 14420828160 6984 33554432000 4194304 4196468 140724315723600 139884966631824 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4219] ppid=4211 vsize=14082840 memory=139717313615488 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4219/stat : 4219 (java) S 4211 4211 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46937137 14420828160 6984 33554432000 4194304 4196468 140724315723600 139884848159472 139885374286466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4220] ppid=4211 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4220/stat : 4220 (java) S 4211 4211 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46937138 14420828160 6984 33554432000 4194304 4196468 140724315723600 139884847105696 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4221] ppid=4211 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4221/stat : 4221 (java) S 4211 4211 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46937138 14420828160 6984 33554432000 4194304 4196468 140724315723600 139884846052592 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4222] ppid=4211 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4222/stat : 4222 (java) S 4211 4211 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46937140 14420828160 6984 33554432000 4194304 4196468 140724315723600 139884845001168 139885374293915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4223] ppid=4211 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4223/stat : 4223 (java) S 4211 4211 32641 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 46937140 14420828160 6984 33554432000 4194304 4196468 140724315723600 139884843948272 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4224] ppid=4211 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4224/stat : 4224 (java) S 4211 4211 32641 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 46937140 14420828160 6984 33554432000 4194304 4196468 140724315723600 139884842895728 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4225] ppid=4211 vsize=14082840 memory=139717313615488 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4225/stat : 4225 (java) R 4211 4211 32641 0 -1 4202560 376 0 0 0 1 0 0 0 20 0 15 0 46937140 14420828160 6984 33554432000 4194304 4196468 140724315723600 139884841842672 139885353411132 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4226] ppid=4211 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4226/stat : 4226 (java) S 4211 4211 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46937141 14420828160 6984 33554432000 4194304 4196468 140724315723600 139884840790368 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4227] ppid=4211 vsize=14082840 memory=139717313615488 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4227/stat : 4227 (java) S 4211 4211 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46937141 14420828160 6984 33554432000 4194304 4196468 140724315723600 139884839738416 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29124 KiB

[startup+0.210704 s]*
/proc/loadavg: 1.55 1.35 1.38 3/218 4227
/proc/meminfo: memFree=20600532/32770624 swapFree=67108860/67108860
[pid=4211] ppid=4208 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4211/stat : 4211 (xcsp3-exec) S 4208 4211 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46937135 115843072 363 33554432000 4194304 5098028 140725425254896 140725425253000 140224415359612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12054528 140725425263675 140725425263876 140725425263876 140725425266634 0
/proc/4211/statm: 28282 363 305 221 0 87 0
[pid=4213] ppid=4211 vsize=14082840 memory=39244 CPUtime=0.34 cores=1,3,5,7
/proc/4213/stat : 4213 (java) S 4211 4211 32641 0 -1 1077944320 7889 0 0 0 31 3 0 0 20 0 15 0 46937135 14420828160 9811 33554432000 4194304 4196468 140724315723600 140724315706144 139885374275319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
/proc/4213/statm: 3520710 9811 3163 1 0 3483008 0
[pid=4213/tid=4214] ppid=4211 vsize=14082840 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/4213/task/4214/stat : 4214 (java) R 4211 4211 32641 0 -1 4202560 4995 0 0 0 18 2 0 0 20 0 15 0 46937135 14420828160 9811 33554432000 4194304 4196468 140724315723600 139885378510304 139885358318949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4215] ppid=4211 vsize=14082840 memory=10882 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4215/stat : 4215 (java) S 4211 4211 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46937136 14420828160 9811 33554432000 4194304 4196468 140724315723600 139885341833744 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4216] ppid=4211 vsize=14082840 memory=288230376151885818 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4216/stat : 4216 (java) S 4211 4211 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46937136 14420828160 9811 33554432000 4194304 4196468 140724315723600 139884968737424 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4217] ppid=4211 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4217/stat : 4217 (java) S 4211 4211 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46937136 14420828160 9811 33554432000 4194304 4196468 140724315723600 139884967684368 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4218] ppid=4211 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4218/stat : 4218 (java) S 4211 4211 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46937136 14420828160 9811 33554432000 4194304 4196468 140724315723600 139884966631824 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4219] ppid=4211 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4219/stat : 4219 (java) S 4211 4211 32641 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46937137 14420828160 9811 33554432000 4194304 4196468 140724315723600 139884848159472 139885374286466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4220] ppid=4211 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4220/stat : 4220 (java) S 4211 4211 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46937138 14420828160 9811 33554432000 4194304 4196468 140724315723600 139884847105696 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4221] ppid=4211 vsize=14082840 memory=139717313615488 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4221/stat : 4221 (java) S 4211 4211 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46937138 14420828160 9811 33554432000 4194304 4196468 140724315723600 139884846052592 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4222] ppid=4211 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4222/stat : 4222 (java) S 4211 4211 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46937140 14420828160 9811 33554432000 4194304 4196468 140724315723600 139884845001168 139885374293915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4223] ppid=4211 vsize=14082840 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4213/task/4223/stat : 4223 (java) S 4211 4211 32641 0 -1 1077944384 432 0 0 0 2 0 0 0 20 0 15 0 46937140 14420828160 9811 33554432000 4194304 4196468 140724315723600 139884843948272 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4224] ppid=4211 vsize=14082840 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4213/task/4224/stat : 4224 (java) S 4211 4211 32641 0 -1 1077944384 322 0 0 0 2 0 0 0 20 0 15 0 46937140 14420828160 9811 33554432000 4194304 4196468 140724315723600 139884842895728 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4225] ppid=4211 vsize=14082840 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4213/task/4225/stat : 4225 (java) S 4211 4211 32641 0 -1 1077944384 856 0 0 0 7 0 0 0 20 0 15 0 46937140 14420828160 9811 33554432000 4194304 4196468 140724315723600 139884841842672 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4226] ppid=4211 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4226/stat : 4226 (java) S 4211 4211 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46937141 14420828160 9811 33554432000 4194304 4196468 140724315723600 139884840790368 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4227] ppid=4211 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4227/stat : 4227 (java) S 4211 4211 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46937141 14420828160 9811 33554432000 4194304 4196468 140724315723600 139884839738416 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 40696 KiB

[startup+0.311997 s]*
/proc/loadavg: 1.55 1.35 1.38 3/218 4227
/proc/meminfo: memFree=20594080/32770624 swapFree=67108860/67108860
[pid=4211] ppid=4208 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4211/stat : 4211 (xcsp3-exec) S 4208 4211 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46937135 115843072 363 33554432000 4194304 5098028 140725425254896 140725425253000 140224415359612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12054528 140725425263675 140725425263876 140725425263876 140725425266634 0
/proc/4211/statm: 28282 363 305 221 0 87 0
[pid=4213] ppid=4211 vsize=14087096 memory=46756 CPUtime=0.52 cores=1,3,5,7
/proc/4213/stat : 4213 (java) S 4211 4211 32641 0 -1 1077944320 8849 0 0 0 48 4 0 0 20 0 15 0 46937135 14425186304 11689 33554432000 4194304 4196468 140724315723600 140724315706144 139885374275319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
/proc/4213/statm: 3521774 11689 3242 1 0 3483008 0
[pid=4213/tid=4214] ppid=4211 vsize=14087096 memory=-7174084197661963716 CPUtime=0.29 cores=1,3,5,7
/proc/4213/task/4214/stat : 4214 (java) R 4211 4211 32641 0 -1 4202560 5706 0 0 0 27 2 0 0 20 0 15 0 46937135 14425186304 11689 33554432000 4194304 4196468 140724315723600 139885378510448 139885374298909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4215] ppid=4211 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4215/stat : 4215 (java) S 4211 4211 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46937136 14425186304 11689 33554432000 4194304 4196468 140724315723600 139885341833744 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4216] ppid=4211 vsize=14087096 memory=1970350607106051 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4216/stat : 4216 (java) S 4211 4211 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46937136 14425186304 11689 33554432000 4194304 4196468 140724315723600 139884968737424 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4217] ppid=4211 vsize=14087096 memory=2110067772397476 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4217/stat : 4217 (java) S 4211 4211 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46937136 14425186304 11689 33554432000 4194304 4196468 140724315723600 139884967684368 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4218] ppid=4211 vsize=14087096 memory=139717165296063 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4218/stat : 4218 (java) S 4211 4211 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46937136 14425186304 11689 33554432000 4194304 4196468 140724315723600 139884966631824 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4219] ppid=4211 vsize=14087096 memory=279434478944160 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4219/stat : 4219 (java) S 4211 4211 32641 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46937137 14425186304 11689 33554432000 4194304 4196468 140724315723600 139884848159472 139885374286466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4220] ppid=4211 vsize=14087096 memory=139717165298359 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4220/stat : 4220 (java) S 4211 4211 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46937138 14425186304 11689 33554432000 4194304 4196468 140724315723600 139884847105696 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4221] ppid=4211 vsize=14087096 memory=279434330601328 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4221/stat : 4221 (java) S 4211 4211 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46937138 14425186304 11689 33554432000 4194304 4196468 140724315723600 139884846052592 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4222] ppid=4211 vsize=14087096 memory=279434330605924 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4222/stat : 4222 (java) S 4211 4211 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46937140 14425186304 11689 33554432000 4194304 4196468 140724315723600 139884845001168 139885374293915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4223] ppid=4211 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4213/task/4223/stat : 4223 (java) S 4211 4211 32641 0 -1 1077944384 451 0 0 0 3 0 0 0 20 0 15 0 46937140 14425186304 11689 33554432000 4194304 4196468 140724315723600 139884843948272 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4224] ppid=4211 vsize=14087096 memory=67 CPUtime=0.04 cores=1,3,5,7
/proc/4213/task/4224/stat : 4224 (java) S 4211 4211 32641 0 -1 1077944384 338 0 0 0 4 0 0 0 20 0 15 0 46937140 14425186304 11689 33554432000 4194304 4196468 140724315723600 139884842895728 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4225] ppid=4211 vsize=14087096 memory=139717313615488 CPUtime=0.12 cores=1,3,5,7
/proc/4213/task/4225/stat : 4225 (java) S 4211 4211 32641 0 -1 1077944384 1068 0 0 0 12 0 0 0 20 0 15 0 46937140 14425186304 11689 33554432000 4194304 4196468 140724315723600 139884841842672 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4226] ppid=4211 vsize=14087096 memory=67 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4226/stat : 4226 (java) S 4211 4211 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46937141 14425186304 11689 33554432000 4194304 4196468 140724315723600 139884840790368 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4227] ppid=4211 vsize=14087096 memory=139717313615488 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4227/stat : 4227 (java) S 4211 4211 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46937141 14425186304 11689 33554432000 4194304 4196468 140724315723600 139884839738416 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48208 KiB

[startup+0.700827 s]
/proc/loadavg: 1.55 1.35 1.38 5/218 4227
/proc/meminfo: memFree=20579304/32770624 swapFree=67108860/67108860
[pid=4211] ppid=4208 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4211/stat : 4211 (xcsp3-exec) S 4208 4211 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46937135 115843072 363 33554432000 4194304 5098028 140725425254896 140725425253000 140224415359612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12054528 140725425263675 140725425263876 140725425263876 140725425266634 0
/proc/4211/statm: 28282 363 305 221 0 87 0
[pid=4213] ppid=4211 vsize=14089220 memory=73948 CPUtime=1.59 cores=1,3,5,7
/proc/4213/stat : 4213 (java) S 4211 4211 32641 0 -1 1077944320 11151 0 0 0 154 5 0 0 20 0 15 0 46937135 14427361280 18487 33554432000 4194304 4196468 140724315723600 140724315706144 139885374275319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
/proc/4213/statm: 3522305 18487 3330 1 0 3483520 0
[pid=4213/tid=4214] ppid=4211 vsize=14089220 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/4213/task/4214/stat : 4214 (java) R 4211 4211 32641 0 -1 4202560 6483 0 0 0 64 3 0 0 20 0 15 0 46937135 14427361280 18487 33554432000 4194304 4196468 140724315723600 139885378514352 139885014765760 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4215] ppid=4211 vsize=14089220 memory=8242257093008242485 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4215/stat : 4215 (java) S 4211 4211 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46937136 14427361280 18487 33554432000 4194304 4196468 140724315723600 139885341833744 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4216] ppid=4211 vsize=14089220 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4216/stat : 4216 (java) S 4211 4211 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46937136 14427361280 18487 33554432000 4194304 4196468 140724315723600 139884968737424 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4217] ppid=4211 vsize=14089220 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4217/stat : 4217 (java) S 4211 4211 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46937136 14427361280 18487 33554432000 4194304 4196468 140724315723600 139884967684368 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4218] ppid=4211 vsize=14089220 memory=12976 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4218/stat : 4218 (java) S 4211 4211 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46937136 14427361280 18487 33554432000 4194304 4196468 140724315723600 139884966631824 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4219] ppid=4211 vsize=14089220 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4219/stat : 4219 (java) S 4211 4211 32641 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46937137 14427361280 18487 33554432000 4194304 4196468 140724315723600 139884848159472 139885374286466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4220] ppid=4211 vsize=14089220 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4220/stat : 4220 (java) S 4211 4211 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46937138 14427361280 18487 33554432000 4194304 4196468 140724315723600 139884847105696 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4221] ppid=4211 vsize=14089220 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4221/stat : 4221 (java) S 4211 4211 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46937138 14427361280 18487 33554432000 4194304 4196468 140724315723600 139884846052592 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4222] ppid=4211 vsize=14089220 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4222/stat : 4222 (java) S 4211 4211 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46937140 14427361280 18487 33554432000 4194304 4196468 140724315723600 139884845001168 139885374293915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4223] ppid=4211 vsize=14089220 memory=8364 CPUtime=0.24 cores=1,3,5,7
/proc/4213/task/4223/stat : 4223 (java) S 4211 4211 32641 0 -1 1077944384 759 0 0 0 24 0 0 0 20 0 15 0 46937140 14427361280 18487 33554432000 4194304 4196468 140724315723600 139884843948272 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4224] ppid=4211 vsize=14089220 memory=7662705889289527641 CPUtime=0.26 cores=1,3,5,7
/proc/4213/task/4224/stat : 4224 (java) R 4211 4211 32641 0 -1 4202560 749 0 0 0 26 0 0 0 20 0 15 0 46937140 14427361280 18487 33554432000 4194304 4196468 140724315723600 139884842895728 139885351870096 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4225] ppid=4211 vsize=14089220 memory=7885081012184048465 CPUtime=0.38 cores=1,3,5,7
/proc/4213/task/4225/stat : 4225 (java) S 4211 4211 32641 0 -1 1077944384 1853 0 0 0 38 0 0 0 20 0 15 0 46937140 14427361280 18487 33554432000 4194304 4196468 140724315723600 139884841842672 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4226] ppid=4211 vsize=14089220 memory=7588684550706915689 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4226/stat : 4226 (java) S 4211 4211 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46937141 14427361280 18487 33554432000 4194304 4196468 140724315723600 139884840790368 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4227] ppid=4211 vsize=14089220 memory=5450909908396308010 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4227/stat : 4227 (java) S 4211 4211 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46937141 14427361280 18487 33554432000 4194304 4196468 140724315723600 139884839738416 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 75400 KiB

[startup+1.50075 s]
/proc/loadavg: 1.55 1.35 1.38 4/218 4227
/proc/meminfo: memFree=20549772/32770624 swapFree=67108860/67108860
[pid=4211] ppid=4208 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4211/stat : 4211 (xcsp3-exec) S 4208 4211 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46937135 115843072 363 33554432000 4194304 5098028 140725425254896 140725425253000 140224415359612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12054528 140725425263675 140725425263876 140725425263876 140725425266634 0
/proc/4211/statm: 28282 363 305 221 0 87 0

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

[startup+84.8007 s]
/proc/loadavg: 1.80 1.48 1.42 3/219 4313
/proc/meminfo: memFree=21542652/32770624 swapFree=67108860/67108860
[pid=4211] ppid=4208 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4211/stat : 4211 (xcsp3-exec) S 4208 4211 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46937135 115843072 363 33554432000 4194304 5098028 140725425254896 140725425253000 140224415359612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12054528 140725425263675 140725425263876 140725425263876 140725425266634 0
/proc/4211/statm: 28282 363 305 221 0 87 0
[pid=4213] ppid=4211 vsize=14089220 memory=214644 CPUtime=88.68 cores=1,3,5,7
/proc/4213/stat : 4213 (java) S 4211 4211 32641 0 -1 1077944320 58314 0 0 0 8852 16 0 0 20 0 15 0 46937135 14427361280 53661 33554432000 4194304 4196468 140724315723600 140724315706144 139885374275319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
/proc/4213/statm: 3522305 53661 3384 1 0 3483520 0
[pid=4213/tid=4214] ppid=4211 vsize=14089220 memory=4945125699554088323 CPUtime=84.53 cores=1,3,5,7
/proc/4213/task/4214/stat : 4214 (java) R 4211 4211 32641 0 -1 4202560 9820 0 0 0 8448 5 0 0 20 0 15 0 46937135 14427361280 53661 33554432000 4194304 4196468 140724315723600 139885378514736 139885015472849 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4215] ppid=4211 vsize=14089220 memory=8546823402028195750 CPUtime=0.02 cores=1,3,5,7
/proc/4213/task/4215/stat : 4215 (java) S 4211 4211 32641 0 -1 1077944384 392 0 0 0 1 1 0 0 20 0 15 0 46937136 14427361280 53661 33554432000 4194304 4196468 140724315723600 139885341833744 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4216] ppid=4211 vsize=14089220 memory=-7029379521808015264 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4216/stat : 4216 (java) S 4211 4211 32641 0 -1 1077944384 1264 0 0 0 1 0 0 0 20 0 15 0 46937136 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884968737424 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4217] ppid=4211 vsize=14089220 memory=7088773812221943410 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4217/stat : 4217 (java) S 4211 4211 32641 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 15 0 46937136 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884967684368 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4218] ppid=4211 vsize=14089220 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4218/stat : 4218 (java) S 4211 4211 32641 0 -1 1077944384 803 0 0 0 1 0 0 0 20 0 15 0 46937136 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884966631824 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4219] ppid=4211 vsize=14089220 memory=219776 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4219/stat : 4219 (java) S 4211 4211 32641 0 -1 1077944384 976 0 0 0 1 0 0 0 20 0 15 0 46937137 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884848159472 139885374286466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4220] ppid=4211 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4220/stat : 4220 (java) S 4211 4211 32641 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 46937138 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884847105696 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4221] ppid=4211 vsize=14089220 memory=219776 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4221/stat : 4221 (java) S 4211 4211 32641 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 46937138 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884846052592 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4222] ppid=4211 vsize=14089220 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4222/stat : 4222 (java) S 4211 4211 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46937140 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884845001168 139885374293915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4223] ppid=4211 vsize=14089220 memory=1296 CPUtime=1.77 cores=1,3,5,7
/proc/4213/task/4223/stat : 4223 (java) S 4211 4211 32641 0 -1 1077944384 19444 0 0 0 175 2 0 0 20 0 15 0 46937140 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884843948272 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4224] ppid=4211 vsize=14089220 memory=1452 CPUtime=1.68 cores=1,3,5,7
/proc/4213/task/4224/stat : 4224 (java) S 4211 4211 32641 0 -1 1077944384 16691 0 0 0 166 2 0 0 20 0 15 0 46937140 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884842895728 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4225] ppid=4211 vsize=14089220 memory=1452 CPUtime=0.52 cores=1,3,5,7
/proc/4213/task/4225/stat : 4225 (java) S 4211 4211 32641 0 -1 1077944384 5977 0 0 0 51 1 0 0 20 0 15 0 46937140 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884841842672 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4226] ppid=4211 vsize=14089220 memory=214644 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4226/stat : 4226 (java) S 4211 4211 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46937141 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884840790368 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4227] ppid=4211 vsize=14089220 memory=220288 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4227/stat : 4227 (java) S 4211 4211 32641 0 -1 1077944384 1274 0 0 0 0 1 0 0 20 0 15 0 46937141 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884839738416 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
Current children cumulated CPU time: 88.68 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 216096 KiB

[startup+85.2007 s]
/proc/loadavg: 1.80 1.48 1.42 3/219 4313
/proc/meminfo: memFree=21542964/32770624 swapFree=67108860/67108860
[pid=4211] ppid=4208 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4211/stat : 4211 (xcsp3-exec) S 4208 4211 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46937135 115843072 363 33554432000 4194304 5098028 140725425254896 140725425253000 140224415359612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12054528 140725425263675 140725425263876 140725425263876 140725425266634 0
/proc/4211/statm: 28282 363 305 221 0 87 0
[pid=4213] ppid=4211 vsize=14089220 memory=214644 CPUtime=89.08 cores=1,3,5,7
/proc/4213/stat : 4213 (java) S 4211 4211 32641 0 -1 1077944320 58314 0 0 0 8892 16 0 0 20 0 15 0 46937135 14427361280 53661 33554432000 4194304 4196468 140724315723600 140724315706144 139885374275319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
/proc/4213/statm: 3522305 53661 3384 1 0 3483520 0
[pid=4213/tid=4214] ppid=4211 vsize=14089220 memory=7100839887319375753 CPUtime=84.93 cores=1,3,5,7
/proc/4213/task/4214/stat : 4214 (java) R 4211 4211 32641 0 -1 4202560 9820 0 0 0 8488 5 0 0 20 0 15 0 46937135 14427361280 53661 33554432000 4194304 4196468 140724315723600 139885378514736 139885014966548 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4215] ppid=4211 vsize=14089220 memory=-8382981733865059520 CPUtime=0.02 cores=1,3,5,7
/proc/4213/task/4215/stat : 4215 (java) S 4211 4211 32641 0 -1 1077944384 392 0 0 0 1 1 0 0 20 0 15 0 46937136 14427361280 53661 33554432000 4194304 4196468 140724315723600 139885341833744 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4216] ppid=4211 vsize=14089220 memory=-8995268955501399395 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4216/stat : 4216 (java) S 4211 4211 32641 0 -1 1077944384 1264 0 0 0 1 0 0 0 20 0 15 0 46937136 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884968737424 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4217] ppid=4211 vsize=14089220 memory=-8608730040963014005 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4217/stat : 4217 (java) S 4211 4211 32641 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 15 0 46937136 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884967684368 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4218] ppid=4211 vsize=14089220 memory=-8545980981788235817 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4218/stat : 4218 (java) S 4211 4211 32641 0 -1 1077944384 803 0 0 0 1 0 0 0 20 0 15 0 46937136 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884966631824 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4219] ppid=4211 vsize=14089220 memory=7100839852892589193 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4219/stat : 4219 (java) S 4211 4211 32641 0 -1 1077944384 976 0 0 0 1 0 0 0 20 0 15 0 46937137 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884848159472 139885374286466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4220] ppid=4211 vsize=14089220 memory=4571019994217674282 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4220/stat : 4220 (java) S 4211 4211 32641 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 46937138 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884847105696 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4221] ppid=4211 vsize=14089220 memory=1404226546352825738 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4221/stat : 4221 (java) S 4211 4211 32641 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 46937138 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884846052592 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4222] ppid=4211 vsize=14089220 memory=-8452003588780901821 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4222/stat : 4222 (java) S 4211 4211 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46937140 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884845001168 139885374293915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4223] ppid=4211 vsize=14089220 memory=6944656575208382560 CPUtime=1.77 cores=1,3,5,7
/proc/4213/task/4223/stat : 4223 (java) S 4211 4211 32641 0 -1 1077944384 19444 0 0 0 175 2 0 0 20 0 15 0 46937140 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884843948272 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4224] ppid=4211 vsize=14089220 memory=916 CPUtime=1.68 cores=1,3,5,7
/proc/4213/task/4224/stat : 4224 (java) S 4211 4211 32641 0 -1 1077944384 16691 0 0 0 166 2 0 0 20 0 15 0 46937140 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884842895728 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4225] ppid=4211 vsize=14089220 memory=3848 CPUtime=0.52 cores=1,3,5,7
/proc/4213/task/4225/stat : 4225 (java) S 4211 4211 32641 0 -1 1077944384 5977 0 0 0 51 1 0 0 20 0 15 0 46937140 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884841842672 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4226] ppid=4211 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4226/stat : 4226 (java) S 4211 4211 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46937141 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884840790368 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4227] ppid=4211 vsize=14089220 memory=214644 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4227/stat : 4227 (java) S 4211 4211 32641 0 -1 1077944384 1274 0 0 0 0 1 0 0 20 0 15 0 46937141 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884839738416 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
Current children cumulated CPU time: 89.08 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 216096 KiB

[startup+85.6008 s]
/proc/loadavg: 1.80 1.48 1.42 3/219 4313
/proc/meminfo: memFree=21542964/32770624 swapFree=67108860/67108860
[pid=4211] ppid=4208 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4211/stat : 4211 (xcsp3-exec) S 4208 4211 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46937135 115843072 363 33554432000 4194304 5098028 140725425254896 140725425253000 140224415359612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12054528 140725425263675 140725425263876 140725425263876 140725425266634 0
/proc/4211/statm: 28282 363 305 221 0 87 0
[pid=4213] ppid=4211 vsize=14089220 memory=214644 CPUtime=89.48 cores=1,3,5,7
/proc/4213/stat : 4213 (java) S 4211 4211 32641 0 -1 1077944320 58314 0 0 0 8932 16 0 0 20 0 15 0 46937135 14427361280 53661 33554432000 4194304 4196468 140724315723600 140724315706144 139885374275319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
/proc/4213/statm: 3522305 53661 3384 1 0 3483520 0
[pid=4213/tid=4214] ppid=4211 vsize=14089220 memory=8112282956445269571 CPUtime=85.33 cores=1,3,5,7
/proc/4213/task/4214/stat : 4214 (java) R 4211 4211 32641 0 -1 4202560 9820 0 0 0 8528 5 0 0 20 0 15 0 46937135 14427361280 53661 33554432000 4194304 4196468 140724315723600 139885378514736 139885014966296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4215] ppid=4211 vsize=14089220 memory=1008 CPUtime=0.02 cores=1,3,5,7
/proc/4213/task/4215/stat : 4215 (java) S 4211 4211 32641 0 -1 1077944384 392 0 0 0 1 1 0 0 20 0 15 0 46937136 14427361280 53661 33554432000 4194304 4196468 140724315723600 139885341833744 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4216] ppid=4211 vsize=14089220 memory=5520 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4216/stat : 4216 (java) S 4211 4211 32641 0 -1 1077944384 1264 0 0 0 1 0 0 0 20 0 15 0 46937136 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884968737424 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4217] ppid=4211 vsize=14089220 memory=4616 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4217/stat : 4217 (java) S 4211 4211 32641 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 15 0 46937136 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884967684368 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4218] ppid=4211 vsize=14089220 memory=1428 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4218/stat : 4218 (java) S 4211 4211 32641 0 -1 1077944384 803 0 0 0 1 0 0 0 20 0 15 0 46937136 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884966631824 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4219] ppid=4211 vsize=14089220 memory=12976 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4219/stat : 4219 (java) S 4211 4211 32641 0 -1 1077944384 976 0 0 0 1 0 0 0 20 0 15 0 46937137 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884848159472 139885374286466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4220] ppid=4211 vsize=14089220 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4220/stat : 4220 (java) S 4211 4211 32641 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 46937138 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884847105696 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4221] ppid=4211 vsize=14089220 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4221/stat : 4221 (java) S 4211 4211 32641 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 46937138 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884846052592 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4222] ppid=4211 vsize=14089220 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4222/stat : 4222 (java) S 4211 4211 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46937140 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884845001168 139885374293915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4223] ppid=4211 vsize=14089220 memory=1200 CPUtime=1.77 cores=1,3,5,7
/proc/4213/task/4223/stat : 4223 (java) S 4211 4211 32641 0 -1 1077944384 19444 0 0 0 175 2 0 0 20 0 15 0 46937140 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884843948272 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4224] ppid=4211 vsize=14089220 memory=8364 CPUtime=1.68 cores=1,3,5,7
/proc/4213/task/4224/stat : 4224 (java) S 4211 4211 32641 0 -1 1077944384 16691 0 0 0 166 2 0 0 20 0 15 0 46937140 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884842895728 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4225] ppid=4211 vsize=14089220 memory=800 CPUtime=0.52 cores=1,3,5,7
/proc/4213/task/4225/stat : 4225 (java) S 4211 4211 32641 0 -1 1077944384 5977 0 0 0 51 1 0 0 20 0 15 0 46937140 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884841842672 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4226] ppid=4211 vsize=14089220 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4226/stat : 4226 (java) S 4211 4211 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46937141 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884840790368 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4227] ppid=4211 vsize=14089220 memory=16436 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4227/stat : 4227 (java) S 4211 4211 32641 0 -1 1077944384 1274 0 0 0 0 1 0 0 20 0 15 0 46937141 14427361280 53661 33554432000 4194304 4196468 140724315723600 139884839738416 139885374286466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
Current children cumulated CPU time: 89.48 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 216096 KiB

[startup+85.7007 s]
/proc/loadavg: 1.80 1.48 1.42 3/219 4313
/proc/meminfo: memFree=21542964/32770624 swapFree=67108860/67108860
[pid=4211] ppid=4208 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4211/stat : 4211 (xcsp3-exec) S 4208 4211 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46937135 115843072 363 33554432000 4194304 5098028 140725425254896 140725425253000 140224415359612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12054528 140725425263675 140725425263876 140725425263876 140725425266634 0
/proc/4211/statm: 28282 363 305 221 0 87 0
[pid=4213] ppid=4211 vsize=14089220 memory=214704 CPUtime=89.59 cores=1,3,5,7
/proc/4213/stat : 4213 (java) S 4211 4211 32641 0 -1 1077944320 58975 0 0 0 8943 16 0 0 20 0 13 0 46937135 14427361280 53676 33554432000 4194304 4196468 140724315723600 140724315706144 139885374275319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
/proc/4213/statm: 3522305 53676 3386 1 0 3483520 0
[pid=4213/tid=4214] ppid=4211 vsize=14089220 memory=214644 CPUtime=85.43 cores=1,3,5,7
/proc/4213/task/4214/stat : 4214 (java) S 4211 4211 32641 0 -1 1077944384 10297 0 0 0 8538 5 0 0 20 0 13 0 46937135 14427361280 53676 33554432000 4194304 4196468 140724315723600 139885378518160 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4215] ppid=4211 vsize=14089220 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/4213/task/4215/stat : 4215 (java) S 4211 4211 32641 0 -1 1077944384 392 0 0 0 1 1 0 0 20 0 13 0 46937136 14427361280 53676 33554432000 4194304 4196468 140724315723600 139885341833744 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4216] ppid=4211 vsize=14089220 memory=219776 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4216/stat : 4216 (java) S 4211 4211 32641 0 -1 1077944384 1264 0 0 0 1 0 0 0 20 0 13 0 46937136 14427361280 53676 33554432000 4194304 4196468 140724315723600 139884968737424 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4217] ppid=4211 vsize=14089220 memory=139717165833072 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4217/stat : 4217 (java) S 4211 4211 32641 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 13 0 46937136 14427361280 53676 33554432000 4194304 4196468 140724315723600 139884967684368 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4218] ppid=4211 vsize=14089220 memory=7230921007607278949 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4218/stat : 4218 (java) S 4211 4211 32641 0 -1 1077944384 803 0 0 0 1 0 0 0 20 0 13 0 46937136 14427361280 53676 33554432000 4194304 4196468 140724315723600 139884966631824 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4219] ppid=4211 vsize=14089220 memory=219776 CPUtime=0.01 cores=1,3,5,7
/proc/4213/task/4219/stat : 4219 (java) S 4211 4211 32641 0 -1 1077944384 976 0 0 0 1 0 0 0 20 0 13 0 46937137 14427361280 53676 33554432000 4194304 4196468 140724315723600 139884848159680 139885374286466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4220] ppid=4211 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4220/stat : 4220 (java) S 4211 4211 32641 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 13 0 46937138 14427361280 53676 33554432000 4194304 4196468 140724315723600 139884847105696 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4221] ppid=4211 vsize=14089220 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4221/stat : 4221 (java) S 4211 4211 32641 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 13 0 46937138 14427361280 53676 33554432000 4194304 4196468 140724315723600 139884846052592 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4223] ppid=4211 vsize=14089220 memory=177 CPUtime=1.77 cores=1,3,5,7
/proc/4213/task/4223/stat : 4223 (java) S 4211 4211 32641 0 -1 1077944384 19477 0 0 0 175 2 0 0 20 0 13 0 46937140 14427361280 53676 33554432000 4194304 4196468 140724315723600 139884843932784 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4224] ppid=4211 vsize=14089220 memory=168 CPUtime=1.68 cores=1,3,5,7
/proc/4213/task/4224/stat : 4224 (java) S 4211 4211 32641 0 -1 1077944384 16749 0 0 0 166 2 0 0 20 0 13 0 46937140 14427361280 53676 33554432000 4194304 4196468 140724315723600 139884842886048 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4225] ppid=4211 vsize=14089220 memory=1452 CPUtime=0.52 cores=1,3,5,7
/proc/4213/task/4225/stat : 4225 (java) S 4211 4211 32641 0 -1 1077944384 6036 0 0 0 51 1 0 0 20 0 13 0 46937140 14427361280 53676 33554432000 4194304 4196468 140724315723600 139884841837040 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
[pid=4213/tid=4226] ppid=4211 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4213/task/4226/stat : 4226 (java) S 4211 4211 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 46937141 14427361280 53676 33554432000 4194304 4196468 140724315723600 139884840790368 139885374285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140724315726977 140724315727153 140724315727153 140724315729871 0
Current children cumulated CPU time: 89.59 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 216156 KiB

Child status: 0
Real time (s): 85.7126
CPU time (s): 89.6005
CPU user time (s): 89.4338
CPU system time (s): 0.166737
CPU usage (%): 104.536
Max. virtual memory (cumulated for all children) (KiB): 14204512
Max. memory (cumulated for all children) (KiB): 233172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.4338
system time used= 0.166737
maximum resident set size= 231824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59560
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= 4207
involuntary context switches= 65


# summary of solver processes directly reported to runsolver:
#   pid: 4211
#   total CPU time (s): 89.6005
#   total CPU user time (s): 89.4338
#   total CPU system time (s): 0.166737

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.514474 second user time and 0.826206 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 4292656

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
