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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 5a (2017-07-26)	SAT	21.778299	14.4218
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 (15178 MiB free)
  memory of node 1: 16384 MiB (14921 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272743-1502786490/watcher-4272743-1502786490 -o /tmp/evaluation-result-4272743-1502786490/solver-4272743-1502786490 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1384450247 HOME/instance-4272743-1502786490.xml 

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

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


[startup+0.100089 s]*
/proc/loadavg: 1.63 1.74 1.88 3/204 28863
/proc/meminfo: memFree=30818364/32770624 swapFree=67108860/67108860
[pid=28856] ppid=28853 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28856/stat : 28856 (xcsp3-exec) S 28853 28856 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 32531615 9740288 344 18446744073709551615 4194304 5098028 140724701994448 140724701992552 140260126728828 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 34476032 140724701995385 140724701995590 140724701995590 140724701999083 0
/proc/28856/statm: 2378 344 289 221 0 87 0
[pid=28858] ppid=28856 vsize=13507920 memory=14324 CPUtime=0.01 cores=0,2,4,6
/proc/28858/stat : 28858 (java) S 28856 28856 7968 0 -1 1077944320 3873 0 0 0 1 0 0 0 20 0 8 0 32531623 13832110080 3581 18446744073709551615 4194304 4196468 140730352330768 140730352313312 139940330585847 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
/proc/28858/statm: 3376980 3581 2039 1 0 3366477 0
[pid=28858/tid=28859] ppid=28856 vsize=13507920 memory=7078076838863583841 CPUtime=0.01 cores=0,2,4,6
/proc/28858/task/28859/stat : 28859 (java) R 28856 28856 7968 0 -1 4202560 2618 0 0 0 1 0 0 0 20 0 8 0 32531624 13832110080 3581 18446744073709551615 4194304 4196468 140730352330768 139940334825904 139940314666334 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28860] ppid=28856 vsize=13507920 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28860/stat : 28860 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 32531624 13832110080 3581 18446744073709551615 4194304 4196468 140730352330768 139939930958736 139940330596053 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28861] ppid=28856 vsize=13507920 memory=140168226367104 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28861/stat : 28861 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 32531624 13832110080 3581 18446744073709551615 4194304 4196468 140730352330768 139939929905936 139940330596053 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28862] ppid=28856 vsize=13507920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28862/stat : 28862 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 32531624 13832110080 3581 18446744073709551615 4194304 4196468 140730352330768 139939928853648 139940330596053 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28863] ppid=28856 vsize=13507920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28863/stat : 28863 (java) S 28856 28856 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 32531624 13832110080 3581 18446744073709551615 4194304 4196468 140730352330768 139939927800848 139940330596053 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28864] ppid=28856 vsize=13507920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28864/stat : 28864 (java) S 28856 28856 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 32531626 13832110080 3581 18446744073709551615 4194304 4196468 140730352330768 139939247356016 139940330596994 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28865] ppid=28856 vsize=13507920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28865/stat : 28865 (java) S 28856 28856 7968 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 8 0 32531626 13832110080 3581 18446744073709551615 4194304 4196468 140730352330768 139939246300880 139940330596053 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13517432 KiB
Current children cumulated memory: 15700 KiB

[startup+0.210082 s]*
/proc/loadavg: 1.63 1.74 1.88 3/213 28872
/proc/meminfo: memFree=30806328/32770624 swapFree=67108860/67108860
[pid=28856] ppid=28853 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28856/stat : 28856 (xcsp3-exec) S 28853 28856 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 32531615 9740288 344 18446744073709551615 4194304 5098028 140724701994448 140724701992552 140260126728828 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 34476032 140724701995385 140724701995590 140724701995590 140724701999083 0
/proc/28856/statm: 2378 344 289 221 0 87 0
[pid=28858] ppid=28856 vsize=13974352 memory=28160 CPUtime=0.1 cores=0,2,4,6
/proc/28858/stat : 28858 (java) S 28856 28856 7968 0 -1 1077944320 5443 0 0 0 8 2 0 0 20 0 15 0 32531623 14309736448 7040 18446744073709551615 4194304 4196468 140730352330768 140730352313312 139940330585847 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
/proc/28858/statm: 3493588 7040 2749 1 0 3482964 0
[pid=28858/tid=28859] ppid=28856 vsize=13974352 memory=7078076838863583841 CPUtime=0.07 cores=0,2,4,6
/proc/28858/task/28859/stat : 28859 (java) R 28856 28856 7968 0 -1 4202560 3589 0 0 0 6 1 0 0 20 0 15 0 32531624 14309736448 7040 18446744073709551615 4194304 4196468 140730352330768 139940334811536 139940314666334 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28860] ppid=28856 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28860/stat : 28860 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32531624 14309736448 7040 18446744073709551615 4194304 4196468 140730352330768 139939930958736 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28861] ppid=28856 vsize=13974352 memory=140168226367104 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28861/stat : 28861 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32531624 14309736448 7040 18446744073709551615 4194304 4196468 140730352330768 139939929905936 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28862] ppid=28856 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28862/stat : 28862 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32531624 14309736448 7040 18446744073709551615 4194304 4196468 140730352330768 139939928853648 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28863] ppid=28856 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28863/stat : 28863 (java) S 28856 28856 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 32531624 14309736448 7040 18446744073709551615 4194304 4196468 140730352330768 139939927800848 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28864] ppid=28856 vsize=13974352 memory=140168226367104 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28864/stat : 28864 (java) S 28856 28856 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 32531626 14309736448 7040 18446744073709551615 4194304 4196468 140730352330768 139939247356016 139940330596994 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28865] ppid=28856 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28865/stat : 28865 (java) S 28856 28856 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 32531626 14309736448 7040 18446744073709551615 4194304 4196468 140730352330768 139939246301984 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28866] ppid=28856 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28866/stat : 28866 (java) S 28856 28856 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 32531626 14309736448 7040 18446744073709551615 4194304 4196468 140730352330768 139939245249648 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28867] ppid=28856 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28867/stat : 28867 (java) S 28856 28856 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32531629 14309736448 7040 18446744073709551615 4194304 4196468 140730352330768 139939244197968 139940330604443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28868] ppid=28856 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28868/stat : 28868 (java) S 28856 28856 7968 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 32531629 14309736448 7040 18446744073709551615 4194304 4196468 140730352330768 139939243145840 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28869] ppid=28856 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28869/stat : 28869 (java) R 28856 28856 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32531629 14309736448 7040 18446744073709551615 4194304 4196468 140730352330768 139939242093040 139940330596994 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28870] ppid=28856 vsize=13974352 memory=140168226367104 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28870/stat : 28870 (java) R 28856 28856 7968 0 -1 4202560 245 0 0 0 0 0 0 0 20 0 15 0 32531629 14309736448 7040 18446744073709551615 4194304 4196468 140730352330768 139939241040752 139940330597782 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28871] ppid=28856 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28871/stat : 28871 (java) S 28856 28856 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32531629 14309736448 7040 18446744073709551615 4194304 4196468 140730352330768 139939239988192 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28872] ppid=28856 vsize=13974352 memory=140168226367104 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28872/stat : 28872 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32531634 14309736448 7040 18446744073709551615 4194304 4196468 140730352330768 139939238934960 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29536 KiB

[startup+0.310361 s]*
/proc/loadavg: 1.63 1.74 1.88 4/213 28872
/proc/meminfo: memFree=30795548/32770624 swapFree=67108860/67108860
[pid=28856] ppid=28853 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28856/stat : 28856 (xcsp3-exec) S 28853 28856 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 32531615 9740288 344 18446744073709551615 4194304 5098028 140724701994448 140724701992552 140260126728828 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 34476032 140724701995385 140724701995590 140724701995590 140724701999083 0
/proc/28856/statm: 2378 344 289 221 0 87 0
[pid=28858] ppid=28856 vsize=13974352 memory=37316 CPUtime=0.28 cores=0,2,4,6
/proc/28858/stat : 28858 (java) S 28856 28856 7968 0 -1 1077944320 8970 0 0 0 25 3 0 0 20 0 15 0 32531623 14309736448 9329 18446744073709551615 4194304 4196468 140730352330768 140730352313312 139940330585847 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
/proc/28858/statm: 3493588 9329 2974 1 0 3482964 0
[pid=28858/tid=28859] ppid=28856 vsize=13974352 memory=4278483708103473607 CPUtime=0.17 cores=0,2,4,6
/proc/28858/task/28859/stat : 28859 (java) R 28856 28856 7968 0 -1 4202560 6207 0 0 0 15 2 0 0 20 0 15 0 32531624 14309736448 9329 18446744073709551615 4194304 4196468 140730352330768 139940334819936 139940330607194 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28860] ppid=28856 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28860/stat : 28860 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32531624 14309736448 9329 18446744073709551615 4194304 4196468 140730352330768 139939930958736 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28861] ppid=28856 vsize=13974352 memory=-7305533901252758645 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28861/stat : 28861 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32531624 14309736448 9329 18446744073709551615 4194304 4196468 140730352330768 139939929905936 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28862] ppid=28856 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28862/stat : 28862 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32531624 14309736448 9329 18446744073709551615 4194304 4196468 140730352330768 139939928853648 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28863] ppid=28856 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28863/stat : 28863 (java) S 28856 28856 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 32531624 14309736448 9329 18446744073709551615 4194304 4196468 140730352330768 139939927800848 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28864] ppid=28856 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28864/stat : 28864 (java) S 28856 28856 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 32531626 14309736448 9329 18446744073709551615 4194304 4196468 140730352330768 139939247356016 139940330596994 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28865] ppid=28856 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28865/stat : 28865 (java) S 28856 28856 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 32531626 14309736448 9329 18446744073709551615 4194304 4196468 140730352330768 139939246301984 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28866] ppid=28856 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28866/stat : 28866 (java) S 28856 28856 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 32531626 14309736448 9329 18446744073709551615 4194304 4196468 140730352330768 139939245249648 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28867] ppid=28856 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28867/stat : 28867 (java) S 28856 28856 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32531629 14309736448 9329 18446744073709551615 4194304 4196468 140730352330768 139939244197968 139940330604443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28868] ppid=28856 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28858/task/28868/stat : 28868 (java) S 28856 28856 7968 0 -1 1077944384 624 0 0 0 2 0 0 0 20 0 15 0 32531629 14309736448 9329 18446744073709551615 4194304 4196468 140730352330768 139939243145840 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28869] ppid=28856 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28858/task/28869/stat : 28869 (java) S 28856 28856 7968 0 -1 1077944384 121 0 0 0 1 0 0 0 20 0 15 0 32531629 14309736448 9329 18446744073709551615 4194304 4196468 140730352330768 139939242093040 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28870] ppid=28856 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/28858/task/28870/stat : 28870 (java) R 28856 28856 7968 0 -1 4202560 714 0 0 0 6 0 0 0 20 0 15 0 32531629 14309736448 9329 18446744073709551615 4194304 4196468 140730352330768 139939241040752 139940330607194 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28871] ppid=28856 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28871/stat : 28871 (java) S 28856 28856 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32531629 14309736448 9329 18446744073709551615 4194304 4196468 140730352330768 139939239988192 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28872] ppid=28856 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28872/stat : 28872 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32531634 14309736448 9329 18446744073709551615 4194304 4196468 140730352330768 139939238934960 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38692 KiB

[startup+0.701351 s]
/proc/loadavg: 1.63 1.74 1.88 5/213 28872
/proc/meminfo: memFree=30780112/32770624 swapFree=67108860/67108860
[pid=28856] ppid=28853 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28856/stat : 28856 (xcsp3-exec) S 28853 28856 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 32531615 9740288 344 18446744073709551615 4194304 5098028 140724701994448 140724701992552 140260126728828 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 34476032 140724701995385 140724701995590 140724701995590 140724701999083 0
/proc/28856/statm: 2378 344 289 221 0 87 0
[pid=28858] ppid=28856 vsize=13978684 memory=87324 CPUtime=1.37 cores=0,2,4,6
/proc/28858/stat : 28858 (java) S 28856 28856 7968 0 -1 1077944320 13949 0 0 0 132 5 0 0 20 0 15 0 32531623 14314172416 21831 18446744073709551615 4194304 4196468 140730352330768 140730352313312 139940330585847 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
/proc/28858/statm: 3494671 21831 3169 1 0 3482964 0
[pid=28858/tid=28859] ppid=28856 vsize=13978684 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/28858/task/28859/stat : 28859 (java) R 28856 28856 7968 0 -1 4202560 7993 0 0 0 52 3 0 0 20 0 15 0 32531624 14314172416 21831 18446744073709551615 4194304 4196468 140730352330768 139940334819760 139939972525552 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28860] ppid=28856 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28860/stat : 28860 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32531624 14314172416 21831 18446744073709551615 4194304 4196468 140730352330768 139939930958736 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28861] ppid=28856 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28861/stat : 28861 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32531624 14314172416 21831 18446744073709551615 4194304 4196468 140730352330768 139939929905936 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28862] ppid=28856 vsize=13978684 memory=7 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28862/stat : 28862 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32531624 14314172416 21831 18446744073709551615 4194304 4196468 140730352330768 139939928853648 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28863] ppid=28856 vsize=13978684 memory=36 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28863/stat : 28863 (java) S 28856 28856 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 32531624 14314172416 21831 18446744073709551615 4194304 4196468 140730352330768 139939927800848 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28864] ppid=28856 vsize=13978684 memory=2 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28864/stat : 28864 (java) S 28856 28856 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 32531626 14314172416 21831 18446744073709551615 4194304 4196468 140730352330768 139939247356016 139940330596994 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28865] ppid=28856 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28865/stat : 28865 (java) S 28856 28856 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 32531626 14314172416 21831 18446744073709551615 4194304 4196468 140730352330768 139939246301984 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28866] ppid=28856 vsize=13978684 memory=7883313791582089521 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28866/stat : 28866 (java) S 28856 28856 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 32531626 14314172416 21831 18446744073709551615 4194304 4196468 140730352330768 139939245249648 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28867] ppid=28856 vsize=13978684 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28867/stat : 28867 (java) S 28856 28856 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32531629 14314172416 21831 18446744073709551615 4194304 4196468 140730352330768 139939244197968 139940330604443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28868] ppid=28856 vsize=13978684 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/28858/task/28868/stat : 28868 (java) R 28856 28856 7968 0 -1 4202560 1979 0 0 0 27 0 0 0 20 0 15 0 32531629 14314172416 21831 18446744073709551615 4194304 4196468 140730352330768 139939243126656 139940314082681 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28869] ppid=28856 vsize=13978684 memory=140168069653104 CPUtime=0.23 cores=0,2,4,6
/proc/28858/task/28869/stat : 28869 (java) R 28856 28856 7968 0 -1 4202560 1105 0 0 0 23 0 0 0 20 0 15 0 32531629 14314172416 21831 18446744073709551615 4194304 4196468 140730352330768 139939242074056 139940314082627 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28870] ppid=28856 vsize=13978684 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/28858/task/28870/stat : 28870 (java) R 28856 28856 7968 0 -1 4202560 1566 0 0 0 28 0 0 0 20 0 15 0 32531629 14314172416 21831 18446744073709551615 4194304 4196468 140730352330768 139939241040752 139940310300644 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28871] ppid=28856 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28871/stat : 28871 (java) S 28856 28856 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32531629 14314172416 21831 18446744073709551615 4194304 4196468 140730352330768 139939239988192 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28872] ppid=28856 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28872/stat : 28872 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32531634 14314172416 21831 18446744073709551615 4194304 4196468 140730352330768 139939238934960 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 88700 KiB

[startup+1.50139 s]
/proc/loadavg: 1.63 1.74 1.88 5/213 28872
/proc/meminfo: memFree=30704068/32770624 swapFree=67108860/67108860
[pid=28856] ppid=28853 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28856/stat : 28856 (xcsp3-exec) S 28853 28856 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 32531615 9740288 344 18446744073709551615 4194304 5098028 140724701994448 140724701992552 140260126728828 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 34476032 140724701995385 140724701995590 140724701995590 140724701999083 0
/proc/28856/statm: 2378 344 289 221 0 87 0
[pid=28858] ppid=28856 vsize=13980732 memory=170232 CPUtime=4.08 cores=0,2,4,6
/proc/28858/stat : 28858 (java) S 28856 28856 7968 0 -1 1077944320 21430 0 0 0 401 7 0 0 20 0 15 0 32531623 14316269568 42558 18446744073709551615 4194304 4196468 140730352330768 140730352313312 139940330585847 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
/proc/28858/statm: 3495183 42558 3203 1 0 3483476 0
[pid=28858/tid=28859] ppid=28856 vsize=13980732 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/28858/task/28859/stat : 28859 (java) R 28856 28856 7968 0 -1 4202560 9493 0 0 0 130 5 0 0 20 0 15 0 32531624 14316269568 42558 18446744073709551615 4194304 4196468 140730352330768 139940334823840 139939979346149 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28860] ppid=28856 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28860/stat : 28860 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32531624 14316269568 42558 18446744073709551615 4194304 4196468 140730352330768 139939930958736 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28861] ppid=28856 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28861/stat : 28861 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32531624 14316269568 42558 18446744073709551615 4194304 4196468 140730352330768 139939929905936 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28862] ppid=28856 vsize=13980732 memory=11830 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28862/stat : 28862 (java) S 28856 28856 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32531624 14316269568 42558 18446744073709551615 4194304 4196468 140730352330768 139939928853648 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28863] ppid=28856 vsize=13980732 memory=20825 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28863/stat : 28863 (java) S 28856 28856 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 32531624 14316269568 42558 18446744073709551615 4194304 4196468 140730352330768 139939927800848 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28864] ppid=28856 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/28856/stat : 28856 (xcsp3-exec) S 28853 28856 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 32531615 9740288 344 18446744073709551615 4194304 5098028 140724701994448 140724701992552 140260126728828 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 34476032 140724701995385 140724701995590 140724701995590 140724701999083 0
/proc/28856/statm: 2378 344 289 221 0 87 0
[pid=28858] ppid=28856 vsize=13980732 memory=245080 CPUtime=20.1 cores=0,2,4,6
/proc/28858/stat : 28858 (java) S 28856 28856 7968 0 -1 1077944320 36997 0 0 0 1994 16 0 0 20 0 15 0 32531623 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 140730352313312 139940330585847 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
/proc/28858/statm: 3495183 61270 3245 1 0 3483476 0
[pid=28858/tid=28859] ppid=28856 vsize=13980732 memory=0 CPUtime=12.56 cores=0,2,4,6
/proc/28858/task/28859/stat : 28859 (java) R 28856 28856 7968 0 -1 4202560 11112 0 0 0 1251 5 0 0 20 0 15 0 32531624 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139940334824848 139939979104772 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28860] ppid=28856 vsize=13980732 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28858/task/28860/stat : 28860 (java) S 28856 28856 7968 0 -1 1077944384 177 0 0 0 4 0 0 0 20 0 15 0 32531624 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939930958736 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28861] ppid=28856 vsize=13980732 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/28858/task/28861/stat : 28861 (java) S 28856 28856 7968 0 -1 1077944384 1127 0 0 0 5 1 0 0 20 0 15 0 32531624 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939929905936 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28862] ppid=28856 vsize=13980732 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/28858/task/28862/stat : 28862 (java) S 28856 28856 7968 0 -1 1077944384 271 0 0 0 5 1 0 0 20 0 15 0 32531624 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939928853648 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28863] ppid=28856 vsize=13980732 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/28858/task/28863/stat : 28863 (java) S 28856 28856 7968 0 -1 1077944384 859 0 0 0 5 1 0 0 20 0 15 0 32531624 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939927800848 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28864] ppid=28856 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28858/task/28864/stat : 28864 (java) S 28856 28856 7968 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 15 0 32531626 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939247356016 139940330596994 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28865] ppid=28856 vsize=13980732 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28865/stat : 28865 (java) S 28856 28856 7968 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 32531626 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939246301984 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28866] ppid=28856 vsize=13980732 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28866/stat : 28866 (java) S 28856 28856 7968 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 32531626 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939245249648 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28867] ppid=28856 vsize=13980732 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28867/stat : 28867 (java) S 28856 28856 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32531629 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939244197968 139940330604443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28868] ppid=28856 vsize=13980732 memory=12512 CPUtime=3.25 cores=0,2,4,6
/proc/28858/task/28868/stat : 28868 (java) S 28856 28856 7968 0 -1 1077944384 9565 0 0 0 324 1 0 0 20 0 15 0 32531629 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939243145840 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28869] ppid=28856 vsize=13980732 memory=0 CPUtime=3.12 cores=0,2,4,6
/proc/28858/task/28869/stat : 28869 (java) S 28856 28856 7968 0 -1 1077944384 7090 0 0 0 311 1 0 0 20 0 15 0 32531629 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939242093040 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28870] ppid=28856 vsize=13980732 memory=0 CPUtime=0.84 cores=0,2,4,6
/proc/28858/task/28870/stat : 28870 (java) S 28856 28856 7968 0 -1 1077944384 5048 0 0 0 82 2 0 0 20 0 15 0 32531629 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939241040752 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28871] ppid=28856 vsize=13980732 memory=211944 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28871/stat : 28871 (java) S 28856 28856 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32531629 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939239988192 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28872] ppid=28856 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28872/stat : 28872 (java) S 28856 28856 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 32531634 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939238934960 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
Current children cumulated CPU time: 20.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 246456 KiB

[startup+13.6008 s]
/proc/loadavg: 1.54 1.72 1.87 3/213 28874
/proc/meminfo: memFree=30589696/32770624 swapFree=67108860/67108860
[pid=28856] ppid=28853 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28856/stat : 28856 (xcsp3-exec) S 28853 28856 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 32531615 9740288 344 18446744073709551615 4194304 5098028 140724701994448 140724701992552 140260126728828 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 34476032 140724701995385 140724701995590 140724701995590 140724701999083 0
/proc/28856/statm: 2378 344 289 221 0 87 0
[pid=28858] ppid=28856 vsize=13980732 memory=245080 CPUtime=20.9 cores=0,2,4,6
/proc/28858/stat : 28858 (java) S 28856 28856 7968 0 -1 1077944320 37241 0 0 0 2074 16 0 0 20 0 15 0 32531623 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 140730352313312 139940330585847 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
/proc/28858/statm: 3495183 61270 3245 1 0 3483476 0
[pid=28858/tid=28859] ppid=28856 vsize=13980732 memory=-7175204567652784766 CPUtime=13.36 cores=0,2,4,6
/proc/28858/task/28859/stat : 28859 (java) R 28856 28856 7968 0 -1 4202560 11352 0 0 0 1331 5 0 0 20 0 15 0 32531624 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139940334822904 139939980230038 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28860] ppid=28856 vsize=13980732 memory=7100839861465685612 CPUtime=0.04 cores=0,2,4,6
/proc/28858/task/28860/stat : 28860 (java) S 28856 28856 7968 0 -1 1077944384 177 0 0 0 4 0 0 0 20 0 15 0 32531624 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939930958736 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28861] ppid=28856 vsize=13980732 memory=280336139333992 CPUtime=0.06 cores=0,2,4,6
/proc/28858/task/28861/stat : 28861 (java) S 28856 28856 7968 0 -1 1077944384 1127 0 0 0 5 1 0 0 20 0 15 0 32531624 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939929905936 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28862] ppid=28856 vsize=13980732 memory=128279600171764 CPUtime=0.06 cores=0,2,4,6
/proc/28858/task/28862/stat : 28862 (java) S 28856 28856 7968 0 -1 1077944384 271 0 0 0 5 1 0 0 20 0 15 0 32531624 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939928853648 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28863] ppid=28856 vsize=13980732 memory=2012 CPUtime=0.06 cores=0,2,4,6
/proc/28858/task/28863/stat : 28863 (java) S 28856 28856 7968 0 -1 1077944384 859 0 0 0 5 1 0 0 20 0 15 0 32531624 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939927800848 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28864] ppid=28856 vsize=13980732 memory=5520 CPUtime=0.01 cores=0,2,4,6
/proc/28858/task/28864/stat : 28864 (java) S 28856 28856 7968 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 15 0 32531626 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939247356016 139940330596994 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28865] ppid=28856 vsize=13980732 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28865/stat : 28865 (java) S 28856 28856 7968 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 32531626 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939246301984 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28866] ppid=28856 vsize=13980732 memory=792 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28866/stat : 28866 (java) S 28856 28856 7968 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 32531626 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939245249648 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28867] ppid=28856 vsize=13980732 memory=8700 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28867/stat : 28867 (java) S 28856 28856 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32531629 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939244197968 139940330604443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28868] ppid=28856 vsize=13980732 memory=1440 CPUtime=3.25 cores=0,2,4,6
/proc/28858/task/28868/stat : 28868 (java) S 28856 28856 7968 0 -1 1077944384 9565 0 0 0 324 1 0 0 20 0 15 0 32531629 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939243145840 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28869] ppid=28856 vsize=13980732 memory=9916 CPUtime=3.12 cores=0,2,4,6
/proc/28858/task/28869/stat : 28869 (java) S 28856 28856 7968 0 -1 1077944384 7090 0 0 0 311 1 0 0 20 0 15 0 32531629 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939242093040 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28870] ppid=28856 vsize=13980732 memory=1200 CPUtime=0.84 cores=0,2,4,6
/proc/28858/task/28870/stat : 28870 (java) S 28856 28856 7968 0 -1 1077944384 5048 0 0 0 82 2 0 0 20 0 15 0 32531629 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939241040752 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28871] ppid=28856 vsize=13980732 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28871/stat : 28871 (java) S 28856 28856 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32531629 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939239988192 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28872] ppid=28856 vsize=13980732 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28872/stat : 28872 (java) S 28856 28856 7968 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 32531634 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939238934960 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
Current children cumulated CPU time: 20.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 246456 KiB

[startup+14.0008 s]*
/proc/loadavg: 1.49 1.71 1.87 3/213 28874
/proc/meminfo: memFree=30589696/32770624 swapFree=67108860/67108860
[pid=28856] ppid=28853 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28856/stat : 28856 (xcsp3-exec) S 28853 28856 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 32531615 9740288 344 18446744073709551615 4194304 5098028 140724701994448 140724701992552 140260126728828 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 34476032 140724701995385 140724701995590 140724701995590 140724701999083 0
/proc/28856/statm: 2378 344 289 221 0 87 0
[pid=28858] ppid=28856 vsize=13980732 memory=245080 CPUtime=21.34 cores=0,2,4,6
/proc/28858/stat : 28858 (java) S 28856 28856 7968 0 -1 1077944320 37748 0 0 0 2118 16 0 0 20 0 15 0 32531623 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 140730352313312 139940330585847 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
/proc/28858/statm: 3495183 61270 3245 1 0 3483476 0
[pid=28858/tid=28859] ppid=28856 vsize=13980732 memory=4278483708103473607 CPUtime=13.75 cores=0,2,4,6
/proc/28858/task/28859/stat : 28859 (java) R 28856 28856 7968 0 -1 4202560 11469 0 0 0 1370 5 0 0 20 0 15 0 32531624 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139940334825216 139939980993164 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28860] ppid=28856 vsize=13980732 memory=-7003737579269690708 CPUtime=0.06 cores=0,2,4,6
/proc/28858/task/28860/stat : 28860 (java) S 28856 28856 7968 0 -1 1077944384 247 0 0 0 6 0 0 0 20 0 15 0 32531624 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939930958736 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28861] ppid=28856 vsize=13980732 memory=1792 CPUtime=0.07 cores=0,2,4,6
/proc/28858/task/28861/stat : 28861 (java) S 28856 28856 7968 0 -1 1077944384 1143 0 0 0 6 1 0 0 20 0 15 0 32531624 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939929905936 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28862] ppid=28856 vsize=13980732 memory=960 CPUtime=0.08 cores=0,2,4,6
/proc/28858/task/28862/stat : 28862 (java) S 28856 28856 7968 0 -1 1077944384 476 0 0 0 7 1 0 0 20 0 15 0 32531624 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939928853648 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28863] ppid=28856 vsize=13980732 memory=2248 CPUtime=0.07 cores=0,2,4,6
/proc/28858/task/28863/stat : 28863 (java) S 28856 28856 7968 0 -1 1077944384 937 0 0 0 6 1 0 0 20 0 15 0 32531624 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939927800848 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28864] ppid=28856 vsize=13980732 memory=4304 CPUtime=0.01 cores=0,2,4,6
/proc/28858/task/28864/stat : 28864 (java) S 28856 28856 7968 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 15 0 32531626 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939247356016 139940330596994 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28865] ppid=28856 vsize=13980732 memory=1588 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28865/stat : 28865 (java) S 28856 28856 7968 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 32531626 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939246301984 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28866] ppid=28856 vsize=13980732 memory=928 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28866/stat : 28866 (java) S 28856 28856 7968 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 32531626 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939245249648 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28867] ppid=28856 vsize=13980732 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28867/stat : 28867 (java) S 28856 28856 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32531629 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939244197968 139940330604443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28868] ppid=28856 vsize=13980732 memory=840 CPUtime=3.25 cores=0,2,4,6
/proc/28858/task/28868/stat : 28868 (java) S 28856 28856 7968 0 -1 1077944384 9565 0 0 0 324 1 0 0 20 0 15 0 32531629 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939243145840 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28869] ppid=28856 vsize=13980732 memory=3880 CPUtime=3.12 cores=0,2,4,6
/proc/28858/task/28869/stat : 28869 (java) S 28856 28856 7968 0 -1 1077944384 7090 0 0 0 311 1 0 0 20 0 15 0 32531629 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939242093040 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28870] ppid=28856 vsize=13980732 memory=4449 CPUtime=0.84 cores=0,2,4,6
/proc/28858/task/28870/stat : 28870 (java) S 28856 28856 7968 0 -1 1077944384 5048 0 0 0 82 2 0 0 20 0 15 0 32531629 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939241040752 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28871] ppid=28856 vsize=13980732 memory=288230377041177902 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28871/stat : 28871 (java) S 28856 28856 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32531629 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939239988192 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28872] ppid=28856 vsize=13980732 memory=288286662604373706 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28872/stat : 28872 (java) S 28856 28856 7968 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 32531634 14316269568 61270 18446744073709551615 4194304 4196468 140730352330768 139939238934960 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
Current children cumulated CPU time: 21.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 246456 KiB

[startup+14.4007 s]
/proc/loadavg: 1.49 1.71 1.87 3/213 28874
/proc/meminfo: memFree=30589696/32770624 swapFree=67108860/67108860
[pid=28856] ppid=28853 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28856/stat : 28856 (xcsp3-exec) S 28853 28856 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 32531615 9740288 344 18446744073709551615 4194304 5098028 140724701994448 140724701992552 140260126728828 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 34476032 140724701995385 140724701995590 140724701995590 140724701999083 0
/proc/28856/statm: 2378 344 289 221 0 87 0
[pid=28858] ppid=28856 vsize=13980732 memory=245116 CPUtime=21.75 cores=0,2,4,6
/proc/28858/stat : 28858 (java) S 28856 28856 7968 0 -1 1077944320 39053 0 0 0 2159 16 0 0 20 0 15 0 32531623 14316269568 61279 18446744073709551615 4194304 4196468 140730352330768 140730352313312 139940330585847 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
/proc/28858/statm: 3495183 61279 3246 1 0 3483476 0
[pid=28858/tid=28859] ppid=28856 vsize=13980732 memory=5938385810035469159 CPUtime=14.14 cores=0,2,4,6
/proc/28858/task/28859/stat : 28859 (java) S 28856 28856 7968 0 -1 1077944384 11907 0 0 0 1409 5 0 0 20 0 15 0 32531624 14316269568 61279 18446744073709551615 4194304 4196468 140730352330768 139940334828560 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28860] ppid=28856 vsize=13980732 memory=7305233785910879061 CPUtime=0.06 cores=0,2,4,6
/proc/28858/task/28860/stat : 28860 (java) S 28856 28856 7968 0 -1 1077944384 247 0 0 0 6 0 0 0 20 0 15 0 32531624 14316269568 61279 18446744073709551615 4194304 4196468 140730352330768 139939930958736 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28861] ppid=28856 vsize=13980732 memory=-8774313645642428999 CPUtime=0.07 cores=0,2,4,6
/proc/28858/task/28861/stat : 28861 (java) S 28856 28856 7968 0 -1 1077944384 1143 0 0 0 6 1 0 0 20 0 15 0 32531624 14316269568 61279 18446744073709551615 4194304 4196468 140730352330768 139939929905936 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28862] ppid=28856 vsize=13980732 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28858/task/28862/stat : 28862 (java) S 28856 28856 7968 0 -1 1077944384 476 0 0 0 7 1 0 0 20 0 15 0 32531624 14316269568 61279 18446744073709551615 4194304 4196468 140730352330768 139939928853648 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28863] ppid=28856 vsize=13980732 memory=140168069948336 CPUtime=0.07 cores=0,2,4,6
/proc/28858/task/28863/stat : 28863 (java) S 28856 28856 7968 0 -1 1077944384 937 0 0 0 6 1 0 0 20 0 15 0 32531624 14316269568 61279 18446744073709551615 4194304 4196468 140730352330768 139939927800848 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28864] ppid=28856 vsize=13980732 memory=3472468447117612688 CPUtime=0.01 cores=0,2,4,6
/proc/28858/task/28864/stat : 28864 (java) S 28856 28856 7968 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 15 0 32531626 14316269568 61279 18446744073709551615 4194304 4196468 140730352330768 139939247356016 139940330596994 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28865] ppid=28856 vsize=13980732 memory=140168069686736 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28865/stat : 28865 (java) S 28856 28856 7968 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 32531626 14316269568 61279 18446744073709551615 4194304 4196468 140730352330768 139939246301984 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28866] ppid=28856 vsize=13980732 memory=245080 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28866/stat : 28866 (java) S 28856 28856 7968 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 32531626 14316269568 61279 18446744073709551615 4194304 4196468 140730352330768 139939245249648 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28867] ppid=28856 vsize=13980732 memory=14410436439181270 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28867/stat : 28867 (java) S 28856 28856 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32531629 14316269568 61279 18446744073709551615 4194304 4196468 140730352330768 139939244197968 139940330604443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28868] ppid=28856 vsize=13980732 memory=280336140182048 CPUtime=3.26 cores=0,2,4,6
/proc/28858/task/28868/stat : 28868 (java) R 28856 28856 7968 0 -1 4202560 9641 0 0 0 325 1 0 0 20 0 15 0 32531629 14316269568 61279 18446744073709551615 4194304 4196468 140730352330768 139939243145840 139940316741134 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28869] ppid=28856 vsize=13980732 memory=140168070116144 CPUtime=3.13 cores=0,2,4,6
/proc/28858/task/28869/stat : 28869 (java) R 28856 28856 7968 0 -1 4202560 7676 0 0 0 312 1 0 0 20 0 15 0 32531629 14316269568 61279 18446744073709551615 4194304 4196468 140730352330768 139939242093040 139940322875229 0 4 1 16800974 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28870] ppid=28856 vsize=13980732 memory=280336140207008 CPUtime=0.84 cores=0,2,4,6
/proc/28858/task/28870/stat : 28870 (java) S 28856 28856 7968 0 -1 1077944384 5257 0 0 0 82 2 0 0 20 0 15 0 32531629 14316269568 61279 18446744073709551615 4194304 4196468 140730352330768 139939241040752 139940330596994 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28871] ppid=28856 vsize=13980732 memory=3472468464297796416 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28871/stat : 28871 (java) S 28856 28856 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32531629 14316269568 61279 18446744073709551615 4194304 4196468 140730352330768 139939239988192 139940330596053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
[pid=28858/tid=28872] ppid=28856 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/28858/task/28872/stat : 28872 (java) R 28856 28856 7968 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 32531634 14316269568 61279 18446744073709551615 4194304 4196468 140730352330768 139939238934960 139940330596994 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 36528128 140730352333234 140730352333410 140730352333410 140730352336847 0
Current children cumulated CPU time: 21.75 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 246492 KiB

Child status: 0
Real time (s): 14.4218
CPU time (s): 21.7783
CPU user time (s): 21.6078
CPU system time (s): 0.170518
CPU usage (%): 151.01
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 246492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.6078
system time used= 0.170518
maximum resident set size= 245428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39802
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= 2859
involuntary context switches= 48


# summary of solver processes directly reported to runsolver:
#   pid: 28856
#   total CPU time (s): 21.7783
#   total CPU user time (s): 21.6078
#   total CPU system time (s): 0.170518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.107511 second user time and 0.18978 second system time

The end
Name	SocialGolfers/SocialGolfers-xcsp2-s1/ SocialGolfers-06-3-5_X2.xml
MD5SUM	a8701a72dabf0de37daca9c92732f8d4
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	13.4951
Satisfiable
(Un)Satisfiability was proved
Number of variables	1080
Number of constraints	3375
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":1080}]
Minimum variable degree	6
Maximum variable degree	16
Distribution of variable degrees	[{"degree":6,"count":630},{"degree":16,"count":450}]
Minimum constraint arity	3
Maximum constraint arity	15
Distribution of constraint arities	[{"arity":3,"count":3150},{"arity":5,"count":90},{"arity":6,"count":105},{"arity":15,"count":30}]
Number of extensional constraints	0
Number of intensional constraints	3150
Distribution of constraint types	[{"type":"intension","count":3150},{"type":"sum","count":225}]
Optimization problem	NO
Type of objective
Trace number 4272743

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
