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-24	SAT	14.6746	8.14339
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 (13264 MiB free)
  memory of node 1: 16384 MiB (12003 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405859-1569408169/watcher-4405859-1569408169 -o /var/tmp/evaluation-result-4405859-1569408169/solver-4405859-1569408169 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1569392969-18884 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1947704155 HOME/instance-4405859-1569408169.xml 

running on 4 cores: 1,3,5,7

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=22529, runsolver pid=22526
Current StackSize limit: 8192 KiB


[startup+0.102057 s]*
/proc/loadavg: 1.78 1.82 1.87 3/229 22545
/proc/meminfo: memFree=25856424/32770624 swapFree=66956956/67108860
[pid=22529] ppid=22526 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22529/stat : 22529 (xcsp3-exec) S 22526 22529 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517074592 115843072 363 33554432000 4194304 5098028 140724800774480 140724800772584 140082464690812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17428480 140724800783190 140724800783449 140724800783449 140724800786374 0
/proc/22529/statm: 28282 363 304 221 0 87 0
[pid=22531] ppid=22529 vsize=15144776 memory=30336 CPUtime=0.14 cores=1,3,5,7
/proc/22531/stat : 22531 (java) S 22529 22529 18852 0 -1 1077944320 5506 0 0 0 12 2 0 0 20 0 15 0 517074592 15508250624 7584 33554432000 4194304 4196468 140727283048784 140727283031328 139852158168823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
/proc/22531/statm: 3786194 7584 3148 1 0 3748377 0
[pid=22531/tid=22532] ppid=22529 vsize=15144776 memory=-2698085374278620574 CPUtime=0.09 cores=1,3,5,7
/proc/22531/task/22532/stat : 22532 (java) R 22529 22529 18852 0 -1 4202560 3377 0 0 0 8 1 0 0 20 0 15 0 517074592 15508250624 7584 33554432000 4194304 4196468 140727283048784 139852162400920 139852158180758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22533] ppid=22529 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22533/stat : 22533 (java) S 22529 22529 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074593 15508250624 7584 33554432000 4194304 4196468 140727283048784 139851750890256 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22534] ppid=22529 vsize=15144776 memory=140513197651584 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22534/stat : 22534 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074593 15508250624 7584 33554432000 4194304 4196468 140727283048784 139851749837712 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22535] ppid=22529 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22535/stat : 22535 (java) S 22529 22529 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074593 15508250624 7584 33554432000 4194304 4196468 140727283048784 139851748785168 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22536] ppid=22529 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22536/stat : 22536 (java) S 22529 22529 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517074593 15508250624 7584 33554432000 4194304 4196468 140727283048784 139851747732624 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22537] ppid=22529 vsize=15144776 memory=140513197651584 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22537/stat : 22537 (java) S 22529 22529 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517074595 15508250624 7584 33554432000 4194304 4196468 140727283048784 139851626760176 139852158179970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22538] ppid=22529 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22538/stat : 22538 (java) S 22529 22529 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517074595 15508250624 7584 33554432000 4194304 4196468 140727283048784 139851625706400 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22539] ppid=22529 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22539/stat : 22539 (java) S 22529 22529 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517074595 15508250624 7584 33554432000 4194304 4196468 140727283048784 139851624653808 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22540] ppid=22529 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22540/stat : 22540 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074598 15508250624 7584 33554432000 4194304 4196468 140727283048784 139851623602384 139852158187419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22541] ppid=22529 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22541/stat : 22541 (java) R 22529 22529 18852 0 -1 4202560 353 0 0 0 0 0 0 0 20 0 15 0 517074598 15508250624 7584 33554432000 4194304 4196468 140727283048784 139851622541648 139852158190170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22542] ppid=22529 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22542/stat : 22542 (java) R 22529 22529 18852 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 517074598 15508250624 7584 33554432000 4194304 4196468 140727283048784 139851621497552 139852158179029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22543] ppid=22529 vsize=15144776 memory=140513197651584 CPUtime=0.02 cores=1,3,5,7
/proc/22531/task/22543/stat : 22543 (java) R 22529 22529 18852 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 517074598 15508250624 7584 33554432000 4194304 4196468 140727283048784 139851620444912 139852158190170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22544] ppid=22529 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22544/stat : 22544 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074598 15508250624 7584 33554432000 4194304 4196468 140727283048784 139851619392608 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22545] ppid=22529 vsize=15144776 memory=140513197651584 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22545/stat : 22545 (java) S 22529 22529 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074598 15508250624 7584 33554432000 4194304 4196468 140727283048784 139851618339120 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31788 KiB

[startup+0.210739 s]*
/proc/loadavg: 1.78 1.82 1.87 4/229 22545
/proc/meminfo: memFree=25843456/32770624 swapFree=66956956/67108860
[pid=22529] ppid=22526 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22529/stat : 22529 (xcsp3-exec) S 22526 22529 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517074592 115843072 363 33554432000 4194304 5098028 140724800774480 140724800772584 140082464690812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17428480 140724800783190 140724800783449 140724800783449 140724800786374 0
/proc/22529/statm: 28282 363 304 221 0 87 0
[pid=22531] ppid=22529 vsize=15144776 memory=41408 CPUtime=0.34 cores=1,3,5,7
/proc/22531/stat : 22531 (java) S 22529 22529 18852 0 -1 1077944320 9048 0 0 0 31 3 0 0 20 0 15 0 517074592 15508250624 10352 33554432000 4194304 4196468 140727283048784 140727283031328 139852158168823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
/proc/22531/statm: 3786194 10352 3304 1 0 3748377 0
[pid=22531/tid=22532] ppid=22529 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/22531/task/22532/stat : 22532 (java) R 22529 22529 18852 0 -1 4202560 6204 0 0 0 17 2 0 0 20 0 15 0 517074592 15508250624 10352 33554432000 4194304 4196468 140727283048784 139852162402768 139852142249310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22533] ppid=22529 vsize=15144776 memory=1899191 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22533/stat : 22533 (java) S 22529 22529 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074593 15508250624 10352 33554432000 4194304 4196468 140727283048784 139851750890256 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22534] ppid=22529 vsize=15144776 memory=288370889349363328 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22534/stat : 22534 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074593 15508250624 10352 33554432000 4194304 4196468 140727283048784 139851749837712 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22535] ppid=22529 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22535/stat : 22535 (java) S 22529 22529 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074593 15508250624 10352 33554432000 4194304 4196468 140727283048784 139851748785168 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22536] ppid=22529 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22536/stat : 22536 (java) S 22529 22529 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517074593 15508250624 10352 33554432000 4194304 4196468 140727283048784 139851747732624 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22537] ppid=22529 vsize=15144776 memory=140513197651584 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22537/stat : 22537 (java) S 22529 22529 18852 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517074595 15508250624 10352 33554432000 4194304 4196468 140727283048784 139851626760176 139852158179970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22538] ppid=22529 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22538/stat : 22538 (java) S 22529 22529 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517074595 15508250624 10352 33554432000 4194304 4196468 140727283048784 139851625706400 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22539] ppid=22529 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22539/stat : 22539 (java) S 22529 22529 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517074595 15508250624 10352 33554432000 4194304 4196468 140727283048784 139851624653808 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22540] ppid=22529 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22540/stat : 22540 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074598 15508250624 10352 33554432000 4194304 4196468 140727283048784 139851623602384 139852158187419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22541] ppid=22529 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22531/task/22541/stat : 22541 (java) S 22529 22529 18852 0 -1 1077944384 471 0 0 0 3 0 0 0 20 0 15 0 517074598 15508250624 10352 33554432000 4194304 4196468 140727283048784 139851622550000 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22542] ppid=22529 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22531/task/22542/stat : 22542 (java) S 22529 22529 18852 0 -1 1077944384 326 0 0 0 2 0 0 0 20 0 15 0 517074598 15508250624 10352 33554432000 4194304 4196468 140727283048784 139851621497456 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22543] ppid=22529 vsize=15144776 memory=140513197651584 CPUtime=0.08 cores=1,3,5,7
/proc/22531/task/22543/stat : 22543 (java) S 22529 22529 18852 0 -1 1077944384 737 0 0 0 8 0 0 0 20 0 15 0 517074598 15508250624 10352 33554432000 4194304 4196468 140727283048784 139851620444912 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22544] ppid=22529 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22544/stat : 22544 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074598 15508250624 10352 33554432000 4194304 4196468 140727283048784 139851619392608 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22545] ppid=22529 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22545/stat : 22545 (java) S 22529 22529 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074598 15508250624 10352 33554432000 4194304 4196468 140727283048784 139851618339120 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42860 KiB

[startup+0.310564 s]*
/proc/loadavg: 1.78 1.82 1.87 4/229 22545
/proc/meminfo: memFree=25836656/32770624 swapFree=66956956/67108860
[pid=22529] ppid=22526 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22529/stat : 22529 (xcsp3-exec) S 22526 22529 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517074592 115843072 363 33554432000 4194304 5098028 140724800774480 140724800772584 140082464690812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17428480 140724800783190 140724800783449 140724800783449 140724800786374 0
/proc/22529/statm: 28282 363 304 221 0 87 0
[pid=22531] ppid=22529 vsize=15149032 memory=50260 CPUtime=0.54 cores=1,3,5,7
/proc/22531/stat : 22531 (java) S 22529 22529 18852 0 -1 1077944320 10336 0 0 0 49 5 0 0 20 0 15 0 517074592 15512608768 12565 33554432000 4194304 4196468 140727283048784 140727283031328 139852158168823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
/proc/22531/statm: 3787258 12565 3364 1 0 3748377 0
[pid=22531/tid=22532] ppid=22529 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/22531/task/22532/stat : 22532 (java) R 22529 22529 18852 0 -1 4202560 7348 0 0 0 27 3 0 0 20 0 15 0 517074592 15512608768 12569 33554432000 4194304 4196468 140727283048784 139852162402608 139852142249310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22533] ppid=22529 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22533/stat : 22533 (java) S 22529 22529 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074593 15512608768 12569 33554432000 4194304 4196468 140727283048784 139851750890256 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22534] ppid=22529 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22534/stat : 22534 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074593 15512608768 12569 33554432000 4194304 4196468 140727283048784 139851749837712 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22535] ppid=22529 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22535/stat : 22535 (java) S 22529 22529 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074593 15512608768 12569 33554432000 4194304 4196468 140727283048784 139851748785168 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22536] ppid=22529 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22536/stat : 22536 (java) S 22529 22529 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517074593 15512608768 12569 33554432000 4194304 4196468 140727283048784 139851747732624 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22537] ppid=22529 vsize=15149032 memory=-7449686455322460319 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22537/stat : 22537 (java) S 22529 22529 18852 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517074595 15512608768 12569 33554432000 4194304 4196468 140727283048784 139851626760176 139852158179970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22538] ppid=22529 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22538/stat : 22538 (java) S 22529 22529 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517074595 15512608768 12569 33554432000 4194304 4196468 140727283048784 139851625706400 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22539] ppid=22529 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22539/stat : 22539 (java) S 22529 22529 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517074595 15512608768 12569 33554432000 4194304 4196468 140727283048784 139851624653808 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22540] ppid=22529 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22540/stat : 22540 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074598 15512608768 12569 33554432000 4194304 4196468 140727283048784 139851623602384 139852158187419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22541] ppid=22529 vsize=15149032 memory=6576575808607071397 CPUtime=0.05 cores=1,3,5,7
/proc/22531/task/22541/stat : 22541 (java) R 22529 22529 18852 0 -1 4202560 555 0 0 0 5 0 0 0 20 0 15 0 517074598 15512608768 12569 33554432000 4194304 4196468 140727283048784 139851622540384 139852143095422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22542] ppid=22529 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22531/task/22542/stat : 22542 (java) S 22529 22529 18852 0 -1 1077944384 340 0 0 0 4 0 0 0 20 0 15 0 517074598 15512608768 12569 33554432000 4194304 4196468 140727283048784 139851621497456 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22543] ppid=22529 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22531/task/22543/stat : 22543 (java) S 22529 22529 18852 0 -1 1077944384 792 0 0 0 12 0 0 0 20 0 15 0 517074598 15512608768 12569 33554432000 4194304 4196468 140727283048784 139851620444912 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22544] ppid=22529 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22544/stat : 22544 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074598 15512608768 12569 33554432000 4194304 4196468 140727283048784 139851619392608 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22545] ppid=22529 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22545/stat : 22545 (java) S 22529 22529 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074598 15512608768 12569 33554432000 4194304 4196468 140727283048784 139851618339120 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51712 KiB

[startup+0.700807 s]
/proc/loadavg: 1.78 1.82 1.87 4/229 22545
/proc/meminfo: memFree=25818648/32770624 swapFree=66956956/67108860
[pid=22529] ppid=22526 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22529/stat : 22529 (xcsp3-exec) S 22526 22529 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517074592 115843072 363 33554432000 4194304 5098028 140724800774480 140724800772584 140082464690812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17428480 140724800783190 140724800783449 140724800783449 140724800786374 0
/proc/22529/statm: 28282 363 304 221 0 87 0
[pid=22531] ppid=22529 vsize=15151156 memory=95372 CPUtime=1.72 cores=1,3,5,7
/proc/22531/stat : 22531 (java) S 22529 22529 18852 0 -1 1077944320 14300 0 0 0 166 6 0 0 20 0 15 0 517074592 15514783744 23843 33554432000 4194304 4196468 140727283048784 140727283031328 139852158168823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
/proc/22531/statm: 3787789 23843 3445 1 0 3748889 0
[pid=22531/tid=22532] ppid=22529 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/22531/task/22532/stat : 22532 (java) R 22529 22529 18852 0 -1 4202560 8411 0 0 0 63 4 0 0 20 0 15 0 517074592 15514783744 23843 33554432000 4194304 4196468 140727283048784 139852162406112 139851800318395 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22533] ppid=22529 vsize=15151156 memory=55364 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22533/stat : 22533 (java) S 22529 22529 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074593 15514783744 23843 33554432000 4194304 4196468 140727283048784 139851750890256 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22534] ppid=22529 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22534/stat : 22534 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074593 15514783744 23843 33554432000 4194304 4196468 140727283048784 139851749837712 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22535] ppid=22529 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22535/stat : 22535 (java) S 22529 22529 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074593 15514783744 23843 33554432000 4194304 4196468 140727283048784 139851748785168 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22536] ppid=22529 vsize=15151156 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22536/stat : 22536 (java) S 22529 22529 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517074593 15514783744 23843 33554432000 4194304 4196468 140727283048784 139851747732624 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22537] ppid=22529 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22537/stat : 22537 (java) S 22529 22529 18852 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517074595 15514783744 23843 33554432000 4194304 4196468 140727283048784 139851626760176 139852158179970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22538] ppid=22529 vsize=15151156 memory=7552 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22538/stat : 22538 (java) S 22529 22529 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517074595 15514783744 23843 33554432000 4194304 4196468 140727283048784 139851625706400 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22539] ppid=22529 vsize=15151156 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22539/stat : 22539 (java) S 22529 22529 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517074595 15514783744 23843 33554432000 4194304 4196468 140727283048784 139851624653808 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22540] ppid=22529 vsize=15151156 memory=616 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22540/stat : 22540 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074598 15514783744 23843 33554432000 4194304 4196468 140727283048784 139851623602384 139852158187419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22541] ppid=22529 vsize=15151156 memory=2832 CPUtime=0.31 cores=1,3,5,7
/proc/22531/task/22541/stat : 22541 (java) S 22529 22529 18852 0 -1 1077944384 1461 0 0 0 31 0 0 0 20 0 15 0 517074598 15514783744 23843 33554432000 4194304 4196468 140727283048784 139851622550000 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22542] ppid=22529 vsize=15151156 memory=1620 CPUtime=0.32 cores=1,3,5,7
/proc/22531/task/22542/stat : 22542 (java) R 22529 22529 18852 0 -1 4202560 1336 0 0 0 32 0 0 0 20 0 15 0 517074598 15514783744 23843 33554432000 4194304 4196468 140727283048784 139851621497456 139852137414786 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22543] ppid=22529 vsize=15151156 memory=1136 CPUtime=0.38 cores=1,3,5,7
/proc/22531/task/22543/stat : 22543 (java) S 22529 22529 18852 0 -1 1077944384 1781 0 0 0 38 0 0 0 20 0 15 0 517074598 15514783744 23843 33554432000 4194304 4196468 140727283048784 139851620444912 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22544] ppid=22529 vsize=15151156 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22544/stat : 22544 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074598 15514783744 23843 33554432000 4194304 4196468 140727283048784 139851619392608 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22545] ppid=22529 vsize=15151156 memory=6196 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22545/stat : 22545 (java) S 22529 22529 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517074598 15514783744 23843 33554432000 4194304 4196468 140727283048784 139851618339120 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 96824 KiB

[startup+1.50161 s]
/proc/loadavg: 1.78 1.82 1.87 6/229 22545
/proc/meminfo: memFree=25611008/32770624 swapFree=66956956/67108860
[pid=22529] ppid=22526 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22529/stat : 22529 (xcsp3-exec) S 22526 22529 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517074592 115843072 363 33554432000 4194304 5098028 140724800774480 140724800772584 140082464690812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17428480 140724800783190 140724800783449 140724800783449 140724800786374 0
/proc/22529/statm: 28282 363 304 221 0 87 0

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

/proc/22529/stat : 22529 (xcsp3-exec) S 22526 22529 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517074592 115843072 363 33554432000 4194304 5098028 140724800774480 140724800772584 140082464690812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17428480 140724800783190 140724800783449 140724800783449 140724800786374 0
/proc/22529/statm: 28282 363 304 221 0 87 0
[pid=22531] ppid=22529 vsize=15151156 memory=1339288 CPUtime=13.16 cores=1,3,5,7
/proc/22531/stat : 22531 (java) S 22529 22529 18852 0 -1 1077944320 49392 0 0 0 1200 116 0 0 20 0 15 0 517074592 15514783744 334822 33554432000 4194304 4196468 140727283048784 140727283031328 139852158168823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
/proc/22531/statm: 3787789 334822 3513 1 0 3748889 0
[pid=22531/tid=22532] ppid=22529 vsize=15151156 memory=288230621803970871 CPUtime=5.71 cores=1,3,5,7
/proc/22531/task/22532/stat : 22532 (java) R 22529 22529 18852 0 -1 4202560 9612 0 0 0 561 10 0 0 20 0 15 0 517074592 15514783744 334822 33554432000 4194304 4196468 140727283048784 139852162405992 139851801772921 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22533] ppid=22529 vsize=15151156 memory=15825482151102897 CPUtime=1.34 cores=1,3,5,7
/proc/22531/task/22533/stat : 22533 (java) S 22529 22529 18852 0 -1 1077944384 7604 0 0 0 109 25 0 0 20 0 15 0 517074593 15514783744 334822 33554432000 4194304 4196468 140727283048784 139851750890256 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22534] ppid=22529 vsize=15151156 memory=1390 CPUtime=1.34 cores=1,3,5,7
/proc/22531/task/22534/stat : 22534 (java) S 22529 22529 18852 0 -1 1077944384 7755 0 0 0 109 25 0 0 20 0 15 0 517074593 15514783744 334822 33554432000 4194304 4196468 140727283048784 139851749837712 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22535] ppid=22529 vsize=15151156 memory=286 CPUtime=1.33 cores=1,3,5,7
/proc/22531/task/22535/stat : 22535 (java) S 22529 22529 18852 0 -1 1077944384 7416 0 0 0 108 25 0 0 20 0 15 0 517074593 15514783744 334822 33554432000 4194304 4196468 140727283048784 139851748785168 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22536] ppid=22529 vsize=15151156 memory=1452 CPUtime=1.34 cores=1,3,5,7
/proc/22531/task/22536/stat : 22536 (java) S 22529 22529 18852 0 -1 1077944384 7479 0 0 0 108 26 0 0 20 0 15 0 517074593 15514783744 334822 33554432000 4194304 4196468 140727283048784 139851747732624 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22537] ppid=22529 vsize=15151156 memory=1339288 CPUtime=0.02 cores=1,3,5,7
/proc/22531/task/22537/stat : 22537 (java) S 22529 22529 18852 0 -1 1077944384 1521 0 0 0 2 0 0 0 20 0 15 0 517074595 15514783744 334822 33554432000 4194304 4196468 140727283048784 139851626760176 139852158179970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22538] ppid=22529 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22538/stat : 22538 (java) S 22529 22529 18852 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 517074595 15514783744 334822 33554432000 4194304 4196468 140727283048784 139851625706464 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22539] ppid=22529 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22539/stat : 22539 (java) S 22529 22529 18852 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 517074595 15514783744 334822 33554432000 4194304 4196468 140727283048784 139851624653824 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22540] ppid=22529 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22540/stat : 22540 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074598 15514783744 334822 33554432000 4194304 4196468 140727283048784 139851623602384 139852158187419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22541] ppid=22529 vsize=15151156 memory=8976414709404591081 CPUtime=0.72 cores=1,3,5,7
/proc/22531/task/22541/stat : 22541 (java) S 22529 22529 18852 0 -1 1077944384 1830 0 0 0 72 0 0 0 20 0 15 0 517074598 15514783744 334822 33554432000 4194304 4196468 140727283048784 139851622550000 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22542] ppid=22529 vsize=15151156 memory=6944656592455359580 CPUtime=0.72 cores=1,3,5,7
/proc/22531/task/22542/stat : 22542 (java) S 22529 22529 18852 0 -1 1077944384 2184 0 0 0 72 0 0 0 20 0 15 0 517074598 15514783744 334822 33554432000 4194304 4196468 140727283048784 139851621497456 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22543] ppid=22529 vsize=15151156 memory=6944656592455359580 CPUtime=0.55 cores=1,3,5,7
/proc/22531/task/22543/stat : 22543 (java) S 22529 22529 18852 0 -1 1077944384 2472 0 0 0 54 1 0 0 20 0 15 0 517074598 15514783744 334822 33554432000 4194304 4196468 140727283048784 139851620444912 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22544] ppid=22529 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22544/stat : 22544 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074598 15514783744 334822 33554432000 4194304 4196468 140727283048784 139851619392608 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22545] ppid=22529 vsize=15151156 memory=-2025810976467231676 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22545/stat : 22545 (java) S 22529 22529 18852 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 15 0 517074598 15514783744 334822 33554432000 4194304 4196468 140727283048784 139851618339120 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
Current children cumulated CPU time: 13.16 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1340740 KiB

[startup+7.60074 s]
/proc/loadavg: 1.80 1.82 1.87 3/230 22547
/proc/meminfo: memFree=24544176/32770624 swapFree=66956956/67108860
[pid=22529] ppid=22526 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22529/stat : 22529 (xcsp3-exec) S 22526 22529 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517074592 115843072 363 33554432000 4194304 5098028 140724800774480 140724800772584 140082464690812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17428480 140724800783190 140724800783449 140724800783449 140724800786374 0
/proc/22529/statm: 28282 363 304 221 0 87 0
[pid=22531] ppid=22529 vsize=15151156 memory=1341336 CPUtime=13.56 cores=1,3,5,7
/proc/22531/stat : 22531 (java) S 22529 22529 18852 0 -1 1077944320 49404 0 0 0 1240 116 0 0 20 0 15 0 517074592 15514783744 335334 33554432000 4194304 4196468 140727283048784 140727283031328 139852158168823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
/proc/22531/statm: 3787789 335334 3513 1 0 3748889 0
[pid=22531/tid=22532] ppid=22529 vsize=15151156 memory=7552 CPUtime=6.11 cores=1,3,5,7
/proc/22531/task/22532/stat : 22532 (java) R 22529 22529 18852 0 -1 4202560 9624 0 0 0 601 10 0 0 20 0 15 0 517074592 15514783744 335334 33554432000 4194304 4196468 140727283048784 139852162405992 139851801772899 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22533] ppid=22529 vsize=15151156 memory=3608 CPUtime=1.34 cores=1,3,5,7
/proc/22531/task/22533/stat : 22533 (java) S 22529 22529 18852 0 -1 1077944384 7604 0 0 0 109 25 0 0 20 0 15 0 517074593 15514783744 335334 33554432000 4194304 4196468 140727283048784 139851750890256 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22534] ppid=22529 vsize=15151156 memory=616 CPUtime=1.34 cores=1,3,5,7
/proc/22531/task/22534/stat : 22534 (java) S 22529 22529 18852 0 -1 1077944384 7755 0 0 0 109 25 0 0 20 0 15 0 517074593 15514783744 335334 33554432000 4194304 4196468 140727283048784 139851749837712 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22535] ppid=22529 vsize=15151156 memory=2832 CPUtime=1.33 cores=1,3,5,7
/proc/22531/task/22535/stat : 22535 (java) S 22529 22529 18852 0 -1 1077944384 7416 0 0 0 108 25 0 0 20 0 15 0 517074593 15514783744 335334 33554432000 4194304 4196468 140727283048784 139851748785168 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22536] ppid=22529 vsize=15151156 memory=1620 CPUtime=1.34 cores=1,3,5,7
/proc/22531/task/22536/stat : 22536 (java) S 22529 22529 18852 0 -1 1077944384 7479 0 0 0 108 26 0 0 20 0 15 0 517074593 15514783744 335334 33554432000 4194304 4196468 140727283048784 139851747732624 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22537] ppid=22529 vsize=15151156 memory=1136 CPUtime=0.02 cores=1,3,5,7
/proc/22531/task/22537/stat : 22537 (java) S 22529 22529 18852 0 -1 1077944384 1521 0 0 0 2 0 0 0 20 0 15 0 517074595 15514783744 335334 33554432000 4194304 4196468 140727283048784 139851626760176 139852158179970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22538] ppid=22529 vsize=15151156 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22538/stat : 22538 (java) S 22529 22529 18852 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 517074595 15514783744 335334 33554432000 4194304 4196468 140727283048784 139851625706464 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22539] ppid=22529 vsize=15151156 memory=6196 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22539/stat : 22539 (java) S 22529 22529 18852 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 517074595 15514783744 335334 33554432000 4194304 4196468 140727283048784 139851624653824 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22540] ppid=22529 vsize=15151156 memory=784 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22540/stat : 22540 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074598 15514783744 335334 33554432000 4194304 4196468 140727283048784 139851623602384 139852158187419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22541] ppid=22529 vsize=15151156 memory=1060 CPUtime=0.72 cores=1,3,5,7
/proc/22531/task/22541/stat : 22541 (java) S 22529 22529 18852 0 -1 1077944384 1830 0 0 0 72 0 0 0 20 0 15 0 517074598 15514783744 335334 33554432000 4194304 4196468 140727283048784 139851622550000 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22542] ppid=22529 vsize=15151156 memory=14012 CPUtime=0.72 cores=1,3,5,7
/proc/22531/task/22542/stat : 22542 (java) S 22529 22529 18852 0 -1 1077944384 2184 0 0 0 72 0 0 0 20 0 15 0 517074598 15514783744 335334 33554432000 4194304 4196468 140727283048784 139851621497456 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22543] ppid=22529 vsize=15151156 memory=26124 CPUtime=0.55 cores=1,3,5,7
/proc/22531/task/22543/stat : 22543 (java) S 22529 22529 18852 0 -1 1077944384 2472 0 0 0 54 1 0 0 20 0 15 0 517074598 15514783744 335334 33554432000 4194304 4196468 140727283048784 139851620444912 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22544] ppid=22529 vsize=15151156 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22544/stat : 22544 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074598 15514783744 335334 33554432000 4194304 4196468 140727283048784 139851619392608 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22545] ppid=22529 vsize=15151156 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22545/stat : 22545 (java) S 22529 22529 18852 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 15 0 517074598 15514783744 335334 33554432000 4194304 4196468 140727283048784 139851618339120 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
Current children cumulated CPU time: 13.56 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1342788 KiB

[startup+8.00161 s]*
/proc/loadavg: 1.80 1.82 1.87 5/230 22547
/proc/meminfo: memFree=24531020/32770624 swapFree=66956956/67108860
[pid=22529] ppid=22526 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22529/stat : 22529 (xcsp3-exec) S 22526 22529 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517074592 115843072 363 33554432000 4194304 5098028 140724800774480 140724800772584 140082464690812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17428480 140724800783190 140724800783449 140724800783449 140724800786374 0
/proc/22529/statm: 28282 363 304 221 0 87 0
[pid=22531] ppid=22529 vsize=15151156 memory=1354736 CPUtime=14.31 cores=1,3,5,7
/proc/22531/stat : 22531 (java) S 22529 22529 18852 0 -1 1077944320 53827 0 0 0 1315 116 0 0 20 0 15 0 517074592 15514783744 338684 33554432000 4194304 4196468 140727283048784 140727283031328 139852158168823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
/proc/22531/statm: 3787789 338684 3514 1 0 3748889 0
[pid=22531/tid=22532] ppid=22529 vsize=15151156 memory=8317482817917895235 CPUtime=6.52 cores=1,3,5,7
/proc/22531/task/22532/stat : 22532 (java) R 22529 22529 18852 0 -1 4202560 10556 0 0 0 642 10 0 0 20 0 15 0 517074592 15514783744 338684 33554432000 4194304 4196468 140727283048784 139852162407576 139851802031727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22533] ppid=22529 vsize=15151156 memory=4872558044660077418 CPUtime=1.34 cores=1,3,5,7
/proc/22531/task/22533/stat : 22533 (java) S 22529 22529 18852 0 -1 1077944384 7604 0 0 0 109 25 0 0 20 0 15 0 517074593 15514783744 338684 33554432000 4194304 4196468 140727283048784 139851750890256 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22534] ppid=22529 vsize=15151156 memory=288291090648531513 CPUtime=1.34 cores=1,3,5,7
/proc/22531/task/22534/stat : 22534 (java) S 22529 22529 18852 0 -1 1077944384 7755 0 0 0 109 25 0 0 20 0 15 0 517074593 15514783744 338684 33554432000 4194304 4196468 140727283048784 139851749837712 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22535] ppid=22529 vsize=15151156 memory=3618418207217701947 CPUtime=1.33 cores=1,3,5,7
/proc/22531/task/22535/stat : 22535 (java) S 22529 22529 18852 0 -1 1077944384 7416 0 0 0 108 25 0 0 20 0 15 0 517074593 15514783744 338684 33554432000 4194304 4196468 140727283048784 139851748785168 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22536] ppid=22529 vsize=15151156 memory=6944656592455359580 CPUtime=1.34 cores=1,3,5,7
/proc/22531/task/22536/stat : 22536 (java) S 22529 22529 18852 0 -1 1077944384 7479 0 0 0 108 26 0 0 20 0 15 0 517074593 15514783744 338684 33554432000 4194304 4196468 140727283048784 139851747732624 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22537] ppid=22529 vsize=15151156 memory=6944656592455097440 CPUtime=0.02 cores=1,3,5,7
/proc/22531/task/22537/stat : 22537 (java) S 22529 22529 18852 0 -1 1077944384 1521 0 0 0 2 0 0 0 20 0 15 0 517074595 15514783744 338684 33554432000 4194304 4196468 140727283048784 139851626760176 139852158179970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22538] ppid=22529 vsize=15151156 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22538/stat : 22538 (java) S 22529 22529 18852 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 517074595 15514783744 338684 33554432000 4194304 4196468 140727283048784 139851625706464 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22539] ppid=22529 vsize=15151156 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22539/stat : 22539 (java) S 22529 22529 18852 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 517074595 15514783744 338684 33554432000 4194304 4196468 140727283048784 139851624653824 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22540] ppid=22529 vsize=15151156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22540/stat : 22540 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074598 15514783744 338684 33554432000 4194304 4196468 140727283048784 139851623602384 139852158187419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22541] ppid=22529 vsize=15151156 memory=6656426216303648864 CPUtime=0.86 cores=1,3,5,7
/proc/22531/task/22541/stat : 22541 (java) R 22529 22529 18852 0 -1 4202560 3964 0 0 0 86 0 0 0 20 0 15 0 517074598 15514783744 338684 33554432000 4194304 4196468 140727283048784 139851622534664 139852137415576 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22542] ppid=22529 vsize=15151156 memory=6944656575208382560 CPUtime=0.89 cores=1,3,5,7
/proc/22531/task/22542/stat : 22542 (java) R 22529 22529 18852 0 -1 4202560 3130 0 0 0 89 0 0 0 20 0 15 0 517074598 15514783744 338684 33554432000 4194304 4196468 140727283048784 139851621482120 139852139347685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22543] ppid=22529 vsize=15151156 memory=6944652177228980320 CPUtime=0.58 cores=1,3,5,7
/proc/22531/task/22543/stat : 22543 (java) R 22529 22529 18852 0 -1 1077944384 2883 0 0 0 57 1 0 0 20 0 15 0 517074598 15514783744 338684 33554432000 4194304 4196468 140727283048784 139851620444912 139852158179970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22544] ppid=22529 vsize=15151156 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22544/stat : 22544 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074598 15514783744 338684 33554432000 4194304 4196468 140727283048784 139851619392608 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22545] ppid=22529 vsize=15151156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22545/stat : 22545 (java) S 22529 22529 18852 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 15 0 517074598 15514783744 338684 33554432000 4194304 4196468 140727283048784 139851618339120 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
Current children cumulated CPU time: 14.31 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1356188 KiB

[startup+8.1105 s]
/proc/loadavg: 1.80 1.82 1.87 5/230 22547
/proc/meminfo: memFree=24531020/32770624 swapFree=66956956/67108860
[pid=22529] ppid=22526 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22529/stat : 22529 (xcsp3-exec) S 22526 22529 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517074592 115843072 363 33554432000 4194304 5098028 140724800774480 140724800772584 140082464690812 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17428480 140724800783190 140724800783449 140724800783449 140724800786374 0
/proc/22529/statm: 28282 363 304 221 0 87 0
[pid=22531] ppid=22529 vsize=15151156 memory=1358776 CPUtime=14.63 cores=1,3,5,7
/proc/22531/stat : 22531 (java) S 22529 22529 18852 0 -1 1077944320 55296 0 0 0 1346 117 0 0 20 0 15 0 517074592 15514783744 339694 33554432000 4194304 4196468 140727283048784 140727283031328 139852158168823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
/proc/22531/statm: 3787789 339694 3515 1 0 3748889 0
[pid=22531/tid=22532] ppid=22529 vsize=15151156 memory=281026152808368 CPUtime=6.62 cores=1,3,5,7
/proc/22531/task/22532/stat : 22532 (java) R 22529 22529 18852 0 -1 4202560 10887 0 0 0 652 10 0 0 20 0 15 0 517074592 15514783744 339694 33554432000 4194304 4196468 140727283048784 139852162407576 139851802192215 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22533] ppid=22529 vsize=15151156 memory=1341432 CPUtime=1.34 cores=1,3,5,7
/proc/22531/task/22533/stat : 22533 (java) S 22529 22529 18852 0 -1 1077944384 7604 0 0 0 109 25 0 0 20 0 15 0 517074593 15514783744 339694 33554432000 4194304 4196468 140727283048784 139851750890256 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22534] ppid=22529 vsize=15151156 memory=1339288 CPUtime=1.34 cores=1,3,5,7
/proc/22531/task/22534/stat : 22534 (java) S 22529 22529 18852 0 -1 1077944384 7755 0 0 0 109 25 0 0 20 0 15 0 517074593 15514783744 339694 33554432000 4194304 4196468 140727283048784 139851749837712 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22535] ppid=22529 vsize=15151156 memory=6944656592387989600 CPUtime=1.33 cores=1,3,5,7
/proc/22531/task/22535/stat : 22535 (java) S 22529 22529 18852 0 -1 1077944384 7416 0 0 0 108 25 0 0 20 0 15 0 517074593 15514783744 339694 33554432000 4194304 4196468 140727283048784 139851748785168 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22536] ppid=22529 vsize=15151156 memory=3054156605267021189 CPUtime=1.34 cores=1,3,5,7
/proc/22531/task/22536/stat : 22536 (java) S 22529 22529 18852 0 -1 1077944384 7479 0 0 0 108 26 0 0 20 0 15 0 517074593 15514783744 339694 33554432000 4194304 4196468 140727283048784 139851747732624 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22537] ppid=22529 vsize=15151156 memory=-8823246064971903881 CPUtime=0.02 cores=1,3,5,7
/proc/22531/task/22537/stat : 22537 (java) S 22529 22529 18852 0 -1 1077944384 1521 0 0 0 2 0 0 0 20 0 15 0 517074595 15514783744 339694 33554432000 4194304 4196468 140727283048784 139851626760176 139852158179970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22538] ppid=22529 vsize=15151156 memory=-8614379499087747112 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22538/stat : 22538 (java) S 22529 22529 18852 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 517074595 15514783744 339694 33554432000 4194304 4196468 140727283048784 139851625706464 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22539] ppid=22529 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22539/stat : 22539 (java) S 22529 22529 18852 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 517074595 15514783744 339694 33554432000 4194304 4196468 140727283048784 139851624653824 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22540] ppid=22529 vsize=15151156 memory=1337212 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22540/stat : 22540 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074598 15514783744 339694 33554432000 4194304 4196468 140727283048784 139851623602384 139852158187419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22541] ppid=22529 vsize=15151156 memory=1334864 CPUtime=0.96 cores=1,3,5,7
/proc/22531/task/22541/stat : 22541 (java) R 22529 22529 18852 0 -1 4202560 4528 0 0 0 96 0 0 0 20 0 15 0 517074598 15514783744 339694 33554432000 4194304 4196468 140727283048784 139851622534664 139852143087848 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22542] ppid=22529 vsize=15151156 memory=1452 CPUtime=0.99 cores=1,3,5,7
/proc/22531/task/22542/stat : 22542 (java) R 22529 22529 18852 0 -1 4202560 3631 0 0 0 99 0 0 0 20 0 15 0 517074598 15514783744 339694 33554432000 4194304 4196468 140727283048784 139851621488288 139852137823089 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22543] ppid=22529 vsize=15151156 memory=1334864 CPUtime=0.59 cores=1,3,5,7
/proc/22531/task/22543/stat : 22543 (java) S 22529 22529 18852 0 -1 1077944384 2956 0 0 0 58 1 0 0 20 0 15 0 517074598 15514783744 339694 33554432000 4194304 4196468 140727283048784 139851620444912 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22544] ppid=22529 vsize=15151156 memory=6299802978650451056 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22544/stat : 22544 (java) S 22529 22529 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517074598 15514783744 339694 33554432000 4194304 4196468 140727283048784 139851619392608 139852158179029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
[pid=22531/tid=22545] ppid=22529 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22531/task/22545/stat : 22545 (java) S 22529 22529 18852 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 15 0 517074598 15514783744 339694 33554432000 4194304 4196468 140727283048784 139851618339120 139852158179970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 28659712 140727283057627 140727283057802 140727283057802 140727283060687 0
Current children cumulated CPU time: 14.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1360228 KiB

Child status: 0
Real time (s): 8.14339
CPU time (s): 14.6746
CPU user time (s): 13.4889
CPU system time (s): 1.18571
CPU usage (%): 180.202
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 1360228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.4889
system time used= 1.18571
maximum resident set size= 1359468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56093
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= 2896
involuntary context switches= 77


# summary of solver processes directly reported to runsolver:
#   pid: 22529
#   total CPU time (s): 14.6746
#   total CPU user time (s): 13.4889
#   total CPU system time (s): 1.18571

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.074539 second user time and 0.126717 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-m4D/ Subisomorphism-si6-m4Dr4-m1296-04.xml
MD5SUM	bed822053ada34bca9e942ef4238d644
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.308784
Satisfiable
(Un)Satisfiability was proved
Number of variables	777
Number of constraints	2408
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":777}]
Minimum variable degree	2
Maximum variable degree	14
Distribution of variable degrees	[{"degree":2,"count":35},{"degree":3,"count":82},{"degree":4,"count":123},{"degree":6,"count":120},{"degree":7,"count":123},{"degree":8,"count":122},{"degree":9,"count":86},{"degree":10,"count":51},{"degree":11,"count":23},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":2}]
Minimum constraint arity	1
Maximum constraint arity	777
Distribution of constraint arities	[{"arity":1,"count":537},{"arity":2,"count":1870},{"arity":777,"count":1}]
Number of extensional constraints	2407
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2407},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4405859

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
