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-20 parallel	SAT	164.983	24.2943
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: 16375 MiB (12359 MiB free)
  memory of node 1: 16384 MiB (12377 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404358-1569002086/watcher-4404358-1569002086 -o /tmp/evaluation-result-4404358-1569002086/solver-4404358-1569002086 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324510577-22426 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1598682404 HOME/instance-4404358-1569002086.xml 

running on 8 cores: 0-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
Current StackSize limit: 8192 KiB

solver pid=24183, runsolver pid=24180

[startup+0.10011 s]*
/proc/loadavg: 7.78 8.31 8.35 3/211 24204
/proc/meminfo: memFree=25314408/32770688 swapFree=66927236/67108860
[pid=24183] ppid=24180 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24183/stat : 24183 (xcsp3-exec) S 24180 24183 22399 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476214839 115843072 364 33554432000 4194304 5098028 140732715103456 140732715101560 139841585599100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15826944 140732715111285 140732715111529 140732715111529 140732715114442 0
/proc/24183/statm: 28282 364 305 221 0 87 0
[pid=24185] ppid=24183 vsize=28227396 memory=29020 CPUtime=0.12 cores=0-7
/proc/24185/stat : 24185 (java) S 24183 24183 22399 0 -1 1077944320 5713 0 0 0 10 2 0 0 20 0 20 0 476214839 28904853504 7255 33554432000 4194304 4196468 140732938203296 140732938185840 140431258799863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
/proc/24185/statm: 7056849 7255 3123 1 0 7019032 0
[pid=24185/tid=24186] ppid=24183 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/24185/task/24186/stat : 24186 (java) R 24183 24183 22399 0 -1 4202560 3621 0 0 0 8 1 0 0 20 0 20 0 476214839 28904853504 7255 33554432000 4194304 4196468 140732938203296 140431263031544 140431258821789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24187] ppid=24183 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24185/task/24187/stat : 24187 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214840 28904853504 7255 33554432000 4194304 4196468 140732938203296 140431211420688 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24188] ppid=24183 vsize=28227396 memory=140085995689600 CPUtime=0 cores=0-7
/proc/24185/task/24188/stat : 24188 (java) S 24183 24183 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476214840 28904853504 7255 33554432000 4194304 4196468 140732938203296 140431210368144 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24189] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24189/stat : 24189 (java) S 24183 24183 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476214840 28904853504 7255 33554432000 4194304 4196468 140732938203296 140431209315088 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24190] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24190/stat : 24190 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214840 28904853504 7255 33554432000 4194304 4196468 140732938203296 140431208262544 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24191] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24191/stat : 24191 (java) S 24183 24183 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476214840 28904853504 7255 33554432000 4194304 4196468 140732938203296 140431207209488 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24192] ppid=24183 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24185/task/24192/stat : 24192 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214840 28904853504 7255 33554432000 4194304 4196468 140732938203296 140431206156944 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24193] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24193/stat : 24193 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214840 28904853504 7255 33554432000 4194304 4196468 140732938203296 140431205103888 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24194] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24194/stat : 24194 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214840 28904853504 7255 33554432000 4194304 4196468 140732938203296 140430802803088 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24195] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24195/stat : 24195 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214842 28904853504 7255 33554432000 4194304 4196468 140732938203296 140429521562352 140431258811010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24196] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24196/stat : 24196 (java) S 24183 24183 22399 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476214842 28904853504 7255 33554432000 4194304 4196468 140732938203296 140429520508576 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24197] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24197/stat : 24197 (java) S 24183 24183 22399 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476214843 28904853504 7255 33554432000 4194304 4196468 140732938203296 140429519455472 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24198] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24198/stat : 24198 (java) S 24183 24183 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476214845 28904853504 7255 33554432000 4194304 4196468 140732938203296 140429518404048 140431258818459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24199] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24199/stat : 24199 (java) S 24183 24183 22399 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 476214845 28904853504 7255 33554432000 4194304 4196468 140732938203296 140429517351152 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24200] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24200/stat : 24200 (java) S 24183 24183 22399 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 476214845 28904853504 7255 33554432000 4194304 4196468 140732938203296 140429516298608 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24201] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24201/stat : 24201 (java) R 24183 24183 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476214845 28904853504 7255 33554432000 4194304 4196468 140732938203296 140429515245552 140431258811010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24202] ppid=24183 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/24185/task/24202/stat : 24202 (java) S 24183 24183 22399 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 20 0 476214846 28904853504 7255 33554432000 4194304 4196468 140732938203296 140429514193008 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24203] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24203/stat : 24203 (java) S 24183 24183 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476214846 28904853504 7255 33554432000 4194304 4196468 140732938203296 140429513141216 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24204] ppid=24183 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24185/task/24204/stat : 24204 (java) S 24183 24183 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476214846 28904853504 7255 33554432000 4194304 4196468 140732938203296 140429512088752 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30476 KiB

[startup+0.211359 s]*
/proc/loadavg: 7.78 8.31 8.35 2/211 24204
/proc/meminfo: memFree=25302168/32770688 swapFree=66927236/67108860
[pid=24183] ppid=24180 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24183/stat : 24183 (xcsp3-exec) S 24180 24183 22399 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476214839 115843072 364 33554432000 4194304 5098028 140732715103456 140732715101560 139841585599100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15826944 140732715111285 140732715111529 140732715111529 140732715114442 0
/proc/24183/statm: 28282 364 305 221 0 87 0
[pid=24185] ppid=24183 vsize=28227396 memory=39564 CPUtime=0.33 cores=0-7
/proc/24185/stat : 24185 (java) S 24183 24183 22399 0 -1 1077944320 9279 0 0 0 29 4 0 0 20 0 20 0 476214839 28904853504 9891 33554432000 4194304 4196468 140732938203296 140732938185840 140431258799863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
/proc/24185/statm: 7056849 9891 3246 1 0 7019032 0
[pid=24185/tid=24186] ppid=24183 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/24185/task/24186/stat : 24186 (java) R 24183 24183 22399 0 -1 4202560 6549 0 0 0 17 3 0 0 20 0 20 0 476214839 28904853504 9891 33554432000 4194304 4196468 140732938203296 140431263019200 140431258821789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24187] ppid=24183 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/24185/task/24187/stat : 24187 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214840 28904853504 9891 33554432000 4194304 4196468 140732938203296 140431211420688 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24188] ppid=24183 vsize=28227396 memory=4123244030262171296 CPUtime=0 cores=0-7
/proc/24185/task/24188/stat : 24188 (java) S 24183 24183 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476214840 28904853504 9891 33554432000 4194304 4196468 140732938203296 140431210368144 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24189] ppid=24183 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24185/task/24189/stat : 24189 (java) S 24183 24183 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476214840 28904853504 9891 33554432000 4194304 4196468 140732938203296 140431209315088 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24190] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24190/stat : 24190 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214840 28904853504 9891 33554432000 4194304 4196468 140732938203296 140431208262544 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24191] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24191/stat : 24191 (java) S 24183 24183 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476214840 28904853504 9891 33554432000 4194304 4196468 140732938203296 140431207209488 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24192] ppid=24183 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24185/task/24192/stat : 24192 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214840 28904853504 9891 33554432000 4194304 4196468 140732938203296 140431206156944 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24193] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24193/stat : 24193 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214840 28904853504 9891 33554432000 4194304 4196468 140732938203296 140431205103888 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24194] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24194/stat : 24194 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214840 28904853504 9891 33554432000 4194304 4196468 140732938203296 140430802803088 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24195] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24195/stat : 24195 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214842 28904853504 9891 33554432000 4194304 4196468 140732938203296 140429521562352 140431258811010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24196] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24196/stat : 24196 (java) S 24183 24183 22399 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476214842 28904853504 9891 33554432000 4194304 4196468 140732938203296 140429520508576 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24197] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24197/stat : 24197 (java) S 24183 24183 22399 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476214843 28904853504 9891 33554432000 4194304 4196468 140732938203296 140429519455472 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24198] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24198/stat : 24198 (java) S 24183 24183 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476214845 28904853504 9891 33554432000 4194304 4196468 140732938203296 140429518404048 140431258818459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24199] ppid=24183 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/24185/task/24199/stat : 24199 (java) S 24183 24183 22399 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 20 0 476214845 28904853504 9891 33554432000 4194304 4196468 140732938203296 140429517351152 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24200] ppid=24183 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/24185/task/24200/stat : 24200 (java) S 24183 24183 22399 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 20 0 476214845 28904853504 9891 33554432000 4194304 4196468 140732938203296 140429516298608 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24201] ppid=24183 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/24185/task/24201/stat : 24201 (java) S 24183 24183 22399 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 20 0 476214845 28904853504 9891 33554432000 4194304 4196468 140732938203296 140429515245552 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24202] ppid=24183 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/24185/task/24202/stat : 24202 (java) S 24183 24183 22399 0 -1 1077944384 777 0 0 0 7 0 0 0 20 0 20 0 476214846 28904853504 9891 33554432000 4194304 4196468 140732938203296 140429514193008 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24203] ppid=24183 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24203/stat : 24203 (java) S 24183 24183 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476214846 28904853504 9891 33554432000 4194304 4196468 140732938203296 140429513141216 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24204] ppid=24183 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24185/task/24204/stat : 24204 (java) S 24183 24183 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476214846 28904853504 9891 33554432000 4194304 4196468 140732938203296 140429512088752 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41020 KiB

[startup+0.31071 s]*
/proc/loadavg: 7.78 8.31 8.35 4/211 24204
/proc/meminfo: memFree=25297476/32770688 swapFree=66927236/67108860
[pid=24183] ppid=24180 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24183/stat : 24183 (xcsp3-exec) S 24180 24183 22399 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476214839 115843072 364 33554432000 4194304 5098028 140732715103456 140732715101560 139841585599100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15826944 140732715111285 140732715111529 140732715111529 140732715114442 0
/proc/24183/statm: 28282 364 305 221 0 87 0
[pid=24185] ppid=24183 vsize=28231652 memory=46376 CPUtime=0.51 cores=0-7
/proc/24185/stat : 24185 (java) S 24183 24183 22399 0 -1 1077944320 10486 0 0 0 46 5 0 0 20 0 20 0 476214839 28909211648 11594 33554432000 4194304 4196468 140732938203296 140732938185840 140431258799863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
/proc/24185/statm: 7057913 11594 3311 1 0 7019032 0
[pid=24185/tid=24186] ppid=24183 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/24185/task/24186/stat : 24186 (java) R 24183 24183 22399 0 -1 4202560 7537 0 0 0 26 4 0 0 20 0 20 0 476214839 28909211648 11594 33554432000 4194304 4196468 140732938203296 140431263030272 140431242880350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24187] ppid=24183 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24187/stat : 24187 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214840 28909211648 11594 33554432000 4194304 4196468 140732938203296 140431211420688 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24188] ppid=24183 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24188/stat : 24188 (java) S 24183 24183 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476214840 28909211648 11594 33554432000 4194304 4196468 140732938203296 140431210368144 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24189] ppid=24183 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24189/stat : 24189 (java) S 24183 24183 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476214840 28909211648 11594 33554432000 4194304 4196468 140732938203296 140431209315088 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24190] ppid=24183 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24190/stat : 24190 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214840 28909211648 11594 33554432000 4194304 4196468 140732938203296 140431208262544 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24191] ppid=24183 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24191/stat : 24191 (java) S 24183 24183 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476214840 28909211648 11594 33554432000 4194304 4196468 140732938203296 140431207209488 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24192] ppid=24183 vsize=28231652 memory=140085861378735 CPUtime=0 cores=0-7
/proc/24185/task/24192/stat : 24192 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214840 28909211648 11594 33554432000 4194304 4196468 140732938203296 140431206156944 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24193] ppid=24183 vsize=28231652 memory=140085861381040 CPUtime=0 cores=0-7
/proc/24185/task/24193/stat : 24193 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214840 28909211648 11594 33554432000 4194304 4196468 140732938203296 140431205103888 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24194] ppid=24183 vsize=28231652 memory=140085861383344 CPUtime=0 cores=0-7
/proc/24185/task/24194/stat : 24194 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214840 28909211648 11594 33554432000 4194304 4196468 140732938203296 140430802803088 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24195] ppid=24183 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24195/stat : 24195 (java) S 24183 24183 22399 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476214842 28909211648 11594 33554432000 4194304 4196468 140732938203296 140429521562352 140431258811010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24196] ppid=24183 vsize=28231652 memory=280171722780560 CPUtime=0 cores=0-7
/proc/24185/task/24196/stat : 24196 (java) S 24183 24183 22399 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476214842 28909211648 11594 33554432000 4194304 4196468 140732938203296 140429520508576 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24197] ppid=24183 vsize=28231652 memory=280171722778256 CPUtime=0 cores=0-7
/proc/24185/task/24197/stat : 24197 (java) S 24183 24183 22399 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476214843 28909211648 11594 33554432000 4194304 4196468 140732938203296 140429519455472 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24198] ppid=24183 vsize=28231652 memory=280171722785168 CPUtime=0 cores=0-7
/proc/24185/task/24198/stat : 24198 (java) S 24183 24183 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476214845 28909211648 11594 33554432000 4194304 4196468 140732938203296 140429518404048 140431258818459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24199] ppid=24183 vsize=28231652 memory=280171722726448 CPUtime=0.01 cores=0-7
/proc/24185/task/24199/stat : 24199 (java) S 24183 24183 22399 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 20 0 476214845 28909211648 11594 33554432000 4194304 4196468 140732938203296 140429517351152 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24200] ppid=24183 vsize=28231652 memory=280171722798992 CPUtime=0.03 cores=0-7
/proc/24185/task/24200/stat : 24200 (java) S 24183 24183 22399 0 -1 1077944384 258 0 0 0 3 0 0 0 20 0 20 0 476214845 28909211648 11594 33554432000 4194304 4196468 140732938203296 140429516298608 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24201] ppid=24183 vsize=28231652 memory=280171722805904 CPUtime=0.02 cores=0-7
/proc/24185/task/24201/stat : 24201 (java) S 24183 24183 22399 0 -1 1077944384 100 0 0 0 2 0 0 0 20 0 20 0 476214845 28909211648 11594 33554432000 4194304 4196468 140732938203296 140429515245552 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24202] ppid=24183 vsize=28231652 memory=280171722803600 CPUtime=0.12 cores=0-7
/proc/24185/task/24202/stat : 24202 (java) S 24183 24183 22399 0 -1 1077944384 933 0 0 0 12 0 0 0 20 0 20 0 476214846 28909211648 11594 33554432000 4194304 4196468 140732938203296 140429514193008 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24203] ppid=24183 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24203/stat : 24203 (java) S 24183 24183 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476214846 28909211648 11594 33554432000 4194304 4196468 140732938203296 140429513141216 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24204] ppid=24183 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/24185/task/24204/stat : 24204 (java) S 24183 24183 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476214846 28909211648 11594 33554432000 4194304 4196468 140732938203296 140429512088752 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 47832 KiB

[startup+0.700984 s]
/proc/loadavg: 7.78 8.31 8.35 5/211 24204
/proc/meminfo: memFree=25279452/32770688 swapFree=66927236/67108860
[pid=24183] ppid=24180 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24183/stat : 24183 (xcsp3-exec) S 24180 24183 22399 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476214839 115843072 364 33554432000 4194304 5098028 140732715103456 140732715101560 139841585599100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15826944 140732715111285 140732715111529 140732715111529 140732715114442 0
/proc/24183/statm: 28282 364 305 221 0 87 0
[pid=24185] ppid=24183 vsize=28233776 memory=89576 CPUtime=1.77 cores=0-7
/proc/24185/stat : 24185 (java) S 24183 24183 22399 0 -1 1077944320 16069 0 0 0 170 7 0 0 20 0 20 0 476214839 28911386624 22394 33554432000 4194304 4196468 140732938203296 140732938185840 140431258799863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
/proc/24185/statm: 7058444 22394 3438 1 0 7019544 0
[pid=24185/tid=24186] ppid=24183 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/24185/task/24186/stat : 24186 (java) R 24183 24183 22399 0 -1 4202560 9045 0 0 0 62 5 0 0 20 0 20 0 476214839 28911386624 22394 33554432000 4194304 4196468 140732938203296 140431263038304 140430884855437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24187] ppid=24183 vsize=28233776 memory=140085861589872 CPUtime=0 cores=0-7
/proc/24185/task/24187/stat : 24187 (java) S 24183 24183 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476214840 28911386624 22394 33554432000 4194304 4196468 140732938203296 140431211420688 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24188] ppid=24183 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24188/stat : 24188 (java) S 24183 24183 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476214840 28911386624 22394 33554432000 4194304 4196468 140732938203296 140431210368144 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24189] ppid=24183 vsize=28233776 memory=1176 CPUtime=0 cores=0-7
/proc/24185/task/24189/stat : 24189 (java) S 24183 24183 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476214840 28911386624 22394 33554432000 4194304 4196468 140732938203296 140431209315088 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0

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

[pid=24185/tid=24202] ppid=24183 vsize=28766288 memory=1724 CPUtime=0.75 cores=0-7
/proc/24185/task/24202/stat : 24202 (java) S 24183 24183 22399 0 -1 1077944384 7215 0 0 0 74 1 0 0 20 0 28 0 476214846 29456678912 704465 33554432000 4194304 4196468 140732938203296 140429514193008 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24203] ppid=24183 vsize=28766288 memory=1964 CPUtime=0 cores=0-7
/proc/24185/task/24203/stat : 24203 (java) S 24183 24183 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476214846 29456678912 704465 33554432000 4194304 4196468 140732938203296 140429513141216 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24204] ppid=24183 vsize=28766288 memory=2776 CPUtime=0 cores=0-7
/proc/24185/task/24204/stat : 24204 (java) S 24183 24183 22399 0 -1 1077944384 643 0 0 0 0 0 0 0 20 0 28 0 476214846 29456678912 704465 33554432000 4194304 4196468 140732938203296 140429512088752 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24205] ppid=24183 vsize=28766288 memory=924 CPUtime=15.49 cores=0-7
/proc/24185/task/24205/stat : 24205 (java) R 24183 24183 22399 0 -1 4202560 1680 0 0 0 1545 4 0 0 20 0 28 0 476215558 29456678912 704465 33554432000 4194304 4196468 140732938203296 140429502870456 140430893325055 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24206] ppid=24183 vsize=28766288 memory=1444 CPUtime=15.63 cores=0-7
/proc/24185/task/24206/stat : 24206 (java) R 24183 24183 22399 0 -1 4202560 2177 0 0 0 1560 3 0 0 20 0 28 0 476215558 29456678912 704465 33554432000 4194304 4196468 140732938203296 140429501816992 140430893325046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24207] ppid=24183 vsize=28766288 memory=1764 CPUtime=15.71 cores=0-7
/proc/24185/task/24207/stat : 24207 (java) R 24183 24183 22399 0 -1 4202560 2815 0 0 0 1562 9 0 0 20 0 28 0 476215558 29456678912 704465 33554432000 4194304 4196468 140732938203296 140429500764056 140430893284972 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24208] ppid=24183 vsize=28766288 memory=17828 CPUtime=15.38 cores=0-7
/proc/24185/task/24208/stat : 24208 (java) R 24183 24183 22399 0 -1 4202560 1797 0 0 0 1533 5 0 0 20 0 28 0 476215558 29456678912 704465 33554432000 4194304 4196468 140732938203296 140429499711512 140430893325102 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24209] ppid=24183 vsize=28766288 memory=0 CPUtime=15.54 cores=0-7
/proc/24185/task/24209/stat : 24209 (java) R 24183 24183 22399 0 -1 4202560 2790 0 0 0 1550 4 0 0 20 0 28 0 476215558 29456678912 704465 33554432000 4194304 4196468 140732938203296 140429498658504 140430893284916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24210] ppid=24183 vsize=28766288 memory=304556123141439514 CPUtime=15.72 cores=0-7
/proc/24185/task/24210/stat : 24210 (java) R 24183 24183 22399 0 -1 4202560 5760 0 0 0 1568 4 0 0 20 0 28 0 476215558 29456678912 704465 33554432000 4194304 4196468 140732938203296 140429497605976 140430893325026 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24211] ppid=24183 vsize=28766288 memory=288230596050944315 CPUtime=15.66 cores=0-7
/proc/24185/task/24211/stat : 24211 (java) R 24183 24183 22399 0 -1 4202560 6975 0 0 0 1563 3 0 0 20 0 28 0 476215558 29456678912 704465 33554432000 4194304 4196468 140732938203296 140429496553896 140430893325108 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24212] ppid=24183 vsize=28766288 memory=16101468277057737 CPUtime=15.44 cores=0-7
/proc/24185/task/24212/stat : 24212 (java) R 24183 24183 22399 0 -1 4202560 2209 0 0 0 1543 1 0 0 20 0 28 0 476215558 29456678912 704465 33554432000 4194304 4196468 140732938203296 140429495501104 140430893285040 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
Current children cumulated CPU time: 158.41 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2819316 KiB

[startup+24.0012 s]*
/proc/loadavg: 8.01 8.33 8.35 5/219 24212
/proc/meminfo: memFree=22522840/32770688 swapFree=66927236/67108860
[pid=24183] ppid=24180 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24183/stat : 24183 (xcsp3-exec) S 24180 24183 22399 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476214839 115843072 364 33554432000 4194304 5098028 140732715103456 140732715101560 139841585599100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15826944 140732715111285 140732715111529 140732715111529 140732715114442 0
/proc/24183/statm: 28282 364 305 221 0 87 0
[pid=24185] ppid=24183 vsize=28766288 memory=2817948 CPUtime=164.42 cores=0-7
/proc/24185/stat : 24185 (java) S 24183 24183 22399 0 -1 1077944320 95541 0 0 0 15872 570 0 0 20 0 28 0 476214839 29456678912 704487 33554432000 4194304 4196468 140732938203296 140732938185840 140431258799863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
/proc/24185/statm: 7191572 704487 3545 1 0 7152672 0
[pid=24185/tid=24186] ppid=24183 vsize=28766288 memory=1398722017469774279 CPUtime=4.07 cores=0-7
/proc/24185/task/24186/stat : 24186 (java) S 24183 24183 22399 0 -1 1077944384 13161 0 0 0 393 14 0 0 20 0 28 0 476214839 29456678912 704487 33554432000 4194304 4196468 140732938203296 140431263040640 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24187] ppid=24183 vsize=28766288 memory=4872558044660077418 CPUtime=2.76 cores=0-7
/proc/24185/task/24187/stat : 24187 (java) S 24183 24183 22399 0 -1 1077944384 1610 0 0 0 213 63 0 0 20 0 28 0 476214840 29456678912 704487 33554432000 4194304 4196468 140732938203296 140431211420688 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24188] ppid=24183 vsize=28766288 memory=2241 CPUtime=2.74 cores=0-7
/proc/24185/task/24188/stat : 24188 (java) S 24183 24183 22399 0 -1 1077944384 1533 0 0 0 213 61 0 0 20 0 28 0 476214840 29456678912 704487 33554432000 4194304 4196468 140732938203296 140431210368144 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24189] ppid=24183 vsize=28766288 memory=2244 CPUtime=2.74 cores=0-7
/proc/24185/task/24189/stat : 24189 (java) S 24183 24183 22399 0 -1 1077944384 1798 0 0 0 213 61 0 0 20 0 28 0 476214840 29456678912 704487 33554432000 4194304 4196468 140732938203296 140431209315088 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24190] ppid=24183 vsize=28766288 memory=7594876987192726379 CPUtime=2.79 cores=0-7
/proc/24185/task/24190/stat : 24190 (java) S 24183 24183 22399 0 -1 1077944384 1513 0 0 0 215 64 0 0 20 0 28 0 476214840 29456678912 704487 33554432000 4194304 4196468 140732938203296 140431208262544 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24191] ppid=24183 vsize=28766288 memory=7517473601980490086 CPUtime=2.76 cores=0-7
/proc/24185/task/24191/stat : 24191 (java) S 24183 24183 22399 0 -1 1077944384 1499 0 0 0 209 67 0 0 20 0 28 0 476214840 29456678912 704487 33554432000 4194304 4196468 140732938203296 140431207209488 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24192] ppid=24183 vsize=28766288 memory=1456 CPUtime=2.79 cores=0-7
/proc/24185/task/24192/stat : 24192 (java) S 24183 24183 22399 0 -1 1077944384 1495 0 0 0 216 63 0 0 20 0 28 0 476214840 29456678912 704487 33554432000 4194304 4196468 140732938203296 140431206156944 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24193] ppid=24183 vsize=28766288 memory=2817820 CPUtime=2.77 cores=0-7
/proc/24185/task/24193/stat : 24193 (java) S 24183 24183 22399 0 -1 1077944384 1475 0 0 0 212 65 0 0 20 0 28 0 476214840 29456678912 704487 33554432000 4194304 4196468 140732938203296 140431205103888 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24194] ppid=24183 vsize=28766288 memory=4104 CPUtime=2.77 cores=0-7
/proc/24185/task/24194/stat : 24194 (java) S 24183 24183 22399 0 -1 1077944384 1567 0 0 0 214 63 0 0 20 0 28 0 476214840 29456678912 704487 33554432000 4194304 4196468 140732938203296 140430802803088 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24195] ppid=24183 vsize=28766288 memory=1408 CPUtime=0.07 cores=0-7
/proc/24185/task/24195/stat : 24195 (java) S 24183 24183 22399 0 -1 1077944384 2899 0 0 0 6 1 0 0 20 0 28 0 476214842 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429521562352 140431258811010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24196] ppid=24183 vsize=28766288 memory=2952 CPUtime=0 cores=0-7
/proc/24185/task/24196/stat : 24196 (java) S 24183 24183 22399 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 476214842 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429520508640 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24197] ppid=24183 vsize=28766288 memory=1456 CPUtime=0 cores=0-7
/proc/24185/task/24197/stat : 24197 (java) S 24183 24183 22399 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 476214843 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429519455488 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24198] ppid=24183 vsize=28766288 memory=3624 CPUtime=0 cores=0-7
/proc/24185/task/24198/stat : 24198 (java) S 24183 24183 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476214845 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429518404048 140431258818459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24199] ppid=24183 vsize=28766288 memory=6791534058613427641 CPUtime=2.46 cores=0-7
/proc/24185/task/24199/stat : 24199 (java) S 24183 24183 22399 0 -1 1077944384 11350 0 0 0 245 1 0 0 20 0 28 0 476214845 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429517351152 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24200] ppid=24183 vsize=28766288 memory=6028 CPUtime=2.15 cores=0-7
/proc/24185/task/24200/stat : 24200 (java) S 24183 24183 22399 0 -1 1077944384 8235 0 0 0 213 2 0 0 20 0 28 0 476214845 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429516298608 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24201] ppid=24183 vsize=28766288 memory=3668 CPUtime=2.05 cores=0-7
/proc/24185/task/24201/stat : 24201 (java) S 24183 24183 22399 0 -1 1077944384 9883 0 0 0 204 1 0 0 20 0 28 0 476214845 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429515245552 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24202] ppid=24183 vsize=28766288 memory=1056 CPUtime=0.75 cores=0-7
/proc/24185/task/24202/stat : 24202 (java) S 24183 24183 22399 0 -1 1077944384 7469 0 0 0 74 1 0 0 20 0 28 0 476214846 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429514193008 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24203] ppid=24183 vsize=28766288 memory=2820 CPUtime=0 cores=0-7
/proc/24185/task/24203/stat : 24203 (java) S 24183 24183 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476214846 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429513141216 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24204] ppid=24183 vsize=28766288 memory=1176 CPUtime=0 cores=0-7
/proc/24185/task/24204/stat : 24204 (java) S 24183 24183 22399 0 -1 1077944384 643 0 0 0 0 0 0 0 20 0 28 0 476214846 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429512088752 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24205] ppid=24183 vsize=28766288 memory=1456 CPUtime=16.29 cores=0-7
/proc/24185/task/24205/stat : 24205 (java) R 24183 24183 22399 0 -1 4202560 1692 0 0 0 1625 4 0 0 20 0 28 0 476215558 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429502868456 140430893285063 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24206] ppid=24183 vsize=28766288 memory=2817716 CPUtime=16.33 cores=0-7
/proc/24185/task/24206/stat : 24206 (java) S 24183 24183 22399 0 -1 1077944384 2304 0 0 0 1630 3 0 0 20 0 28 0 476215558 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429501822288 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24207] ppid=24183 vsize=28766288 memory=12028 CPUtime=16.39 cores=0-7
/proc/24185/task/24207/stat : 24207 (java) S 24183 24183 22399 0 -1 1077944384 2835 0 0 0 1630 9 0 0 20 0 28 0 476215558 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429500769232 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24208] ppid=24183 vsize=28766288 memory=33280 CPUtime=16.17 cores=0-7
/proc/24185/task/24208/stat : 24208 (java) R 24183 24183 22399 0 -1 4202560 1857 0 0 0 1612 5 0 0 20 0 28 0 476215558 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429499711512 140430893285063 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24209] ppid=24183 vsize=28766288 memory=2120 CPUtime=16.34 cores=0-7
/proc/24185/task/24209/stat : 24209 (java) S 24183 24183 22399 0 -1 1077944384 2857 0 0 0 1630 4 0 0 20 0 28 0 476215558 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429498663632 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24210] ppid=24183 vsize=28766288 memory=496 CPUtime=16.36 cores=0-7
/proc/24185/task/24210/stat : 24210 (java) S 24183 24183 22399 0 -1 1077944384 6570 0 0 0 1631 5 0 0 20 0 28 0 476215558 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429497611088 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24211] ppid=24183 vsize=28766288 memory=1560 CPUtime=16.42 cores=0-7
/proc/24185/task/24211/stat : 24211 (java) S 24183 24183 22399 0 -1 1077944384 7711 0 0 0 1639 3 0 0 20 0 28 0 476215558 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429496559056 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24212] ppid=24183 vsize=28766288 memory=928 CPUtime=16.22 cores=0-7
/proc/24185/task/24212/stat : 24212 (java) R 24183 24183 22399 0 -1 4202560 2250 0 0 0 1621 1 0 0 20 0 28 0 476215558 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429495501400 140430893325102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
Current children cumulated CPU time: 164.42 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2819404 KiB

[startup+24.2013 s]
/proc/loadavg: 8.01 8.33 8.35 5/219 24212
/proc/meminfo: memFree=22522840/32770688 swapFree=66927236/67108860
[pid=24183] ppid=24180 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24183/stat : 24183 (xcsp3-exec) S 24180 24183 22399 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476214839 115843072 364 33554432000 4194304 5098028 140732715103456 140732715101560 139841585599100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15826944 140732715111285 140732715111529 140732715111529 140732715114442 0
/proc/24183/statm: 28282 364 305 221 0 87 0
[pid=24185] ppid=24183 vsize=28766288 memory=2817948 CPUtime=164.87 cores=0-7
/proc/24185/stat : 24185 (java) S 24183 24183 22399 0 -1 1077944320 95667 0 0 0 15917 570 0 0 20 0 28 0 476214839 29456678912 704487 33554432000 4194304 4196468 140732938203296 140732938185840 140431258799863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
/proc/24185/statm: 7191572 704487 3545 1 0 7152672 0
[pid=24185/tid=24186] ppid=24183 vsize=28766288 memory=0 CPUtime=4.07 cores=0-7
/proc/24185/task/24186/stat : 24186 (java) S 24183 24183 22399 0 -1 1077944384 13161 0 0 0 393 14 0 0 20 0 28 0 476214839 29456678912 704487 33554432000 4194304 4196468 140732938203296 140431263040640 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24187] ppid=24183 vsize=28766288 memory=0 CPUtime=2.76 cores=0-7
/proc/24185/task/24187/stat : 24187 (java) S 24183 24183 22399 0 -1 1077944384 1610 0 0 0 213 63 0 0 20 0 28 0 476214840 29456678912 704487 33554432000 4194304 4196468 140732938203296 140431211420688 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24188] ppid=24183 vsize=28766288 memory=0 CPUtime=2.74 cores=0-7
/proc/24185/task/24188/stat : 24188 (java) S 24183 24183 22399 0 -1 1077944384 1533 0 0 0 213 61 0 0 20 0 28 0 476214840 29456678912 704487 33554432000 4194304 4196468 140732938203296 140431210368144 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24189] ppid=24183 vsize=28766288 memory=33 CPUtime=2.74 cores=0-7
/proc/24185/task/24189/stat : 24189 (java) S 24183 24183 22399 0 -1 1077944384 1798 0 0 0 213 61 0 0 20 0 28 0 476214840 29456678912 704487 33554432000 4194304 4196468 140732938203296 140431209315088 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24190] ppid=24183 vsize=28766288 memory=288230574492221466 CPUtime=2.79 cores=0-7
/proc/24185/task/24190/stat : 24190 (java) S 24183 24183 22399 0 -1 1077944384 1513 0 0 0 215 64 0 0 20 0 28 0 476214840 29456678912 704487 33554432000 4194304 4196468 140732938203296 140431208262544 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24191] ppid=24183 vsize=28766288 memory=288230596050944315 CPUtime=2.76 cores=0-7
/proc/24185/task/24191/stat : 24191 (java) S 24183 24183 22399 0 -1 1077944384 1499 0 0 0 209 67 0 0 20 0 28 0 476214840 29456678912 704487 33554432000 4194304 4196468 140732938203296 140431207209488 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24192] ppid=24183 vsize=28766288 memory=16101468277057737 CPUtime=2.79 cores=0-7
/proc/24185/task/24192/stat : 24192 (java) S 24183 24183 22399 0 -1 1077944384 1495 0 0 0 216 63 0 0 20 0 28 0 476214840 29456678912 704487 33554432000 4194304 4196468 140732938203296 140431206156944 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24193] ppid=24183 vsize=28766288 memory=1420 CPUtime=2.77 cores=0-7
/proc/24185/task/24193/stat : 24193 (java) S 24183 24183 22399 0 -1 1077944384 1475 0 0 0 212 65 0 0 20 0 28 0 476214840 29456678912 704487 33554432000 4194304 4196468 140732938203296 140431205103888 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24194] ppid=24183 vsize=28766288 memory=776 CPUtime=2.77 cores=0-7
/proc/24185/task/24194/stat : 24194 (java) S 24183 24183 22399 0 -1 1077944384 1567 0 0 0 214 63 0 0 20 0 28 0 476214840 29456678912 704487 33554432000 4194304 4196468 140732938203296 140430802803088 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24195] ppid=24183 vsize=28766288 memory=660 CPUtime=0.07 cores=0-7
/proc/24185/task/24195/stat : 24195 (java) S 24183 24183 22399 0 -1 1077944384 2899 0 0 0 6 1 0 0 20 0 28 0 476214842 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429521562352 140431258811010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24196] ppid=24183 vsize=28766288 memory=1556 CPUtime=0 cores=0-7
/proc/24185/task/24196/stat : 24196 (java) S 24183 24183 22399 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 476214842 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429520508640 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24197] ppid=24183 vsize=28766288 memory=9588 CPUtime=0 cores=0-7
/proc/24185/task/24197/stat : 24197 (java) S 24183 24183 22399 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 476214843 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429519455488 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24198] ppid=24183 vsize=28766288 memory=1712 CPUtime=0 cores=0-7
/proc/24185/task/24198/stat : 24198 (java) S 24183 24183 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476214845 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429518404048 140431258818459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24199] ppid=24183 vsize=28766288 memory=20036 CPUtime=2.46 cores=0-7
/proc/24185/task/24199/stat : 24199 (java) S 24183 24183 22399 0 -1 1077944384 11350 0 0 0 245 1 0 0 20 0 28 0 476214845 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429517351152 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24200] ppid=24183 vsize=28766288 memory=0 CPUtime=2.15 cores=0-7
/proc/24185/task/24200/stat : 24200 (java) S 24183 24183 22399 0 -1 1077944384 8235 0 0 0 213 2 0 0 20 0 28 0 476214845 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429516298608 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24201] ppid=24183 vsize=28766288 memory=0 CPUtime=2.05 cores=0-7
/proc/24185/task/24201/stat : 24201 (java) S 24183 24183 22399 0 -1 1077944384 9883 0 0 0 204 1 0 0 20 0 28 0 476214845 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429515245552 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24202] ppid=24183 vsize=28766288 memory=0 CPUtime=0.75 cores=0-7
/proc/24185/task/24202/stat : 24202 (java) S 24183 24183 22399 0 -1 1077944384 7469 0 0 0 74 1 0 0 20 0 28 0 476214846 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429514193008 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24203] ppid=24183 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/24185/task/24203/stat : 24203 (java) S 24183 24183 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476214846 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429513141216 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24204] ppid=24183 vsize=28766288 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/24185/task/24204/stat : 24204 (java) S 24183 24183 22399 0 -1 1077944384 643 0 0 0 0 0 0 0 20 0 28 0 476214846 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429512088752 140431258811010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24205] ppid=24183 vsize=28766288 memory=243949847493897 CPUtime=16.48 cores=0-7
/proc/24185/task/24205/stat : 24205 (java) R 24183 24183 22399 0 -1 4202560 1705 0 0 0 1644 4 0 0 20 0 28 0 476215558 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429502868456 140430893284936 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24206] ppid=24183 vsize=28766288 memory=243949847493898 CPUtime=16.33 cores=0-7
/proc/24185/task/24206/stat : 24206 (java) S 24183 24183 22399 0 -1 1077944384 2304 0 0 0 1630 3 0 0 20 0 28 0 476215558 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429501822288 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24207] ppid=24183 vsize=28766288 memory=0 CPUtime=16.39 cores=0-7
/proc/24185/task/24207/stat : 24207 (java) S 24183 24183 22399 0 -1 1077944384 2835 0 0 0 1630 9 0 0 20 0 28 0 476215558 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429500769232 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24208] ppid=24183 vsize=28766288 memory=14008 CPUtime=16.34 cores=0-7
/proc/24185/task/24208/stat : 24208 (java) S 24183 24183 22399 0 -1 1077944384 1969 0 0 0 1629 5 0 0 20 0 28 0 476215558 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429499716688 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24209] ppid=24183 vsize=28766288 memory=12028 CPUtime=16.34 cores=0-7
/proc/24185/task/24209/stat : 24209 (java) S 24183 24183 22399 0 -1 1077944384 2857 0 0 0 1630 4 0 0 20 0 28 0 476215558 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429498663632 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24210] ppid=24183 vsize=28766288 memory=33280 CPUtime=16.36 cores=0-7
/proc/24185/task/24210/stat : 24210 (java) S 24183 24183 22399 0 -1 1077944384 6570 0 0 0 1631 5 0 0 20 0 28 0 476215558 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429497611088 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24211] ppid=24183 vsize=28766288 memory=2120 CPUtime=16.42 cores=0-7
/proc/24185/task/24211/stat : 24211 (java) S 24183 24183 22399 0 -1 1077944384 7711 0 0 0 1639 3 0 0 20 0 28 0 476215558 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429496559056 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
[pid=24185/tid=24212] ppid=24183 vsize=28766288 memory=496 CPUtime=16.31 cores=0-7
/proc/24185/task/24212/stat : 24212 (java) S 24183 24183 22399 0 -1 1077944384 2251 0 0 0 1630 1 0 0 20 0 28 0 476215558 29456678912 704487 33554432000 4194304 4196468 140732938203296 140429495506512 140431258810069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18440192 140732938212330 140732938212502 140732938212502 140732938215375 0
Current children cumulated CPU time: 164.87 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2819404 KiB

Child status: 0
Real time (s): 24.2943
CPU time (s): 164.983
CPU user time (s): 159.248
CPU system time (s): 5.73459
CPU usage (%): 679.1
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 2819404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159.248
system time used= 5.73459
maximum resident set size= 2817952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97217
page faults= 0
swaps= 0
block input operations= 0
block output operations= 168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5887
involuntary context switches= 2487


# summary of solver processes directly reported to runsolver:
#   pid: 24183
#   total CPU time (s): 164.983
#   total CPU user time (s): 159.248
#   total CPU system time (s): 5.73459

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.206528 second user time and 0.365819 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 4404358

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
