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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	SAT	158.508	23.1308
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 (14506 MiB free)
  memory of node 1: 16384 MiB (14142 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399558-1568708299/watcher-4399558-1568708299 -o /tmp/evaluation-result-4399558-1568708299/solver-4399558-1568708299 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568700441-10597 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1411295742 HOME/instance-4399558-1568708299.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12318, runsolver pid=12315
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 7.77 8.10 8.19 3/211 12339
/proc/meminfo: memFree=29319884/32770624 swapFree=66939908/67108860
[pid=12318] ppid=12315 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12318/stat : 12318 (xcsp3-exec) S 12315 12318 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446744759 115843072 364 33554432000 4194304 5098028 140729846699552 140729846697656 139813745889916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17715200 140729846707061 140729846707305 140729846707305 140729846710218 0
/proc/12318/statm: 28282 364 305 221 0 87 0
[pid=12320] ppid=12318 vsize=28227396 memory=29184 CPUtime=0.12 cores=0-7
/proc/12320/stat : 12320 (java) S 12318 12318 10570 0 -1 1077944320 5687 0 0 0 11 1 0 0 20 0 20 0 446744760 28904853504 7296 33554432000 4194304 4196468 140725995715104 140725995697648 139715825606391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
/proc/12320/statm: 7056849 7296 3163 1 0 7019032 0
[pid=12320/tid=12321] ppid=12318 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/12320/task/12321/stat : 12321 (java) R 12318 12318 10570 0 -1 4202560 3610 0 0 0 8 0 0 0 20 0 20 0 446744760 28904853504 7296 33554432000 4194304 4196468 140725995715104 139715829841408 139715809650021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12322] ppid=12318 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12320/task/12322/stat : 12322 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744761 28904853504 7296 33554432000 4194304 4196468 140725995715104 139715778227344 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12323] ppid=12318 vsize=28227396 memory=140621948937856 CPUtime=0 cores=0-7
/proc/12320/task/12323/stat : 12323 (java) S 12318 12318 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446744761 28904853504 7296 33554432000 4194304 4196468 140725995715104 139715777174544 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12324] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12324/stat : 12324 (java) S 12318 12318 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446744761 28904853504 7296 33554432000 4194304 4196468 140725995715104 139715776121744 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12325] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12325/stat : 12325 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744761 28904853504 7296 33554432000 4194304 4196468 140725995715104 139715775068944 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12326] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12326/stat : 12326 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744761 28904853504 7296 33554432000 4194304 4196468 140725995715104 139715774016144 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12327] ppid=12318 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12320/task/12327/stat : 12327 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744761 28904853504 7296 33554432000 4194304 4196468 140725995715104 139715772963344 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12328] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12328/stat : 12328 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744761 28904853504 7296 33554432000 4194304 4196468 140725995715104 139715771910544 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12329] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12329/stat : 12329 (java) S 12318 12318 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446744761 28904853504 7296 33554432000 4194304 4196468 140725995715104 139715770857744 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12330] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12330/stat : 12330 (java) S 12318 12318 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446744762 28904853504 7296 33554432000 4194304 4196468 140725995715104 139714806897520 139715825617538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12331] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12331/stat : 12331 (java) S 12318 12318 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446744763 28904853504 7296 33554432000 4194304 4196468 140725995715104 139714805843488 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12332] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12332/stat : 12332 (java) S 12318 12318 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446744763 28904853504 7296 33554432000 4194304 4196468 140725995715104 139714804790640 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12333] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12333/stat : 12333 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744765 28904853504 7296 33554432000 4194304 4196468 140725995715104 139714803738960 139715825624987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12334] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12334/stat : 12334 (java) R 12318 12318 10570 0 -1 4202560 411 0 0 0 0 0 0 0 20 0 20 0 446744765 28904853504 7296 33554432000 4194304 4196468 140725995715104 139714802686416 139715825618326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12335] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12335/stat : 12335 (java) S 12318 12318 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446744765 28904853504 7296 33554432000 4194304 4196468 140725995715104 139714801633520 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12336] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12336/stat : 12336 (java) S 12318 12318 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446744765 28904853504 7296 33554432000 4194304 4196468 140725995715104 139714800580720 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12337] ppid=12318 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/12320/task/12337/stat : 12337 (java) R 12318 12318 10570 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 20 0 446744765 28904853504 7296 33554432000 4194304 4196468 140725995715104 139714799527920 139715825618326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12338] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12338/stat : 12338 (java) S 12318 12318 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446744765 28904853504 7296 33554432000 4194304 4196468 140725995715104 139714798476384 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12339] ppid=12318 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12320/task/12339/stat : 12339 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744766 28904853504 7296 33554432000 4194304 4196468 140725995715104 139714797423664 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30640 KiB

[startup+0.210576 s]*
/proc/loadavg: 7.77 8.10 8.19 3/211 12339
/proc/meminfo: memFree=29306860/32770624 swapFree=66939908/67108860
[pid=12318] ppid=12315 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12318/stat : 12318 (xcsp3-exec) S 12315 12318 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446744759 115843072 364 33554432000 4194304 5098028 140729846699552 140729846697656 139813745889916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17715200 140729846707061 140729846707305 140729846707305 140729846710218 0
/proc/12318/statm: 28282 364 305 221 0 87 0
[pid=12320] ppid=12318 vsize=28227396 memory=41040 CPUtime=0.33 cores=0-7
/proc/12320/stat : 12320 (java) S 12318 12318 10570 0 -1 1077944320 9519 0 0 0 30 3 0 0 20 0 20 0 446744760 28904853504 10260 33554432000 4194304 4196468 140725995715104 140725995697648 139715825606391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
/proc/12320/statm: 7056849 10260 3310 1 0 7019032 0
[pid=12320/tid=12321] ppid=12318 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/12320/task/12321/stat : 12321 (java) R 12318 12318 10570 0 -1 4202560 6639 0 0 0 18 2 0 0 20 0 20 0 446744760 28904853504 10260 33554432000 4194304 4196468 140725995715104 139715829839856 139715825618326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12322] ppid=12318 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/12320/task/12322/stat : 12322 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744761 28904853504 10260 33554432000 4194304 4196468 140725995715104 139715778227344 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12323] ppid=12318 vsize=28227396 memory=140621952295775 CPUtime=0 cores=0-7
/proc/12320/task/12323/stat : 12323 (java) S 12318 12318 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446744761 28904853504 10260 33554432000 4194304 4196468 140725995715104 139715777174544 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12324] ppid=12318 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12320/task/12324/stat : 12324 (java) S 12318 12318 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446744761 28904853504 10260 33554432000 4194304 4196468 140725995715104 139715776121744 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12325] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12325/stat : 12325 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744761 28904853504 10260 33554432000 4194304 4196468 140725995715104 139715775068944 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12326] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12326/stat : 12326 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744761 28904853504 10260 33554432000 4194304 4196468 140725995715104 139715774016144 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12327] ppid=12318 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12320/task/12327/stat : 12327 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744761 28904853504 10260 33554432000 4194304 4196468 140725995715104 139715772963344 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12328] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12328/stat : 12328 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744761 28904853504 10260 33554432000 4194304 4196468 140725995715104 139715771910544 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12329] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12329/stat : 12329 (java) S 12318 12318 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446744761 28904853504 10260 33554432000 4194304 4196468 140725995715104 139715770857744 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12330] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12330/stat : 12330 (java) S 12318 12318 10570 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446744762 28904853504 10260 33554432000 4194304 4196468 140725995715104 139714806897520 139715825617538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12331] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12331/stat : 12331 (java) S 12318 12318 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446744763 28904853504 10260 33554432000 4194304 4196468 140725995715104 139714805843488 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12332] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12332/stat : 12332 (java) S 12318 12318 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446744763 28904853504 10260 33554432000 4194304 4196468 140725995715104 139714804790640 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12333] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12333/stat : 12333 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744765 28904853504 10260 33554432000 4194304 4196468 140725995715104 139714803738960 139715825624987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12334] ppid=12318 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12320/task/12334/stat : 12334 (java) R 12318 12318 10570 0 -1 4202560 472 0 0 0 1 0 0 0 20 0 20 0 446744765 28904853504 10260 33554432000 4194304 4196468 140725995715104 139714802686320 139715825618326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12335] ppid=12318 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12320/task/12335/stat : 12335 (java) S 12318 12318 10570 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 446744765 28904853504 10260 33554432000 4194304 4196468 140725995715104 139714801633520 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12336] ppid=12318 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/12320/task/12336/stat : 12336 (java) S 12318 12318 10570 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 20 0 446744765 28904853504 10260 33554432000 4194304 4196468 140725995715104 139714800580720 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12337] ppid=12318 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/12320/task/12337/stat : 12337 (java) R 12318 12318 10570 0 -1 4202560 780 0 0 0 8 0 0 0 20 0 20 0 446744765 28904853504 10260 33554432000 4194304 4196468 140725995715104 139714799527920 139715809686878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12338] ppid=12318 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12338/stat : 12338 (java) S 12318 12318 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446744765 28904853504 10260 33554432000 4194304 4196468 140725995715104 139714798476384 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12339] ppid=12318 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12320/task/12339/stat : 12339 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744766 28904853504 10260 33554432000 4194304 4196468 140725995715104 139714797423664 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42496 KiB

[startup+0.321225 s]*
/proc/loadavg: 7.77 8.10 8.19 3/211 12339
/proc/meminfo: memFree=29299328/32770624 swapFree=66939908/67108860
[pid=12318] ppid=12315 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12318/stat : 12318 (xcsp3-exec) S 12315 12318 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446744759 115843072 364 33554432000 4194304 5098028 140729846699552 140729846697656 139813745889916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17715200 140729846707061 140729846707305 140729846707305 140729846710218 0
/proc/12318/statm: 28282 364 305 221 0 87 0
[pid=12320] ppid=12318 vsize=28231652 memory=50536 CPUtime=0.54 cores=0-7
/proc/12320/stat : 12320 (java) S 12318 12318 10570 0 -1 1077944320 11038 0 0 0 50 4 0 0 20 0 20 0 446744760 28909211648 12634 33554432000 4194304 4196468 140725995715104 140725995697648 139715825606391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
/proc/12320/statm: 7057913 12634 3351 1 0 7019032 0
[pid=12320/tid=12321] ppid=12318 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/12320/task/12321/stat : 12321 (java) R 12318 12318 10570 0 -1 4202560 7906 0 0 0 28 2 0 0 20 0 20 0 446744760 28909211648 12643 33554432000 4194304 4196468 140725995715104 139715829836224 139715825618326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12322] ppid=12318 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12322/stat : 12322 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744761 28909211648 12643 33554432000 4194304 4196468 140725995715104 139715778227344 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12323] ppid=12318 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12323/stat : 12323 (java) S 12318 12318 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446744761 28909211648 12643 33554432000 4194304 4196468 140725995715104 139715777174544 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12324] ppid=12318 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12324/stat : 12324 (java) S 12318 12318 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446744761 28909211648 12643 33554432000 4194304 4196468 140725995715104 139715776121744 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12325] ppid=12318 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12325/stat : 12325 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744761 28909211648 12643 33554432000 4194304 4196468 140725995715104 139715775068944 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12326] ppid=12318 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12326/stat : 12326 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744761 28909211648 12643 33554432000 4194304 4196468 140725995715104 139715774016144 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12327] ppid=12318 vsize=28231652 memory=140621792766639 CPUtime=0 cores=0-7
/proc/12320/task/12327/stat : 12327 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744761 28909211648 12643 33554432000 4194304 4196468 140725995715104 139715772963344 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12328] ppid=12318 vsize=28231652 memory=140621792768944 CPUtime=0 cores=0-7
/proc/12320/task/12328/stat : 12328 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744761 28909211648 12643 33554432000 4194304 4196468 140725995715104 139715771910544 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12329] ppid=12318 vsize=28231652 memory=140621792771248 CPUtime=0 cores=0-7
/proc/12320/task/12329/stat : 12329 (java) S 12318 12318 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446744761 28909211648 12643 33554432000 4194304 4196468 140725995715104 139715770857744 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12330] ppid=12318 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12330/stat : 12330 (java) S 12318 12318 10570 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446744762 28909211648 12643 33554432000 4194304 4196468 140725995715104 139714806897520 139715825617538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12331] ppid=12318 vsize=28231652 memory=281243585556368 CPUtime=0 cores=0-7
/proc/12320/task/12331/stat : 12331 (java) S 12318 12318 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446744763 28909211648 12643 33554432000 4194304 4196468 140725995715104 139714805843488 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12332] ppid=12318 vsize=28231652 memory=281243585554064 CPUtime=0 cores=0-7
/proc/12320/task/12332/stat : 12332 (java) S 12318 12318 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446744763 28909211648 12643 33554432000 4194304 4196468 140725995715104 139714804790640 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12333] ppid=12318 vsize=28231652 memory=281243585560976 CPUtime=0 cores=0-7
/proc/12320/task/12333/stat : 12333 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744765 28909211648 12643 33554432000 4194304 4196468 140725995715104 139714803738960 139715825624987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12334] ppid=12318 vsize=28231652 memory=281243585502256 CPUtime=0.03 cores=0-7
/proc/12320/task/12334/stat : 12334 (java) S 12318 12318 10570 0 -1 1077944384 593 0 0 0 3 0 0 0 20 0 20 0 446744765 28909211648 12643 33554432000 4194304 4196468 140725995715104 139714802686320 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12335] ppid=12318 vsize=28231652 memory=281243585574800 CPUtime=0.02 cores=0-7
/proc/12320/task/12335/stat : 12335 (java) S 12318 12318 10570 0 -1 1077944384 61 0 0 0 2 0 0 0 20 0 20 0 446744765 28909211648 12643 33554432000 4194304 4196468 140725995715104 139714801633520 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12336] ppid=12318 vsize=28231652 memory=281243585581712 CPUtime=0.03 cores=0-7
/proc/12320/task/12336/stat : 12336 (java) S 12318 12318 10570 0 -1 1077944384 285 0 0 0 3 0 0 0 20 0 20 0 446744765 28909211648 12643 33554432000 4194304 4196468 140725995715104 139714800580720 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12337] ppid=12318 vsize=28231652 memory=281243585579408 CPUtime=0.12 cores=0-7
/proc/12320/task/12337/stat : 12337 (java) S 12318 12318 10570 0 -1 1077944384 888 0 0 0 12 0 0 0 20 0 20 0 446744765 28909211648 12643 33554432000 4194304 4196468 140725995715104 139714799527920 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12338] ppid=12318 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12338/stat : 12338 (java) S 12318 12318 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446744765 28909211648 12643 33554432000 4194304 4196468 140725995715104 139714798476384 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12339] ppid=12318 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/12320/task/12339/stat : 12339 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744766 28909211648 12643 33554432000 4194304 4196468 140725995715104 139714797423664 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51992 KiB

[startup+0.700961 s]
/proc/loadavg: 7.77 8.10 8.19 6/211 12339
/proc/meminfo: memFree=29279904/32770624 swapFree=66939908/67108860
[pid=12318] ppid=12315 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12318/stat : 12318 (xcsp3-exec) S 12315 12318 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446744759 115843072 364 33554432000 4194304 5098028 140729846699552 140729846697656 139813745889916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17715200 140729846707061 140729846707305 140729846707305 140729846710218 0
/proc/12318/statm: 28282 364 305 221 0 87 0
[pid=12320] ppid=12318 vsize=28233776 memory=97688 CPUtime=1.76 cores=0-7
/proc/12320/stat : 12320 (java) S 12318 12318 10570 0 -1 1077944320 16074 0 0 0 169 7 0 0 20 0 20 0 446744760 28911386624 23910 33554432000 4194304 4196468 140725995715104 140725995697648 139715825606391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
/proc/12320/statm: 7058444 23910 3441 1 0 7019544 0
[pid=12320/tid=12321] ppid=12318 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/12320/task/12321/stat : 12321 (java) R 12318 12318 10570 0 -1 4202560 9127 0 0 0 64 4 0 0 20 0 20 0 446744760 28911386624 24422 33554432000 4194304 4196468 140725995715104 139715829840624 139715441763787 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12322] ppid=12318 vsize=28233776 memory=140621792977776 CPUtime=0 cores=0-7
/proc/12320/task/12322/stat : 12322 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446744761 28911386624 24422 33554432000 4194304 4196468 140725995715104 139715778227344 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12323] ppid=12318 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12323/stat : 12323 (java) S 12318 12318 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446744761 28911386624 24422 33554432000 4194304 4196468 140725995715104 139715777174544 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12324] ppid=12318 vsize=28233776 memory=1256 CPUtime=0 cores=0-7
/proc/12320/task/12324/stat : 12324 (java) S 12318 12318 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446744761 28911386624 24422 33554432000 4194304 4196468 140725995715104 139715776121744 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0

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

[pid=12320/tid=12328] ppid=12318 vsize=28766288 memory=10 CPUtime=2.64 cores=0-7
/proc/12320/task/12328/stat : 12328 (java) S 12318 12318 10570 0 -1 1077944384 1597 0 0 0 195 69 0 0 20 0 28 0 446744761 29456678912 709983 33554432000 4194304 4196468 140725995715104 139715771910544 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12329] ppid=12318 vsize=28766288 memory=667680 CPUtime=2.67 cores=0-7
/proc/12320/task/12329/stat : 12329 (java) S 12318 12318 10570 0 -1 1077944384 1348 0 0 0 201 66 0 0 20 0 28 0 446744761 29456678912 709983 33554432000 4194304 4196468 140725995715104 139715770857744 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12330] ppid=12318 vsize=28766288 memory=56 CPUtime=0.06 cores=0-7
/proc/12320/task/12330/stat : 12330 (java) S 12318 12318 10570 0 -1 1077944384 2806 0 0 0 6 0 0 0 20 0 28 0 446744762 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714806897520 139715825617538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12331] ppid=12318 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12331/stat : 12331 (java) S 12318 12318 10570 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 446744763 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714805843552 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12332] ppid=12318 vsize=28766288 memory=7228985763932842387 CPUtime=0 cores=0-7
/proc/12320/task/12332/stat : 12332 (java) S 12318 12318 10570 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 446744763 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714804790656 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12333] ppid=12318 vsize=28766288 memory=7228985763932842387 CPUtime=0 cores=0-7
/proc/12320/task/12333/stat : 12333 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446744765 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714803738960 139715825624987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12334] ppid=12318 vsize=28766288 memory=6944656592455097440 CPUtime=1.91 cores=0-7
/proc/12320/task/12334/stat : 12334 (java) S 12318 12318 10570 0 -1 1077944384 11871 0 0 0 189 2 0 0 20 0 28 0 446744765 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714802686320 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12335] ppid=12318 vsize=28766288 memory=6656426216303648864 CPUtime=1.92 cores=0-7
/proc/12320/task/12335/stat : 12335 (java) S 12318 12318 10570 0 -1 1077944384 9831 0 0 0 190 2 0 0 20 0 28 0 446744765 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714801633520 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12336] ppid=12318 vsize=28766288 memory=7228984664421214611 CPUtime=2.33 cores=0-7
/proc/12320/task/12336/stat : 12336 (java) S 12318 12318 10570 0 -1 1077944384 14654 0 0 0 230 3 0 0 20 0 28 0 446744765 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714800580720 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12337] ppid=12318 vsize=28766288 memory=7228984664421214611 CPUtime=0.69 cores=0-7
/proc/12320/task/12337/stat : 12337 (java) S 12318 12318 10570 0 -1 1077944384 6219 0 0 0 67 2 0 0 20 0 28 0 446744765 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714799527920 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12338] ppid=12318 vsize=28766288 memory=7228984664421214611 CPUtime=0 cores=0-7
/proc/12320/task/12338/stat : 12338 (java) S 12318 12318 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446744765 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714798476384 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12339] ppid=12318 vsize=28766288 memory=29903424310 CPUtime=0.01 cores=0-7
/proc/12320/task/12339/stat : 12339 (java) S 12318 12318 10570 0 -1 1077944384 1625 0 0 0 0 1 0 0 20 0 28 0 446744766 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714797423664 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12341] ppid=12318 vsize=28766288 memory=281243586493584 CPUtime=15.82 cores=0-7
/proc/12320/task/12341/stat : 12341 (java) S 12318 12318 10570 0 -1 1077944384 1438 0 0 0 1576 6 0 0 20 0 28 0 446745398 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714788446064 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12342] ppid=12318 vsize=28766288 memory=281243587451600 CPUtime=16.12 cores=0-7
/proc/12320/task/12342/stat : 12342 (java) R 12318 12318 10570 0 -1 4202560 5216 0 0 0 1607 5 0 0 20 0 28 0 446745398 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714787389424 139715445810201 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12343] ppid=12318 vsize=28766288 memory=0 CPUtime=15.74 cores=0-7
/proc/12320/task/12343/stat : 12343 (java) S 12318 12318 10570 0 -1 1077944384 2701 0 0 0 1574 0 0 0 20 0 28 0 446745398 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714786341968 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12344] ppid=12318 vsize=28766288 memory=0 CPUtime=15.59 cores=0-7
/proc/12320/task/12344/stat : 12344 (java) S 12318 12318 10570 0 -1 1077944384 1941 0 0 0 1556 3 0 0 20 0 28 0 446745398 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714785289168 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12345] ppid=12318 vsize=28766288 memory=265 CPUtime=15.77 cores=0-7
/proc/12320/task/12345/stat : 12345 (java) S 12318 12318 10570 0 -1 1077944384 1792 0 0 0 1573 4 0 0 20 0 28 0 446745398 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714784236368 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12346] ppid=12318 vsize=28766288 memory=261 CPUtime=15.7 cores=0-7
/proc/12320/task/12346/stat : 12346 (java) S 12318 12318 10570 0 -1 1077944384 6354 0 0 0 1568 2 0 0 20 0 28 0 446745398 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714783183568 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12347] ppid=12318 vsize=28766288 memory=264 CPUtime=15.64 cores=0-7
/proc/12320/task/12347/stat : 12347 (java) S 12318 12318 10570 0 -1 1077944384 2499 0 0 0 1557 7 0 0 20 0 28 0 446745398 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714782131792 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12348] ppid=12318 vsize=28766288 memory=267 CPUtime=15.9 cores=0-7
/proc/12320/task/12348/stat : 12348 (java) R 12318 12318 10570 0 -1 4202560 1378 0 0 0 1586 4 0 0 20 0 28 0 446745398 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714781073648 139715445810148 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
Current children cumulated CPU time: 158.16 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2841388 KiB

[startup+23.0011 s]*
/proc/loadavg: 7.64 8.03 8.16 2/219 12348
/proc/meminfo: memFree=26506904/32770624 swapFree=66939908/67108860
[pid=12318] ppid=12315 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12318/stat : 12318 (xcsp3-exec) S 12315 12318 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446744759 115843072 364 33554432000 4194304 5098028 140729846699552 140729846697656 139813745889916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17715200 140729846707061 140729846707305 140729846707305 140729846710218 0
/proc/12318/statm: 28282 364 305 221 0 87 0
[pid=12320] ppid=12318 vsize=28766288 memory=2839932 CPUtime=158.38 cores=0-7
/proc/12320/stat : 12320 (java) S 12318 12318 10570 0 -1 1077944320 98468 0 0 0 15232 606 0 0 20 0 28 0 446744760 29456678912 709983 33554432000 4194304 4196468 140725995715104 140725995697648 139715825606391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
/proc/12320/statm: 7191572 709983 3545 1 0 7152672 0
[pid=12320/tid=12321] ppid=12318 vsize=28766288 memory=8317482817917895235 CPUtime=3.57 cores=0-7
/proc/12320/task/12321/stat : 12321 (java) S 12318 12318 10570 0 -1 1077944384 13506 0 0 0 343 14 0 0 20 0 28 0 446744760 29456678912 709983 33554432000 4194304 4196468 140725995715104 139715829847168 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12322] ppid=12318 vsize=28766288 memory=4126316290023845779 CPUtime=2.67 cores=0-7
/proc/12320/task/12322/stat : 12322 (java) S 12318 12318 10570 0 -1 1077944384 1721 0 0 0 198 69 0 0 20 0 28 0 446744761 29456678912 709983 33554432000 4194304 4196468 140725995715104 139715778227344 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12323] ppid=12318 vsize=28766288 memory=6791534058613427641 CPUtime=2.64 cores=0-7
/proc/12320/task/12323/stat : 12323 (java) S 12318 12318 10570 0 -1 1077944384 1798 0 0 0 196 68 0 0 20 0 28 0 446744761 29456678912 709983 33554432000 4194304 4196468 140725995715104 139715777174544 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12324] ppid=12318 vsize=28766288 memory=6946896301900458065 CPUtime=2.69 cores=0-7
/proc/12320/task/12324/stat : 12324 (java) S 12318 12318 10570 0 -1 1077944384 2189 0 0 0 199 70 0 0 20 0 28 0 446744761 29456678912 709983 33554432000 4194304 4196468 140725995715104 139715776121744 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12325] ppid=12318 vsize=28766288 memory=0 CPUtime=2.63 cores=0-7
/proc/12320/task/12325/stat : 12325 (java) S 12318 12318 10570 0 -1 1077944384 1579 0 0 0 196 67 0 0 20 0 28 0 446744761 29456678912 709983 33554432000 4194304 4196468 140725995715104 139715775068944 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12326] ppid=12318 vsize=28766288 memory=281243586303520 CPUtime=2.65 cores=0-7
/proc/12320/task/12326/stat : 12326 (java) S 12318 12318 10570 0 -1 1077944384 1783 0 0 0 197 68 0 0 20 0 28 0 446744761 29456678912 709983 33554432000 4194304 4196468 140725995715104 139715774016144 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12327] ppid=12318 vsize=28766288 memory=0 CPUtime=2.61 cores=0-7
/proc/12320/task/12327/stat : 12327 (java) S 12318 12318 10570 0 -1 1077944384 1280 0 0 0 195 66 0 0 20 0 28 0 446744761 29456678912 709983 33554432000 4194304 4196468 140725995715104 139715772963344 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12328] ppid=12318 vsize=28766288 memory=15825490741037707 CPUtime=2.64 cores=0-7
/proc/12320/task/12328/stat : 12328 (java) S 12318 12318 10570 0 -1 1077944384 1597 0 0 0 195 69 0 0 20 0 28 0 446744761 29456678912 709983 33554432000 4194304 4196468 140725995715104 139715771910544 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12329] ppid=12318 vsize=28766288 memory=0 CPUtime=2.67 cores=0-7
/proc/12320/task/12329/stat : 12329 (java) S 12318 12318 10570 0 -1 1077944384 1348 0 0 0 201 66 0 0 20 0 28 0 446744761 29456678912 709983 33554432000 4194304 4196468 140725995715104 139715770857744 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12330] ppid=12318 vsize=28766288 memory=0 CPUtime=0.06 cores=0-7
/proc/12320/task/12330/stat : 12330 (java) S 12318 12318 10570 0 -1 1077944384 2806 0 0 0 6 0 0 0 20 0 28 0 446744762 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714806897520 139715825617538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12331] ppid=12318 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12331/stat : 12331 (java) S 12318 12318 10570 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 446744763 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714805843552 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12332] ppid=12318 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12332/stat : 12332 (java) S 12318 12318 10570 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 446744763 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714804790656 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12333] ppid=12318 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12333/stat : 12333 (java) S 12318 12318 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446744765 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714803738960 139715825624987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12334] ppid=12318 vsize=28766288 memory=0 CPUtime=1.91 cores=0-7
/proc/12320/task/12334/stat : 12334 (java) S 12318 12318 10570 0 -1 1077944384 11871 0 0 0 189 2 0 0 20 0 28 0 446744765 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714802686320 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12335] ppid=12318 vsize=28766288 memory=0 CPUtime=1.92 cores=0-7
/proc/12320/task/12335/stat : 12335 (java) S 12318 12318 10570 0 -1 1077944384 9831 0 0 0 190 2 0 0 20 0 28 0 446744765 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714801633520 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12336] ppid=12318 vsize=28766288 memory=6944656592455360604 CPUtime=2.33 cores=0-7
/proc/12320/task/12336/stat : 12336 (java) S 12318 12318 10570 0 -1 1077944384 14654 0 0 0 230 3 0 0 20 0 28 0 446744765 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714800580720 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12337] ppid=12318 vsize=28766288 memory=6944656575208382560 CPUtime=0.69 cores=0-7
/proc/12320/task/12337/stat : 12337 (java) S 12318 12318 10570 0 -1 1077944384 6219 0 0 0 67 2 0 0 20 0 28 0 446744765 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714799527920 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12338] ppid=12318 vsize=28766288 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/12320/task/12338/stat : 12338 (java) S 12318 12318 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446744765 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714798476384 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12339] ppid=12318 vsize=28766288 memory=6655300316396806240 CPUtime=0.01 cores=0-7
/proc/12320/task/12339/stat : 12339 (java) S 12318 12318 10570 0 -1 1077944384 1625 0 0 0 0 1 0 0 20 0 28 0 446744766 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714797423664 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12341] ppid=12318 vsize=28766288 memory=6655300316396806240 CPUtime=15.82 cores=0-7
/proc/12320/task/12341/stat : 12341 (java) S 12318 12318 10570 0 -1 1077944384 1438 0 0 0 1576 6 0 0 20 0 28 0 446745398 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714788446064 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12342] ppid=12318 vsize=28766288 memory=6656426216303648864 CPUtime=16.32 cores=0-7
/proc/12320/task/12342/stat : 12342 (java) R 12318 12318 10570 0 -1 4202560 5218 0 0 0 1627 5 0 0 20 0 28 0 446745398 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714787389424 139715445757549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12343] ppid=12318 vsize=28766288 memory=6656426216303648864 CPUtime=15.74 cores=0-7
/proc/12320/task/12343/stat : 12343 (java) S 12318 12318 10570 0 -1 1077944384 2701 0 0 0 1574 0 0 0 20 0 28 0 446745398 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714786341968 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12344] ppid=12318 vsize=28766288 memory=6944656592455359580 CPUtime=15.59 cores=0-7
/proc/12320/task/12344/stat : 12344 (java) S 12318 12318 10570 0 -1 1077944384 1941 0 0 0 1556 3 0 0 20 0 28 0 446745398 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714785289168 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12345] ppid=12318 vsize=28766288 memory=6944656592387989600 CPUtime=15.77 cores=0-7
/proc/12320/task/12345/stat : 12345 (java) S 12318 12318 10570 0 -1 1077944384 1792 0 0 0 1573 4 0 0 20 0 28 0 446745398 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714784236368 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12346] ppid=12318 vsize=28766288 memory=281243586423456 CPUtime=15.7 cores=0-7
/proc/12320/task/12346/stat : 12346 (java) S 12318 12318 10570 0 -1 1077944384 6354 0 0 0 1568 2 0 0 20 0 28 0 446745398 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714783183568 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12347] ppid=12318 vsize=28766288 memory=7521692414993591402 CPUtime=15.64 cores=0-7
/proc/12320/task/12347/stat : 12347 (java) S 12318 12318 10570 0 -1 1077944384 2499 0 0 0 1557 7 0 0 20 0 28 0 446745398 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714782131792 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12348] ppid=12318 vsize=28766288 memory=0 CPUtime=15.9 cores=0-7
/proc/12320/task/12348/stat : 12348 (java) S 12318 12318 10570 0 -1 1077944384 1379 0 0 0 1586 4 0 0 20 0 28 0 446745398 29456678912 709983 33554432000 4194304 4196468 140725995715104 139714781078992 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
Current children cumulated CPU time: 158.38 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2841388 KiB

[startup+23.1101 s]
/proc/loadavg: 7.64 8.03 8.16 2/219 12348
/proc/meminfo: memFree=26506904/32770624 swapFree=66939908/67108860
[pid=12318] ppid=12315 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12318/stat : 12318 (xcsp3-exec) S 12315 12318 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446744759 115843072 364 33554432000 4194304 5098028 140729846699552 140729846697656 139813745889916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17715200 140729846707061 140729846707305 140729846707305 140729846710218 0
/proc/12318/statm: 28282 364 305 221 0 87 0
[pid=12320] ppid=12318 vsize=28766288 memory=2839424 CPUtime=158.47 cores=0-7
/proc/12320/stat : 12320 (java) S 12318 12318 10570 0 -1 1077944320 99659 0 0 0 15241 606 0 0 20 0 19 0 446744760 29456678912 709856 33554432000 4194304 4196468 140725995715104 140725995697648 139715825606391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
/proc/12320/statm: 7191572 709856 3547 1 0 7152672 0
[pid=12320/tid=12321] ppid=12318 vsize=28766288 memory=2839912 CPUtime=3.58 cores=0-7
/proc/12320/task/12321/stat : 12321 (java) S 12318 12318 10570 0 -1 1077944384 14271 0 0 0 344 14 0 0 20 0 19 0 446744760 29456678912 709856 33554432000 4194304 4196468 140725995715104 139715829849232 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12322] ppid=12318 vsize=28766288 memory=265 CPUtime=2.67 cores=0-7
/proc/12320/task/12322/stat : 12322 (java) S 12318 12318 10570 0 -1 1077944384 1721 0 0 0 198 69 0 0 20 0 19 0 446744761 29456678912 709856 33554432000 4194304 4196468 140725995715104 139715778227344 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12323] ppid=12318 vsize=28766288 memory=0 CPUtime=2.64 cores=0-7
/proc/12320/task/12323/stat : 12323 (java) S 12318 12318 10570 0 -1 1077944384 1798 0 0 0 196 68 0 0 20 0 19 0 446744761 29456678912 709856 33554432000 4194304 4196468 140725995715104 139715777174544 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12324] ppid=12318 vsize=28766288 memory=0 CPUtime=2.69 cores=0-7
/proc/12320/task/12324/stat : 12324 (java) S 12318 12318 10570 0 -1 1077944384 2189 0 0 0 199 70 0 0 20 0 19 0 446744761 29456678912 709856 33554432000 4194304 4196468 140725995715104 139715776121744 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12325] ppid=12318 vsize=28766288 memory=0 CPUtime=2.63 cores=0-7
/proc/12320/task/12325/stat : 12325 (java) S 12318 12318 10570 0 -1 1077944384 1579 0 0 0 196 67 0 0 20 0 19 0 446744761 29456678912 709856 33554432000 4194304 4196468 140725995715104 139715775068944 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12326] ppid=12318 vsize=28766288 memory=2839896 CPUtime=2.65 cores=0-7
/proc/12320/task/12326/stat : 12326 (java) S 12318 12318 10570 0 -1 1077944384 1783 0 0 0 197 68 0 0 20 0 19 0 446744761 29456678912 709856 33554432000 4194304 4196468 140725995715104 139715774016144 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12327] ppid=12318 vsize=28766288 memory=2839776 CPUtime=2.61 cores=0-7
/proc/12320/task/12327/stat : 12327 (java) S 12318 12318 10570 0 -1 1077944384 1280 0 0 0 195 66 0 0 20 0 19 0 446744761 29456678912 709856 33554432000 4194304 4196468 140725995715104 139715772963344 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12328] ppid=12318 vsize=28766288 memory=0 CPUtime=2.64 cores=0-7
/proc/12320/task/12328/stat : 12328 (java) S 12318 12318 10570 0 -1 1077944384 1597 0 0 0 195 69 0 0 20 0 19 0 446744761 29456678912 709856 33554432000 4194304 4196468 140725995715104 139715771910544 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12329] ppid=12318 vsize=28766288 memory=0 CPUtime=2.67 cores=0-7
/proc/12320/task/12329/stat : 12329 (java) S 12318 12318 10570 0 -1 1077944384 1348 0 0 0 201 66 0 0 20 0 19 0 446744761 29456678912 709856 33554432000 4194304 4196468 140725995715104 139715770857744 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12330] ppid=12318 vsize=28766288 memory=190 CPUtime=0.06 cores=0-7
/proc/12320/task/12330/stat : 12330 (java) S 12318 12318 10570 0 -1 1077944384 2818 0 0 0 6 0 0 0 20 0 19 0 446744762 29456678912 709856 33554432000 4194304 4196468 140725995715104 139714806897728 139715825617538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12331] ppid=12318 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12320/task/12331/stat : 12331 (java) S 12318 12318 10570 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 446744763 29456678912 709856 33554432000 4194304 4196468 140725995715104 139714805843552 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12332] ppid=12318 vsize=28766288 memory=8173024420330956377 CPUtime=0 cores=0-7
/proc/12320/task/12332/stat : 12332 (java) S 12318 12318 10570 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 446744763 29456678912 709856 33554432000 4194304 4196468 140725995715104 139714804790656 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12333] ppid=12318 vsize=28766288 memory=7812171275545500015 CPUtime=0 cores=0-7
/proc/12320/task/12333/stat : 12333 (java) S 12318 12318 10570 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 446744765 29456678912 709856 33554432000 4194304 4196468 140725995715104 139714803738608 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12334] ppid=12318 vsize=28766288 memory=2839848 CPUtime=1.91 cores=0-7
/proc/12320/task/12334/stat : 12334 (java) S 12318 12318 10570 0 -1 1077944384 11874 0 0 0 189 2 0 0 20 0 19 0 446744765 29456678912 709856 33554432000 4194304 4196468 140725995715104 139714802686320 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12335] ppid=12318 vsize=28766288 memory=6655300316396806240 CPUtime=1.92 cores=0-7
/proc/12320/task/12335/stat : 12335 (java) S 12318 12318 10570 0 -1 1077944384 9921 0 0 0 190 2 0 0 20 0 19 0 446744765 29456678912 709856 33554432000 4194304 4196468 140725995715104 139714801618032 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12336] ppid=12318 vsize=28766288 memory=0 CPUtime=2.33 cores=0-7
/proc/12320/task/12336/stat : 12336 (java) S 12318 12318 10570 0 -1 1077944384 14656 0 0 0 230 3 0 0 20 0 19 0 446744765 29456678912 709856 33554432000 4194304 4196468 140725995715104 139714800580720 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12337] ppid=12318 vsize=28766288 memory=1456 CPUtime=0.69 cores=0-7
/proc/12320/task/12337/stat : 12337 (java) S 12318 12318 10570 0 -1 1077944384 6394 0 0 0 67 2 0 0 20 0 19 0 446744765 29456678912 709856 33554432000 4194304 4196468 140725995715104 139714799527920 139715825617538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
[pid=12320/tid=12338] ppid=12318 vsize=28766288 memory=2839896 CPUtime=0 cores=0-7
/proc/12320/task/12338/stat : 12338 (java) S 12318 12318 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446744765 29456678912 709856 33554432000 4194304 4196468 140725995715104 139714798476384 139715825616597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28606464 140725995721706 140725995721878 140725995721878 140725995724751 0
Current children cumulated CPU time: 158.47 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2840880 KiB

Child status: 0
Real time (s): 23.1308
CPU time (s): 158.508
CPU user time (s): 152.418
CPU system time (s): 6.08996
CPU usage (%): 685.266
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 2841388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 152.418
system time used= 6.08996
maximum resident set size= 2839972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100267
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5757
involuntary context switches= 2357


# summary of solver processes directly reported to runsolver:
#   pid: 12318
#   total CPU time (s): 158.508
#   total CPU user time (s): 152.418
#   total CPU system time (s): 6.08996

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.248077 second user time and 0.271501 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-SF/ Subisomorphism-B-08.xml
MD5SUM	47da5ea68f3d94e6d7990d40a1ef4aa5
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.530623
Satisfiable
(Un)Satisfiability was proved
Number of variables	540
Number of constraints	1676
Number of domains	1
Minimum domain size	600
Maximum domain size	600
Distribution of domain sizes	[{"size":600,"count":540}]
Minimum variable degree	3
Maximum variable degree	10
Distribution of variable degrees	[{"degree":3,"count":4},{"degree":4,"count":19},{"degree":5,"count":89},{"degree":6,"count":212},{"degree":8,"count":110},{"degree":9,"count":71},{"degree":10,"count":35}]
Minimum constraint arity	1
Maximum constraint arity	540
Distribution of constraint arities	[{"arity":1,"count":216},{"arity":2,"count":1459},{"arity":540,"count":1}]
Number of extensional constraints	1675
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1675},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4399558

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
