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 4.0.5 seq (2017-08-09)	SAT	9.3159399	7.1386099
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 (11604 MiB free)
  memory of node 1: 16384 MiB (14840 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269832-1502803090/watcher-4269832-1502803090 -o /tmp/evaluation-result-4269832-1502803090/solver-4269832-1502803090 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502792191-10015 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1399952460 HOME/instance-4269832-1502803090.xml 

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

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

solver pid=11293, runsolver pid=11290

[startup+0.100123 s]*
/proc/loadavg: 1.78 1.71 1.73 5/219 11309
/proc/meminfo: memFree=27055548/32770624 swapFree=67108860/67108860
[pid=11293] ppid=11290 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (xcsp3-exec) S 11290 11293 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113390086 9740288 346 33554432000 4194304 5098028 140733998432816 140733998430920 139948114121340 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29794304 140733998441582 140733998441787 140733998441787 140733998444523 0
/proc/11293/statm: 2378 346 289 221 0 87 0
[pid=11295] ppid=11293 vsize=13978596 memory=29060 CPUtime=0.12 cores=0,2,4,6
/proc/11295/stat : 11295 (java) S 11293 11293 9984 0 -1 1077944320 5114 0 0 0 11 1 0 0 20 0 15 0 113390086 14314082304 7265 33554432000 4194304 4196468 140736492536592 140736492519136 139684038061815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
/proc/11295/statm: 3494649 7265 2894 1 0 3482966 0
[pid=11295/tid=11296] ppid=11293 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/11295/task/11296/stat : 11296 (java) R 11293 11293 9984 0 -1 4202560 3058 0 0 0 9 0 0 0 20 0 15 0 113390086 14314082304 7331 33554432000 4194304 4196468 140736492536592 139684042285616 139684038083162 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11297] ppid=11293 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11297/stat : 11297 (java) S 11293 11293 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113390087 14314082304 7331 33554432000 4194304 4196468 140736492536592 139683953129744 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11298] ppid=11293 vsize=13978596 memory=140454283277952 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11298/stat : 11298 (java) S 11293 11293 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113390087 14314082304 7331 33554432000 4194304 4196468 140736492536592 139683952077200 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11299] ppid=11293 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11299/stat : 11299 (java) S 11293 11293 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113390087 14314082304 7331 33554432000 4194304 4196468 140736492536592 139683951024656 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11300] ppid=11293 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11300/stat : 11300 (java) S 11293 11293 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113390087 14314082304 7331 33554432000 4194304 4196468 140736492536592 139683949972112 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11301] ppid=11293 vsize=13978596 memory=140454283277952 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11301/stat : 11301 (java) S 11293 11293 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113390088 14314082304 7331 33554432000 4194304 4196468 140736492536592 139682950511088 139684038072962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11302] ppid=11293 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11302/stat : 11302 (java) S 11293 11293 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113390089 14314082304 7331 33554432000 4194304 4196468 140736492536592 139682949457312 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11303] ppid=11293 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11303/stat : 11303 (java) S 11293 11293 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113390089 14314082304 7331 33554432000 4194304 4196468 140736492536592 139682948404720 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11304] ppid=11293 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11304/stat : 11304 (java) S 11293 11293 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113390091 14314082304 7331 33554432000 4194304 4196468 140736492536592 139682947353296 139684038080411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11305] ppid=11293 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11305/stat : 11305 (java) S 11293 11293 9984 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 113390091 14314082304 7331 33554432000 4194304 4196468 140736492536592 139682946299888 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11306] ppid=11293 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11306/stat : 11306 (java) S 11293 11293 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113390091 14314082304 7331 33554432000 4194304 4196468 140736492536592 139682945247344 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11307] ppid=11293 vsize=13978596 memory=140454283277952 CPUtime=0.01 cores=0,2,4,6
/proc/11295/task/11307/stat : 11307 (java) R 11293 11293 9984 0 -1 4202560 333 0 0 0 1 0 0 0 20 0 15 0 113390091 14314082304 7331 33554432000 4194304 4196468 140736492536592 139682944194800 139684017197628 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11308] ppid=11293 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11308/stat : 11308 (java) S 11293 11293 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113390091 14314082304 7331 33554432000 4194304 4196468 140736492536592 139682943142496 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11309] ppid=11293 vsize=13978596 memory=140454283277952 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11309/stat : 11309 (java) S 11293 11293 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113390092 14314082304 7331 33554432000 4194304 4196468 140736492536592 139682942090032 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30444 KiB

[startup+0.210756 s]*
/proc/loadavg: 1.78 1.71 1.73 6/219 11309
/proc/meminfo: memFree=27040536/32770624 swapFree=67108860/67108860
[pid=11293] ppid=11290 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (xcsp3-exec) S 11290 11293 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113390086 9740288 346 33554432000 4194304 5098028 140733998432816 140733998430920 139948114121340 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29794304 140733998441582 140733998441787 140733998441787 140733998444523 0
/proc/11293/statm: 2378 346 289 221 0 87 0
[pid=11295] ppid=11293 vsize=13982852 memory=40148 CPUtime=0.34 cores=0,2,4,6
/proc/11295/stat : 11295 (java) S 11293 11293 9984 0 -1 1077944320 7582 0 0 0 32 2 0 0 20 0 15 0 113390086 14318440448 10037 33554432000 4194304 4196468 140736492536592 140736492519136 139684038061815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
/proc/11295/statm: 3495713 10037 3062 1 0 3482966 0
[pid=11295/tid=11296] ppid=11293 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/11295/task/11296/stat : 11296 (java) R 11293 11293 9984 0 -1 4202560 4792 0 0 0 19 1 0 0 20 0 15 0 113390086 14318440448 10037 33554432000 4194304 4196468 140736492536592 139684042284016 139684022142302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11297] ppid=11293 vsize=13982852 memory=9010 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11297/stat : 11297 (java) S 11293 11293 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113390087 14318440448 10037 33554432000 4194304 4196468 140736492536592 139683953129744 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11298] ppid=11293 vsize=13982852 memory=140454283289315 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11298/stat : 11298 (java) S 11293 11293 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113390087 14318440448 10037 33554432000 4194304 4196468 140736492536592 139683952077200 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11299] ppid=11293 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11299/stat : 11299 (java) S 11293 11293 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113390087 14318440448 10037 33554432000 4194304 4196468 140736492536592 139683951024656 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11300] ppid=11293 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11300/stat : 11300 (java) S 11293 11293 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113390087 14318440448 10037 33554432000 4194304 4196468 140736492536592 139683949972112 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11301] ppid=11293 vsize=13982852 memory=140454283277952 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11301/stat : 11301 (java) S 11293 11293 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113390088 14318440448 10037 33554432000 4194304 4196468 140736492536592 139682950511088 139684038072962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11302] ppid=11293 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11302/stat : 11302 (java) S 11293 11293 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113390089 14318440448 10037 33554432000 4194304 4196468 140736492536592 139682949457312 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11303] ppid=11293 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11303/stat : 11303 (java) S 11293 11293 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113390089 14318440448 10037 33554432000 4194304 4196468 140736492536592 139682948404720 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11304] ppid=11293 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11304/stat : 11304 (java) S 11293 11293 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113390091 14318440448 10037 33554432000 4194304 4196468 140736492536592 139682947353296 139684038080411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11305] ppid=11293 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11295/task/11305/stat : 11305 (java) S 11293 11293 9984 0 -1 1077944384 623 0 0 0 2 0 0 0 20 0 15 0 113390091 14318440448 10037 33554432000 4194304 4196468 140736492536592 139682946299888 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11306] ppid=11293 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/11295/task/11306/stat : 11306 (java) S 11293 11293 9984 0 -1 1077944384 152 0 0 0 1 0 0 0 20 0 15 0 113390091 14318440448 10037 33554432000 4194304 4196468 140736492536592 139682945247344 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11307] ppid=11293 vsize=13982852 memory=140454283277952 CPUtime=0.08 cores=0,2,4,6
/proc/11295/task/11307/stat : 11307 (java) S 11293 11293 9984 0 -1 1077944384 714 0 0 0 8 0 0 0 20 0 15 0 113390091 14318440448 10037 33554432000 4194304 4196468 140736492536592 139682944194800 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11308] ppid=11293 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11308/stat : 11308 (java) S 11293 11293 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113390091 14318440448 10037 33554432000 4194304 4196468 140736492536592 139682943142496 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11309] ppid=11293 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11309/stat : 11309 (java) S 11293 11293 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113390092 14318440448 10037 33554432000 4194304 4196468 140736492536592 139682942090032 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41532 KiB

[startup+0.311356 s]*
/proc/loadavg: 1.78 1.71 1.73 5/219 11309
/proc/meminfo: memFree=27019440/32770624 swapFree=67108860/67108860
[pid=11293] ppid=11290 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (xcsp3-exec) S 11290 11293 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113390086 9740288 346 33554432000 4194304 5098028 140733998432816 140733998430920 139948114121340 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29794304 140733998441582 140733998441787 140733998441787 140733998444523 0
/proc/11293/statm: 2378 346 289 221 0 87 0
[pid=11295] ppid=11293 vsize=13982852 memory=47336 CPUtime=0.52 cores=0,2,4,6
/proc/11295/stat : 11295 (java) S 11293 11293 9984 0 -1 1077944320 8512 0 0 0 49 3 0 0 20 0 15 0 113390086 14318440448 11834 33554432000 4194304 4196468 140736492536592 140736492519136 139684038061815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
/proc/11295/statm: 3495713 11834 3099 1 0 3482966 0
[pid=11295/tid=11296] ppid=11293 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/11295/task/11296/stat : 11296 (java) R 11293 11293 9984 0 -1 4202560 5453 0 0 0 28 2 0 0 20 0 15 0 113390086 14318440448 11834 33554432000 4194304 4196468 140736492536592 139684042297968 139684038083741 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11297] ppid=11293 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11297/stat : 11297 (java) S 11293 11293 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113390087 14318440448 11834 33554432000 4194304 4196468 140736492536592 139683953129744 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11298] ppid=11293 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11298/stat : 11298 (java) S 11293 11293 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113390087 14318440448 11834 33554432000 4194304 4196468 140736492536592 139683952077200 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11299] ppid=11293 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11299/stat : 11299 (java) S 11293 11293 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113390087 14318440448 11834 33554432000 4194304 4196468 140736492536592 139683951024656 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11300] ppid=11293 vsize=13982852 memory=7296493987848103314 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11300/stat : 11300 (java) S 11293 11293 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113390087 14318440448 11834 33554432000 4194304 4196468 140736492536592 139683949972112 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11301] ppid=11293 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11301/stat : 11301 (java) S 11293 11293 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113390088 14318440448 11834 33554432000 4194304 4196468 140736492536592 139682950511088 139684038072962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11302] ppid=11293 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11302/stat : 11302 (java) S 11293 11293 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113390089 14318440448 11834 33554432000 4194304 4196468 140736492536592 139682949457312 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11303] ppid=11293 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11303/stat : 11303 (java) S 11293 11293 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113390089 14318440448 11834 33554432000 4194304 4196468 140736492536592 139682948404720 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11304] ppid=11293 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11304/stat : 11304 (java) S 11293 11293 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113390091 14318440448 11834 33554432000 4194304 4196468 140736492536592 139682947353296 139684038080411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11305] ppid=11293 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=0,2,4,6
/proc/11295/task/11305/stat : 11305 (java) R 11293 11293 9984 0 -1 4202560 647 0 0 0 3 0 0 0 20 0 15 0 113390091 14318440448 11834 33554432000 4194304 4196468 140736492536592 139682946299888 139684018762112 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11306] ppid=11293 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11295/task/11306/stat : 11306 (java) R 11293 11293 9984 0 -1 1077944384 269 0 0 0 3 0 0 0 20 0 15 0 113390091 14318440448 11834 33554432000 4194304 4196468 140736492536592 139682945247344 139684038072962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11307] ppid=11293 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/11295/task/11307/stat : 11307 (java) R 11293 11293 9984 0 -1 4202560 848 0 0 0 13 0 0 0 20 0 15 0 113390091 14318440448 11834 33554432000 4194304 4196468 140736492536592 139682944190752 139684019625905 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11308] ppid=11293 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11308/stat : 11308 (java) S 11293 11293 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113390091 14318440448 11834 33554432000 4194304 4196468 140736492536592 139682943142496 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11309] ppid=11293 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11309/stat : 11309 (java) S 11293 11293 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113390092 14318440448 11834 33554432000 4194304 4196468 140736492536592 139682942090032 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48720 KiB

[startup+0.706968 s]
/proc/loadavg: 1.78 1.71 1.73 6/219 11309
/proc/meminfo: memFree=26988916/32770624 swapFree=67108860/67108860
[pid=11293] ppid=11290 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (xcsp3-exec) S 11290 11293 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113390086 9740288 346 33554432000 4194304 5098028 140733998432816 140733998430920 139948114121340 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29794304 140733998441582 140733998441787 140733998441787 140733998444523 0
/proc/11293/statm: 2378 346 289 221 0 87 0
[pid=11295] ppid=11293 vsize=13984976 memory=82472 CPUtime=1.42 cores=0,2,4,6
/proc/11295/stat : 11295 (java) S 11293 11293 9984 0 -1 1077944320 11129 0 0 0 138 4 0 0 20 0 15 0 113390086 14320615424 20618 33554432000 4194304 4196468 140736492536592 140736492519136 139684038061815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
/proc/11295/statm: 3496244 20618 3194 1 0 3483478 0
[pid=11295/tid=11296] ppid=11293 vsize=13984976 memory=33 CPUtime=0.68 cores=0,2,4,6
/proc/11295/task/11296/stat : 11296 (java) R 11293 11293 9984 0 -1 4202560 5909 0 0 0 66 2 0 0 20 0 15 0 113390086 14320615424 20618 33554432000 4194304 4196468 140736492536592 139684042296400 139683631369301 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11297] ppid=11293 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11297/stat : 11297 (java) S 11293 11293 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113390087 14320615424 20618 33554432000 4194304 4196468 140736492536592 139683953129744 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11298] ppid=11293 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11298/stat : 11298 (java) S 11293 11293 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113390087 14320615424 20618 33554432000 4194304 4196468 140736492536592 139683952077200 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11299] ppid=11293 vsize=13984976 memory=32312 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11299/stat : 11299 (java) S 11293 11293 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113390087 14320615424 20618 33554432000 4194304 4196468 140736492536592 139683951024656 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11300] ppid=11293 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11300/stat : 11300 (java) S 11293 11293 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113390087 14320615424 20618 33554432000 4194304 4196468 140736492536592 139683949972112 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11301] ppid=11293 vsize=13984976 memory=2396 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11301/stat : 11301 (java) S 11293 11293 9984 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113390088 14320615424 20618 33554432000 4194304 4196468 140736492536592 139682950511088 139684038072962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11302] ppid=11293 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11302/stat : 11302 (java) S 11293 11293 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113390089 14320615424 20618 33554432000 4194304 4196468 140736492536592 139682949457312 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11303] ppid=11293 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11303/stat : 11303 (java) S 11293 11293 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113390089 14320615424 20618 33554432000 4194304 4196468 140736492536592 139682948404720 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11304] ppid=11293 vsize=13984976 memory=11040 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11304/stat : 11304 (java) S 11293 11293 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113390091 14320615424 20618 33554432000 4194304 4196468 140736492536592 139682947353296 139684038080411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11305] ppid=11293 vsize=13984976 memory=5700 CPUtime=0.19 cores=0,2,4,6
/proc/11295/task/11305/stat : 11305 (java) R 11293 11293 9984 0 -1 4202560 1194 0 0 0 19 0 0 0 20 0 15 0 113390091 14320615424 20618 33554432000 4194304 4196468 140736492536592 139682946280904 139684021446608 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11306] ppid=11293 vsize=13984976 memory=4616 CPUtime=0.21 cores=0,2,4,6
/proc/11295/task/11306/stat : 11306 (java) R 11293 11293 9984 0 -1 4202560 1203 0 0 0 21 0 0 0 20 0 15 0 113390091 14320615424 20618 33554432000 4194304 4196468 140736492536592 139682945247344 139684017898132 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11307] ppid=11293 vsize=13984976 memory=792 CPUtime=0.31 cores=0,2,4,6
/proc/11295/task/11307/stat : 11307 (java) R 11293 11293 9984 0 -1 4202560 1516 0 0 0 31 0 0 0 20 0 15 0 113390091 14320615424 20618 33554432000 4194304 4196468 140736492536592 139682944194800 139684038083162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11308] ppid=11293 vsize=13984976 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11308/stat : 11308 (java) S 11293 11293 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113390091 14320615424 20618 33554432000 4194304 4196468 140736492536592 139682943142496 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11309] ppid=11293 vsize=13984976 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11309/stat : 11309 (java) S 11293 11293 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113390092 14320615424 20618 33554432000 4194304 4196468 140736492536592 139682942090032 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 83856 KiB

[startup+1.50075 s]
/proc/loadavg: 1.87 1.73 1.74 4/219 11309
/proc/meminfo: memFree=26763400/32770624 swapFree=67108860/67108860
[pid=11293] ppid=11290 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (xcsp3-exec) S 11290 11293 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113390086 9740288 346 33554432000 4194304 5098028 140733998432816 140733998430920 139948114121340 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29794304 140733998441582 140733998441787 140733998441787 140733998444523 0
/proc/11293/statm: 2378 346 289 221 0 87 0

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

/proc/11293/stat : 11293 (xcsp3-exec) S 11290 11293 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113390086 9740288 346 33554432000 4194304 5098028 140733998432816 140733998430920 139948114121340 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29794304 140733998441582 140733998441787 140733998441787 140733998444523 0
/proc/11293/statm: 2378 346 289 221 0 87 0
[pid=11295] ppid=11293 vsize=13984976 memory=278320 CPUtime=8.02 cores=0,2,4,6
/proc/11295/stat : 11295 (java) S 11293 11293 9984 0 -1 1077944320 16164 0 0 0 783 19 0 0 20 0 15 0 113390086 14320615424 69580 33554432000 4194304 4196468 140736492536592 140736492519136 139684038061815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
/proc/11295/statm: 3496244 69580 3231 1 0 3483478 0
[pid=11295/tid=11296] ppid=11293 vsize=13984976 memory=16444 CPUtime=6.3 cores=0,2,4,6
/proc/11295/task/11296/stat : 11296 (java) R 11293 11293 9984 0 -1 4202560 7260 0 0 0 626 4 0 0 20 0 15 0 113390086 14320615424 69580 33554432000 4194304 4196468 140736492536592 139684042298432 139683632556187 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11297] ppid=11293 vsize=13984976 memory=19004 CPUtime=0.06 cores=0,2,4,6
/proc/11295/task/11297/stat : 11297 (java) S 11293 11293 9984 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 113390087 14320615424 69580 33554432000 4194304 4196468 140736492536592 139683953129744 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11298] ppid=11293 vsize=13984976 memory=1796 CPUtime=0.06 cores=0,2,4,6
/proc/11295/task/11298/stat : 11298 (java) S 11293 11293 9984 0 -1 1077944384 52 0 0 0 3 3 0 0 20 0 15 0 113390087 14320615424 69580 33554432000 4194304 4196468 140736492536592 139683952077200 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11299] ppid=11293 vsize=13984976 memory=636 CPUtime=0.05 cores=0,2,4,6
/proc/11295/task/11299/stat : 11299 (java) S 11293 11293 9984 0 -1 1077944384 55 0 0 0 3 2 0 0 20 0 15 0 113390087 14320615424 69580 33554432000 4194304 4196468 140736492536592 139683951024656 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11300] ppid=11293 vsize=13984976 memory=960 CPUtime=0.06 cores=0,2,4,6
/proc/11295/task/11300/stat : 11300 (java) S 11293 11293 9984 0 -1 1077944384 62 0 0 0 3 3 0 0 20 0 15 0 113390087 14320615424 69580 33554432000 4194304 4196468 140736492536592 139683949972112 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11301] ppid=11293 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11301/stat : 11301 (java) S 11293 11293 9984 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 15 0 113390088 14320615424 69580 33554432000 4194304 4196468 140736492536592 139682950511088 139684038072962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11302] ppid=11293 vsize=13984976 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11302/stat : 11302 (java) S 11293 11293 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113390089 14320615424 69580 33554432000 4194304 4196468 140736492536592 139682949457312 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11303] ppid=11293 vsize=13984976 memory=277908 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11303/stat : 11303 (java) S 11293 11293 9984 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 113390089 14320615424 69580 33554432000 4194304 4196468 140736492536592 139682948404720 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11304] ppid=11293 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11304/stat : 11304 (java) S 11293 11293 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113390091 14320615424 69580 33554432000 4194304 4196468 140736492536592 139682947353296 139684038080411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11305] ppid=11293 vsize=13984976 memory=32312 CPUtime=0.51 cores=0,2,4,6
/proc/11295/task/11305/stat : 11305 (java) S 11293 11293 9984 0 -1 1077944384 2105 0 0 0 51 0 0 0 20 0 15 0 113390091 14320615424 69580 33554432000 4194304 4196468 140736492536592 139682946299888 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11306] ppid=11293 vsize=13984976 memory=1296 CPUtime=0.48 cores=0,2,4,6
/proc/11295/task/11306/stat : 11306 (java) S 11293 11293 9984 0 -1 1077944384 2188 0 0 0 48 0 0 0 20 0 15 0 113390091 14320615424 69580 33554432000 4194304 4196468 140736492536592 139682945247344 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11307] ppid=11293 vsize=13984976 memory=2396 CPUtime=0.41 cores=0,2,4,6
/proc/11295/task/11307/stat : 11307 (java) S 11293 11293 9984 0 -1 1077944384 2463 0 0 0 41 0 0 0 20 0 15 0 113390091 14320615424 69580 33554432000 4194304 4196468 140736492536592 139682944194800 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11308] ppid=11293 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11308/stat : 11308 (java) S 11293 11293 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113390091 14320615424 69580 33554432000 4194304 4196468 140736492536592 139682943142496 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11309] ppid=11293 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11309/stat : 11309 (java) S 11293 11293 9984 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 15 0 113390092 14320615424 69580 33554432000 4194304 4196468 140736492536592 139682942090032 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
Current children cumulated CPU time: 8.02 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 279704 KiB

[startup+6.80073 s]
/proc/loadavg: 1.88 1.74 1.74 4/219 11543
/proc/meminfo: memFree=26813672/32770624 swapFree=67108860/67108860
[pid=11293] ppid=11290 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (xcsp3-exec) S 11290 11293 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113390086 9740288 346 33554432000 4194304 5098028 140733998432816 140733998430920 139948114121340 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29794304 140733998441582 140733998441787 140733998441787 140733998444523 0
/proc/11293/statm: 2378 346 289 221 0 87 0
[pid=11295] ppid=11293 vsize=13984976 memory=278400 CPUtime=8.47 cores=0,2,4,6
/proc/11295/stat : 11295 (java) S 11293 11293 9984 0 -1 1077944320 16452 0 0 0 828 19 0 0 20 0 15 0 113390086 14320615424 69600 33554432000 4194304 4196468 140736492536592 140736492519136 139684038061815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
/proc/11295/statm: 3496244 69600 3231 1 0 3483478 0
[pid=11295/tid=11296] ppid=11293 vsize=13984976 memory=6791534058613427641 CPUtime=6.7 cores=0,2,4,6
/proc/11295/task/11296/stat : 11296 (java) R 11293 11293 9984 0 -1 4202560 7348 0 0 0 666 4 0 0 20 0 15 0 113390086 14320615424 69600 33554432000 4194304 4196468 140736492536592 139684042298432 139683632500385 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11297] ppid=11293 vsize=13984976 memory=288230600345920284 CPUtime=0.06 cores=0,2,4,6
/proc/11295/task/11297/stat : 11297 (java) S 11293 11293 9984 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 113390087 14320615424 69600 33554432000 4194304 4196468 140736492536592 139683953129744 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11298] ppid=11293 vsize=13984976 memory=14132242834286653 CPUtime=0.06 cores=0,2,4,6
/proc/11295/task/11298/stat : 11298 (java) S 11293 11293 9984 0 -1 1077944384 52 0 0 0 3 3 0 0 20 0 15 0 113390087 14320615424 69600 33554432000 4194304 4196468 140736492536592 139683952077200 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11299] ppid=11293 vsize=13984976 memory=7649399388643668273 CPUtime=0.05 cores=0,2,4,6
/proc/11295/task/11299/stat : 11299 (java) S 11293 11293 9984 0 -1 1077944384 55 0 0 0 3 2 0 0 20 0 15 0 113390087 14320615424 69600 33554432000 4194304 4196468 140736492536592 139683951024656 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11300] ppid=11293 vsize=13984976 memory=7649399392938635569 CPUtime=0.06 cores=0,2,4,6
/proc/11295/task/11300/stat : 11300 (java) S 11293 11293 9984 0 -1 1077944384 62 0 0 0 3 3 0 0 20 0 15 0 113390087 14320615424 69600 33554432000 4194304 4196468 140736492536592 139683949972112 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11301] ppid=11293 vsize=13984976 memory=7649399397233602865 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11301/stat : 11301 (java) S 11293 11293 9984 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 15 0 113390088 14320615424 69600 33554432000 4194304 4196468 140736492536592 139682950511088 139684038072962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11302] ppid=11293 vsize=13984976 memory=7649399358427967793 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11302/stat : 11302 (java) S 11293 11293 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113390089 14320615424 69600 33554432000 4194304 4196468 140736492536592 139682949457312 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11303] ppid=11293 vsize=13984976 memory=7649399362722935089 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11303/stat : 11303 (java) S 11293 11293 9984 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 113390089 14320615424 69600 33554432000 4194304 4196468 140736492536592 139682948404720 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11304] ppid=11293 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11304/stat : 11304 (java) S 11293 11293 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113390091 14320615424 69600 33554432000 4194304 4196468 140736492536592 139682947353296 139684038080411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11305] ppid=11293 vsize=13984976 memory=4417 CPUtime=0.55 cores=0,2,4,6
/proc/11295/task/11305/stat : 11305 (java) R 11293 11293 9984 0 -1 4202560 2300 0 0 0 55 0 0 0 20 0 15 0 113390091 14320615424 69600 33554432000 4194304 4196468 140736492536592 139682946299888 139684019607114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11306] ppid=11293 vsize=13984976 memory=22276 CPUtime=0.48 cores=0,2,4,6
/proc/11295/task/11306/stat : 11306 (java) S 11293 11293 9984 0 -1 1077944384 2190 0 0 0 48 0 0 0 20 0 15 0 113390091 14320615424 69600 33554432000 4194304 4196468 140736492536592 139682945247344 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11307] ppid=11293 vsize=13984976 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/11295/task/11307/stat : 11307 (java) S 11293 11293 9984 0 -1 1077944384 2466 0 0 0 42 0 0 0 20 0 15 0 113390091 14320615424 69600 33554432000 4194304 4196468 140736492536592 139682944194800 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11308] ppid=11293 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11308/stat : 11308 (java) S 11293 11293 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113390091 14320615424 69600 33554432000 4194304 4196468 140736492536592 139682943142496 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11309] ppid=11293 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11309/stat : 11309 (java) S 11293 11293 9984 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 15 0 113390092 14320615424 69600 33554432000 4194304 4196468 140736492536592 139682942090032 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
Current children cumulated CPU time: 8.47 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 279784 KiB

[startup+7.00075 s]*
/proc/loadavg: 1.88 1.74 1.74 6/219 11619
/proc/meminfo: memFree=26828336/32770624 swapFree=67108860/67108860
[pid=11293] ppid=11290 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (xcsp3-exec) S 11290 11293 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113390086 9740288 346 33554432000 4194304 5098028 140733998432816 140733998430920 139948114121340 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29794304 140733998441582 140733998441787 140733998441787 140733998444523 0
/proc/11293/statm: 2378 346 289 221 0 87 0
[pid=11295] ppid=11293 vsize=13984976 memory=280548 CPUtime=9.01 cores=0,2,4,6
/proc/11295/stat : 11295 (java) S 11293 11293 9984 0 -1 1077944320 19508 0 0 0 882 19 0 0 20 0 15 0 113390086 14320615424 70137 33554432000 4194304 4196468 140736492536592 140736492519136 139684038061815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
/proc/11295/statm: 3496244 70137 3235 1 0 3483478 0
[pid=11295/tid=11296] ppid=11293 vsize=13984976 memory=6791534058613427641 CPUtime=6.91 cores=0,2,4,6
/proc/11295/task/11296/stat : 11296 (java) R 11293 11293 9984 0 -1 4202560 7511 0 0 0 687 4 0 0 20 0 15 0 113390086 14320615424 70137 33554432000 4194304 4196468 140736492536592 139684042298952 139683632652754 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11297] ppid=11293 vsize=13984976 memory=4872558044660077418 CPUtime=0.06 cores=0,2,4,6
/proc/11295/task/11297/stat : 11297 (java) S 11293 11293 9984 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 113390087 14320615424 70137 33554432000 4194304 4196468 140736492536592 139683953129744 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11298] ppid=11293 vsize=13984976 memory=2548 CPUtime=0.06 cores=0,2,4,6
/proc/11295/task/11298/stat : 11298 (java) S 11293 11293 9984 0 -1 1077944384 52 0 0 0 3 3 0 0 20 0 15 0 113390087 14320615424 70137 33554432000 4194304 4196468 140736492536592 139683952077200 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11299] ppid=11293 vsize=13984976 memory=2544 CPUtime=0.05 cores=0,2,4,6
/proc/11295/task/11299/stat : 11299 (java) S 11293 11293 9984 0 -1 1077944384 55 0 0 0 3 2 0 0 20 0 15 0 113390087 14320615424 70137 33554432000 4194304 4196468 140736492536592 139683951024656 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11300] ppid=11293 vsize=13984976 memory=2241 CPUtime=0.06 cores=0,2,4,6
/proc/11295/task/11300/stat : 11300 (java) S 11293 11293 9984 0 -1 1077944384 62 0 0 0 3 3 0 0 20 0 15 0 113390087 14320615424 70137 33554432000 4194304 4196468 140736492536592 139683949972112 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11301] ppid=11293 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11301/stat : 11301 (java) S 11293 11293 9984 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 15 0 113390088 14320615424 70137 33554432000 4194304 4196468 140736492536592 139682950511088 139684038072962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11302] ppid=11293 vsize=13984976 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11302/stat : 11302 (java) S 11293 11293 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113390089 14320615424 70137 33554432000 4194304 4196468 140736492536592 139682949457312 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11303] ppid=11293 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11303/stat : 11303 (java) S 11293 11293 9984 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 113390089 14320615424 70137 33554432000 4194304 4196468 140736492536592 139682948404720 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11304] ppid=11293 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11304/stat : 11304 (java) S 11293 11293 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113390091 14320615424 70137 33554432000 4194304 4196468 140736492536592 139682947353296 139684038080411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11305] ppid=11293 vsize=13984976 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/11295/task/11305/stat : 11305 (java) R 11293 11293 9984 0 -1 4202560 3498 0 0 0 71 0 0 0 20 0 15 0 113390091 14320615424 70137 33554432000 4194304 4196468 140736492536592 139682946299888 139684016465326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11306] ppid=11293 vsize=13984976 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/11295/task/11306/stat : 11306 (java) S 11293 11293 9984 0 -1 1077944384 3865 0 0 0 66 0 0 0 20 0 15 0 113390091 14320615424 70137 33554432000 4194304 4196468 140736492536592 139682945247344 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11307] ppid=11293 vsize=13984976 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/11295/task/11307/stat : 11307 (java) S 11293 11293 9984 0 -1 1077944384 2484 0 0 0 42 0 0 0 20 0 15 0 113390091 14320615424 70137 33554432000 4194304 4196468 140736492536592 139682944194800 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11308] ppid=11293 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11308/stat : 11308 (java) S 11293 11293 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113390091 14320615424 70137 33554432000 4194304 4196468 140736492536592 139682943142496 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11309] ppid=11293 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11309/stat : 11309 (java) S 11293 11293 9984 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 113390092 14320615424 70137 33554432000 4194304 4196468 140736492536592 139682942090032 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
Current children cumulated CPU time: 9.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 281932 KiB

[startup+7.11063 s]
/proc/loadavg: 1.88 1.74 1.74 6/219 11619
/proc/meminfo: memFree=26828336/32770624 swapFree=67108860/67108860
[pid=11293] ppid=11290 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (xcsp3-exec) S 11290 11293 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113390086 9740288 346 33554432000 4194304 5098028 140733998432816 140733998430920 139948114121340 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29794304 140733998441582 140733998441787 140733998441787 140733998444523 0
/proc/11293/statm: 2378 346 289 221 0 87 0
[pid=11295] ppid=11293 vsize=13984976 memory=281052 CPUtime=9.24 cores=0,2,4,6
/proc/11295/stat : 11295 (java) S 11293 11293 9984 0 -1 1077944320 19672 0 0 0 905 19 0 0 20 0 15 0 113390086 14320615424 70263 33554432000 4194304 4196468 140736492536592 140736492519136 139684038061815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
/proc/11295/statm: 3496244 70263 3235 1 0 3483478 0
[pid=11295/tid=11296] ppid=11293 vsize=13984976 memory=6791534058613427641 CPUtime=7.01 cores=0,2,4,6
/proc/11295/task/11296/stat : 11296 (java) R 11293 11293 9984 0 -1 4202560 7516 0 0 0 697 4 0 0 20 0 15 0 113390086 14320615424 70263 33554432000 4194304 4196468 140736492536592 139684042298336 139683632695198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11297] ppid=11293 vsize=13984976 memory=5700 CPUtime=0.06 cores=0,2,4,6
/proc/11295/task/11297/stat : 11297 (java) S 11293 11293 9984 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 113390087 14320615424 70263 33554432000 4194304 4196468 140736492536592 139683953129744 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11298] ppid=11293 vsize=13984976 memory=280908310327968 CPUtime=0.06 cores=0,2,4,6
/proc/11295/task/11298/stat : 11298 (java) S 11293 11293 9984 0 -1 1077944384 52 0 0 0 3 3 0 0 20 0 15 0 113390087 14320615424 70263 33554432000 4194304 4196468 140736492536592 139683952077200 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11299] ppid=11293 vsize=13984976 memory=8377424916951425120 CPUtime=0.05 cores=0,2,4,6
/proc/11295/task/11299/stat : 11299 (java) S 11293 11293 9984 0 -1 1077944384 55 0 0 0 3 2 0 0 20 0 15 0 113390087 14320615424 70263 33554432000 4194304 4196468 140736492536592 139683951024656 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11300] ppid=11293 vsize=13984976 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/11295/task/11300/stat : 11300 (java) S 11293 11293 9984 0 -1 1077944384 62 0 0 0 3 3 0 0 20 0 15 0 113390087 14320615424 70263 33554432000 4194304 4196468 140736492536592 139683949972112 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11301] ppid=11293 vsize=13984976 memory=60 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11301/stat : 11301 (java) S 11293 11293 9984 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 15 0 113390088 14320615424 70263 33554432000 4194304 4196468 140736492536592 139682950511088 139684038072962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11302] ppid=11293 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11302/stat : 11302 (java) S 11293 11293 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113390089 14320615424 70263 33554432000 4194304 4196468 140736492536592 139682949457312 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11303] ppid=11293 vsize=13984976 memory=277908 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11303/stat : 11303 (java) S 11293 11293 9984 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 113390089 14320615424 70263 33554432000 4194304 4196468 140736492536592 139682948404720 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11304] ppid=11293 vsize=13984976 memory=280908310240960 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11304/stat : 11304 (java) S 11293 11293 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113390091 14320615424 70263 33554432000 4194304 4196468 140736492536592 139682947353296 139684038080411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11305] ppid=11293 vsize=13984976 memory=280908309813696 CPUtime=0.79 cores=0,2,4,6
/proc/11295/task/11305/stat : 11305 (java) R 11293 11293 9984 0 -1 4202560 3635 0 0 0 79 0 0 0 20 0 15 0 113390091 14320615424 70263 33554432000 4194304 4196468 140736492536592 139682946299888 139684022986250 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11306] ppid=11293 vsize=13984976 memory=6791534058613427641 CPUtime=0.7 cores=0,2,4,6
/proc/11295/task/11306/stat : 11306 (java) R 11293 11293 9984 0 -1 4202560 3870 0 0 0 70 0 0 0 20 0 15 0 113390091 14320615424 70263 33554432000 4194304 4196468 140736492536592 139682945247344 139684019237713 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11307] ppid=11293 vsize=13984976 memory=1696 CPUtime=0.43 cores=0,2,4,6
/proc/11295/task/11307/stat : 11307 (java) S 11293 11293 9984 0 -1 1077944384 2491 0 0 0 43 0 0 0 20 0 15 0 113390091 14320615424 70263 33554432000 4194304 4196468 140736492536592 139682944194800 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11308] ppid=11293 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11308/stat : 11308 (java) S 11293 11293 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113390091 14320615424 70263 33554432000 4194304 4196468 140736492536592 139682943142496 139684038072021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
[pid=11295/tid=11309] ppid=11293 vsize=13984976 memory=278320 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11309/stat : 11309 (java) S 11293 11293 9984 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 113390092 14320615424 70263 33554432000 4194304 4196468 140736492536592 139682942090032 139684038072962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20340736 140736492545175 140736492545351 140736492545351 140736492548047 0
Current children cumulated CPU time: 9.24 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 282436 KiB

Child status: 0
Real time (s): 7.13861
CPU time (s): 9.31594
CPU user time (s): 9.11454
CPU system time (s): 0.201401
CPU usage (%): 130.501
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 282436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.11454
system time used= 0.201401
maximum resident set size= 281756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20501
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2352
involuntary context switches= 14


# summary of solver processes directly reported to runsolver:
#   pid: 11293
#   total CPU time (s): 9.31594
#   total CPU user time (s): 9.11454
#   total CPU system time (s): 0.201401

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064094 second user time and 0.117233 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-bvg/ Subisomorphism-si6-b03-m800-07.xml
MD5SUM	98d2d58aab7f5f40944baaa5254cf1ac
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.61332101
Satisfiable
(Un)Satisfiability was proved
Number of variables	480
Number of constraints	718
Number of domains	1
Minimum domain size	800
Maximum domain size	800
Distribution of domain sizes	[{"size":800,"count":480}]
Minimum variable degree	2
Maximum variable degree	4
Distribution of variable degrees	[{"degree":2,"count":2},{"degree":3,"count":2},{"degree":4,"count":476}]
Minimum constraint arity	2
Maximum constraint arity	480
Distribution of constraint arities	[{"arity":2,"count":717},{"arity":480,"count":1}]
Number of extensional constraints	717
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":717},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4269832

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
