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-08-18)	SAT	136.14101	129.507
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 (14165 MiB free)
  memory of node 1: 16384 MiB (15433 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283773-1503192069/watcher-4283773-1503192069 -o /tmp/evaluation-result-4283773-1503192069/solver-4283773-1503192069 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 303730284 HOME/instance-4283773-1503192069.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=13405, runsolver pid=13402
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 1.60 1.55 1.59 3/205 13414
/proc/meminfo: memFree=30301700/32770624 swapFree=67108860/67108860
[pid=13405] ppid=13402 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13405/stat : 13405 (xcsp3-exec) S 13402 13405 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121399880 9740288 345 18446744073709551615 4194304 5098028 140734065008784 140734065006888 139942608487036 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36089856 140734065013113 140734065013317 140734065013317 140734065016811 0
/proc/13405/statm: 2378 345 289 221 0 87 0
[pid=13407] ppid=13405 vsize=13574484 memory=16932 CPUtime=0.02 cores=1,3,5,7
/proc/13407/stat : 13407 (java) S 13405 13405 28892 0 -1 1077944320 4085 0 0 0 2 0 0 0 20 0 9 0 121399887 13900271616 4233 18446744073709551615 4194304 4196468 140736355889472 140736355872016 139974257856247 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
/proc/13407/statm: 3393621 4233 2092 1 0 3383118 0
[pid=13407/tid=13408] ppid=13405 vsize=13574484 memory=-8023549066454273880 CPUtime=0.02 cores=1,3,5,7
/proc/13407/task/13408/stat : 13408 (java) R 13405 13405 28892 0 -1 4202560 2805 0 0 0 2 0 0 0 20 0 9 0 121399887 13900271616 4299 18446744073709551615 4194304 4196468 140736355889472 139974262092392 139974241936734 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13409] ppid=13405 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13409/stat : 13409 (java) S 13405 13405 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 121399888 13900271616 4299 18446744073709551615 4194304 4196468 140736355889472 139973858343184 139974257866453 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13410] ppid=13405 vsize=13574484 memory=139726422083200 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13410/stat : 13410 (java) S 13405 13405 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 121399888 13900271616 4299 18446744073709551615 4194304 4196468 140736355889472 139973857290640 139974257866453 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13411] ppid=13405 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13411/stat : 13411 (java) S 13405 13405 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 121399888 13900271616 4299 18446744073709551615 4194304 4196468 140736355889472 139973856238096 139974257866453 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13412] ppid=13405 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13412/stat : 13412 (java) S 13405 13405 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 121399888 13900271616 4299 18446744073709551615 4194304 4196468 140736355889472 139973855185552 139974257866453 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13413] ppid=13405 vsize=13574484 memory=139726422083200 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13413/stat : 13413 (java) S 13405 13405 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 121399889 13900271616 4299 18446744073709551615 4194304 4196468 140736355889472 139973803604464 139974257867394 0 0 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13414] ppid=13405 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13414/stat : 13414 (java) S 13405 13405 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 121399890 13900271616 4299 18446744073709551615 4194304 4196468 140736355889472 139973802550688 139974257866453 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13415] ppid=13405 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13415/stat : 13415 (java) S 13405 13405 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 121399890 13900271616 4299 18446744073709551615 4194304 4196468 140736355889472 139973801498160 139974257866453 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18312 KiB

[startup+0.209933 s]*
/proc/loadavg: 1.60 1.55 1.59 3/212 13421
/proc/meminfo: memFree=30292204/32770624 swapFree=67108860/67108860
[pid=13405] ppid=13402 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13405/stat : 13405 (xcsp3-exec) S 13402 13405 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121399880 9740288 345 18446744073709551615 4194304 5098028 140734065008784 140734065006888 139942608487036 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36089856 140734065013113 140734065013317 140734065013317 140734065016811 0
/proc/13405/statm: 2378 345 289 221 0 87 0
[pid=13407] ppid=13405 vsize=13974352 memory=28488 CPUtime=0.11 cores=1,3,5,7
/proc/13407/stat : 13407 (java) S 13405 13405 28892 0 -1 1077944320 5554 0 0 0 10 1 0 0 20 0 15 0 121399887 14309736448 7122 18446744073709551615 4194304 4196468 140736355889472 140736355872016 139974257856247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
/proc/13407/statm: 3493588 7122 2838 1 0 3482964 0
[pid=13407/tid=13408] ppid=13405 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/13407/task/13408/stat : 13408 (java) R 13405 13405 28892 0 -1 4202560 3574 0 0 0 8 0 0 0 20 0 15 0 121399887 14309736448 7122 18446744073709551615 4194304 4196468 140736355889472 139974262078640 139974257878173 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13409] ppid=13405 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13409/stat : 13409 (java) S 13405 13405 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121399888 14309736448 7122 18446744073709551615 4194304 4196468 140736355889472 139973858343184 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13410] ppid=13405 vsize=13974352 memory=3473035379253511840 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13410/stat : 13410 (java) S 13405 13405 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121399888 14309736448 7122 18446744073709551615 4194304 4196468 140736355889472 139973857290640 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13411] ppid=13405 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13411/stat : 13411 (java) S 13405 13405 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121399888 14309736448 7122 18446744073709551615 4194304 4196468 140736355889472 139973856238096 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13412] ppid=13405 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13412/stat : 13412 (java) S 13405 13405 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121399888 14309736448 7122 18446744073709551615 4194304 4196468 140736355889472 139973855185552 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13413] ppid=13405 vsize=13974352 memory=139726422083200 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13413/stat : 13413 (java) S 13405 13405 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121399889 14309736448 7122 18446744073709551615 4194304 4196468 140736355889472 139973803604464 139974257867394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13414] ppid=13405 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13414/stat : 13414 (java) S 13405 13405 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121399890 14309736448 7122 18446744073709551615 4194304 4196468 140736355889472 139973802550688 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13415] ppid=13405 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13415/stat : 13415 (java) S 13405 13405 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121399890 14309736448 7122 18446744073709551615 4194304 4196468 140736355889472 139973801498096 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13416] ppid=13405 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13416/stat : 13416 (java) S 13405 13405 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121399893 14309736448 7122 18446744073709551615 4194304 4196468 140736355889472 139973800446672 139974257874843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13417] ppid=13405 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13417/stat : 13417 (java) S 13405 13405 28892 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 121399893 14309736448 7122 18446744073709551615 4194304 4196468 140736355889472 139973799393264 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13418] ppid=13405 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13418/stat : 13418 (java) S 13405 13405 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121399893 14309736448 7122 18446744073709551615 4194304 4196468 140736355889472 139973798340720 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13419] ppid=13405 vsize=13974352 memory=139726422083200 CPUtime=0.01 cores=1,3,5,7
/proc/13407/task/13419/stat : 13419 (java) S 13405 13405 28892 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 121399893 14309736448 7122 18446744073709551615 4194304 4196468 140736355889472 139973797288176 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13420] ppid=13405 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13420/stat : 13420 (java) S 13405 13405 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121399893 14309736448 7122 18446744073709551615 4194304 4196468 140736355889472 139973796235872 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13421] ppid=13405 vsize=13974352 memory=139726422083200 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13421/stat : 13421 (java) S 13405 13405 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121399898 14309736448 7122 18446744073709551615 4194304 4196468 140736355889472 139973795183408 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29868 KiB

[startup+0.315861 s]*
/proc/loadavg: 1.60 1.55 1.59 4/212 13421
/proc/meminfo: memFree=30279720/32770624 swapFree=67108860/67108860
[pid=13405] ppid=13402 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13405/stat : 13405 (xcsp3-exec) S 13402 13405 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121399880 9740288 345 18446744073709551615 4194304 5098028 140734065008784 140734065006888 139942608487036 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36089856 140734065013113 140734065013317 140734065013317 140734065016811 0
/proc/13405/statm: 2378 345 289 221 0 87 0
[pid=13407] ppid=13405 vsize=13974352 memory=39600 CPUtime=0.32 cores=1,3,5,7
/proc/13407/stat : 13407 (java) S 13405 13405 28892 0 -1 1077944320 9171 0 0 0 29 3 0 0 20 0 15 0 121399887 14309736448 9900 18446744073709551615 4194304 4196468 140736355889472 140736355872016 139974257856247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
/proc/13407/statm: 3493588 9900 2991 1 0 3482964 0
[pid=13407/tid=13408] ppid=13405 vsize=13976468 memory=-7677926825137650786 CPUtime=0.19 cores=1,3,5,7
/proc/13407/task/13408/stat : 13408 (java) R 13405 13405 28892 0 -1 4202560 6347 0 0 0 17 2 0 0 20 0 15 0 121399887 14311903232 9930 18446744073709551615 4194304 4196468 140736355889472 139974262078392 139974260131527 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13409] ppid=13405 vsize=13976468 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13409/stat : 13409 (java) S 13405 13405 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121399888 14311903232 9930 18446744073709551615 4194304 4196468 140736355889472 139973858343184 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13410] ppid=13405 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13410/stat : 13410 (java) S 13405 13405 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121399888 14311903232 9930 18446744073709551615 4194304 4196468 140736355889472 139973857290640 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13411] ppid=13405 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13411/stat : 13411 (java) S 13405 13405 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121399888 14311903232 9930 18446744073709551615 4194304 4196468 140736355889472 139973856238096 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13412] ppid=13405 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13412/stat : 13412 (java) S 13405 13405 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121399888 14311903232 9930 18446744073709551615 4194304 4196468 140736355889472 139973855185552 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13413] ppid=13405 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13413/stat : 13413 (java) S 13405 13405 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121399889 14311903232 9930 18446744073709551615 4194304 4196468 140736355889472 139973803604464 139974257867394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13414] ppid=13405 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13414/stat : 13414 (java) S 13405 13405 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121399890 14311903232 9930 18446744073709551615 4194304 4196468 140736355889472 139973802550688 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13415] ppid=13405 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13415/stat : 13415 (java) S 13405 13405 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121399890 14311903232 9930 18446744073709551615 4194304 4196468 140736355889472 139973801498096 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13416] ppid=13405 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13416/stat : 13416 (java) S 13405 13405 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121399893 14311903232 9930 18446744073709551615 4194304 4196468 140736355889472 139973800446672 139974257874843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13417] ppid=13405 vsize=13976468 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13407/task/13417/stat : 13417 (java) S 13405 13405 28892 0 -1 1077944384 586 0 0 0 2 0 0 0 20 0 15 0 121399893 14311903232 9930 18446744073709551615 4194304 4196468 140736355889472 139973799393264 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13418] ppid=13405 vsize=13976468 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13407/task/13418/stat : 13418 (java) S 13405 13405 28892 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 15 0 121399893 14311903232 9930 18446744073709551615 4194304 4196468 140736355889472 139973798340720 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13419] ppid=13405 vsize=13976468 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13407/task/13419/stat : 13419 (java) S 13405 13405 28892 0 -1 1077944384 706 0 0 0 7 0 0 0 20 0 15 0 121399893 14311903232 9930 18446744073709551615 4194304 4196468 140736355889472 139973797288176 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13420] ppid=13405 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13420/stat : 13420 (java) S 13405 13405 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121399893 14311903232 9930 18446744073709551615 4194304 4196468 140736355889472 139973796235872 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13421] ppid=13405 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13421/stat : 13421 (java) S 13405 13405 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121399898 14311903232 9930 18446744073709551615 4194304 4196468 140736355889472 139973795183408 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40980 KiB

[startup+0.700774 s]
/proc/loadavg: 1.60 1.55 1.59 5/212 13421
/proc/meminfo: memFree=30261812/32770624 swapFree=67108860/67108860
[pid=13405] ppid=13402 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13405/stat : 13405 (xcsp3-exec) S 13402 13405 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121399880 9740288 345 18446744073709551615 4194304 5098028 140734065008784 140734065006888 139942608487036 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36089856 140734065013113 140734065013317 140734065013317 140734065016811 0
/proc/13405/statm: 2378 345 289 221 0 87 0
[pid=13407] ppid=13405 vsize=13978684 memory=87436 CPUtime=1.27 cores=1,3,5,7
/proc/13407/stat : 13407 (java) S 13405 13405 28892 0 -1 1077944320 13447 0 0 0 122 5 0 0 20 0 15 0 121399887 14314172416 21859 18446744073709551615 4194304 4196468 140736355889472 140736355872016 139974257856247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
/proc/13407/statm: 3494671 21859 3157 1 0 3482964 0
[pid=13407/tid=13408] ppid=13405 vsize=13978684 memory=4612 CPUtime=0.56 cores=1,3,5,7
/proc/13407/task/13408/stat : 13408 (java) R 13405 13405 28892 0 -1 4202560 7836 0 0 0 53 3 0 0 20 0 15 0 121399887 14314172416 21859 18446744073709551615 4194304 4196468 140736355889472 139974262094784 139973876589902 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13409] ppid=13405 vsize=13978684 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13409/stat : 13409 (java) S 13405 13405 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121399888 14314172416 21859 18446744073709551615 4194304 4196468 140736355889472 139973858343184 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13410] ppid=13405 vsize=13978684 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13410/stat : 13410 (java) S 13405 13405 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121399888 14314172416 21859 18446744073709551615 4194304 4196468 140736355889472 139973857290640 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13411] ppid=13405 vsize=13978684 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13411/stat : 13411 (java) S 13405 13405 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121399888 14314172416 21859 18446744073709551615 4194304 4196468 140736355889472 139973856238096 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13412] ppid=13405 vsize=13978684 memory=12216 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13412/stat : 13412 (java) S 13405 13405 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121399888 14314172416 21859 18446744073709551615 4194304 4196468 140736355889472 139973855185552 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13413] ppid=13405 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13413/stat : 13413 (java) S 13405 13405 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121399889 14314172416 21859 18446744073709551615 4194304 4196468 140736355889472 139973803604464 139974257867394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13414] ppid=13405 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13414/stat : 13414 (java) S 13405 13405 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121399890 14314172416 21859 18446744073709551615 4194304 4196468 140736355889472 139973802550688 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13415] ppid=13405 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13415/stat : 13415 (java) S 13405 13405 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121399890 14314172416 21859 18446744073709551615 4194304 4196468 140736355889472 139973801498096 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13416] ppid=13405 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13416/stat : 13416 (java) S 13405 13405 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121399893 14314172416 21859 18446744073709551615 4194304 4196468 140736355889472 139973800446672 139974257874843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13417] ppid=13405 vsize=13978684 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/13407/task/13417/stat : 13417 (java) S 13405 13405 28892 0 -1 1077944384 1475 0 0 0 21 0 0 0 20 0 15 0 121399893 14314172416 21859 18446744073709551615 4194304 4196468 140736355889472 139973799393264 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13418] ppid=13405 vsize=13978684 memory=27 CPUtime=0.17 cores=1,3,5,7
/proc/13407/task/13418/stat : 13418 (java) S 13405 13405 28892 0 -1 1077944384 940 0 0 0 17 0 0 0 20 0 15 0 121399893 14314172416 21859 18446744073709551615 4194304 4196468 140736355889472 139973798340720 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13419] ppid=13405 vsize=13978684 memory=79 CPUtime=0.3 cores=1,3,5,7
/proc/13407/task/13419/stat : 13419 (java) S 13405 13405 28892 0 -1 1077944384 1889 0 0 0 30 0 0 0 20 0 15 0 121399893 14314172416 21859 18446744073709551615 4194304 4196468 140736355889472 139973797288176 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13420] ppid=13405 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13420/stat : 13420 (java) S 13405 13405 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121399893 14314172416 21859 18446744073709551615 4194304 4196468 140736355889472 139973796235872 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13421] ppid=13405 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13421/stat : 13421 (java) S 13405 13405 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121399898 14314172416 21859 18446744073709551615 4194304 4196468 140736355889472 139973795183408 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 88816 KiB

[startup+1.50078 s]
/proc/loadavg: 1.60 1.55 1.59 7/212 13421
/proc/meminfo: memFree=30150480/32770624 swapFree=67108860/67108860
[pid=13405] ppid=13402 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13405/stat : 13405 (xcsp3-exec) S 13402 13405 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121399880 9740288 345 18446744073709551615 4194304 5098028 140734065008784 140734065006888 139942608487036 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36089856 140734065013113 140734065013317 140734065013317 140734065016811 0
/proc/13405/statm: 2378 345 289 221 0 87 0
[pid=13407] ppid=13405 vsize=13980732 memory=204532 CPUtime=3.12 cores=1,3,5,7
/proc/13407/stat : 13407 (java) S 13405 13405 28892 0 -1 1077944320 15410 0 0 0 302 10 0 0 20 0 15 0 121399887 14316269568 51133 18446744073709551615 4194304 4196468 140736355889472 140736355872016 139974257856247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
/proc/13407/statm: 3495183 51133 3204 1 0 3483476 0
[pid=13407/tid=13408] ppid=13405 vsize=13980732 memory=279452584219904 CPUtime=1.34 cores=1,3,5,7
/proc/13407/task/13408/stat : 13408 (java) R 13405 13405 28892 0 -1 4202560 8679 0 0 0 129 5 0 0 20 0 15 0 121399887 14316269568 51133 18446744073709551615 4194304 4196468 140736355889472 139974262094624 139973878961550 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13409] ppid=13405 vsize=13980732 memory=4209620164431211530 CPUtime=0.01 cores=1,3,5,7
/proc/13407/task/13409/stat : 13409 (java) S 13405 13405 28892 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 121399888 14316269568 51133 18446744073709551615 4194304 4196468 140736355889472 139973858343184 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13410] ppid=13405 vsize=13980732 memory=-7162245592756018337 CPUtime=0.01 cores=1,3,5,7
/proc/13407/task/13410/stat : 13410 (java) S 13405 13405 28892 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 15 0 121399888 14316269568 51133 18446744073709551615 4194304 4196468 140736355889472 139973857290640 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13411] ppid=13405 vsize=13980732 memory=-6655612599293099984 CPUtime=0.01 cores=1,3,5,7
/proc/13407/task/13411/stat : 13411 (java) S 13405 13405 28892 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 121399888 14316269568 51133 18446744073709551615 4194304 4196468 140736355889472 139973856238096 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13412] ppid=13405 vsize=13980732 memory=7449020143593619824 CPUtime=0 cores=1,3,5,7

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

/proc/meminfo: memFree=30090576/32770624 swapFree=67108860/67108860
[pid=13405] ppid=13402 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13405/stat : 13405 (xcsp3-exec) S 13402 13405 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121399880 9740288 345 18446744073709551615 4194304 5098028 140734065008784 140734065006888 139942608487036 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36089856 140734065013113 140734065013317 140734065013317 140734065016811 0
/proc/13405/statm: 2378 345 289 221 0 87 0
[pid=13407] ppid=13405 vsize=13980732 memory=204780 CPUtime=135.39 cores=1,3,5,7
/proc/13407/stat : 13407 (java) S 13405 13405 28892 0 -1 1077944320 64630 0 0 0 13498 41 0 0 20 0 15 0 121399887 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 140736355872016 139974257856247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
/proc/13407/statm: 3495183 51195 3226 1 0 3483476 0
[pid=13407/tid=13408] ppid=13405 vsize=13980732 memory=7596559188510862186 CPUtime=128.33 cores=1,3,5,7
/proc/13407/task/13408/stat : 13408 (java) R 13405 13405 28892 0 -1 4202560 15930 0 0 0 12825 8 0 0 20 0 15 0 121399887 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139974262095616 139973880255916 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13409] ppid=13405 vsize=13980732 memory=7740114823883876971 CPUtime=0.23 cores=1,3,5,7
/proc/13407/task/13409/stat : 13409 (java) S 13405 13405 28892 0 -1 1077944384 529 0 0 0 17 6 0 0 20 0 15 0 121399888 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973858343184 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13410] ppid=13405 vsize=13980732 memory=7740114823883876971 CPUtime=0.22 cores=1,3,5,7
/proc/13407/task/13410/stat : 13410 (java) S 13405 13405 28892 0 -1 1077944384 1749 0 0 0 16 6 0 0 20 0 15 0 121399888 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973857290640 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13411] ppid=13405 vsize=13980732 memory=7668340895307818581 CPUtime=0.22 cores=1,3,5,7
/proc/13407/task/13411/stat : 13411 (java) S 13405 13405 28892 0 -1 1077944384 1866 0 0 0 16 6 0 0 20 0 15 0 121399888 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973856238096 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13412] ppid=13405 vsize=13980732 memory=-8774313645642428999 CPUtime=0.22 cores=1,3,5,7
/proc/13407/task/13412/stat : 13412 (java) S 13405 13405 28892 0 -1 1077944384 863 0 0 0 16 6 0 0 20 0 15 0 121399888 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973855185552 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13413] ppid=13405 vsize=13980732 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/13407/task/13413/stat : 13413 (java) S 13405 13405 28892 0 -1 1077944384 1526 0 0 0 6 1 0 0 20 0 15 0 121399889 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973803604464 139974257867394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13414] ppid=13405 vsize=13980732 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13414/stat : 13414 (java) S 13405 13405 28892 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 121399890 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973802550752 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13415] ppid=13405 vsize=13980732 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13415/stat : 13415 (java) S 13405 13405 28892 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 121399890 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973801498112 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13416] ppid=13405 vsize=13980732 memory=4300 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13416/stat : 13416 (java) S 13405 13405 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121399893 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973800446672 139974257874843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13417] ppid=13405 vsize=13980732 memory=932 CPUtime=2.63 cores=1,3,5,7
/proc/13407/task/13417/stat : 13417 (java) S 13405 13405 28892 0 -1 1077944384 16444 0 0 0 260 3 0 0 20 0 15 0 121399893 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973799393264 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13418] ppid=13405 vsize=13980732 memory=1624 CPUtime=2.63 cores=1,3,5,7
/proc/13407/task/13418/stat : 13418 (java) S 13405 13405 28892 0 -1 1077944384 15227 0 0 0 261 2 0 0 20 0 15 0 121399893 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973798340720 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13419] ppid=13405 vsize=13980732 memory=2160 CPUtime=0.73 cores=1,3,5,7
/proc/13407/task/13419/stat : 13419 (java) S 13405 13405 28892 0 -1 1077944384 8621 0 0 0 72 1 0 0 20 0 15 0 121399893 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973797288176 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13420] ppid=13405 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13420/stat : 13420 (java) S 13405 13405 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121399893 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973796235872 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13421] ppid=13405 vsize=13980732 memory=203760 CPUtime=0.03 cores=1,3,5,7
/proc/13407/task/13421/stat : 13421 (java) S 13405 13405 28892 0 -1 1077944384 545 0 0 0 1 2 0 0 20 0 15 0 121399898 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973795183408 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
Current children cumulated CPU time: 135.39 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 206160 KiB

[startup+129.201 s]
/proc/loadavg: 1.41 1.49 1.57 4/212 13425
/proc/meminfo: memFree=30089024/32770624 swapFree=67108860/67108860
[pid=13405] ppid=13402 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13405/stat : 13405 (xcsp3-exec) S 13402 13405 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121399880 9740288 345 18446744073709551615 4194304 5098028 140734065008784 140734065006888 139942608487036 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36089856 140734065013113 140734065013317 140734065013317 140734065016811 0
/proc/13405/statm: 2378 345 289 221 0 87 0
[pid=13407] ppid=13405 vsize=13980732 memory=204780 CPUtime=135.79 cores=1,3,5,7
/proc/13407/stat : 13407 (java) S 13405 13405 28892 0 -1 1077944320 64630 0 0 0 13538 41 0 0 20 0 15 0 121399887 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 140736355872016 139974257856247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
/proc/13407/statm: 3495183 51195 3226 1 0 3483476 0
[pid=13407/tid=13408] ppid=13405 vsize=13980732 memory=15880 CPUtime=128.73 cores=1,3,5,7
/proc/13407/task/13408/stat : 13408 (java) R 13405 13405 28892 0 -1 4202560 15930 0 0 0 12865 8 0 0 20 0 15 0 121399887 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139974262095504 139973880176422 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13409] ppid=13405 vsize=13980732 memory=4048 CPUtime=0.23 cores=1,3,5,7
/proc/13407/task/13409/stat : 13409 (java) S 13405 13405 28892 0 -1 1077944384 529 0 0 0 17 6 0 0 20 0 15 0 121399888 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973858343184 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13410] ppid=13405 vsize=13980732 memory=37212 CPUtime=0.22 cores=1,3,5,7
/proc/13407/task/13410/stat : 13410 (java) S 13405 13405 28892 0 -1 1077944384 1749 0 0 0 16 6 0 0 20 0 15 0 121399888 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973857290640 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13411] ppid=13405 vsize=13980732 memory=1788 CPUtime=0.22 cores=1,3,5,7
/proc/13407/task/13411/stat : 13411 (java) S 13405 13405 28892 0 -1 1077944384 1866 0 0 0 16 6 0 0 20 0 15 0 121399888 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973856238096 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13412] ppid=13405 vsize=13980732 memory=6152269348475396704 CPUtime=0.22 cores=1,3,5,7
/proc/13407/task/13412/stat : 13412 (java) S 13405 13405 28892 0 -1 1077944384 863 0 0 0 16 6 0 0 20 0 15 0 121399888 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973855185552 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13413] ppid=13405 vsize=13980732 memory=7230638415973805143 CPUtime=0.07 cores=1,3,5,7
/proc/13407/task/13413/stat : 13413 (java) S 13405 13405 28892 0 -1 1077944384 1526 0 0 0 6 1 0 0 20 0 15 0 121399889 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973803604464 139974257867394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13414] ppid=13405 vsize=13980732 memory=6082203000362526807 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13414/stat : 13414 (java) S 13405 13405 28892 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 121399890 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973802550752 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13415] ppid=13405 vsize=13980732 memory=6082203021921511511 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13415/stat : 13415 (java) S 13405 13405 28892 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 121399890 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973801498112 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13416] ppid=13405 vsize=13980732 memory=7230638415923736407 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13416/stat : 13416 (java) S 13405 13405 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121399893 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973800446672 139974257874843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13417] ppid=13405 vsize=13980732 memory=6082203000446347351 CPUtime=2.63 cores=1,3,5,7
/proc/13407/task/13417/stat : 13417 (java) S 13405 13405 28892 0 -1 1077944384 16444 0 0 0 260 3 0 0 20 0 15 0 121399893 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973799393264 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13418] ppid=13405 vsize=13980732 memory=1380 CPUtime=2.63 cores=1,3,5,7
/proc/13407/task/13418/stat : 13418 (java) S 13405 13405 28892 0 -1 1077944384 15227 0 0 0 261 2 0 0 20 0 15 0 121399893 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973798340720 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13419] ppid=13405 vsize=13980732 memory=204780 CPUtime=0.73 cores=1,3,5,7
/proc/13407/task/13419/stat : 13419 (java) S 13405 13405 28892 0 -1 1077944384 8621 0 0 0 72 1 0 0 20 0 15 0 121399893 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973797288176 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13420] ppid=13405 vsize=13980732 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13420/stat : 13420 (java) S 13405 13405 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121399893 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973796235872 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13421] ppid=13405 vsize=13980732 memory=640 CPUtime=0.03 cores=1,3,5,7
/proc/13407/task/13421/stat : 13421 (java) S 13405 13405 28892 0 -1 1077944384 545 0 0 0 1 2 0 0 20 0 15 0 121399898 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973795183408 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
Current children cumulated CPU time: 135.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 206160 KiB

[startup+129.401 s]
/proc/loadavg: 1.41 1.49 1.57 4/212 13425
/proc/meminfo: memFree=30089024/32770624 swapFree=67108860/67108860
[pid=13405] ppid=13402 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13405/stat : 13405 (xcsp3-exec) S 13402 13405 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121399880 9740288 345 18446744073709551615 4194304 5098028 140734065008784 140734065006888 139942608487036 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36089856 140734065013113 140734065013317 140734065013317 140734065016811 0
/proc/13405/statm: 2378 345 289 221 0 87 0
[pid=13407] ppid=13405 vsize=13980732 memory=204780 CPUtime=135.99 cores=1,3,5,7
/proc/13407/stat : 13407 (java) S 13405 13405 28892 0 -1 1077944320 64631 0 0 0 13558 41 0 0 20 0 15 0 121399887 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 140736355872016 139974257856247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
/proc/13407/statm: 3495183 51195 3226 1 0 3483476 0
[pid=13407/tid=13408] ppid=13405 vsize=13980732 memory=2248 CPUtime=128.93 cores=1,3,5,7
/proc/13407/task/13408/stat : 13408 (java) R 13405 13405 28892 0 -1 4202560 15931 0 0 0 12885 8 0 0 20 0 15 0 121399887 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139974262095504 139973881081771 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13409] ppid=13405 vsize=13980732 memory=4300 CPUtime=0.23 cores=1,3,5,7
/proc/13407/task/13409/stat : 13409 (java) S 13405 13405 28892 0 -1 1077944384 529 0 0 0 17 6 0 0 20 0 15 0 121399888 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973858343184 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13410] ppid=13405 vsize=13980732 memory=932 CPUtime=0.22 cores=1,3,5,7
/proc/13407/task/13410/stat : 13410 (java) S 13405 13405 28892 0 -1 1077944384 1749 0 0 0 16 6 0 0 20 0 15 0 121399888 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973857290640 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13411] ppid=13405 vsize=13980732 memory=1624 CPUtime=0.22 cores=1,3,5,7
/proc/13407/task/13411/stat : 13411 (java) S 13405 13405 28892 0 -1 1077944384 1866 0 0 0 16 6 0 0 20 0 15 0 121399888 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973856238096 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13412] ppid=13405 vsize=13980732 memory=288230574492221466 CPUtime=0.22 cores=1,3,5,7
/proc/13407/task/13412/stat : 13412 (java) S 13405 13405 28892 0 -1 1077944384 863 0 0 0 16 6 0 0 20 0 15 0 121399888 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973855185552 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13413] ppid=13405 vsize=13980732 memory=288230621803970871 CPUtime=0.07 cores=1,3,5,7
/proc/13407/task/13413/stat : 13413 (java) S 13405 13405 28892 0 -1 1077944384 1526 0 0 0 6 1 0 0 20 0 15 0 121399889 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973803604464 139974257867394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13414] ppid=13405 vsize=13980732 memory=15825486446070293 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13414/stat : 13414 (java) S 13405 13405 28892 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 121399890 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973802550752 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13415] ppid=13405 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13415/stat : 13415 (java) S 13405 13405 28892 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 121399890 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973801498112 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13416] ppid=13405 vsize=13980732 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13416/stat : 13416 (java) S 13405 13405 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121399893 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973800446672 139974257874843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13417] ppid=13405 vsize=13980732 memory=-8774313645642428999 CPUtime=2.63 cores=1,3,5,7
/proc/13407/task/13417/stat : 13417 (java) S 13405 13405 28892 0 -1 1077944384 16444 0 0 0 260 3 0 0 20 0 15 0 121399893 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973799393264 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13418] ppid=13405 vsize=13980732 memory=1732 CPUtime=2.63 cores=1,3,5,7
/proc/13407/task/13418/stat : 13418 (java) S 13405 13405 28892 0 -1 1077944384 15227 0 0 0 261 2 0 0 20 0 15 0 121399893 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973798340720 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13419] ppid=13405 vsize=13980732 memory=5788 CPUtime=0.73 cores=1,3,5,7
/proc/13407/task/13419/stat : 13419 (java) S 13405 13405 28892 0 -1 1077944384 8621 0 0 0 72 1 0 0 20 0 15 0 121399893 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973797288176 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13420] ppid=13405 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13420/stat : 13420 (java) S 13405 13405 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121399893 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973796235872 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13421] ppid=13405 vsize=13980732 memory=1708 CPUtime=0.03 cores=1,3,5,7
/proc/13407/task/13421/stat : 13421 (java) S 13405 13405 28892 0 -1 1077944384 545 0 0 0 1 2 0 0 20 0 15 0 121399898 14316269568 51195 18446744073709551615 4194304 4196468 140736355889472 139973795183408 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
Current children cumulated CPU time: 135.99 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 206160 KiB

[startup+129.501 s]
/proc/loadavg: 1.41 1.49 1.57 4/212 13425
/proc/meminfo: memFree=30089024/32770624 swapFree=67108860/67108860
[pid=13405] ppid=13402 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13405/stat : 13405 (xcsp3-exec) S 13402 13405 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121399880 9740288 345 18446744073709551615 4194304 5098028 140734065008784 140734065006888 139942608487036 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 36089856 140734065013113 140734065013317 140734065013317 140734065016811 0
/proc/13405/statm: 2378 345 289 221 0 87 0
[pid=13407] ppid=13405 vsize=13980732 memory=204824 CPUtime=136.12 cores=1,3,5,7
/proc/13407/stat : 13407 (java) S 13405 13405 28892 0 -1 1077944320 65388 0 0 0 13571 41 0 0 20 0 14 0 121399887 14316269568 51206 18446744073709551615 4194304 4196468 140736355889472 140736355872016 139974257856247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
/proc/13407/statm: 3495183 51206 3228 1 0 3483476 0
[pid=13407/tid=13408] ppid=13405 vsize=13980732 memory=204272 CPUtime=129.02 cores=1,3,5,7
/proc/13407/task/13408/stat : 13408 (java) S 13405 13405 28892 0 -1 1077944384 16288 0 0 0 12894 8 0 0 20 0 14 0 121399887 14316269568 51206 18446744073709551615 4194304 4196468 140736355889472 139974262099088 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13409] ppid=13405 vsize=13980732 memory=204272 CPUtime=0.23 cores=1,3,5,7
/proc/13407/task/13409/stat : 13409 (java) S 13405 13405 28892 0 -1 1077944384 529 0 0 0 17 6 0 0 20 0 14 0 121399888 14316269568 51206 18446744073709551615 4194304 4196468 140736355889472 139973858343184 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13410] ppid=13405 vsize=13980732 memory=203760 CPUtime=0.22 cores=1,3,5,7
/proc/13407/task/13410/stat : 13410 (java) S 13405 13405 28892 0 -1 1077944384 1749 0 0 0 16 6 0 0 20 0 14 0 121399888 14316269568 51206 18446744073709551615 4194304 4196468 140736355889472 139973857290640 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13411] ppid=13405 vsize=13980732 memory=204780 CPUtime=0.22 cores=1,3,5,7
/proc/13407/task/13411/stat : 13411 (java) S 13405 13405 28892 0 -1 1077944384 1866 0 0 0 16 6 0 0 20 0 14 0 121399888 14316269568 51206 18446744073709551615 4194304 4196468 140736355889472 139973856238096 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13412] ppid=13405 vsize=13980732 memory=1380 CPUtime=0.22 cores=1,3,5,7
/proc/13407/task/13412/stat : 13412 (java) S 13405 13405 28892 0 -1 1077944384 863 0 0 0 16 6 0 0 20 0 14 0 121399888 14316269568 51206 18446744073709551615 4194304 4196468 140736355889472 139973855185552 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13413] ppid=13405 vsize=13980732 memory=206304 CPUtime=0.07 cores=1,3,5,7
/proc/13407/task/13413/stat : 13413 (java) S 13405 13405 28892 0 -1 1077944384 1526 0 0 0 6 1 0 0 20 0 14 0 121399889 14316269568 51206 18446744073709551615 4194304 4196468 140736355889472 139973803604672 139974257867394 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13414] ppid=13405 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13414/stat : 13414 (java) S 13405 13405 28892 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 14 0 121399890 14316269568 51206 18446744073709551615 4194304 4196468 140736355889472 139973802550752 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13415] ppid=13405 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13415/stat : 13415 (java) S 13405 13405 28892 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 14 0 121399890 14316269568 51206 18446744073709551615 4194304 4196468 140736355889472 139973801498112 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13416] ppid=13405 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13416/stat : 13416 (java) S 13405 13405 28892 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 14 0 121399893 14316269568 51206 18446744073709551615 4194304 4196468 140736355889472 139973800445728 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13417] ppid=13405 vsize=13980732 memory=203248 CPUtime=2.65 cores=1,3,5,7
/proc/13407/task/13417/stat : 13417 (java) S 13405 13405 28892 0 -1 1077944384 16457 0 0 0 262 3 0 0 20 0 14 0 121399893 14316269568 51206 18446744073709551615 4194304 4196468 140736355889472 139973799377776 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13418] ppid=13405 vsize=13980732 memory=1380 CPUtime=2.65 cores=1,3,5,7
/proc/13407/task/13418/stat : 13418 (java) S 13405 13405 28892 0 -1 1077944384 15235 0 0 0 263 2 0 0 20 0 14 0 121399893 14316269568 51206 18446744073709551615 4194304 4196468 140736355889472 139973798325776 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13419] ppid=13405 vsize=13980732 memory=203248 CPUtime=0.74 cores=1,3,5,7
/proc/13407/task/13419/stat : 13419 (java) S 13405 13405 28892 0 -1 1077944384 8987 0 0 0 73 1 0 0 20 0 14 0 121399893 14316269568 51206 18446744073709551615 4194304 4196468 140736355889472 139973797288176 139974257867394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
[pid=13407/tid=13420] ppid=13405 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13407/task/13420/stat : 13420 (java) S 13405 13405 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121399893 14316269568 51206 18446744073709551615 4194304 4196468 140736355889472 139973796235872 139974257866453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22720512 140736355893681 140736355893857 140736355893857 140736355897295 0
Current children cumulated CPU time: 136.12 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 206204 KiB

Child status: 0
Real time (s): 129.507
CPU time (s): 136.141
CPU user time (s): 135.718
CPU system time (s): 0.42363
CPU usage (%): 105.123
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 441144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 135.718
system time used= 0.42363
maximum resident set size= 439764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65949
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7255
involuntary context switches= 133


# summary of solver processes directly reported to runsolver:
#   pid: 13405
#   total CPU time (s): 136.141
#   total CPU user time (s): 135.718
#   total CPU system time (s): 0.42363

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.737327 second user time and 1.28974 second system time

The end
Name	MagicSequence/MagicSequence-count-s1/ MagicSequence-1000-co.xml
MD5SUM	747b40881cd41efe91eebad5da45ed52
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	14.8096
Satisfiable
(Un)Satisfiability was proved
Number of variables	1000
Number of constraints	1002
Number of domains	1
Minimum domain size	1000
Maximum domain size	1000
Distribution of domain sizes	[{"size":1000,"count":1000}]
Minimum variable degree	1002
Maximum variable degree	1002
Distribution of variable degrees	[{"degree":1002,"count":1000}]
Minimum constraint arity	1000
Maximum constraint arity	1000
Distribution of constraint arities	[{"arity":1000,"count":1002}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"count","count":1000}]
Optimization problem	NO
Type of objective
Trace number 4283773

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
