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	SAT	71.0481	19.1091
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 (14888 MiB free)
  memory of node 1: 16384 MiB (15068 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398958-1568698225/watcher-4398958-1568698225 -o /tmp/evaluation-result-4398958-1568698225/solver-4398958-1568698225 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568694133-19867 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2128968857 HOME/instance-4398958-1568698225.xml 

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

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


[startup+0.100087 s]*
/proc/loadavg: 8.32 8.51 8.29 11/234 24515
/proc/meminfo: memFree=30642764/32770624 swapFree=66922428/67108860
[pid=24499] ppid=24496 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24499/stat : 24499 (xcsp3-exec) S 24496 24499 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445760361 115843072 362 33554432000 4194304 5098028 140725207487040 140725207485144 139692062335612 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9289728 140725207491450 140725207491693 140725207491693 140725207494602 0
/proc/24499/statm: 28282 362 304 221 0 87 0
[pid=24501] ppid=24499 vsize=15144776 memory=30324 CPUtime=0.12 cores=0,2,4,6
/proc/24501/stat : 24501 (java) S 24499 24499 19836 0 -1 1077944320 5466 0 0 0 11 1 0 0 20 0 15 0 445760362 15508250624 7581 33554432000 4194304 4196468 140732289622624 140732289605168 140558953238263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
/proc/24501/statm: 3786194 7581 3162 1 0 3748377 0
[pid=24501/tid=24502] ppid=24499 vsize=15144776 memory=7100839878744900722 CPUtime=0.08 cores=0,2,4,6
/proc/24501/task/24502/stat : 24502 (java) R 24499 24499 19836 0 -1 4202560 3395 0 0 0 8 0 0 0 20 0 15 0 445760362 15508250624 7581 33554432000 4194304 4196468 140732289622624 140558957477504 140558945475390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24503] ppid=24499 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24503/stat : 24503 (java) S 24499 24499 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445760363 15508250624 7581 33554432000 4194304 4196468 140732289622624 140558545791504 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24504] ppid=24499 vsize=15144776 memory=139737267082880 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24504/stat : 24504 (java) S 24499 24499 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445760363 15508250624 7581 33554432000 4194304 4196468 140732289622624 140558544738960 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24505] ppid=24499 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24505/stat : 24505 (java) S 24499 24499 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445760363 15508250624 7581 33554432000 4194304 4196468 140732289622624 140558543685904 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24506] ppid=24499 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24506/stat : 24506 (java) S 24499 24499 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445760363 15508250624 7581 33554432000 4194304 4196468 140732289622624 140558542633360 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24507] ppid=24499 vsize=15144776 memory=139737267082880 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24507/stat : 24507 (java) S 24499 24499 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445760364 15508250624 7581 33554432000 4194304 4196468 140732289622624 140558421797616 140558953249410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24508] ppid=24499 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24508/stat : 24508 (java) S 24499 24499 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445760365 15508250624 7581 33554432000 4194304 4196468 140732289622624 140558420743840 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24509] ppid=24499 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24509/stat : 24509 (java) S 24499 24499 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445760365 15508250624 7581 33554432000 4194304 4196468 140732289622624 140558419690736 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24510] ppid=24499 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24510/stat : 24510 (java) S 24499 24499 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445760367 15508250624 7581 33554432000 4194304 4196468 140732289622624 140558418639312 140558953256859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24511] ppid=24499 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24511/stat : 24511 (java) R 24499 24499 19836 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 15 0 445760367 15508250624 7581 33554432000 4194304 4196468 140732289622624 140558417586512 140558953248469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24512] ppid=24499 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24512/stat : 24512 (java) R 24499 24499 19836 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 445760367 15508250624 7581 33554432000 4194304 4196468 140732289622624 140558416525520 140558936662093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24513] ppid=24499 vsize=15144776 memory=139737267082880 CPUtime=0.02 cores=0,2,4,6
/proc/24501/task/24513/stat : 24513 (java) R 24499 24499 19836 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 15 0 445760367 15508250624 7581 33554432000 4194304 4196468 140732289622624 140558415480816 140558930462416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24514] ppid=24499 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24514/stat : 24514 (java) S 24499 24499 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445760368 15508250624 7581 33554432000 4194304 4196468 140732289622624 140558414428512 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24515] ppid=24499 vsize=15144776 memory=139737267082880 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24515/stat : 24515 (java) S 24499 24499 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445760368 15508250624 7581 33554432000 4194304 4196468 140732289622624 140558413376560 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31772 KiB

[startup+0.210778 s]*
/proc/loadavg: 8.32 8.51 8.29 9/234 24515
/proc/meminfo: memFree=30633944/32770624 swapFree=66922428/67108860
[pid=24499] ppid=24496 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24499/stat : 24499 (xcsp3-exec) S 24496 24499 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445760361 115843072 362 33554432000 4194304 5098028 140725207487040 140725207485144 139692062335612 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9289728 140725207491450 140725207491693 140725207491693 140725207494602 0
/proc/24499/statm: 28282 362 304 221 0 87 0
[pid=24501] ppid=24499 vsize=15144776 memory=40736 CPUtime=0.34 cores=0,2,4,6
/proc/24501/stat : 24501 (java) S 24499 24499 19836 0 -1 1077944320 8903 0 0 0 31 3 0 0 20 0 15 0 445760362 15508250624 10184 33554432000 4194304 4196468 140732289622624 140732289605168 140558953238263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
/proc/24501/statm: 3786194 10184 3298 1 0 3748377 0
[pid=24501/tid=24502] ppid=24499 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/24501/task/24502/stat : 24502 (java) R 24499 24499 19836 0 -1 4202560 6196 0 0 0 18 2 0 0 20 0 15 0 445760362 15508250624 10184 33554432000 4194304 4196468 140732289622624 140558957472208 140558953250198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24503] ppid=24499 vsize=15144776 memory=2810770 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24503/stat : 24503 (java) S 24499 24499 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445760363 15508250624 10184 33554432000 4194304 4196468 140732289622624 140558545791504 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24504] ppid=24499 vsize=15144776 memory=139737270386841 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24504/stat : 24504 (java) S 24499 24499 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445760363 15508250624 10184 33554432000 4194304 4196468 140732289622624 140558544738960 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24505] ppid=24499 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24505/stat : 24505 (java) S 24499 24499 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445760363 15508250624 10184 33554432000 4194304 4196468 140732289622624 140558543685904 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24506] ppid=24499 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24506/stat : 24506 (java) S 24499 24499 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445760363 15508250624 10184 33554432000 4194304 4196468 140732289622624 140558542633360 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24507] ppid=24499 vsize=15144776 memory=139737267082880 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24507/stat : 24507 (java) S 24499 24499 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445760364 15508250624 10184 33554432000 4194304 4196468 140732289622624 140558421797616 140558953249410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24508] ppid=24499 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24508/stat : 24508 (java) S 24499 24499 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445760365 15508250624 10184 33554432000 4194304 4196468 140732289622624 140558420743840 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24509] ppid=24499 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24509/stat : 24509 (java) S 24499 24499 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445760365 15508250624 10184 33554432000 4194304 4196468 140732289622624 140558419690736 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24510] ppid=24499 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24510/stat : 24510 (java) S 24499 24499 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445760367 15508250624 10184 33554432000 4194304 4196468 140732289622624 140558418639312 140558953256859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24511] ppid=24499 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24501/task/24511/stat : 24511 (java) S 24499 24499 19836 0 -1 1077944384 512 0 0 0 2 0 0 0 20 0 15 0 445760367 15508250624 10184 33554432000 4194304 4196468 140732289622624 140558417586416 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24512] ppid=24499 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24501/task/24512/stat : 24512 (java) S 24499 24499 19836 0 -1 1077944384 115 0 0 0 2 0 0 0 20 0 15 0 445760367 15508250624 10184 33554432000 4194304 4196468 140732289622624 140558416533872 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24513] ppid=24499 vsize=15144776 memory=139737267082880 CPUtime=0.08 cores=0,2,4,6
/proc/24501/task/24513/stat : 24513 (java) R 24499 24499 19836 0 -1 4202560 772 0 0 0 8 0 0 0 20 0 15 0 445760367 15508250624 10184 33554432000 4194304 4196468 140732289622624 140558415480816 140558931604578 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24514] ppid=24499 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24514/stat : 24514 (java) S 24499 24499 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445760368 15508250624 10184 33554432000 4194304 4196468 140732289622624 140558414428512 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24515] ppid=24499 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24515/stat : 24515 (java) S 24499 24499 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445760368 15508250624 10184 33554432000 4194304 4196468 140732289622624 140558413376560 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42184 KiB

[startup+0.310721 s]*
/proc/loadavg: 8.32 8.51 8.29 9/234 24515
/proc/meminfo: memFree=30630616/32770624 swapFree=66922428/67108860
[pid=24499] ppid=24496 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24499/stat : 24499 (xcsp3-exec) S 24496 24499 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445760361 115843072 362 33554432000 4194304 5098028 140725207487040 140725207485144 139692062335612 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9289728 140725207491450 140725207491693 140725207491693 140725207494602 0
/proc/24499/statm: 28282 362 304 221 0 87 0
[pid=24501] ppid=24499 vsize=15149032 memory=49668 CPUtime=0.52 cores=0,2,4,6
/proc/24501/stat : 24501 (java) S 24499 24499 19836 0 -1 1077944320 10240 0 0 0 47 5 0 0 20 0 15 0 445760362 15512608768 12417 33554432000 4194304 4196468 140732289622624 140732289605168 140558953238263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
/proc/24501/statm: 3787258 12417 3356 1 0 3748377 0
[pid=24501/tid=24502] ppid=24499 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/24501/task/24502/stat : 24502 (java) R 24499 24499 19836 0 -1 4202560 7282 0 0 0 27 3 0 0 20 0 15 0 445760362 15512608768 12417 33554432000 4194304 4196468 140732289622624 140558957469376 140558937318750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24503] ppid=24499 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24503/stat : 24503 (java) S 24499 24499 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445760363 15512608768 12417 33554432000 4194304 4196468 140732289622624 140558545791504 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24504] ppid=24499 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24504/stat : 24504 (java) S 24499 24499 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445760363 15512608768 12417 33554432000 4194304 4196468 140732289622624 140558544738960 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24505] ppid=24499 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24505/stat : 24505 (java) S 24499 24499 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445760363 15512608768 12417 33554432000 4194304 4196468 140732289622624 140558543685904 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24506] ppid=24499 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24506/stat : 24506 (java) S 24499 24499 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445760363 15512608768 12417 33554432000 4194304 4196468 140732289622624 140558542633360 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24507] ppid=24499 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24507/stat : 24507 (java) S 24499 24499 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445760364 15512608768 12417 33554432000 4194304 4196468 140732289622624 140558421797616 140558953249410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24508] ppid=24499 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24508/stat : 24508 (java) S 24499 24499 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445760365 15512608768 12417 33554432000 4194304 4196468 140732289622624 140558420743840 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24509] ppid=24499 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24509/stat : 24509 (java) S 24499 24499 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445760365 15512608768 12417 33554432000 4194304 4196468 140732289622624 140558419690736 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24510] ppid=24499 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24510/stat : 24510 (java) S 24499 24499 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445760367 15512608768 12417 33554432000 4194304 4196468 140732289622624 140558418639312 140558953256859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24511] ppid=24499 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=0,2,4,6
/proc/24501/task/24511/stat : 24511 (java) S 24499 24499 19836 0 -1 1077944384 570 0 0 0 3 0 0 0 20 0 15 0 445760367 15512608768 12417 33554432000 4194304 4196468 140732289622624 140558417586416 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24512] ppid=24499 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24501/task/24512/stat : 24512 (java) S 24499 24499 19836 0 -1 1077944384 136 0 0 0 3 0 0 0 20 0 15 0 445760367 15512608768 12417 33554432000 4194304 4196468 140732289622624 140558416533872 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24513] ppid=24499 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/24501/task/24513/stat : 24513 (java) S 24499 24499 19836 0 -1 1077944384 948 0 0 0 12 0 0 0 20 0 15 0 445760367 15512608768 12417 33554432000 4194304 4196468 140732289622624 140558415480816 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24514] ppid=24499 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24514/stat : 24514 (java) S 24499 24499 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445760368 15512608768 12417 33554432000 4194304 4196468 140732289622624 140558414428512 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24515] ppid=24499 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24515/stat : 24515 (java) S 24499 24499 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445760368 15512608768 12417 33554432000 4194304 4196468 140732289622624 140558413376560 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51116 KiB

[startup+0.70122 s]
/proc/loadavg: 8.32 8.51 8.29 11/234 24515
/proc/meminfo: memFree=30611768/32770624 swapFree=66922428/67108860
[pid=24499] ppid=24496 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24499/stat : 24499 (xcsp3-exec) S 24496 24499 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445760361 115843072 362 33554432000 4194304 5098028 140725207487040 140725207485144 139692062335612 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9289728 140725207491450 140725207491693 140725207491693 140725207494602 0
/proc/24499/statm: 28282 362 304 221 0 87 0
[pid=24501] ppid=24499 vsize=15151156 memory=86948 CPUtime=1.72 cores=0,2,4,6
/proc/24501/stat : 24501 (java) S 24499 24499 19836 0 -1 1077944320 14433 0 0 0 164 8 0 0 20 0 15 0 445760362 15514783744 21737 33554432000 4194304 4196468 140732289622624 140732289605168 140558953238263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
/proc/24501/statm: 3787789 21737 3444 1 0 3748889 0
[pid=24501/tid=24502] ppid=24499 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/24501/task/24502/stat : 24502 (java) R 24499 24499 19836 0 -1 4202560 8616 0 0 0 62 6 0 0 20 0 15 0 445760362 15514783744 21737 33554432000 4194304 4196468 140732289622624 140558957476304 140558595402346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24503] ppid=24499 vsize=15151156 memory=32740 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24503/stat : 24503 (java) S 24499 24499 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445760363 15514783744 21737 33554432000 4194304 4196468 140732289622624 140558545791504 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24504] ppid=24499 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24504/stat : 24504 (java) S 24499 24499 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445760363 15514783744 21737 33554432000 4194304 4196468 140732289622624 140558544738960 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24505] ppid=24499 vsize=15151156 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24505/stat : 24505 (java) S 24499 24499 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445760363 15514783744 21737 33554432000 4194304 4196468 140732289622624 140558543685904 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24506] ppid=24499 vsize=15151156 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24506/stat : 24506 (java) S 24499 24499 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445760363 15514783744 21737 33554432000 4194304 4196468 140732289622624 140558542633360 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24507] ppid=24499 vsize=15151156 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24507/stat : 24507 (java) S 24499 24499 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445760364 15514783744 21737 33554432000 4194304 4196468 140732289622624 140558421797616 140558953249410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24508] ppid=24499 vsize=15151156 memory=5972 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24508/stat : 24508 (java) S 24499 24499 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445760365 15514783744 21737 33554432000 4194304 4196468 140732289622624 140558420743840 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24509] ppid=24499 vsize=15151156 memory=588 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24509/stat : 24509 (java) S 24499 24499 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445760365 15514783744 21737 33554432000 4194304 4196468 140732289622624 140558419690736 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24510] ppid=24499 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24510/stat : 24510 (java) S 24499 24499 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445760367 15514783744 21737 33554432000 4194304 4196468 140732289622624 140558418639312 140558953256859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24511] ppid=24499 vsize=15151156 memory=1056 CPUtime=0.29 cores=0,2,4,6
/proc/24501/task/24511/stat : 24511 (java) R 24499 24499 19836 0 -1 4202560 1519 0 0 0 29 0 0 0 20 0 15 0 445760367 15514783744 21737 33554432000 4194304 4196468 140732289622624 140558417567680 140558934782859 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24512] ppid=24499 vsize=15151156 memory=11620 CPUtime=0.31 cores=0,2,4,6
/proc/24501/task/24512/stat : 24512 (java) S 24499 24499 19836 0 -1 1077944384 925 0 0 0 31 0 0 0 20 0 15 0 445760367 15514783744 21737 33554432000 4194304 4196468 140732289622624 140558416533872 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24513] ppid=24499 vsize=15151156 memory=3992 CPUtime=0.4 cores=0,2,4,6
/proc/24501/task/24513/stat : 24513 (java) S 24499 24499 19836 0 -1 1077944384 2065 0 0 0 40 0 0 0 20 0 15 0 445760367 15514783744 21737 33554432000 4194304 4196468 140732289622624 140558415480816 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24514] ppid=24499 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24514/stat : 24514 (java) S 24499 24499 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445760368 15514783744 21737 33554432000 4194304 4196468 140732289622624 140558414428512 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24515] ppid=24499 vsize=15151156 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24515/stat : 24515 (java) S 24499 24499 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445760368 15514783744 21737 33554432000 4194304 4196468 140732289622624 140558413376560 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 88396 KiB

[startup+1.50123 s]
/proc/loadavg: 8.32 8.51 8.29 8/234 24515
/proc/meminfo: memFree=30457312/32770624 swapFree=66922428/67108860
[pid=24499] ppid=24496 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24499/stat : 24499 (xcsp3-exec) S 24496 24499 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445760361 115843072 362 33554432000 4194304 5098028 140725207487040 140725207485144 139692062335612 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9289728 140725207491450 140725207491693 140725207491693 140725207494602 0
/proc/24499/statm: 28282 362 304 221 0 87 0

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

/proc/24501/task/24515/stat : 24515 (java) S 24499 24499 19836 0 -1 1077944384 952 0 0 0 0 0 0 0 20 0 19 0 445760368 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558413376560 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24516] ppid=24499 vsize=15417412 memory=1704 CPUtime=13.22 cores=0,2,4,6
/proc/24501/task/24516/stat : 24516 (java) R 24499 24499 19836 0 -1 4202560 1549 0 0 0 1322 0 0 0 20 0 19 0 445760744 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558404156384 140558598484400 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24517] ppid=24499 vsize=15417412 memory=1448 CPUtime=13.17 cores=0,2,4,6
/proc/24501/task/24517/stat : 24517 (java) R 24499 24499 19836 0 -1 4202560 1935 0 0 0 1314 3 0 0 20 0 19 0 445760744 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558403104696 140558598555989 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24518] ppid=24499 vsize=15417412 memory=1510892 CPUtime=12.95 cores=0,2,4,6
/proc/24501/task/24518/stat : 24518 (java) R 24499 24499 19836 0 -1 4202560 1823 0 0 0 1295 0 0 0 20 0 19 0 445760744 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558402052264 140558598484299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24519] ppid=24499 vsize=15417412 memory=800 CPUtime=13.12 cores=0,2,4,6
/proc/24501/task/24519/stat : 24519 (java) R 24499 24499 19836 0 -1 4202560 1302 0 0 0 1312 0 0 0 20 0 19 0 445760744 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558400999208 140558598484299 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
Current children cumulated CPU time: 65.7 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1512388 KiB

[startup+18.4012 s]
/proc/loadavg: 7.91 8.41 8.26 9/238 24602
/proc/meminfo: memFree=29188308/32770624 swapFree=66922428/67108860
[pid=24499] ppid=24496 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24499/stat : 24499 (xcsp3-exec) S 24496 24499 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445760361 115843072 362 33554432000 4194304 5098028 140725207487040 140725207485144 139692062335612 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9289728 140725207491450 140725207491693 140725207491693 140725207494602 0
/proc/24499/statm: 28282 362 304 221 0 87 0
[pid=24501] ppid=24499 vsize=15417412 memory=1510940 CPUtime=68.88 cores=0,2,4,6
/proc/24501/stat : 24501 (java) S 24499 24499 19836 0 -1 1077944320 44799 0 0 0 6760 128 0 0 20 0 19 0 445760362 15787429888 377735 33554432000 4194304 4196468 140732289622624 140732289605168 140558953238263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
/proc/24501/statm: 3854353 377735 3539 1 0 3815453 0
[pid=24501/tid=24502] ppid=24499 vsize=15417412 memory=4137282578176515228 CPUtime=2.3 cores=0,2,4,6
/proc/24501/task/24502/stat : 24502 (java) S 24499 24499 19836 0 -1 1077944384 10027 0 0 0 218 12 0 0 20 0 19 0 445760362 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558957479040 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24503] ppid=24499 vsize=15417412 memory=6944656592455097440 CPUtime=1.35 cores=0,2,4,6
/proc/24501/task/24503/stat : 24503 (java) S 24499 24499 19836 0 -1 1077944384 991 0 0 0 110 25 0 0 20 0 19 0 445760363 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558545791504 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24504] ppid=24499 vsize=15417412 memory=5972 CPUtime=1.39 cores=0,2,4,6
/proc/24501/task/24504/stat : 24504 (java) S 24499 24499 19836 0 -1 1077944384 1171 0 0 0 112 27 0 0 20 0 19 0 445760363 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558544738960 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24505] ppid=24499 vsize=15417412 memory=588 CPUtime=1.39 cores=0,2,4,6
/proc/24501/task/24505/stat : 24505 (java) S 24499 24499 19836 0 -1 1077944384 1133 0 0 0 113 26 0 0 20 0 19 0 445760363 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558543685904 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24506] ppid=24499 vsize=15417412 memory=780 CPUtime=1.38 cores=0,2,4,6
/proc/24501/task/24506/stat : 24506 (java) S 24499 24499 19836 0 -1 1077944384 1042 0 0 0 112 26 0 0 20 0 19 0 445760363 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558542633360 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24507] ppid=24499 vsize=15417412 memory=1056 CPUtime=0.04 cores=0,2,4,6
/proc/24501/task/24507/stat : 24507 (java) S 24499 24499 19836 0 -1 1077944384 1551 0 0 0 3 1 0 0 20 0 19 0 445760364 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558421797616 140558953249410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24508] ppid=24499 vsize=15417412 memory=11620 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24508/stat : 24508 (java) S 24499 24499 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445760365 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558420743904 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24509] ppid=24499 vsize=15417412 memory=3992 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24509/stat : 24509 (java) S 24499 24499 19836 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 445760365 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558419690752 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24510] ppid=24499 vsize=15417412 memory=1510940 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24510/stat : 24510 (java) S 24499 24499 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445760367 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558418639312 140558953256859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24511] ppid=24499 vsize=15417412 memory=14076 CPUtime=2.5 cores=0,2,4,6
/proc/24501/task/24511/stat : 24511 (java) S 24499 24499 19836 0 -1 1077944384 8416 0 0 0 248 2 0 0 20 0 19 0 445760367 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558417586416 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24512] ppid=24499 vsize=15417412 memory=1448 CPUtime=2.14 cores=0,2,4,6
/proc/24501/task/24512/stat : 24512 (java) S 24499 24499 19836 0 -1 1077944384 6286 0 0 0 213 1 0 0 20 0 19 0 445760367 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558416533872 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24513] ppid=24499 vsize=15417412 memory=1980 CPUtime=0.64 cores=0,2,4,6
/proc/24501/task/24513/stat : 24513 (java) S 24499 24499 19836 0 -1 1077944384 5247 0 0 0 64 0 0 0 20 0 19 0 445760367 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558415480816 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24514] ppid=24499 vsize=15417412 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24514/stat : 24514 (java) S 24499 24499 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445760368 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558414428512 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24515] ppid=24499 vsize=15417412 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24515/stat : 24515 (java) S 24499 24499 19836 0 -1 1077944384 952 0 0 0 0 0 0 0 20 0 19 0 445760368 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558413376560 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24516] ppid=24499 vsize=15417412 memory=111636 CPUtime=14 cores=0,2,4,6
/proc/24501/task/24516/stat : 24516 (java) R 24499 24499 19836 0 -1 4202560 1576 0 0 0 1400 0 0 0 20 0 19 0 445760744 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558404156384 140558598484329 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24517] ppid=24499 vsize=15417412 memory=800 CPUtime=13.97 cores=0,2,4,6
/proc/24501/task/24517/stat : 24517 (java) R 24499 24499 19836 0 -1 4202560 1937 0 0 0 1394 3 0 0 20 0 19 0 445760744 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558403104696 140558598556123 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24518] ppid=24499 vsize=15417412 memory=1808 CPUtime=13.75 cores=0,2,4,6
/proc/24501/task/24518/stat : 24518 (java) R 24499 24499 19836 0 -1 4202560 1866 0 0 0 1375 0 0 0 20 0 19 0 445760744 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558402052264 140558598556060 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24519] ppid=24499 vsize=15417412 memory=920 CPUtime=13.92 cores=0,2,4,6
/proc/24501/task/24519/stat : 24519 (java) R 24499 24499 19836 0 -1 4202560 1305 0 0 0 1392 0 0 0 20 0 19 0 445760744 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558400999208 140558598484305 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
Current children cumulated CPU time: 68.88 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1512388 KiB

[startup+18.8012 s]
/proc/loadavg: 7.91 8.41 8.26 9/238 24602
/proc/meminfo: memFree=29188308/32770624 swapFree=66922428/67108860
[pid=24499] ppid=24496 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24499/stat : 24499 (xcsp3-exec) S 24496 24499 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445760361 115843072 362 33554432000 4194304 5098028 140725207487040 140725207485144 139692062335612 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9289728 140725207491450 140725207491693 140725207491693 140725207494602 0
/proc/24499/statm: 28282 362 304 221 0 87 0
[pid=24501] ppid=24499 vsize=15417412 memory=1510940 CPUtime=70.45 cores=0,2,4,6
/proc/24501/stat : 24501 (java) S 24499 24499 19836 0 -1 1077944320 44961 0 0 0 6917 128 0 0 20 0 19 0 445760362 15787429888 377735 33554432000 4194304 4196468 140732289622624 140732289605168 140558953238263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
/proc/24501/statm: 3854353 377735 3539 1 0 3815453 0
[pid=24501/tid=24502] ppid=24499 vsize=15417412 memory=14136632290838955 CPUtime=2.3 cores=0,2,4,6
/proc/24501/task/24502/stat : 24502 (java) S 24499 24499 19836 0 -1 1077944384 10027 0 0 0 218 12 0 0 20 0 19 0 445760362 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558957479040 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24503] ppid=24499 vsize=15417412 memory=3616 CPUtime=1.35 cores=0,2,4,6
/proc/24501/task/24503/stat : 24503 (java) S 24499 24499 19836 0 -1 1077944384 991 0 0 0 110 25 0 0 20 0 19 0 445760363 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558545791504 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24504] ppid=24499 vsize=15417412 memory=32740 CPUtime=1.39 cores=0,2,4,6
/proc/24501/task/24504/stat : 24504 (java) S 24499 24499 19836 0 -1 1077944384 1171 0 0 0 112 27 0 0 20 0 19 0 445760363 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558544738960 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24505] ppid=24499 vsize=15417412 memory=988 CPUtime=1.39 cores=0,2,4,6
/proc/24501/task/24505/stat : 24505 (java) S 24499 24499 19836 0 -1 1077944384 1133 0 0 0 113 26 0 0 20 0 19 0 445760363 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558543685904 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24506] ppid=24499 vsize=15417412 memory=2012 CPUtime=1.38 cores=0,2,4,6
/proc/24501/task/24506/stat : 24506 (java) S 24499 24499 19836 0 -1 1077944384 1042 0 0 0 112 26 0 0 20 0 19 0 445760363 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558542633360 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24507] ppid=24499 vsize=15417412 memory=1324 CPUtime=0.04 cores=0,2,4,6
/proc/24501/task/24507/stat : 24507 (java) S 24499 24499 19836 0 -1 1077944384 1551 0 0 0 3 1 0 0 20 0 19 0 445760364 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558421797616 140558953249410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24508] ppid=24499 vsize=15417412 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24508/stat : 24508 (java) S 24499 24499 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445760365 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558420743904 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24509] ppid=24499 vsize=15417412 memory=5972 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24509/stat : 24509 (java) S 24499 24499 19836 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 445760365 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558419690752 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24510] ppid=24499 vsize=15417412 memory=588 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24510/stat : 24510 (java) S 24499 24499 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445760367 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558418639312 140558953256859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24511] ppid=24499 vsize=15417412 memory=780 CPUtime=2.5 cores=0,2,4,6
/proc/24501/task/24511/stat : 24511 (java) S 24499 24499 19836 0 -1 1077944384 8416 0 0 0 248 2 0 0 20 0 19 0 445760367 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558417586416 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24512] ppid=24499 vsize=15417412 memory=1056 CPUtime=2.14 cores=0,2,4,6
/proc/24501/task/24512/stat : 24512 (java) S 24499 24499 19836 0 -1 1077944384 6286 0 0 0 213 1 0 0 20 0 19 0 445760367 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558416533872 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24513] ppid=24499 vsize=15417412 memory=11620 CPUtime=0.64 cores=0,2,4,6
/proc/24501/task/24513/stat : 24513 (java) S 24499 24499 19836 0 -1 1077944384 5247 0 0 0 64 0 0 0 20 0 19 0 445760367 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558415480816 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24514] ppid=24499 vsize=15417412 memory=7667471181710381926 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24514/stat : 24514 (java) S 24499 24499 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445760368 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558414428512 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24515] ppid=24499 vsize=15417412 memory=-6514607895545152308 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24515/stat : 24515 (java) S 24499 24499 19836 0 -1 1077944384 952 0 0 0 0 0 0 0 20 0 19 0 445760368 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558413376560 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24516] ppid=24499 vsize=15417412 memory=7300728970739542608 CPUtime=14.4 cores=0,2,4,6
/proc/24501/task/24516/stat : 24516 (java) R 24499 24499 19836 0 -1 4202560 1578 0 0 0 1440 0 0 0 20 0 19 0 445760744 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558404156384 140558598484202 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24517] ppid=24499 vsize=15417412 memory=5936960864054384546 CPUtime=14.36 cores=0,2,4,6
/proc/24501/task/24517/stat : 24517 (java) R 24499 24499 19836 0 -1 4202560 1940 0 0 0 1433 3 0 0 20 0 19 0 445760744 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558403104696 140558598484305 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24518] ppid=24499 vsize=15417412 memory=251060 CPUtime=14.15 cores=0,2,4,6
/proc/24501/task/24518/stat : 24518 (java) R 24499 24499 19836 0 -1 4202560 2023 0 0 0 1415 0 0 0 20 0 19 0 445760744 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558402052264 140558598555969 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24519] ppid=24499 vsize=15417412 memory=79105 CPUtime=14.3 cores=0,2,4,6
/proc/24501/task/24519/stat : 24519 (java) R 24499 24499 19836 0 -1 4202560 1305 0 0 0 1430 0 0 0 20 0 19 0 445760744 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558400999208 140558598483973 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
Current children cumulated CPU time: 70.45 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1512388 KiB

[startup+19.0012 s]*
/proc/loadavg: 7.91 8.41 8.26 8/239 24609
/proc/meminfo: memFree=29193236/32770624 swapFree=66922428/67108860
[pid=24499] ppid=24496 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24499/stat : 24499 (xcsp3-exec) S 24496 24499 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445760361 115843072 362 33554432000 4194304 5098028 140725207487040 140725207485144 139692062335612 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9289728 140725207491450 140725207491693 140725207491693 140725207494602 0
/proc/24499/statm: 28282 362 304 221 0 87 0
[pid=24501] ppid=24499 vsize=15417412 memory=1510940 CPUtime=70.94 cores=0,2,4,6
/proc/24501/stat : 24501 (java) S 24499 24499 19836 0 -1 1077944320 45011 0 0 0 6966 128 0 0 20 0 19 0 445760362 15787429888 377735 33554432000 4194304 4196468 140732289622624 140732289605168 140558953238263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
/proc/24501/statm: 3854353 377735 3539 1 0 3815453 0
[pid=24501/tid=24502] ppid=24499 vsize=15417412 memory=7883960649037381690 CPUtime=2.3 cores=0,2,4,6
/proc/24501/task/24502/stat : 24502 (java) S 24499 24499 19836 0 -1 1077944384 10027 0 0 0 218 12 0 0 20 0 19 0 445760362 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558957479040 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24503] ppid=24499 vsize=15417412 memory=2810770 CPUtime=1.35 cores=0,2,4,6
/proc/24501/task/24503/stat : 24503 (java) S 24499 24499 19836 0 -1 1077944384 991 0 0 0 110 25 0 0 20 0 19 0 445760363 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558545791504 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24504] ppid=24499 vsize=15417412 memory=139737270386841 CPUtime=1.39 cores=0,2,4,6
/proc/24501/task/24504/stat : 24504 (java) S 24499 24499 19836 0 -1 1077944384 1171 0 0 0 112 27 0 0 20 0 19 0 445760363 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558544738960 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24505] ppid=24499 vsize=15417412 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/24501/task/24505/stat : 24505 (java) S 24499 24499 19836 0 -1 1077944384 1133 0 0 0 113 26 0 0 20 0 19 0 445760363 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558543685904 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24506] ppid=24499 vsize=15417412 memory=-1 CPUtime=1.38 cores=0,2,4,6
/proc/24501/task/24506/stat : 24506 (java) S 24499 24499 19836 0 -1 1077944384 1042 0 0 0 112 26 0 0 20 0 19 0 445760363 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558542633360 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24507] ppid=24499 vsize=15417412 memory=139737267082880 CPUtime=0.04 cores=0,2,4,6
/proc/24501/task/24507/stat : 24507 (java) S 24499 24499 19836 0 -1 1077944384 1551 0 0 0 3 1 0 0 20 0 19 0 445760364 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558421797616 140558953249410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24508] ppid=24499 vsize=15417412 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24508/stat : 24508 (java) S 24499 24499 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445760365 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558420743904 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24509] ppid=24499 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24509/stat : 24509 (java) S 24499 24499 19836 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 445760365 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558419690752 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24510] ppid=24499 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24510/stat : 24510 (java) S 24499 24499 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445760367 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558418639312 140558953256859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24511] ppid=24499 vsize=15417412 memory=0 CPUtime=2.5 cores=0,2,4,6
/proc/24501/task/24511/stat : 24511 (java) S 24499 24499 19836 0 -1 1077944384 8417 0 0 0 248 2 0 0 20 0 19 0 445760367 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558417586416 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24512] ppid=24499 vsize=15417412 memory=3762811503069575471 CPUtime=2.14 cores=0,2,4,6
/proc/24501/task/24512/stat : 24512 (java) S 24499 24499 19836 0 -1 1077944384 6286 0 0 0 213 1 0 0 20 0 19 0 445760367 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558416533872 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24513] ppid=24499 vsize=15417412 memory=139737267082880 CPUtime=0.64 cores=0,2,4,6
/proc/24501/task/24513/stat : 24513 (java) S 24499 24499 19836 0 -1 1077944384 5247 0 0 0 64 0 0 0 20 0 19 0 445760367 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558415480816 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24514] ppid=24499 vsize=15417412 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24514/stat : 24514 (java) S 24499 24499 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445760368 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558414428512 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24515] ppid=24499 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24501/task/24515/stat : 24515 (java) S 24499 24499 19836 0 -1 1077944384 952 0 0 0 0 0 0 0 20 0 19 0 445760368 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558413376560 140558953249410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24516] ppid=24499 vsize=15417412 memory=0 CPUtime=14.6 cores=0,2,4,6
/proc/24501/task/24516/stat : 24516 (java) R 24499 24499 19836 0 -1 4202560 1578 0 0 0 1460 0 0 0 20 0 19 0 445760744 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558404156384 140558598555389 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24517] ppid=24499 vsize=15417412 memory=0 CPUtime=14.46 cores=0,2,4,6
/proc/24501/task/24517/stat : 24517 (java) S 24499 24499 19836 0 -1 1077944384 1943 0 0 0 1443 3 0 0 20 0 19 0 445760744 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558403110096 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24518] ppid=24499 vsize=15417412 memory=0 CPUtime=14.24 cores=0,2,4,6
/proc/24501/task/24518/stat : 24518 (java) S 24499 24499 19836 0 -1 1077944384 2067 0 0 0 1424 0 0 0 20 0 19 0 445760744 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558402057552 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
[pid=24501/tid=24519] ppid=24499 vsize=15417412 memory=0 CPUtime=14.4 cores=0,2,4,6
/proc/24501/task/24519/stat : 24519 (java) S 24499 24499 19836 0 -1 1077944384 1307 0 0 0 1440 0 0 0 20 0 19 0 445760744 15787429888 377735 33554432000 4194304 4196468 140732289622624 140558401004496 140558953248469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6643712 140732289631215 140732289631386 140732289631386 140732289634255 0
Current children cumulated CPU time: 70.94 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1512388 KiB

Child status: 0
Real time (s): 19.1091
CPU time (s): 71.0481
CPU user time (s): 69.7471
CPU system time (s): 1.30098
CPU usage (%): 371.803
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1513816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.7471
system time used= 1.30098
maximum resident set size= 1512368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46047
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3181
involuntary context switches= 2914


# summary of solver processes directly reported to runsolver:
#   pid: 24499
#   total CPU time (s): 71.0481
#   total CPU user time (s): 69.7471
#   total CPU system time (s): 1.30098

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.156418 second user time and 0.245009 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 4398958

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
