2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	OPT	394	30.1016	5.47789
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 (9395 MiB free)
  memory of node 1: 16384 MiB (11932 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297866-1532707749/watcher-4297866-1532707749 -o /tmp/evaluation-result-4297866-1532707749/solver-4297866-1532707749 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532705227-17517 --watchdog 2580 HOME/xcsp3-exec -seed 239799656 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297866-1532707749.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=17802, runsolver pid=17799
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 7.84 8.04 7.38 2/199 17823
/proc/meminfo: memFree=21824952/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17802/stat : 17802 (xcsp3-exec) S 17799 17802 17490 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88338083 115843072 364 33554432000 4194304 5098028 140721772632624 140721772630728 140595201540732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38612992 140721772639286 140721772639488 140721772639488 140721772642250 0
/proc/17802/statm: 28282 364 306 221 0 87 0
[pid=17804] ppid=17802 vsize=26104152 memory=27212 CPUtime=0.12 cores=0-7
/proc/17804/stat : 17804 (java) S 17802 17802 17490 0 -1 1077944320 5725 0 0 0 11 1 0 0 20 0 20 0 88338083 26730651648 6803 33554432000 4194304 4196468 140724191736864 140724191719408 140652393889527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
/proc/17804/statm: 6526038 6803 2997 1 0 6488315 0
[pid=17804/tid=17805] ppid=17802 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/17804/task/17805/stat : 17805 (java) R 17802 17802 17490 0 -1 4202560 3742 0 0 0 8 0 0 0 20 0 20 0 88338083 26730651648 6803 33554432000 4194304 4196468 140724191736864 140652398115440 140652377969568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17806] ppid=17802 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17804/task/17806/stat : 17806 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338084 26730651648 6803 33554432000 4194304 4196468 140724191736864 140652346509968 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17807] ppid=17802 vsize=26104152 memory=139920905213568 CPUtime=0 cores=0-7
/proc/17804/task/17807/stat : 17807 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338084 26730651648 6803 33554432000 4194304 4196468 140724191736864 140652345457168 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17808] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17808/stat : 17808 (java) S 17802 17802 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88338084 26730651648 6803 33554432000 4194304 4196468 140724191736864 140652344404368 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17809] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17809/stat : 17809 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338084 26730651648 6803 33554432000 4194304 4196468 140724191736864 140652343351568 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17810] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17810/stat : 17810 (java) S 17802 17802 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88338084 26730651648 6803 33554432000 4194304 4196468 140724191736864 140652342299792 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17811] ppid=17802 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17804/task/17811/stat : 17811 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338084 26730651648 6803 33554432000 4194304 4196468 140724191736864 140652341246992 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17812] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17812/stat : 17812 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338084 26730651648 6803 33554432000 4194304 4196468 140724191736864 140652340194192 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17813] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17813/stat : 17813 (java) S 17802 17802 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88338084 26730651648 6803 33554432000 4194304 4196468 140724191736864 140652339141392 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17814] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17814/stat : 17814 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338085 26730651648 6803 33554432000 4194304 4196468 140724191736864 140651135940976 140652393900674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17815] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17815/stat : 17815 (java) S 17802 17802 17490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88338086 26730651648 6803 33554432000 4194304 4196468 140724191736864 140651134886944 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17816] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17816/stat : 17816 (java) S 17802 17802 17490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88338086 26730651648 6803 33554432000 4194304 4196468 140724191736864 140651133834096 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17817] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17817/stat : 17817 (java) S 17802 17802 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88338089 26730651648 6803 33554432000 4194304 4196468 140724191736864 140651132782416 140652393908123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17818] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17818/stat : 17818 (java) S 17802 17802 17490 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 88338089 26730651648 6803 33554432000 4194304 4196468 140724191736864 140651131730800 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17819] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17819/stat : 17819 (java) S 17802 17802 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88338089 26730651648 6803 33554432000 4194304 4196468 140724191736864 140651130678000 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17820] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17820/stat : 17820 (java) S 17802 17802 17490 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 88338089 26730651648 6803 33554432000 4194304 4196468 140724191736864 140651129625200 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17821] ppid=17802 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17804/task/17821/stat : 17821 (java) S 17802 17802 17490 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 20 0 88338089 26730651648 6803 33554432000 4194304 4196468 140724191736864 140651128572400 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17822] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17822/stat : 17822 (java) S 17802 17802 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88338089 26730651648 6803 33554432000 4194304 4196468 140724191736864 140651127519840 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17823] ppid=17802 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17804/task/17823/stat : 17823 (java) S 17802 17802 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88338089 26730651648 6803 33554432000 4194304 4196468 140724191736864 140651126467120 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28668 KiB

[startup+0.210416 s]*
/proc/loadavg: 7.84 8.04 7.38 3/199 17823
/proc/meminfo: memFree=21813664/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17802/stat : 17802 (xcsp3-exec) S 17799 17802 17490 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88338083 115843072 364 33554432000 4194304 5098028 140721772632624 140721772630728 140595201540732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38612992 140721772639286 140721772639488 140721772639488 140721772642250 0
/proc/17802/statm: 28282 364 306 221 0 87 0
[pid=17804] ppid=17802 vsize=26104152 memory=39560 CPUtime=0.33 cores=0-7
/proc/17804/stat : 17804 (java) S 17802 17802 17490 0 -1 1077944320 8482 0 0 0 31 2 0 0 20 0 20 0 88338083 26730651648 9890 33554432000 4194304 4196468 140724191736864 140724191719408 140652393889527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
/proc/17804/statm: 6526038 9890 3177 1 0 6488315 0
[pid=17804/tid=17805] ppid=17802 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/17804/task/17805/stat : 17805 (java) R 17802 17802 17490 0 -1 4202560 5590 0 0 0 18 1 0 0 20 0 20 0 88338083 26730651648 9890 33554432000 4194304 4196468 140724191736864 140652398127840 140652377970014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17806] ppid=17802 vsize=26104152 memory=329 CPUtime=0 cores=0-7
/proc/17804/task/17806/stat : 17806 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338084 26730651648 9890 33554432000 4194304 4196468 140724191736864 140652346509968 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17807] ppid=17802 vsize=26104152 memory=288370297056925312 CPUtime=0 cores=0-7
/proc/17804/task/17807/stat : 17807 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338084 26730651648 9890 33554432000 4194304 4196468 140724191736864 140652345457168 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17808] ppid=17802 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17804/task/17808/stat : 17808 (java) S 17802 17802 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88338084 26730651648 9890 33554432000 4194304 4196468 140724191736864 140652344404368 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17809] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17809/stat : 17809 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338084 26730651648 9890 33554432000 4194304 4196468 140724191736864 140652343351568 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17810] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17810/stat : 17810 (java) S 17802 17802 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88338084 26730651648 9890 33554432000 4194304 4196468 140724191736864 140652342299792 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17811] ppid=17802 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17804/task/17811/stat : 17811 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338084 26730651648 9890 33554432000 4194304 4196468 140724191736864 140652341246992 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17812] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17812/stat : 17812 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338084 26730651648 9890 33554432000 4194304 4196468 140724191736864 140652340194192 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17813] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17813/stat : 17813 (java) S 17802 17802 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88338084 26730651648 9890 33554432000 4194304 4196468 140724191736864 140652339141392 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17814] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17814/stat : 17814 (java) S 17802 17802 17490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88338085 26730651648 9890 33554432000 4194304 4196468 140724191736864 140651135940976 140652393900674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17815] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17815/stat : 17815 (java) S 17802 17802 17490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88338086 26730651648 9890 33554432000 4194304 4196468 140724191736864 140651134886944 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17816] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17816/stat : 17816 (java) S 17802 17802 17490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88338086 26730651648 9890 33554432000 4194304 4196468 140724191736864 140651133834096 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17817] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17817/stat : 17817 (java) S 17802 17802 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88338089 26730651648 9890 33554432000 4194304 4196468 140724191736864 140651132782416 140652393908123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17818] ppid=17802 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17804/task/17818/stat : 17818 (java) S 17802 17802 17490 0 -1 1077944384 396 0 0 0 1 0 0 0 20 0 20 0 88338089 26730651648 9890 33554432000 4194304 4196468 140724191736864 140651131730800 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17819] ppid=17802 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17804/task/17819/stat : 17819 (java) S 17802 17802 17490 0 -1 1077944384 201 0 0 0 1 0 0 0 20 0 20 0 88338089 26730651648 9890 33554432000 4194304 4196468 140724191736864 140651130678000 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17820] ppid=17802 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17804/task/17820/stat : 17820 (java) S 17802 17802 17490 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 20 0 88338089 26730651648 9890 33554432000 4194304 4196468 140724191736864 140651129625200 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17821] ppid=17802 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/17804/task/17821/stat : 17821 (java) S 17802 17802 17490 0 -1 1077944384 771 0 0 0 7 0 0 0 20 0 20 0 88338089 26730651648 9890 33554432000 4194304 4196468 140724191736864 140651128572400 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17822] ppid=17802 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17822/stat : 17822 (java) S 17802 17802 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88338089 26730651648 9890 33554432000 4194304 4196468 140724191736864 140651127519840 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17823] ppid=17802 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17804/task/17823/stat : 17823 (java) S 17802 17802 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88338089 26730651648 9890 33554432000 4194304 4196468 140724191736864 140651126467120 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41016 KiB

[startup+0.310321 s]*
/proc/loadavg: 7.84 8.04 7.38 4/199 17823
/proc/meminfo: memFree=21806948/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17802/stat : 17802 (xcsp3-exec) S 17799 17802 17490 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88338083 115843072 364 33554432000 4194304 5098028 140721772632624 140721772630728 140595201540732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38612992 140721772639286 140721772639488 140721772639488 140721772642250 0
/proc/17802/statm: 28282 364 306 221 0 87 0
[pid=17804] ppid=17802 vsize=26108408 memory=46588 CPUtime=0.51 cores=0-7
/proc/17804/stat : 17804 (java) S 17802 17802 17490 0 -1 1077944320 9374 0 0 0 48 3 0 0 20 0 20 0 88338083 26735009792 11647 33554432000 4194304 4196468 140724191736864 140724191719408 140652393889527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
/proc/17804/statm: 6527102 11647 3261 1 0 6488315 0
[pid=17804/tid=17805] ppid=17802 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17804/task/17805/stat : 17805 (java) R 17802 17802 17490 0 -1 4202560 6301 0 0 0 27 2 0 0 20 0 20 0 88338083 26735009792 11647 33554432000 4194304 4196468 140724191736864 140652398123312 140652377970014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17806] ppid=17802 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17806/stat : 17806 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338084 26735009792 11647 33554432000 4194304 4196468 140724191736864 140652346509968 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17807] ppid=17802 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17807/stat : 17807 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338084 26735009792 11647 33554432000 4194304 4196468 140724191736864 140652345457168 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17808] ppid=17802 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17808/stat : 17808 (java) S 17802 17802 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88338084 26735009792 11647 33554432000 4194304 4196468 140724191736864 140652344404368 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17809] ppid=17802 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17809/stat : 17809 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338084 26735009792 11647 33554432000 4194304 4196468 140724191736864 140652343351568 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17810] ppid=17802 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/17804/task/17810/stat : 17810 (java) S 17802 17802 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88338084 26735009792 11647 33554432000 4194304 4196468 140724191736864 140652342299792 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17811] ppid=17802 vsize=26108408 memory=139920773575599 CPUtime=0 cores=0-7
/proc/17804/task/17811/stat : 17811 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338084 26735009792 11647 33554432000 4194304 4196468 140724191736864 140652341246992 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17812] ppid=17802 vsize=26108408 memory=139920773577904 CPUtime=0 cores=0-7
/proc/17804/task/17812/stat : 17812 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338084 26735009792 11647 33554432000 4194304 4196468 140724191736864 140652340194192 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17813] ppid=17802 vsize=26108408 memory=139920773580208 CPUtime=0 cores=0-7
/proc/17804/task/17813/stat : 17813 (java) S 17802 17802 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88338084 26735009792 11647 33554432000 4194304 4196468 140724191736864 140652339141392 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17814] ppid=17802 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17814/stat : 17814 (java) S 17802 17802 17490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88338085 26735009792 11647 33554432000 4194304 4196468 140724191736864 140651135940976 140652393900674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17815] ppid=17802 vsize=26108408 memory=279841547167376 CPUtime=0 cores=0-7
/proc/17804/task/17815/stat : 17815 (java) S 17802 17802 17490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88338086 26735009792 11647 33554432000 4194304 4196468 140724191736864 140651134886944 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17816] ppid=17802 vsize=26108408 memory=279841547174288 CPUtime=0 cores=0-7
/proc/17804/task/17816/stat : 17816 (java) S 17802 17802 17490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88338086 26735009792 11647 33554432000 4194304 4196468 140724191736864 140651133834096 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17817] ppid=17802 vsize=26108408 memory=279841547115568 CPUtime=0 cores=0-7
/proc/17804/task/17817/stat : 17817 (java) S 17802 17802 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88338089 26735009792 11647 33554432000 4194304 4196468 140724191736864 140651132782416 140652393908123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17818] ppid=17802 vsize=26108408 memory=279841547188112 CPUtime=0.02 cores=0-7
/proc/17804/task/17818/stat : 17818 (java) S 17802 17802 17490 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 20 0 88338089 26735009792 11647 33554432000 4194304 4196468 140724191736864 140651131730800 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17819] ppid=17802 vsize=26108408 memory=279841547195024 CPUtime=0.04 cores=0-7
/proc/17804/task/17819/stat : 17819 (java) S 17802 17802 17490 0 -1 1077944384 301 0 0 0 4 0 0 0 20 0 20 0 88338089 26735009792 11647 33554432000 4194304 4196468 140724191736864 140651130678000 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17820] ppid=17802 vsize=26108408 memory=279841547192720 CPUtime=0.01 cores=0-7
/proc/17804/task/17820/stat : 17820 (java) S 17802 17802 17490 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 20 0 88338089 26735009792 11647 33554432000 4194304 4196468 140724191736864 140651129625200 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17821] ppid=17802 vsize=26108408 memory=279841547208880 CPUtime=0.12 cores=0-7
/proc/17804/task/17821/stat : 17821 (java) S 17802 17802 17490 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 20 0 88338089 26735009792 11647 33554432000 4194304 4196468 140724191736864 140651128572400 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17822] ppid=17802 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17822/stat : 17822 (java) S 17802 17802 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88338089 26735009792 11647 33554432000 4194304 4196468 140724191736864 140651127519840 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17823] ppid=17802 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/17804/task/17823/stat : 17823 (java) S 17802 17802 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88338089 26735009792 11647 33554432000 4194304 4196468 140724191736864 140651126467120 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48044 KiB

[startup+0.700949 s]
/proc/loadavg: 7.84 8.04 7.38 5/199 17823
/proc/meminfo: memFree=21781764/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17802/stat : 17802 (xcsp3-exec) S 17799 17802 17490 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88338083 115843072 364 33554432000 4194304 5098028 140721772632624 140721772630728 140595201540732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38612992 140721772639286 140721772639488 140721772639488 140721772642250 0
/proc/17802/statm: 28282 364 306 221 0 87 0
[pid=17804] ppid=17802 vsize=26110532 memory=103088 CPUtime=2 cores=0-7
/proc/17804/stat : 17804 (java) S 17802 17802 17490 0 -1 1077944320 14429 0 0 0 195 5 0 0 20 0 20 0 88338083 26737184768 25772 33554432000 4194304 4196468 140724191736864 140724191719408 140652393889527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
/proc/17804/statm: 6527633 25772 3364 1 0 6488827 0
[pid=17804/tid=17805] ppid=17802 vsize=26110532 memory=279841547566768 CPUtime=0.66 cores=0-7
/proc/17804/task/17805/stat : 17805 (java) R 17802 17802 17490 0 -1 4202560 7156 0 0 0 64 2 0 0 20 0 20 0 88338083 26737184768 25772 33554432000 4194304 4196468 140724191736864 140652398109248 140652012369635 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17806] ppid=17802 vsize=26110532 memory=139920773784432 CPUtime=0 cores=0-7
/proc/17804/task/17806/stat : 17806 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338084 26737184768 25772 33554432000 4194304 4196468 140724191736864 140652346509968 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17807] ppid=17802 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17807/stat : 17807 (java) S 17802 17802 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88338084 26737184768 25772 33554432000 4194304 4196468 140724191736864 140652345457168 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17808] ppid=17802 vsize=26110532 memory=10612 CPUtime=0 cores=0-7
/proc/17804/task/17808/stat : 17808 (java) S 17802 17802 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88338084 26737184768 25772 33554432000 4194304 4196468 140724191736864 140652344404368 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0

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

[pid=17804/tid=17821] ppid=17802 vsize=26645092 memory=0 CPUtime=0.81 cores=0-7
/proc/17804/task/17821/stat : 17821 (java) R 17802 17802 17490 0 -1 1077944384 3804 0 0 0 80 1 0 0 20 0 28 0 88338089 27284574208 194861 33554432000 4194304 4196468 140724191736864 140651128572400 140652393900674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17822] ppid=17802 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17822/stat : 17822 (java) S 17802 17802 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88338089 27284574208 194861 33554432000 4194304 4196468 140724191736864 140651127519840 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17823] ppid=17802 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17823/stat : 17823 (java) R 17802 17802 17490 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 88338089 27284574208 194861 33554432000 4194304 4196468 140724191736864 140651126467120 140652393900674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17824] ppid=17802 vsize=26645092 memory=0 CPUtime=1.22 cores=0-7
/proc/17804/task/17824/stat : 17824 (java) R 17802 17802 17490 0 -1 4202560 61 0 0 0 122 0 0 0 20 0 28 0 88338386 27284574208 194861 33554432000 4194304 4196468 140724191736864 140650781591680 140652018735114 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17825] ppid=17802 vsize=26645092 memory=0 CPUtime=1.13 cores=0-7
/proc/17804/task/17825/stat : 17825 (java) R 17802 17802 17490 0 -1 4202560 49 0 0 0 113 0 0 0 20 0 28 0 88338386 27284574208 194861 33554432000 4194304 4196468 140724191736864 140650780543648 140652018669962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17826] ppid=17802 vsize=26645092 memory=9023629670928638048 CPUtime=1.08 cores=0-7
/proc/17804/task/17826/stat : 17826 (java) R 17802 17802 17490 0 -1 4202560 42 0 0 0 108 0 0 0 20 0 28 0 88338386 27284574208 194861 33554432000 4194304 4196468 140724191736864 140650779489480 140652018345704 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17827] ppid=17802 vsize=26645092 memory=6872598998417432672 CPUtime=1.27 cores=0-7
/proc/17804/task/17827/stat : 17827 (java) R 17802 17802 17490 0 -1 4202560 105 0 0 0 126 1 0 0 20 0 28 0 88338386 27284574208 194861 33554432000 4194304 4196468 140724191736864 140650778435352 140652018726546 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17828] ppid=17802 vsize=26645092 memory=6944656592455359580 CPUtime=1.24 cores=0-7
/proc/17804/task/17828/stat : 17828 (java) R 17802 17802 17490 0 -1 4202560 65 0 0 0 123 1 0 0 20 0 28 0 88338386 27284574208 194861 33554432000 4194304 4196468 140724191736864 140650777383304 140652008576456 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17829] ppid=17802 vsize=26645092 memory=-4866526899798303339 CPUtime=1.28 cores=0-7
/proc/17804/task/17829/stat : 17829 (java) R 17802 17802 17490 0 -1 4202560 43 0 0 0 127 1 0 0 20 0 28 0 88338386 27284574208 194861 33554432000 4194304 4196468 140724191736864 140650776332744 140652018484595 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17830] ppid=17802 vsize=26645092 memory=-7674914008656224160 CPUtime=1.31 cores=0-7
/proc/17804/task/17830/stat : 17830 (java) R 17802 17802 17490 0 -1 4202560 54 0 0 0 131 0 0 0 20 0 28 0 88338386 27284574208 194861 33554432000 4194304 4196468 140724191736864 140650775277640 140652018345223 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17831] ppid=17802 vsize=26645092 memory=6944656592455360604 CPUtime=1.28 cores=0-7
/proc/17804/task/17831/stat : 17831 (java) R 17802 17802 17490 0 -1 4202560 40 0 0 0 128 0 0 0 20 0 28 0 88338387 27284574208 194861 33554432000 4194304 4196468 140724191736864 140650774226712 140652018900197 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
Current children cumulated CPU time: 24.95 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 780900 KiB

[startup+5.21054 s]
/proc/loadavg: 7.61 7.99 7.36 12/207 17831
/proc/meminfo: memFree=21068780/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17802/stat : 17802 (xcsp3-exec) S 17799 17802 17490 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88338083 115843072 364 33554432000 4194304 5098028 140721772632624 140721772630728 140595201540732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38612992 140721772639286 140721772639488 140721772639488 140721772642250 0
/proc/17802/statm: 28282 364 306 221 0 87 0
[pid=17804] ppid=17802 vsize=26645092 memory=779852 CPUtime=28.19 cores=0-7
/proc/17804/stat : 17804 (java) S 17802 17802 17490 0 -1 1077944320 39208 0 0 0 2752 67 0 0 20 0 28 0 88338083 27284574208 194963 33554432000 4194304 4196468 140724191736864 140724191719408 140652393889527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
/proc/17804/statm: 6661273 194963 3438 1 0 6622467 0
[pid=17804/tid=17805] ppid=17802 vsize=26645092 memory=279841547286040 CPUtime=2.83 cores=0-7
/proc/17804/task/17805/stat : 17805 (java) S 17802 17802 17490 0 -1 1077944384 9524 0 0 0 275 8 0 0 20 0 28 0 88338083 27284574208 194963 33554432000 4194304 4196468 140724191736864 140652398130304 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17806] ppid=17802 vsize=26645092 memory=78644475071210 CPUtime=0.2 cores=0-7
/proc/17804/task/17806/stat : 17806 (java) S 17802 17802 17490 0 -1 1077944384 232 0 0 0 15 5 0 0 20 0 28 0 88338084 27284574208 194963 33554432000 4194304 4196468 140724191736864 140652346509968 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17807] ppid=17802 vsize=26645092 memory=78644475071210 CPUtime=0.21 cores=0-7
/proc/17804/task/17807/stat : 17807 (java) S 17802 17802 17490 0 -1 1077944384 581 0 0 0 16 5 0 0 20 0 28 0 88338084 27284574208 194963 33554432000 4194304 4196468 140724191736864 140652345457168 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17808] ppid=17802 vsize=26645092 memory=27372912292 CPUtime=0.21 cores=0-7
/proc/17804/task/17808/stat : 17808 (java) S 17802 17802 17490 0 -1 1077944384 173 0 0 0 16 5 0 0 20 0 28 0 88338084 27284574208 194963 33554432000 4194304 4196468 140724191736864 140652344404368 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17809] ppid=17802 vsize=26645092 memory=27372912292 CPUtime=0.19 cores=0-7
/proc/17804/task/17809/stat : 17809 (java) S 17802 17802 17490 0 -1 1077944384 231 0 0 0 14 5 0 0 20 0 28 0 88338084 27284574208 194963 33554432000 4194304 4196468 140724191736864 140652343351568 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17810] ppid=17802 vsize=26645092 memory=27372912292 CPUtime=0.16 cores=0-7
/proc/17804/task/17810/stat : 17810 (java) S 17802 17802 17490 0 -1 1077944384 173 0 0 0 12 4 0 0 20 0 28 0 88338084 27284574208 194963 33554432000 4194304 4196468 140724191736864 140652342299792 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17811] ppid=17802 vsize=26645092 memory=27372912292 CPUtime=0.19 cores=0-7
/proc/17804/task/17811/stat : 17811 (java) S 17802 17802 17490 0 -1 1077944384 212 0 0 0 14 5 0 0 20 0 28 0 88338084 27284574208 194963 33554432000 4194304 4196468 140724191736864 140652341246992 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17812] ppid=17802 vsize=26645092 memory=27372912292 CPUtime=0.2 cores=0-7
/proc/17804/task/17812/stat : 17812 (java) S 17802 17802 17490 0 -1 1077944384 424 0 0 0 15 5 0 0 20 0 28 0 88338084 27284574208 194963 33554432000 4194304 4196468 140724191736864 140652340194192 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17813] ppid=17802 vsize=26645092 memory=27372912292 CPUtime=0.21 cores=0-7
/proc/17804/task/17813/stat : 17813 (java) S 17802 17802 17490 0 -1 1077944384 157 0 0 0 16 5 0 0 20 0 28 0 88338084 27284574208 194963 33554432000 4194304 4196468 140724191736864 140652339141392 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17814] ppid=17802 vsize=26645092 memory=27372912293 CPUtime=0.01 cores=0-7
/proc/17804/task/17814/stat : 17814 (java) S 17802 17802 17490 0 -1 1077944384 761 0 0 0 1 0 0 0 20 0 28 0 88338085 27284574208 194963 33554432000 4194304 4196468 140724191736864 140651135940976 140652393900674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17815] ppid=17802 vsize=26645092 memory=27372912294 CPUtime=0 cores=0-7
/proc/17804/task/17815/stat : 17815 (java) S 17802 17802 17490 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 88338086 27284574208 194963 33554432000 4194304 4196468 140724191736864 140651134887008 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17816] ppid=17802 vsize=26645092 memory=27372912294 CPUtime=0 cores=0-7
/proc/17804/task/17816/stat : 17816 (java) S 17802 17802 17490 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 88338086 27284574208 194963 33554432000 4194304 4196468 140724191736864 140651133834112 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17817] ppid=17802 vsize=26645092 memory=139920774086625 CPUtime=0 cores=0-7
/proc/17804/task/17817/stat : 17817 (java) S 17802 17802 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88338089 27284574208 194963 33554432000 4194304 4196468 140724191736864 140651132782416 140652393908123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17818] ppid=17802 vsize=26645092 memory=0 CPUtime=3.35 cores=0-7
/proc/17804/task/17818/stat : 17818 (java) R 17802 17802 17490 0 -1 1077944384 7481 0 0 0 333 2 0 0 20 0 28 0 88338089 27284574208 194963 33554432000 4194304 4196468 140724191736864 140651131720720 140652393899733 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17819] ppid=17802 vsize=26645092 memory=0 CPUtime=3.52 cores=0-7
/proc/17804/task/17819/stat : 17819 (java) D 17802 17802 17490 0 -1 4202560 6201 0 0 0 351 1 0 0 20 0 28 0 88338089 27284574208 194963 33554432000 4194304 4196468 140724191736864 140651130670488 140652386606490 0 4 0 16800975 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17820] ppid=17802 vsize=26645092 memory=10 CPUtime=3.49 cores=0-7
/proc/17804/task/17820/stat : 17820 (java) R 17802 17802 17490 0 -1 4202560 7107 0 0 0 347 2 0 0 20 0 28 0 88338089 27284574208 194963 33554432000 4194304 4196468 140724191736864 140651129606352 140652377383694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17821] ppid=17802 vsize=26645092 memory=6005670398278002280 CPUtime=0.83 cores=0-7
/proc/17804/task/17821/stat : 17821 (java) S 17802 17802 17490 0 -1 1077944384 3819 0 0 0 82 1 0 0 20 0 28 0 88338089 27284574208 194963 33554432000 4194304 4196468 140724191736864 140651128572400 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17822] ppid=17802 vsize=26645092 memory=6947458182407021136 CPUtime=0 cores=0-7
/proc/17804/task/17822/stat : 17822 (java) S 17802 17802 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88338089 27284574208 194963 33554432000 4194304 4196468 140724191736864 140651127519840 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17823] ppid=17802 vsize=26645092 memory=-1 CPUtime=0 cores=0-7
/proc/17804/task/17823/stat : 17823 (java) S 17802 17802 17490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 88338089 27284574208 194963 33554432000 4194304 4196468 140724191736864 140651126467120 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17824] ppid=17802 vsize=26645092 memory=0 CPUtime=1.59 cores=0-7
/proc/17804/task/17824/stat : 17824 (java) R 17802 17802 17490 0 -1 4202560 63 0 0 0 159 0 0 0 20 0 28 0 88338386 27284574208 194963 33554432000 4194304 4196468 140724191736864 140650781591960 140652018324854 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17825] ppid=17802 vsize=26645092 memory=0 CPUtime=1.33 cores=0-7
/proc/17804/task/17825/stat : 17825 (java) R 17802 17802 17490 0 -1 4202560 54 0 0 0 133 0 0 0 20 0 28 0 88338386 27284574208 194963 33554432000 4194304 4196468 140724191736864 140650780540568 140652018736679 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17826] ppid=17802 vsize=26645092 memory=0 CPUtime=1.33 cores=0-7
/proc/17804/task/17826/stat : 17826 (java) R 17802 17802 17490 0 -1 4202560 46 0 0 0 133 0 0 0 20 0 28 0 88338386 27284574208 194963 33554432000 4194304 4196468 140724191736864 140650779488048 140652019573842 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17827] ppid=17802 vsize=26645092 memory=0 CPUtime=1.61 cores=0-7
/proc/17804/task/17827/stat : 17827 (java) R 17802 17802 17490 0 -1 4202560 384 0 0 0 160 1 0 0 20 0 28 0 88338386 27284574208 194963 33554432000 4194304 4196468 140724191736864 140650778436280 140652018725861 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17828] ppid=17802 vsize=26645092 memory=0 CPUtime=1.65 cores=0-7
/proc/17804/task/17828/stat : 17828 (java) R 17802 17802 17490 0 -1 4202560 68 0 0 0 164 1 0 0 20 0 28 0 88338386 27284574208 194963 33554432000 4194304 4196468 140724191736864 140650777382784 140652018900124 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17829] ppid=17802 vsize=26645092 memory=0 CPUtime=1.48 cores=0-7
/proc/17804/task/17829/stat : 17829 (java) R 17802 17802 17490 0 -1 4202560 44 0 0 0 147 1 0 0 20 0 28 0 88338386 27284574208 194963 33554432000 4194304 4196468 140724191736864 140650776332456 140652018485649 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17830] ppid=17802 vsize=26645092 memory=0 CPUtime=1.72 cores=0-7
/proc/17804/task/17830/stat : 17830 (java) R 17802 17802 17490 0 -1 4202560 58 0 0 0 172 0 0 0 20 0 28 0 88338386 27284574208 194963 33554432000 4194304 4196468 140724191736864 140650775278376 140652018325004 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17831] ppid=17802 vsize=26645092 memory=0 CPUtime=1.67 cores=0-7
/proc/17804/task/17831/stat : 17831 (java) R 17802 17802 17490 0 -1 4202560 49 0 0 0 167 0 0 0 20 0 28 0 88338387 27284574208 194963 33554432000 4194304 4196468 140724191736864 140650774224520 140652019363396 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
Current children cumulated CPU time: 28.19 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 781308 KiB

[startup+5.40155 s]
/proc/loadavg: 7.61 7.99 7.36 12/207 17831
/proc/meminfo: memFree=21068780/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17802/stat : 17802 (xcsp3-exec) S 17799 17802 17490 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88338083 115843072 364 33554432000 4194304 5098028 140721772632624 140721772630728 140595201540732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38612992 140721772639286 140721772639488 140721772639488 140721772642250 0
/proc/17802/statm: 28282 364 306 221 0 87 0
[pid=17804] ppid=17802 vsize=26645092 memory=782316 CPUtime=29.71 cores=0-7
/proc/17804/stat : 17804 (java) S 17802 17802 17490 0 -1 1077944320 39816 0 0 0 2903 68 0 0 20 0 28 0 88338083 27284574208 195579 33554432000 4194304 4196468 140724191736864 140724191719408 140652393889527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
/proc/17804/statm: 6661273 195579 3439 1 0 6622467 0
[pid=17804/tid=17805] ppid=17802 vsize=26645092 memory=288230376152216035 CPUtime=2.83 cores=0-7
/proc/17804/task/17805/stat : 17805 (java) S 17802 17802 17490 0 -1 1077944384 9524 0 0 0 275 8 0 0 20 0 28 0 88338083 27284574208 195579 33554432000 4194304 4196468 140724191736864 140652398130304 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17806] ppid=17802 vsize=26645092 memory=0 CPUtime=0.2 cores=0-7
/proc/17804/task/17806/stat : 17806 (java) S 17802 17802 17490 0 -1 1077944384 232 0 0 0 15 5 0 0 20 0 28 0 88338084 27284574208 195579 33554432000 4194304 4196468 140724191736864 140652346509968 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17807] ppid=17802 vsize=26645092 memory=0 CPUtime=0.21 cores=0-7
/proc/17804/task/17807/stat : 17807 (java) S 17802 17802 17490 0 -1 1077944384 581 0 0 0 16 5 0 0 20 0 28 0 88338084 27284574208 195579 33554432000 4194304 4196468 140724191736864 140652345457168 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17808] ppid=17802 vsize=26645092 memory=0 CPUtime=0.21 cores=0-7
/proc/17804/task/17808/stat : 17808 (java) S 17802 17802 17490 0 -1 1077944384 173 0 0 0 16 5 0 0 20 0 28 0 88338084 27284574208 195579 33554432000 4194304 4196468 140724191736864 140652344404368 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17809] ppid=17802 vsize=26645092 memory=0 CPUtime=0.19 cores=0-7
/proc/17804/task/17809/stat : 17809 (java) S 17802 17802 17490 0 -1 1077944384 231 0 0 0 14 5 0 0 20 0 28 0 88338084 27284574208 195579 33554432000 4194304 4196468 140724191736864 140652343351568 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17810] ppid=17802 vsize=26645092 memory=0 CPUtime=0.16 cores=0-7
/proc/17804/task/17810/stat : 17810 (java) S 17802 17802 17490 0 -1 1077944384 173 0 0 0 12 4 0 0 20 0 28 0 88338084 27284574208 195579 33554432000 4194304 4196468 140724191736864 140652342299792 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17811] ppid=17802 vsize=26645092 memory=0 CPUtime=0.19 cores=0-7
/proc/17804/task/17811/stat : 17811 (java) S 17802 17802 17490 0 -1 1077944384 212 0 0 0 14 5 0 0 20 0 28 0 88338084 27284574208 195579 33554432000 4194304 4196468 140724191736864 140652341246992 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17812] ppid=17802 vsize=26645092 memory=0 CPUtime=0.2 cores=0-7
/proc/17804/task/17812/stat : 17812 (java) S 17802 17802 17490 0 -1 1077944384 424 0 0 0 15 5 0 0 20 0 28 0 88338084 27284574208 195579 33554432000 4194304 4196468 140724191736864 140652340194192 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17813] ppid=17802 vsize=26645092 memory=0 CPUtime=0.21 cores=0-7
/proc/17804/task/17813/stat : 17813 (java) S 17802 17802 17490 0 -1 1077944384 157 0 0 0 16 5 0 0 20 0 28 0 88338084 27284574208 195579 33554432000 4194304 4196468 140724191736864 140652339141392 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17814] ppid=17802 vsize=26645092 memory=0 CPUtime=0.01 cores=0-7
/proc/17804/task/17814/stat : 17814 (java) S 17802 17802 17490 0 -1 1077944384 761 0 0 0 1 0 0 0 20 0 28 0 88338085 27284574208 195579 33554432000 4194304 4196468 140724191736864 140651135940976 140652393900674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17815] ppid=17802 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17815/stat : 17815 (java) S 17802 17802 17490 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 88338086 27284574208 195579 33554432000 4194304 4196468 140724191736864 140651134887008 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17816] ppid=17802 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17816/stat : 17816 (java) S 17802 17802 17490 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 88338086 27284574208 195579 33554432000 4194304 4196468 140724191736864 140651133834112 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17817] ppid=17802 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17817/stat : 17817 (java) S 17802 17802 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88338089 27284574208 195579 33554432000 4194304 4196468 140724191736864 140651132782416 140652393908123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17818] ppid=17802 vsize=26645092 memory=0 CPUtime=3.44 cores=0-7
/proc/17804/task/17818/stat : 17818 (java) R 17802 17802 17490 0 -1 4202560 7490 0 0 0 342 2 0 0 20 0 28 0 88338089 27284574208 195579 33554432000 4194304 4196468 140724191736864 140651131730800 140652375433300 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17819] ppid=17802 vsize=26645092 memory=0 CPUtime=3.57 cores=0-7
/proc/17804/task/17819/stat : 17819 (java) R 17802 17802 17490 0 -1 4202560 6223 0 0 0 356 1 0 0 20 0 28 0 88338089 27284574208 195579 33554432000 4194304 4196468 140724191736864 140651130664352 140652378286402 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17820] ppid=17802 vsize=26645092 memory=0 CPUtime=3.58 cores=0-7
/proc/17804/task/17820/stat : 17820 (java) R 17802 17802 17490 0 -1 4202560 7658 0 0 0 355 3 0 0 20 0 28 0 88338089 27284574208 195579 33554432000 4194304 4196468 140724191736864 140651129606192 140652374589824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17821] ppid=17802 vsize=26645092 memory=0 CPUtime=0.84 cores=0-7
/proc/17804/task/17821/stat : 17821 (java) S 17802 17802 17490 0 -1 1077944384 3831 0 0 0 83 1 0 0 20 0 28 0 88338089 27284574208 195579 33554432000 4194304 4196468 140724191736864 140651128572400 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17822] ppid=17802 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17822/stat : 17822 (java) S 17802 17802 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88338089 27284574208 195579 33554432000 4194304 4196468 140724191736864 140651127519840 140652393899733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17823] ppid=17802 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/17804/task/17823/stat : 17823 (java) S 17802 17802 17490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 88338089 27284574208 195579 33554432000 4194304 4196468 140724191736864 140651126467120 140652393900674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17824] ppid=17802 vsize=26645092 memory=0 CPUtime=1.73 cores=0-7
/proc/17804/task/17824/stat : 17824 (java) R 17802 17802 17490 0 -1 4202560 64 0 0 0 173 0 0 0 20 0 28 0 88338386 27284574208 195579 33554432000 4194304 4196468 140724191736864 140650781593120 140652017848813 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17825] ppid=17802 vsize=26645092 memory=0 CPUtime=1.51 cores=0-7
/proc/17804/task/17825/stat : 17825 (java) R 17802 17802 17490 0 -1 4202560 54 0 0 0 151 0 0 0 20 0 28 0 88338386 27284574208 195579 33554432000 4194304 4196468 140724191736864 140650780540440 140652017848046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17826] ppid=17802 vsize=26645092 memory=0 CPUtime=1.47 cores=0-7
/proc/17804/task/17826/stat : 17826 (java) R 17802 17802 17490 0 -1 4202560 46 0 0 0 147 0 0 0 20 0 28 0 88338386 27284574208 195579 33554432000 4194304 4196468 140724191736864 140650779491288 140652019737472 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17827] ppid=17802 vsize=26645092 memory=0 CPUtime=1.78 cores=0-7
/proc/17804/task/17827/stat : 17827 (java) R 17802 17802 17490 0 -1 4202560 385 0 0 0 177 1 0 0 20 0 28 0 88338386 27284574208 195579 33554432000 4194304 4196468 140724191736864 140650778436280 140652018726535 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17828] ppid=17802 vsize=26645092 memory=0 CPUtime=1.81 cores=0-7
/proc/17804/task/17828/stat : 17828 (java) R 17802 17802 17490 0 -1 4202560 73 0 0 0 180 1 0 0 20 0 28 0 88338386 27284574208 195579 33554432000 4194304 4196468 140724191736864 140650777383160 140652019752860 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17829] ppid=17802 vsize=26645092 memory=0 CPUtime=1.66 cores=0-7
/proc/17804/task/17829/stat : 17829 (java) R 17802 17802 17490 0 -1 4202560 48 0 0 0 165 1 0 0 20 0 28 0 88338386 27284574208 195579 33554432000 4194304 4196468 140724191736864 140650776329920 140652019096126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17830] ppid=17802 vsize=26645092 memory=0 CPUtime=1.85 cores=0-7
/proc/17804/task/17830/stat : 17830 (java) R 17802 17802 17490 0 -1 4202560 58 0 0 0 185 0 0 0 20 0 28 0 88338386 27284574208 195579 33554432000 4194304 4196468 140724191736864 140650775277296 140652018710284 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
[pid=17804/tid=17831] ppid=17802 vsize=26645092 memory=0 CPUtime=1.84 cores=0-7
/proc/17804/task/17831/stat : 17831 (java) R 17802 17802 17490 0 -1 4202560 52 0 0 0 184 0 0 0 20 0 28 0 88338387 27284574208 195579 33554432000 4194304 4196468 140724191736864 140650774222176 140652019790841 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36835328 140724191745153 140724191745325 140724191745325 140724191748047 0
Current children cumulated CPU time: 29.71 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 783772 KiB

Child status: 0
Real time (s): 5.47789
CPU time (s): 30.1016
CPU user time (s): 29.401
CPU system time (s): 0.700579
CPU usage (%): 549.511
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 784516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.401
system time used= 0.700579
maximum resident set size= 784920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40923
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3997
involuntary context switches= 683


# summary of solver processes directly reported to runsolver:
#   pid: 17802
#   total CPU time (s): 30.1016
#   total CPU user time (s): 29.401
#   total CPU system time (s): 0.700579

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064879 second user time and 0.101865 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml
MD5SUM	d4eaac7549f90ed3ded0e25770a164a4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	394
Best CPU time to get the best result obtained on this benchmark	30.1016
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3907
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":40},{"size":24,"count":14},{"size":36,"count":146},{"size":42,"count":306},{"size":44,"count":174}]
Minimum variable degree	4
Maximum variable degree	25
Distribution of variable degrees	[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":15},{"degree":7,"count":36},{"degree":8,"count":71},{"degree":9,"count":62},{"degree":10,"count":71},{"degree":11,"count":58},{"degree":12,"count":55},{"degree":13,"count":34},{"degree":14,"count":33},{"degree":15,"count":44},{"degree":16,"count":63},{"degree":17,"count":60},{"degree":18,"count":44},{"degree":19,"count":19},{"degree":20,"count":5},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3907}]
Number of extensional constraints	0
Number of intensional constraints	3907
Distribution of constraint types	[{"type":"intension","count":3907}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4297866

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
